《形式逻辑》

中国教育部组织编写的高等院校文科教材之一。金岳霖主编。1963年完稿，人民出版社1979年出版。本书认为形式逻辑是一门以思维形式及其规律为主要研究对象，同时也涉及一些简单逻辑方法的科学。所谓“思维形式”，不是指的概念、判断和推理，而是判断和推理的形式。书中所介绍的思维形式和逻辑方法比同时期出版的其他逻辑教科书丰富和详尽。比如真实定义与语词定义的联系与区别、负判断和不相容选言判断、混合关系三段论等内容都是新写入教科书的。本书对一些重要的逻辑理论的表述较同类书为准确。比如，关于A、E、I、O四种性质判断的主项和谓项的周延问题，该书指出，周延问题是就判断形式而言的，所谓在一种判断形式中是否断定了主项(或谓项)的全部外延，就是说在具有这种判断形式的所有具体判断中是否普遍地、必然地都断定了主项(或谓项)的全部外延。本书对1949年以来中国逻辑界对逻辑问题所进行的学术讨论予以关注，并且对一些比较重要的争论问题(如三段论前提的真实性和形式的正确性问题，归纳推理的规律问题，怎样丰富和发展形式逻辑问题等等)发表了意见。本书包括绪论、概念、判断、演绎推理、归纳法、逻辑基本规律、论证7章和逻辑史资料(附录)。