現代邏輯學

本書系重慶出版社《現代社會科學叢書》之一，全書內容分為九章和一個附錄。第一章緒論首先指出：“現代邏輯”是跟“傳統邏輯”相對而言的，傳統邏輯又主要是指傳統形式邏輯，它起源於兩幹多年前的亞里士多德邏輯，以及中國的先秦名學和印度的因明學，它們又可以統稱為古典邏輯。在邏輯研究中一旦引入數學方法並且加強對人工符號語言的應用，便產生了大大優越於傳統形式邏輯的現代邏輯，它的主體部分是數理邏輯。然後簡介了邏輯思想的發展、現代邏輯學的產生、分類和子學科、現代邏輯與傳統邏輯的比較以及學習現代邏輯的意義和方法。第二、三章為命題邏輯、謂詞邏輯，分別講述了命題邏輯的基礎理論和演算系統、謂詞邏輯的基礎理論和演算系統。第四章邏輯代數分佈爾代數、真值代數和命題代數、類邏輯代數和集合代數、開關代數和概率代數四部分進行講解。第五章模態邏輯介紹了標準模態邏輯的產生；模態概念、命題及語義；模態邏輯演算；非標準模態邏輯概況。第六章概率邏輯。概率邏輯也叫做概率歸納邏輯或現代歸納邏輯，它的派別很多，其中最主要的有頻率論、邏輯論，私人論等等，這裏重點介紹了頻率論和邏輯論概率邏輯，並對歸納邏輯在發展過程中遇到的悖論及其解決方案進行了評介。第七章演繹邏輯與歸納邏輯，論及演繹理論及其模型問題、公理和公理方法發展的三個歷史階段(直觀公理方法、概括公理方法和形式公理方法)、形式公理系統的一致性、完全性和獨立性，關於形式公理系統的哥德爾不完全性定理和丘奇不可判定性定理、歸納方法和演繹方法的區別和聯繫、常用的幾種歸納方法、科學方法論和現代科學方法論的主要流派。第八章邏輯的實際應用介紹了命題邏輯、謂詞邏輯、邏輯代數的應用和對傳統形式邏輯的研究。第九章數學中的邏輯問題首先比較了數學和邏輯的不同點和相似點，然後講到推理證明的一般方法和在社會科學中應用數學的三種途徑(符號化和形式化、模型化和公理化、利用更適合的數學工具)。附錄簡要介紹了當代中國的幾部琿輯學著作。本書的一大特點是既通俗又有一定的理論深度，開始部分力求通俗，由淺入深，逐步達到較高深的境界，既能使基礎較差的讀者逐步加深理解，又能使基本功較紮實的讀者有所收穫，是一本難得的兼有普及與提高性質的中級學術著作。 ^[1] 

重慶出版社1989年7月第1版，34.4萬字。 ^[1]