联言推理新探

联言推理是复合判断推理的重要内容。我国目前出版的逻辑著作,只介绍了联言推理的组合式(即合成式)、分解式二种推理形式。这未免过于简单。人们知道,凡是一个正确的复合判断的推理形式,必须是一个永真式。而联言推理组合式的推理公式:p,q→P(?)q不是永真式。因而它不具有联言推理的逻辑性质;它只具有联言判断的逻辑性质。所以它实质上是一个联言判断,不是联言推理正确的推理形式。联言推理的分解式的推理公式:q(?)q→p,或p(?)q→q,是一个永真式,它是一个有效的联言推理形式。它是以一个联言判断为前提直接推出一个直言判断为结论的联言直接推理形式。联言推理除了联言分解式的推理形式,还有联言间接推理形式。     

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

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

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

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

对现行传统逻辑读本中命题逻辑推理的几点剖析

在传统形式逻辑中，除“联言推理”和“假言易位推理”外，其它复合命题推理，凡用数理逻辑符号表达出来的式子全都是涵衍式，包含蕴涵怪论。真值表方法是判定作为真值函数的重言式的方法，不是判定推理式有效性的方法。所谓“反三段论”，只有当其中的基础命题为传统直言命题时才有效。数理逻辑演算技巧精确严密，但它是数学，与向人类提供从已知获取新知识的。具的逻辑科学殊异，不能用它来“改造”或“取代”传统形式逻辑。     

关系命题及其推理三题

我国普通逻辑学著作中流行的关系命题及其推理的有关理论 ,至少有三个问题值得商榷 :( 1)如果说性质命题有联项 ,则就不能否认关系命题也有联项。实际上 ,它在汉语中有三种表现形式 ;( 2 )纯粹关系推理的有效形式应该包括反映或指称某关系具有某逻辑性质这种客观内容的命题的形式 ,后者始终隐含地作为前提参与推理 ;( 3)关系推理和一切推理一样 ,其推演依据在于所有作为前提和结论的命题的逻辑性质 ,而根本不是“关系的逻辑性质”这种东西     

关于假言联言推理的两个问题

假言联言推理是由两个或两个以上的假言判断和一个与之相关联的联言判断作前提,并根据假言判断和联言判断的逻辑性质从而推出结论的推理。这种推理,人们在思维和语言表达中经常运用,而从逻辑著作对它所作的论述上看,还有不少问题需要进一步研究探讨。本文拟从假言联言准理的分类标准、规则两方面,谈谈我们的一些看法。     

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

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

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

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

剖析联言推理形式

联言推理一般是指前提或结论为联言命题的推理形式。由于这种形式普遍存在于人们的思维实践中,并与自然语言有着天然的紧密联系,所以,对联言推理的研究有助于语言研究。近代的逻辑学家十分重视它在推理中的地位与作用。尽管如此,但由于其结构     

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

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

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

本文从匡正谬误、维护逻辑学理论的科学性出发，对广为流行于我国的多种普通逻辑教材和辞书关于复合命题的定义、关于两种选言命题的定义、关于“不是……就是……”表达何种命题、关于负命题是否只有一个等值命题，以及关于联言推理的定义、关于假言间接推理的另一前提和结论是何种命题等问题所持的错误观点，从理论和实践上进行了简要的辨驳     

"可知性悖论"、"突击考查悖论"试解--对向可知论挑战的挑战

1 “可知性悖论”是建立在对可知论的歪曲的基础之上的。2 “可知性悖论”认为,同时接受可知性原理和“非全知假设”会导致逻辑矛盾。实际上是因为在这种逻辑推导中,作为论证总前提的非全知假设的符号公式“ q(q∧┑Kq)”是错误的———它本身是一个包含逻辑矛盾的恒假命题。3 学生对老师所说的那种事先无法预料的“突击考查”的有关论证是有漏洞的,因为它是片面的。4 “突击考查悖论”认为,学生不可能知道老师的断定是真实的,假设学生知道老师的断定是真实的会导致矛盾,这也是错误的。这种错误的根源在于把老师的断定错误地分析为支命题是联言命题的选言命题(其实,老师的断定应是支命题为假言命题的联言命题 ),并且这种作为支命题的联言命题都是包含有逻辑矛盾的。     

论联言推理的形式及其作用

联言推理是运用得比较广泛的一种推理形式,但是,在逻辑学教科书中一般都没有作详细的介绍,有的甚至没有提及这种推理,其理由是这种推理比较简单,容易掌握。其实,从人们的思维实践活动来看,联言推理并不简单,它有着较为丰富的内容,在认识过程中有其不容忽视的作用。本文试图对联言推理的形式及其作用作一些简略的介绍,以期进一步丰富联言推理的内容。对联言推理的分类,可以采取不同的标准。我们根据作为联言推理的前提和结论的判断类别这一标准,将联言推理分为简单式和复杂式两大类。     

关于选言命题及其推理规则的几点思考

选言命题和选言推理是传统逻辑的重要内容。传统逻辑依据选言命题的选言肢之间是否具有并存关系,把选言命题分为相容的选言命题和不相容的选言命题两种。表（1）反映了相容的选言命题的逻辑特征：一个相容的选言命题真,当且仅当至少有一个选言肢真并且可以同真;表（2）反映了不相容的选言命题的逻辑特征,一个不相容的选言命题真,当且仅当有并且只有一个选言肢真。最近,有些学会撰文指出,表（1）确实反映出了相容的选言命题的逻辑特征,因为对于任何一含有n个（n为整数且n72,下同）选言变元的选言命题,按照表（1）给出的V定义总有…     

命题逻辑讲真不讲假

命题逻辑以复合命题及其推理为主要内容，命题推理是以相应复合命题的逻辑性质为依据而推演的，复合命题的逻辑性质主要体现在命题与支命题之间的真假制约关系方面，因此，研究命题与支命题的真假关系是命题逻辑的基本内容。应当指出，逻辑学所揭示的全部关于复合命题的真...     

命题三论

一论命题的分类 :在普通逻辑中 ,命题分成简单命题和复合命题两类 ,简单命题分成直言命题和关系命题两种。这种分类有无法排解的理论困惑。关系命题作为一种简单命题或命题 ,既不能研究非二元关系 ,也难以契合具体的二元关系。二论命题的作用 :命题在概念、推理、逻辑规律和论证中被公认为非主体部分。其实 ,概念是命题的浓缩和省略 ,推理是命题的转换和伸展 ,逻辑规律是命题的原则和要求 ,论证是命题的认定和解释。三论命题的性质 :基本命题形式具有公理的性质 ,人们在长期的经验中没有发现以它为前提衍生出假结论的事例。     

关于逻辑证明与实践检验

什么是逻辑证明?逻辑证明是用一个或一些已知为真的命题来确定另一命题的真实性的思维过程。反驳可以看做证明的特例,它是用已知为真的命题去确定另一命题的虚假。逻辑证明在形式上表现为一系列的推理,上一个推理的结论构成下一个推理的前提,直至得到需要证明的命题为止。如果说它和推理有所不同,就在于它通过一连串各种     

数学是一种模式真理

引言:探讨数学真理性的重要意义如大家所知,数学基础的研究,其本意是要解决数学的推理基础问题的,即“探索数学推理在什么情况下有效,什么情况下无效,数学命题在怎样的情况下具有真理性,在怎样的情况下失灵.”基于“数学是演绎推理性质的学科,所以从形式上看,数学命题的真理性是建立在公理的真理性和逻辑规则的有效性之上的”.因此数学基     

模态性质命题传统逻辑方阵的建立

通过建立模态性质命题：模态A、模态E、模态I、模态O命题间的5个逻辑方阵,以及将模态单称命题：模态单称肯定命题（a）和模态单程否定命题（e）引入模态性质命题逻辑方阵,能够有效地涵盖模态性质命题推理的56个有效式,以及关于模态单称命题与模态A、模态E、模态I、模态O命题之间推理的48个有效式,从而有利于用传统逻辑的方法掌握繁多的模态性质命题问的关系及推理。     

论不相容选言命题的真值表及其逻辑特征

许多传统（普通）逻辑的教材对不相容选言命题定义的表述存在着一些问题，使人们在用真值表对不相容选言命题进行判定时并没有了解其潜在的局限性。再加上人们忽略了不相容选言命题联结词是一个二元关系联结词这种性质以及在构造真值表时错误地省略其步骤，从而导致认为不相容选言命题的真值表未能反映其逻辑特征。事实上，不相容选言命题的真值表如实地反映了其逻辑特征。