作為學科和知識體系，當代邏輯並沒有理科當代邏輯、上科當代邏輯和文科當代邏輯之分。任何人著想掌握當代邏輯的基礎知識，應該學習的決不會比其他學科的人更少。編寫本書時，在基本內容的選擇上對各學科讀者一視同仁，但為了使沒經過理論數學的嚴格訓練的人也能學好，在寫法上力求從接近直觀的東西入手，循序漸進。
基本介紹
- 書名：符號邏輯講義
- 作者：徐明
- ISBN：9787307065536
- 頁數：581
- 出版社：武漢大學出版社
- 出版時間：2008-9-1
- 裝幀：平裝
- 開本：16開
圖書信息,內容簡介,目錄,
圖書信息
作 者：徐明 編
出 版 社：武漢大學出版社
出版時間：2008-9-1
版 次：1
頁 數：581
字 數：534000
印刷時間：2008-9-1
開 本：16開
紙 張：膠版紙
印 次：1
I S B N：9787307065536
包 裝：平裝
內容簡介
這份講義是當代邏輯入門課程的教材，內容大約是.階邏輯的前部，可作為教科書或參考書，用於哲學、數學、計算機科學和語言學等院系的當代邏輯課程。希望了解一點當代邏輯的各科學生，也可以把它當作課外讀物。
無論在國內還是國外，可用於一階邏輯課的教材不少，導論性的教材更多；但兩類教材的脫節是個老問題。國外一些教材在導論性內容後增加些一階邏輯的內容（如完全性定理），其中有的已被國內學者介紹或模仿。但這類教材通常仍只能用於導論課。編寫本書的目的之一，就是想把脫節的教材連起來。說到西方人寫的當代邏輯入門教材，不能不提一種現象：越來越多的這類教材是由邏輯界之外的人撰寫的。有一次，美國哲學界的幾位同事談起部分學生邏輯水平很低，其中一人開玩笑說，那是你們邏輯學家的過錯——誰讓你們不寫幾本好的初級教科書呢？西方人寫的邏輯教科書，有的很好，有的也很糟。所以，選用這類教材時要慎重，決不是西方人寫的就一定好。
目錄
第一章 引言
1.1 論說
1.1.1 論說的好壞
1.1.2 論說形式的好壞
1.1.3 論說的好壞取決於其形式的好壞
1.2 演繹
1.2.1 演繹的例子（一）
1.2.2 演繹的例子（二）
1.2.3 可演繹性、可證性和獨立性
1.2.4 可演繹性與論說
1.3 一致性
1.3.1 關於一致性的基本想法
1.3.2 不一致命題集的例子
1.3.3 一致性、邏輯蘊涵和可演繹性的關係
1.4 與邏輯或“邏輯”有關的幾個問題
