作為學科和知識體系,當代邏輯並沒有理科當代邏輯、上科當代邏輯和文科當代邏輯之分。任何人著想掌握當代邏輯的基礎知識,應該學習的決不會比其他學科的人更少。編寫本書時,在基本內容的選擇上對各學科讀者一視同仁,但為了使沒經過理論數學的嚴格訓練的人也能學好,在寫法上力求從接近直觀的東西入手,循序漸進。
基本介紹
- 書名:符號邏輯講義
- 作者:徐明
- 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 與邏輯或“邏輯”有關的幾個問題