论墨辨中辟式推论的逻辑本质

《墨子·小取》第二段(或也者,不尽也……)列举出墨家辩术的七种方式:或、假、效和辟、侔、援、推。从《墨子》全书看,辟式是一种得到广泛应用的推论方式。对辟式的说明,《小取》中有这样三句话:

党政干部基础科学习辅导 形式逻辑 第三章 判断

判断是对于客观对象有所断定的思维形式。它有两个特征:一是有所肯定或否定;二是有真或假的区别。判断都是通过语句表达,但是并非所有语句都表达判断。判断是语句的思维内容,语句是判断的语言形式。

关于演绎推理的几个问题

形式逻辑是从形式结构方面来考察思维形式,它把推理作为主要研究对象。对于推理的研究,演绎推理越来越引起人们重视,争论的问题也较多,本文就其中的几个问题提出拙见,求救于同志们。

党政干部基础科学习辅导形式逻辑 第七章 演绎推理(下)

本章包括联言推理、选言推理、假言推理与模态推理等内容。其中,联言推理分为合成式和分解式两种基本形式。选言推理分为不相容的选育推理、相容的选言推理。假言推理分为充分条件假言推理、必要条件假言推理、充分必要条件假言推理。模态推理分为或然模态推理、必然模态推理。

对负判断的等值判断的思考

在现行普通逻辑教材中,对复合判断的等值判断,从理论上解说的较多,本文作者从逻辑形式上对复合判断的等值判断的求值方法进行了探讨,以求得便于理解、容易掌握的规律。并对现行普通逻辑教材中通用的几个复合判断的负判断的等值判断的公式提点不同看法。