谈谈选言推理的规则──兼谈选言推理的形式

推理规则是用来分析推理正误的。正确而完善的某种推理规则应该能够分析某种推理的任何一种推理形式是否有效。而目前流行的选言推理规则起不到这样的作用。比如：（P∨q）∧p→q、（p∨q∨）∧p→q∧r等都是无效的选言推理形式，但运用流行的选言推理的规则却不能得到很好的说明。所以，目前流行的选言推理规则是不完善的，应该修正或做出明确的解释。     

用复合判断及推理的知识理解和分析判断对当关系及推理

判断之间的反对关系、下反对关系、矛盾关系和差等关系分别与一定的复合判断有着完全相同的逻辑特性，因此，我们可以用复合判断及推理的知识来理解和分析判断对当关系及推理．这样可以帮助人们融会贯通，掌握判断对当关系及推理的有关内容，而且还增强了知识的科学性和系统性．     

谈谈话题作文审题

最近几年高考作文多以话题形式出题。这种话题作文,与以往的材料作文有所不同,它只规定写作范围而不规定具体内容,考生写什么,表达怎样的思想,一般不受限制,只要符合话题就行。这实际上大大淡化了作文中的审题环节,但这并不等于不需要审题,不意味着写作时可以随心所欲。事实上,任何形式的作文,都绕不过审题这一关。审题始终是作文教学中     

时态命题的对当关系及推理

本文探讨了时态逻辑中简单时态命题的形式、对当关系以及依据对当关系所进行的直接推理。     

谈谈复合判断之间的等值转换

谈谈复合判断之间的等值转换刘本学一个判断，总有另外一个或多个判断与其等值，而且它们之间在形式上有着一定的内在联系。所以，判断之间也就存在着一定的等值转换关系。进行判断之间的等值转换，对于加强人们的思维训练和增强语言表达的灵活性以及进一步学习现代逻辑知...     

“直接反驳”与“间接反驳”分类的思索

逻辑界中“直接反驳”与“间接反驳”的实例分析，是非常混乱的．同一个例句，却有截然相反的分析；同类型的例句却有不同类的分析．其根本原因就在于，目前流行的“直接反驳“与“间接反驳”的分类缺乏科学的标淮。本文认为可以取消“直接反驳”与“间接反驳”的分类；或者将“直接反驳”定义为“不需要假设被反驳判断真进行的反驳”，将“间接反驳”定义为“需要假设被判断真进行的反驳”．     

谈集合概念与非集合概念的定义

现有的对集合概念和非集合概念的定义 ,虽说法不一 ,但没有什么实质性区别 ,不易理解 ,而且把非集合概念定义为“不反映集合体”还有违反定义规则之嫌。我们知道 ,“集合体”和“个体”是相对的 ,集合概念是反映集合体的 ,而非集合概念是反映个体的 ,所以 ,应该把集合概念定义为“反映集合体的概念” ,而把非集合概念定义为“反映个体的概念”。     

谈恢复三段论的完整式

恢复三段论的完整式,首先要把省略掉的命题补出来。而要补出省略掉的命题,最关键的是在原省略式中找到两个概念,然后根据三段论推理规则确定要补出的命题的联项,最后根据思维习惯、语言习惯和一般常识把省略掉的命题补出来,从而恢复三段论的完整式。     

时态命题的对当关系及推理

本文探讨了时态逻辑中简单时态命题的形式、对当关系以及依据对当关系所进行的直接推理。     

谈负命题与其它复合命题之间的蕴含关系

蕴含关系是逻辑上非常重要的一种关系,探讨命题之间的蕴含关系对于丰富传统逻辑的内容以及促进现代逻辑的研究都是非常有益的。