复合命题推理与立体逻辑方阵

立体逻辑方阵不仅可表示八个复合命题之间的真假制约关系,还可表示八个复合命题推理之间的真假制约关系.即简单复合命题推理无效式和复杂复合命题推理无效式的异变形式及其否定形式之间有真假制约关系.这样,立体逻辑方阵的表记对象不仅限于复合命题,还扩展到复合命题推理,具有普遍适用性.     

立体逻辑方阵再探

立体逻辑方阵可表示八个命题之间的真假制约关系.包含两个自变元的联言命题、相容选言命题、充分条件假言命题和必要条件假言命题,通过非双肢互否、前肢互否、后肢互否和双肢互否等方式形成的命题与其负命题之间也具有真假制约关系,这些真假制约关系仍可用立体逻辑方阵表示,这为立体逻辑方阵的建立进一步找到了实际依捂.     

真值表的逻辑工具功能

本文较全面地论述了真值表定义复合命题联结词,提供推理规则逻辑根据,直接检验复合命题推理有效性,揭示复合命题之间真假关系,构造复合命题逻辑方阵及其推理有效式,准确掌握矛盾律、排中律、反证法和间接反驳,准确理解复杂语句外延等多方面的逻辑工具功能     

关于建立立体逻辑方阵的构想

真假制约关系问题是逻辑学界研究的热点问题.包含两个自变元的联言命题与相容选言命题、充分条件假言命题、必要条件假言命题,通过前肢互否、后肢互否、双肢互否和非双肢互否等方式形成的各个命题之间,仍具有真假制约关系,可在此基础上建立立体逻辑方阵.     

《墨经·小取》侔式刍议

侔式推理是一种由一个前提得出一个结论的简单推理形式,其基本方法是紧挨着前提的主、谓项前面粘附上一个相同的词语从而得出结论.侔式推理有四种类型,《墨经·小取》比较系统地研究了侔式推理各种有效的推理形式.据此可以说,古代中国不仅有逻辑思想,而且有逻辑学.     

《讲座》 论证(Ⅴ)

七、充分条件,必要条件上一节,我们将一个蕴函式复合命题,通过对其真值表的剖析,派生出它的逆、否、逆否命题(也称为原命题的共轭命题),其中两组是两两等价的,大家知道,“若…,则….”是数学中最常用的逻辑表示式之一,本讲座就是以这种表示式为骨架,反复阐述     

复合逻辑方阵研究的新探索——以立体逻辑方阵为例

根据逻辑方阵的表记对象和范围不断扩大的现实,需对逻辑方阵的图示方法进行复合化研究。构造一个反映八个逻辑形式的真值关系示意图——立体逻辑方阵,它和传统逻辑方阵极为类似,便于识记,也具有普适性特征。立体逻辑方阵还在拓宽推理类型、丰富和完善逻辑永真公式的形成系统等方面有重要的理论意义。     

关系命题及其推理三题

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

试证模态方阵的科学性及其推演的有效性

模态逻辑是研究含有“必然”、“可能”等模态算子的命题及其推理的逻辑学科。在传统逻辑学中,逻辑学家们把简单模态命题之间所进行的推演总结成一个图,用以表述它们之间的真假关系。这个图被称之为模态方阵,或叫模态对当关系。     

普通逻辑学习纲要(二)

第六章复合判断及其演绎推理(二)学习本章,应注意掌握的重点是:1.什么是充分条件假言直言推理?其推理规则和有效形式是什么?违反推理规则会犯什么逻辑错误?2.什么是必要条件假言直言推理?其推理规则和有效形式是什么?违反推理规则会犯什么逻辑错误。3.什么是充分必要条件假言直言推理?其推理规则和有效形式是什么?违反推理规则会犯什么逻辑错误?4.什么是假言选言推理?它有几种形式?5.什么是负判断?什么是负判断的等值判断和等值推理?重点掌握四种负性质判断及其等值推理、六种复合判断及其等值推理,要记清其等值式。6.掌握用真值表判定两个复合判断是否等值的方法。对上述内容应能做到:第一,掌握充分条件假言直言推理、必要条件假言直言推理、充分必要条件假言直言推理的规则,能正确识别、分析其任一推理是否正确,如不正确,要能指出其违反什么规则。犯了什么逻辑错误,还要能写出其推理的逻辑形式。第二,掌握各种负性质判断和负复合判断的逻辑形式,