《邏輯導(dǎo)論》

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