《逻辑导论》

美国斯坦福大学哲学教授P·苏佩斯著，本书为美国大学本科数学用书，初版于1957年5月，后5次再版重印。中文本根据1963年第6次印刷本译出，中国社会科学出版社1984年7月出版，全书分2编，共12章，31万6千字。作者在书中阐述了数理逻辑的基本公理系统，涉及到命题逻辑、谓词逻辑、等同逻辑(包括定义理论)和集合论等。前8章构成第1编，专门论述推理和定义的一般原则。第2编，即后4章则为讨论初等集合论(类的一般理论)。作者编写第1、2编的目的在于要把逻辑当作数学和科学的一个部分来加以介绍，并用大量的详细的实例来说明逻辑与心理学这样的经验科学的相关性。因此，作者认为在强调把逻辑本身做出一门学科加以展开的同时，更重要的则在于逻辑系统的使用和应用。由于本书当初是为美国大学本科数学系用作现代逻辑初级教程的课本而写的，因此除了具备一些与同类书籍不同的特点外，作者的主要目标是想让读者掌握一门精确而完整的逻辑推理理论，并且说明这一理论是可以怎样应用于数学和各门经验科学的。