《邏輯導論》
美國斯坦福大學哲學教授P·蘇佩斯著,本書為美國大學本科數(shù)學用書,初版于1957年5月,后5次再版重印。中文本根據(jù)1963年第6次印刷本譯出,中國社會科學出版社1984年7月出版,全書分2編,共12章,31萬6千字。作者在書中闡述了數(shù)理邏輯的基本公理系統(tǒng),涉及到命題邏輯、謂詞邏輯、等同邏輯(包括定義理論)和集合論等。前8章構成第1編,專門論述推理和定義的一般原則。第2編,即后4章則為討論初等集合論(類的一般理論)。作者編寫第1、2編的目的在于要把邏輯當作數(shù)學和科學的一個部分來加以介紹,并用大量的詳細的實例來說明邏輯與心理學這樣的經驗科學的相關性。因此,作者認為在強調把邏輯本身做出一門學科加以展開的同時,更重要的則在于邏輯系統(tǒng)的使用和應用。由于本書當初是為美國大學本科數(shù)學系用作現(xiàn)代邏輯初級教程的課本而寫的,因此除了具備一些與同類書籍不同的特點外,作者的主要目標是想讓讀者掌握一門精確而完整的邏輯推理理論,并且說明這一理論是可以怎樣應用于數(shù)學和各門經驗科學的。