研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究。它提供检验有效的推理和非有效的推理的标准。形式逻辑已经历了2000多年的历史，19世纪中叶以前的形式逻辑主要是传统逻辑，19世纪中叶以后发展起来的现代形式逻辑，通常称为数理逻辑，也称为符号逻辑。

本书共分7章，内容有：形式逻辑的对象和作用、概念、判断、演绎推理等。

第一章 形式逻辑的对象和作用

第一节 形式逻辑的对象

第二节 形式逻辑、数理逻辑与辩证逻辑

第三节 形式逻辑的作用

第二章 概念

第一节 概念的特征

第二节 概念与语词

第三节 概念的内涵与外延

第四节 概念的种类

第五节 概念间的关系

第六节 定义

什么是定义

真实定义

语词定义

真实定义与语词定义的关系

定义的规则

第七节 划分

什么是划分

划分的规则

二分法

划分与定义的关系

习题

第三章 判断

第一节 判断的特征

第二节 判断与语句

第三节 判断的种类

第四节 性质判断及其相互关系

性质判断的形式

A．E、I、O之间的真假关系

第五节 A、E、I、O的主项与谓项周延问题

第六节 关系判断及其相互关系

关系判断的形式

关系的对称性

关系的传递性

关系判断的量项

第七节 假言判断

第八节 选言判断

第九节 联言判断

第十节 负判断

第十一节 各种复合判断之间的关系

第十二节 模态判断

第十三节 几种特别的判断形式

习题

第四章 演绎推理

第一节 推理的特征

第二节 推理的种类与演绎推理的特征

第三节 性质判断的推理：（一）直接推理

换质法

换位法

换质位法

附性法

第四节 性质判断的推理：（二）三段论

三段论的定义与组成

三段论的规则

三段论的格与式

三段论的还原

省略三段论与复合三段论

有关三段论的几个问题

第五节 关系判断的推理

第六节 复合判断的推理

假言推理

选言推理

联言推理

二难推理

几种常见的以假言判断、选言判断和联言判断为

前提的推理

第七节 模态推理

习题

第五章 归纳法

第一节 归纳法的特征

第二节 观察、实验与一些整理感性材料的方法

观察与实验

比较、分类、分析与综合

第三节 简单枚举法与完全归纳法

简单枚举法

完全归纳法

第四节 类比法

第五节 判明因果联系的方法

现象间的因果联系

求因果联系的五种方法

第六节 概率与统计

概率

统计方法

应用统计方法时常见的错误

第七节 假说

假说的性质

假说的发展

假说的作用

第八节 归纳与演绎的关系

习题

第六章 形式逻辑的基本规律

第一节 形式逻辑基本规律的一般性质

第二节 同一律

第三节 矛盾律

第四节 排中律

习题

第七章 论证

第一节 论证及其作用

第二节 论证的组成

第三节 论证的种类

演绎论证和归纳论证

直接论证和间接论证

第四节 论证的规则

关于论题的规则

关于论据的规则

关于论证方式的规则

第五节 反驳

第六节 几种不正当的论证和反驳的手法

习题

附录 逻辑史资料

第一节 引言

第二节 古希腊奴隶社会时期的逻辑学说

亚里士多德的逻辑学说

斯多阿派与伊壁鸠鲁派的逻辑学说

第三节 欧洲中世纪封建主义时期的逻辑学说

第四节 欧洲近代资本主义时期的逻辑学说

培根的归纳逻辑

《波尔罗亚尔逻辑》

康德的逻辑学说

穆勒的归纳逻辑

莱布尼兹到布尔的数理逻辑

第五节 中国逻辑思想的发展

公孙龙的逻辑思想

后期墨家的逻辑思想

荀况的逻辑思想

汉以后逻辑思想的发展

金岳霖(1895－1984.10.19) 哲学家、逻辑学家。字龙荪。湖南长沙人。1914年清华学堂毕业。后赴美留学，1920年获美国哥伦比亚大学政治学博士学位。1921年后游学英、德、法、意等国。1925年回国。历任清华大学、西南联合大学哲学系教授、系主任，文学院院长。 1948 年被选为中央研究院院士。1952年后历任北京大学哲学系主任、教授，中国科学院哲学研究所副所长、研究员。1955年被聘为中国科学院哲学社会科学部常务委员。同年加入中国共产党。是中国逻辑学会理事长、名誉理事长，国务院学位委员会委员，全国政协第二、四至六届委员，民革中央常委。一生从事哲学、逻辑学研究和教学。在哲学方面，吸收西方哲学的成果，建立了自己独特的哲学体系；最早把西方哲学中的逻辑分析方法应用于哲学研究；批判了罗素的主观唯心论，论证了事物的可知性；提出摹状与规律的学说。在逻辑学方面，30年代系统地从西方引进演绎逻辑，对演绎逻辑的基本问题作了深入探索；认为同一律、排中律、矛盾律是形式逻辑的基本思维规律。后期强调形式逻辑必须接受辩证唯物主义的指导，用马克思主义的哲学观点探讨了形式逻辑的客观基础，提出了有关思维的新的判断形式，主张恢复归纳（在形式逻辑中）本来的地位。著有《逻辑》、《知识论》等；出版有《金岳霖学术论文选》、《金岳霖文集》等。