论形式逻辑思维规律对思维形式和证明的应用

本书是李世繁著、上海人民出版社1958年出版的逻辑学专著《论形式逻辑思维规律对思维形式和证明的应用》。版权页标明开本787×1092公厘1/32，印张2，字数39,000，印数1—10,000，统一书号2074·81，定价0.19元，封面设计赵晴。据作者序，形式逻辑是以同一律、矛盾律、排中律、充足理由律为基础的思维科学，这四个思维规律是思维形式和证明的理论基础，它们是为思维形式和证明服务的；关于思维规律对思维形式和证明的应用，是形式逻辑中的一个主要问题，但一般形式逻辑教科书对此问题很少加以系统地阐述，致使有些人发生错觉，认为思维规律的作用不大，甚至有主张取消充足理由律的。作者认为，如果能正确解决这一问题，不仅能用思维规律说明思维形式和证明，明确思维规律的作用，并能使形式逻辑系统化；本书即试图阐述这一问题。序文还说明，本书初稿中的同一律部分曾由汪奠基先生、王宪钧先生各阅读一遍并提出宝贵修改意见；序署李世繁，1957年9月8日于北京大学。

从目录可见，全书分为五部分：一“引言”；二“同一律对思维形式和证明的应用”，包括同一律的内容、公式，同一律对概念、定义、划分的应用，同一律对判断的应用，同一律对推理的应用，同一律对证明的应用；三“矛盾律对思维形式和证明的应用”，包括矛盾律的内容、公式，矛盾律对概念的应用，矛盾律对判断的应用，矛盾律对推理的应用，矛盾律对反驳的应用；四“排中律对思维形式和证明的应用”，包括排中律的内容、公式，排中律对概念、判断的应用，排中律对推理的应用，排中律对证明的应用；五“充足理由律对思维形式和证明的应用”，包括充足理由律的内容、公式，充足理由律对判断的应用，充足理由律对推理的应用，充足理由律对证明的应用。

正文引言指出，形式逻辑研究同一律、矛盾律、排中律、充足理由律四个初级思维规律，研究概念、判断、推理三种思维形式和证明；概念、判断、推理三种思维形式又各有不同的类型，各种思维形式都以客观事物为基础，都是反映客观事物的相对稳定的、普遍的关系、特性的；各种思维形式和证明又以初级思维规律为逻辑基础，初级思维规律是思维形式和证明的规律，它们是为思维形式和证明服务的。正文以同一律为例，论述同一律的客观基础是事物的相对同一性，同一律的内容是人们所思维的对象和反映对象的概念在同一时间内和它自身是同一的，公式是“A是A”或“A=A”；并具体讨论同一律对概念、定义、划分、判断、推理、证明的应用，包括重合概念、定义应相称、划分诸子项外延之和应等于母项全部外延、肯定判断的主项和谓项的外延关系、换位法规则、直言三段论规则等，还引用孔子论“孝”“恕”、“墨经”和“荀子·正名”关于名和定义的材料，以及斯大林关于确定概念意义的论述。本次仅见前20页，后续内容待补。