本书是作者有感于国内哲学界对现代逻辑重视不够而写的著作。作者认为国内的高等院校哲学家未将现代逻辑作为必修课，使学生在知识结构上存在严重缺陷，因而作者认为弄清现代逻辑对哲学有什么用，是十分有必要的。

作者寻找所有被称为“逻辑”的东西的共同之处，力图把握逻辑这门学科的内在机制。根据这个内在机制，作者阐述了一系列有重要影响的问题，如归纳逻辑、辩证逻辑是不是逻辑，现代逻辑对哲学的重要作用等等。本书论证严密，观点鲜明，启发性强。

第一章 导论

1．“逻辑”的名称

2. 逻辑教材的内容

3．逻辑史的内容

4．什么是逻辑？

第二章 亚里士多德逻辑

1．推理的定义

2．四谓词理论

3．三段论

4.“必然地得出”

第三章 现代逻辑

1．一阶逻辑

2．量词

3. 形式化

4．可靠性和完全性

第四章 传统与现代

l．逻辑的定义

2．命题推理

3．三段论推理

4．能量的差异



第五章 演绎与归纳

1．亚里土多德沦归纳

2．培根论归纳

3. 密尔论归纳

4．现代逻辑学家论归纳

5．归纳是逻辑吗？

第六章 形式与内容

1．黑格尔论逻辑

2．低级与高级

3．辩证逻辑是逻辑吗？

第七章 逻辑观

1．普通逻辑

2. 语言逻辑

3．中国逻辑史

4．大逻辑与小逻辑

第八章 逻辑与哲学

1．分析与思辨

2. 逻辑分析

3．如何看待逻辑？

主要参考文献

人名术语索引



目录

第一章 导论

1．“逻辑”的名称

2. 逻辑教材的内容

3．逻辑史的内容

4．什么是逻辑？

第二章 亚里士多德逻辑

1．推理的定义

2．四谓词理论

3．三段论

4.“必然地得出”

第三章 现代逻辑

1．一阶逻辑

2．量词

3. 形式化

4．可靠性和完全性

第四章 传统与现代

l．逻辑的定义

2．命题推理

3．三段论推理

4．能量的差异



第五章 演绎与归纳

1．亚里土多德沦归纳

2．培根论归纳

3. 密尔论归纳

4．现代逻辑学家论归纳

5．归纳是逻辑吗？

第六章 形式与内容

1．黑格尔论逻辑

2．低级与高级

3．辩证逻辑是逻辑吗？

第七章 逻辑观

1．普通逻辑

2. 语言逻辑

3．中国逻辑史

4．大逻辑与小逻辑

第八章 逻辑与哲学

1．分析与思辨

2. 逻辑分析

3．如何看待逻辑？

主要参考文献

人名术语索引

6部著作编排起来，命名为《工具论》，这6部著作是：《范畴篇》，《解释篇》，《前分析篇》，《后分析篇》，《论辩篇》和《辨谬篇》。随着“逻辑”这个名称的采用，《工具论》被看作是亚里士多德的逻辑著作。它所讲述的内容被称为逻辑。在以后的发展中，亚里士多德的《工具论》成为逻辑学习和研究的基本内容。特别是到了中世纪，逻辑成为神学院的一门基础课，其主要内容基本上也是亚里士多德的《工具论》。亚里士多德的逻辑主要是关于推理的学说，其中最主要的部分是三段论，包括三个格，十四个有效的式。由此说明，逻辑主要是研究推理的，并且是从形式方面研究推理的。因

此，后来这门学科也叫作形式逻辑。

1620年，英国哲学家培根（1516－1626年）出版了巨著《伟大的复兴》。这是一部未完成的著作，它的第二部分是“新工具论”，后来这部分以单行本出版，即著名的《新工具论》。这部著作批判了亚里土多德的逻辑方法，认为三段论不能帮助人们认识真，无助于人们探讨自然，因此它提出了新的方法，即归纳法。可以说，这部著作标志着归纳法作为一种系统的方法的诞生。在培根之后，密尔（1806－1873年）于1843年出版了《逻辑体系》一书，他在培根的归纳法的基础上发展了归纳法，提出了求因果五法，由此使古典归纳法走向成熟。我们看到，培根以“新工具论”命名自己的著作，以示与亚里士多德逻辑的区别。密尔则以“逻辑”命名自己的著作，以此表明归纳法也是逻辑。实际上，正是从培根和密尔开始，出现了一个新的名称，这就是“归纳逻辑”。从此不仅这个名称出现在逻辑文献中，而且在逻辑教材中也含有这方面的内容。

1812－1813年，德国哲学家黑格尔（1770－1831年）发表了名著《逻辑学》。他认为，逻辑研究的对象是思维和思维规律，但是以前的逻辑都是把思维的形式和内容分离开，把真与确定性分离开，这样的研究给人一种感觉，好像思维本身是空的，这样对思维的研究实际上是走了弯路，这样研究所得出来的关于思维和认识本身的一些看法也是荒谬的。因此需要对逻辑进行全盘改造。这样他以“是”、“不”和“变”这样的概念为出发点，构造了他的逻辑体系。黑格尔的逻辑是思维形式的辩证法。恩格斯在《自然辩证法》中谈到它时，用“辩证的”这个形容词修饰黑格尔的逻辑。自那之后，又出现了一个新的名称，这就是“辩证逻辑”。但是，虽然这个名称也出现在逻辑文献中，而且也有这样的专著，虽然在大学里，主要是在苏联和我国的一些高等院校中也有辩证逻辑这门课，但是“辩证逻辑”与“归纳逻辑”有一个十分明显的区别，这就是在一般的逻辑教材中有归纳逻辑，却没有辩证逻辑。

1879年，德国数学家、逻辑学家弗雷格（1848－1925年）发表了《概念文字——一种模仿算术语言构造的纯思维的形式语言》，创建了现代逻辑，接着罗素和怀特海在弗雷格的工作的基础上，于1910年发表了《数学原理》，建立了带等词的一阶谓词系统。由此现代逻辑传播开来。最初现代逻辑是为了解决数学基础问题的，因此也叫“数理逻辑”。这种逻辑是以符号的方式表达的，所以也叫“符号逻辑”。这种逻辑与过去的逻辑在表达方法以及证明方法上，因而在能力和作用以及应用范围等方面有了根本性的变化，因此，人们把这种逻辑叫作“现代逻辑”，而把过去的逻辑叫作“传统逻辑”。过去的逻辑指的是自亚里士多德以来形成的、在大学里普遍教授的逻辑。这种逻辑一般来说包含归纳逻辑方面的内容，但是绝对排除辩证逻辑方面的内容。因此，“数理逻辑”、“符号逻辑”和“现代逻辑”虽然具体地说、特别是在一些具体的研究内容方面的6部著作编排起来，命名为《工具论》，这6部著作是：《范畴篇》，《解释篇》，《前分析篇》，《后分析篇》，《论辩篇》和《辨谬篇》。随着“逻辑”这个名称的采用，《工具论》被看作是亚里士多德的逻辑著作。它所讲述的内容被称为逻辑。在以后的发展中，亚里士多德的《工具论》成为逻辑学习和研究的基本内容。特别是到了中世纪，逻辑成为神学院的一门基础课，其主要内容基本上也是亚里士多德的《工具论》。亚里士多德的逻辑主要是关于推理的学说，其中最主要的部分是三段论，包括三个格，十四个有效的式。由此说明，逻辑主要是研究推理的，并且是从形式方面研究推理的。因此，后来这门学科也叫作形式逻辑。

1620年，英国哲学家培根（1516－1626年）出版了巨著《伟大的复兴》。这是一部未完成的著作，它的第二部分是“新工具论”，后来这部分以单行本出版，即著名的《新工具论》。这部著作批判了亚里土多德的逻辑方法，认为三段论不能帮助人们认识真，无助于人们探讨自然，因此它提出了新的方法，即归纳法。可以说，这部著作标志着归纳法作为一种系统的方法的诞生。在培根之后，密尔（1806－1873年）于1843年出版了《逻辑体系》一书，他在培根的归纳法的基础上发展了归纳法，提出了求因果五法，由此使古典归纳法走向成熟。我们看到，培根以“新工具论”命名自己的著作，以示与亚里士多德逻辑的区别。密尔则以“逻辑”命名自己的著作，以此表明归纳法也是逻辑。实际上，正是从培根和密尔开始，出现了一个新的名称，这就是“归纳逻辑”。从此不仅这个名称出现在逻辑文献中，而且在逻辑教材中也含有这方面的内容。

1812－1813年，德国哲学家黑格尔（1770－1831年）发表了名著《逻辑学》。他认为，逻辑研究的对象是思维和思维规律，但是以前的逻辑都是把思维的形式和内容分离开，把真与确定性分离开，这样的研究给人一种感觉，好像思维本身是空的，这样对思维的研究实际上是走了弯路，这样研究所得出来的关于思维和认识本身的一些看法也是荒谬的。因此需要对逻辑进行全盘改造。这样他以“是”、“不”和“变”这样的概念为出发点，构造了他的逻辑体系。黑格尔的逻辑是思维形式的辩证法。恩格斯在《自然辩证法》中谈到它时，用“辩证的”这个形容词修饰黑格尔的逻辑。自那之后，又出现了一个新的名称，这就是“辩证逻辑”。但是，虽然这个名称也出现在逻辑文献中，而且也有这样的专著，虽然在大学里，主要是在苏联和我国的一些高等院校中也有辩证逻辑这门课，但是“辩证逻辑”与“归纳逻辑”有一个十分明显的区别，这就是在一般的逻辑教材中有归纳逻辑，却没有辩证逻辑。

1879年，德国数学家、逻辑学家弗雷格（1848－1925年）发表了《概念文字——一种模仿算术语言构造的纯思维的形式语言》，创建了现代逻辑，接着罗素和怀特海在弗雷格的工作的基础上，于1910年发表了《数学原理》，建立了带等词的一阶谓词系统。由此现代逻辑传播开来。最初现代逻辑是为了解决数学基础问题的，因此也叫“数理逻辑”。这种逻辑是以符号的方式表达的，所以也叫“符号逻辑”。这种逻辑与过去的逻辑在表达方法以及证明方法上，因而在能力和作用以及应用范围等方面有了根本性的变化，因此，人们把这种逻辑叫作“现代逻辑”，而把过去的逻辑叫作“传统逻辑”。过去的逻辑指的是自亚里士多德以来形成的、在大学里普遍教授的逻辑。这种逻辑一般来说包含归纳逻辑方面的内容，但是绝对排除辩证逻辑方面的内容。因此，“数理逻辑”、“符号逻辑”和“现代逻辑”虽然具体地说、特别是在一些具体的研究内容方面……