关于必要条件假言命题的条件转换规则与有关复合推理的类型

当前,有许多传统形式逻辑教科书对必要条件假言命题与充分条件假言命题的条件转换很少提及,或者提及也未作条件转换的逻辑规定.另外,关于假言命题的有关推理,如假言易位推理、假言选言推理、假言联言推理、假言联锁推理等在充分条件假言命题推理中的内容有所研究,而对必要条件假言命题与推理的研究却还比较薄弱.这些问题,应当引起我们的重视.     

逻辑思维规则与逻辑问题解析

从假言命题中充分条件和必要条件这两种逻辑真值分析入手,结合实例,解析逻辑问题中所蕴含的思维规则,总结在逻辑教学过程中如何把握对学生进行思维训练的知识点,以便更好地训练和引导学生遵循逻辑规则,提高逻辑思维能力。     

假言推理研究的进程与展望

假言推理是前提中有一个为假言命题,并且根据假言命题前件与后件之间的关系而推出结论的推理.假言推理研究的进程大致可分为两个阶段:第一阶段是从20世纪60年代至70年代末--问题提出阶段,第二阶段是从80年代初至现在--理论发展阶段.纵观假言推理研究的进程,可以发现以往的研究存在着一些缺陷或不足,这是今后关于假言推理研究应该着重关注和解决的问题.     

复合命题及其推理的若干理论问题再辨——答王跃平先生

本文就复合命题中是否存在着命题联结词、“孙勇是江西人是可能的”等命题属于何种命题、相容和不相容选言命题的选言支是否可以同假,以及其选言支之间具有何种关系、联言推理的前提中是否必须有联言命题、假言推理是否只是依据假言联结词的逻辑性质、“不是……就是……”是否具有固定逻辑涵义等问题,全面反驳了《<复合命题及其推理的若干理论问题辨要>的辨要》对拙文《辨要》所提出的批评意见。     

演绎推理的新形式

对于演绎推理,一般逻辑读物都规定:充分条件假言推理,否认前件不能否认后件,承认后件不能承认前件;必要条件假言推理,承认前件不能承认后件,否认后件不能否认前条;相容选言推理,承认一部分选言肢不能承认或否认另一部分选言肢;三段论,如果中项在两个前提中都不周延,就不能得结论。如果违反了这些规定,推理形式就是错洪的,亦即是按照这种推理形式进行推理,即使前提是真的,结论也不必然是真的。但是,我们认为,这种规定实际上只适用于结论是实然判断的演绎推理。倘若结论不是实然判断而为或然判断     

关于联言推理、选言推理、假言推理的定义

联言推理、选言推理、假言推理被视为复合判断推理的三大类型,作为逻辑教材必须正确地给出定义。但是,逻辑教材至今却未能做到这一点,其中有些教材甚至下了一些错误的定义。所以,关于联言推理、选言推理、假言推理的定义,仍有探讨的必要。 几乎所有的逻辑教材都认定,“复合判断推理就是前提或结论是复合判断的推理形式。”(准确的提法应是:复合判断推理就是前提有复合判断或结论是复合判断的推理形式。)既然如此,那么在给联言推理、选言推理、假言推理下定义时,就不能悖于这个定义的规定。然而,我们从一些逻辑教材所给出的联言推理、选言推理以及假言推理的定义中,却明显地看出与上述复合判断的定义是不一致的。以选言推理的定义为例,其代表性的表述有:     

也谈复合命题之间的等值转换

本文较全面而系统讨论了普通逻辑中联言命题、相容选言命题、不相容选言命题、充分条件假言命题、必要条件假言命题和充要条件假言命题之间等值转换的一般形式,从而深化了复合命题之间的等值转换理论,同时指出了等值转换理论研究方面的不足。这对加强人们的逻辑思维训练、语言训练以及学习现代逻辑方面都具有重要的现实意义。     

谈假言命题的汉语构成形式

近年来,有人根据自然语言表达的丰富性或己知前后件之间在事实上的条件关系,把“如果p,则q”看作是既可以表述充分条件的假言命题形式,也可以表述必要条件的假言命题形式。并且认为,在汉语中必要条件的假言联结词“只有……才……”和充分条件的假言联结词“如果……则……”都可以兼作充分必要条件的假言联结词等等。所以,     

二难推理需要遵守选言推理的规则吗?

无论是从推理机制还是从前提构成看，二难推理实质上都属于充分条件假言推理因而需要遵守充分条件假言推理的规则。所谓二难推理属于选言推理因而需要遵守选言推理规则的说法是不能成立的。     

浅谈论辩中简单命题矛盾关系的表现形式

简单命题间的矛盾关系在论辩中须通过一定推理形式表现 ,三段论第一格的AAA式和EAE式 ,第三格的EAO式和AAI式是论辩中简单命题间一真 ,则另一必假矛盾关系的主要表现形式。充分条件假言推理否定后件式 ,假言联言推理否定后件式及二难推理破坏式是论辩中简单命题间一假 ,则另一必真矛盾关系的主要表现形式。肯定命题谓项不周延及换位 ,负命题及等值命题理论是简单命题矛盾关系在论辩中表现的理论基础。特称命题“特称量项”的不确定性只有在论辩中通过以上推理形式体现 ,这也是特称量项“有些”和日常用语“有些”的根本区别。     

关于蕴涵重言式不是推理式的证明

现行形式逻辑读本错误地用纯真值函数的蕴涵重言式表达能从已知获取新知的传统逻辑复合命题推理。含蕴涵怪论的蕴涵重言式的本质特征是纯真值函数,其整个命题的真值取决于它的支命题的真值。除了假言易位推理和联言推理而外,传统逻辑的其他所有复合命题推理用蕴涵重言式表达后都出怪论。     

试论形式逻辑的对象及几个有关问题

本文拟对形式逻辑作一初浅的界说,这不可避免地要涉及几个有关的问题.一、形式逻辑及其研究对象17世纪末,波尔·罗亚尔的逻辑问世,这是一本修道院学生用的逻辑教科书.该书论述了名词、命题、推理等.在推理中既包括了三段论,也包括了假言推理、选言推理;此外还论述了方法论,其中涉及到了归纳推理.这本书对以后逻辑教材的编著产生了深远的影响.现在通常所说的形式逻辑,既包括三段论、假言推理、选言推理,也包括归纳推理,这似乎可以说是从波尔·罗亚尔逻辑开始.这种形式逻辑是一个教科书体系,演绎与归纳虽是不同的科学体系,但作为教科书,没有什么不可以把它们编辑在一起的.本文所要界说的形式逻辑就是这种包括传统演绎与归纳在内的,教科书体系的逻辑.     

回溯推理的逻辑形式及其有效性判定

回溯推理的逻辑形式及其有效性判定张学立回溯推理（ＲｅｄｕｃｔｉｖｅＩｎｆｅｒｅｎｃｅ）是从已知事实出发结合推论者的背景知识，借助充分条件假言推理的肯定后件式，由后件过渡到前件的一种或然性推理。它在科学发现和刑事侦察过程中有着重要作用。回溯推理是一种独...     

《复合命题及其推理的若干理论问题辨要》的辨要

就复合命题的判定问题、相容选言命题和不相容选言命题的逻辑特性问题、联言推理对前提的要求问题、假言推理的依据问题、“不是……就是……”能否当作某一复合命题的联结词使用的问题提出与《复合命题及其推理的若干理论问题辨要》一文不同的意见。     

二难推理新议——关于二难推理本质的一种思考

一种流行的观点是把传统的二难推理混同于一般的假言选言推理。二难推理是一种假言选言推理,但假言选言推理并不就等于二难推理。本文试图对二难推理的本质作出一种历史的逻辑的考察。     

《哲学大辞典·逻辑学卷》质疑

本文认为,《哲学大辞典·逻辑学卷》在关于不相容选言推理的规则,关于严格析取判断联结词的自然语言表达,关于蕴涵、逆蕴涵和反蕴涵的科学内涵和符号语言,以及关于假言命题的逻辑联结词等等问题上存在失当甚至错误之处,故择要提出质疑,并陈述了理由。     

存在着逻辑真而具体思维假的充分条件假言命题吗?

逻辑学界普遍认为，充分条件假言命题的前件与后件有一定意义上的联系，而实质蕴涵则把前件与后件仅仅看作一种真假关系，因此在蕴涵真值表中表示为真的却未必就是一个真的充分条件假亡命题。对此，本文提出了异议。     

两种假言命题和两种蕴涵

两种假言命题和两种蕴涵孙放（一）正如依据选言支是否相容、是否可以同真而分为相容与不相容两种选言命题一样，以“如果，则”为标准联结词的假言命题，也须依据其前、后件间是否有必然联系，即是否有充分条件关系而分为条件关系命题（严格蕴涵命题）和假设关系命题（实...     

二难推理规则刍议

二难推理是假言选言推理的一种。假言选言推理就是由假言判断和选言判断作前提所构成的推理。二难推理是由两个假言前提和一个二肢选言前提组成的。许多逻辑教材都介绍了这种推理形式,但是涉及到二难推理的规则的语言表述却很不相同,并且有不够严密之处。笔者在本文中对有代表性的几种表述内容的局限性作一些简单的分析,同时对二难推理的逻辑规则试图作出严密的语言表述。关于二难推理的规则,主要有以下几种表述内容:     

因明三支作法与逻辑三段论之比较

在近、现代,对汉传因明与逻辑三段论作比较研究,成就最著者当推四十年代出版的陈大齐的《因明大疏蠡测》。迄今为止,无出其右。但总观本世纪汉传因明与西方逻辑比较研究之水平,仍然差强人意。其原因有二:一方面,因明典籍晦涩艰深,要得其确解,不能不经历一个不断探讨、逐步接近的过程;另一方面,我国近、现代多数因明论著所运用的不少逻辑观点是被误解了的,例如:不懂得从全称肯定命题推出特称肯定命题必须以假定主项存在为前提;不明白全称的直言命题与充分条件假言命题中的一种类型可以相互