模态联言、选言命题与联言、选言模态命题

该文通过构造一个逻辑关系示意图 ,重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的 4个等值式、4个矛盾式和 32个蕴涵式 ,这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系 ,均可借助自然语言的实例得到直观理解 ,并在思维实践中加以运用。     

模态性质命题真值关系考察

本文通过构造四个逻辑关系示意图,全面刻画了模态性质命题及其否定形式之间所存在的１２个等值式、１２个矛盾式和１２０个蕴涵式,这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系,均可借助自然语言的实例得到直观理解,并在思维实践中加以运用。     

辩证思维推理初探

辩证思维推理的本质 在辩证逻辑中,概念是一总体,这个总体在判断中分化,只有经过推理才能达到新的统一,由抽象上升到具体。 形式逻辑和辩证逻辑的推理都是探寻新结果,由已知到未知的思维形式。形式逻辑(无论是亚里士多德的逻辑还是现代的数理逻辑)的推理和辩证逻辑的推理都是蕴涵式,即前提蕴涵结论。但形式逻辑的蕴涵仅仅是命题形式上的蕴涵,是无矛盾系统的蕴涵,这种蕴涵揭示的是命题间外在的必然联系;而辩证逻辑的蕴涵乃是命题辩证关系的蕴涵,是矛盾系统的蕴涵,这种蕴涵揭示的是概念内在的必然联系。     

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

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

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

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

两种假言命题和两种蕴涵

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

直言三段论模式变形推理机制及应用

一、直言三段论的表述及其标准模式直言三段论的推理可表述为前提合取蕴涵结论式,也可以表述为二重蕴涵式,即:(M—P∧S—M)→S—P,或M—P→(S—M→S—P)前者的含义是;如果有大前提,并且有小前提.那么有结论.后者的含义是:如果有大前提,那么,如果有小前提,那么有结论.这两种表述式的含义完全一样.因此,二重蕴涵式与前提合取蕴涵式是等值的.三段论式的二重蕴涵化的理论根据是命题演算中的“蕴涵词引入规则”,此规则是说,如果从一系列命题A和一命题B能推出另一命题C,那么,从一系列命题A就可以推出以命题B为前件,命题C为后件的充分条件假言命题B→C.即:如果A∧B→C,那么A→(B→C).事实上,(A∧B→C)←→[A→(B→C)]是重言式.本文所述的三段论模式变形推理.将采用二重蕴涵式的表述方式.     

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

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

谈自然语言等值命题

谈自然语言等值命题韩永惠等值命题这一部分内容较抽象，不容易理解和记忆。在课堂教学中，学生只能掌握简单的等值式，对复杂的，或稍加变化的等值式便感到茫然，更谈不到举一反三了。而高校通用的一般《形式逻辑》教材，在等值类型的处理上，又仅限于几种简单的典型格式...     

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

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

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

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

条件句的语义排歧与假设性思考的量化机制

能够使用条件句做假设性思考,是人类理性思维的一种重要特征。自然语言条件句的语义排歧,需要在区分条件句与条件命题、命题与命题函数的基础上,更多地关注使用受限量化域的特殊形式蕴涵。在珀尔因果模型论的基础上对共伴式和干预式假设性思考的研究,使得假设性思考中基于形式蕴涵的量化机制得以清晰呈现。通过对量化机制的把握解决“实质蕴涵怪论”问题造成的假设性思考疑难,消除因果模型论的“反经典外貌”,维护实质蕴涵理论的基础性和普适性,经典逻辑在人类智能和人工智能研究中的基础功能和作用可得到进一步开掘。     

语言的痛苦:文学言说的双重困境

言说体验之境并显示其中蕴涵的人生意义,既是文学言说的追求所在,也是文学言说的困境所在。不过言意矛盾并非仅仅体现为欲说之“意”难以转化为传达之“言”,其间的矛盾至少包括三种形态:“意”的丰饶与“言”的贫乏;语言本身固有的含义遮蔽了意义的表达;以及先于个体存在的语言对思维的限制。因此,言意矛盾实际上存在于两个过程之中:“意”向“言”的转化和“言”对“思”的禁锢,后者乃是更深刻也更根本的言意矛盾。     

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

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

逻辑魔方：逻辑方阵内在机制及其普适性探讨

剖析传统逻辑方阵的内在机制，将方阵所表示的各种对当关系区分为对角关系和周边关系两种基本类型，从而证明：只要对角关系成立并且周边关系中任一关系成立，则其它关系也就成立，而且周边关系在逻辑上完全是等值的。逻辑方阵不仅适用于直言命题、模态命题和规范命题，而且广泛适用于各种不同类型的命题，具有普适性的品格。     

关于二难推理的几个理论问题

本文论述了二难推理的三个理论问题:一是构成式和破坏式的内涵界定问题;二是构成式和破坏式的等值转换问题;三是选言前提的种类问题。深入研究这三个理论问题。在不断完善二难推理理论方面有一定的现实意义。     

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

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

行动、博弈与推理

行动不描述客观事态，因而它无真值，因此不能用命题连接词将基本行动连接成复合行动。行动模态或意志模态——不同于命题模态——其算子加于行动之上才能构成行动模态命题。行动逻辑研究的是行动模态命题之间的逻辑关系，当然这里的关系可能处于多个行动者的博弈之中。     

谈谈选言命题的真值表及其推理规则

现行逻辑学教科书，象措通逻辑》（上海人民出版社），《形式逻辑》（华东师大出版社）等，讲到选言命题时，都是先依据选言命题的选言肢是否能并存，而把选言命题分为相容的选言命题与不相容的选言命题两种，然后分别讨论，给出各自定义、表达式、逻辑特征以及真值表等。给出相容的选言命题与不相容的选言命题的真情表分别如下表（）、（2）：①我们认为，表（）确实能反映出相容的选言命题的逻辑特征，一个相容的选言命题为真当巴议当至少有一个选言肢为真，并且各选言可以同真。因为可以归纳证明，对于任何一含有l。个（fi为整数且fll＞2…     

意向性、心智模态与心智逻辑

将意向性的心灵活动与它们所指向或涉及的对象分割开来所得的一些'态度',即为心智模态,它们由'相信'、'喜欢'、'坚持'等'心智模态词'所刻画。根据对象的种类,心智模态可划分为三种：　指向事态的认知模态、指向客体（包括人）的情感模态和指向行动的意志模态。它们可分别看成'从言模态'、'从物模态'和'从动模态'。心智模态词操作于相应的对象构成心智模态命题。心智模态逻辑或心智逻辑研究同种心智模态词构成的心智模态命题之间的逻辑关系,以及不同心智模态词构成的心智模态命题之间的逻辑关系。心智模态逻辑不同于皮亚杰所给出的心理逻辑,心智逻辑探讨的是心灵的结构。