符號邏輯講義（簡體書）

這份講義是當代邏輯入門課程的教材，內容大約是.階邏輯的前部，可作為教科書或參考書，用于哲學、數學、計算機科學和語言學等院系的當代邏輯課程。希望了解一點當代邏輯的各科學生，也可以把它當作課外讀物。
無論在國內還是國外，可用于一階邏輯課的教材不少，導論性的教材更多；但兩類教材的脫節是個老問題。國外一些教材在導論性內容后增加些一階邏輯的內容（如完全性定理），其中有的已被國內學者介紹或模仿。但這類教材通常仍只能用于導論課。編寫本書的目的之一，就是想把脫節的教材連起來。說到西方人寫的當代邏輯入門教材，不能不提一種現象：越來越多的這類教材是由邏輯界之外的人撰寫的。有一次，美國哲學界的幾位同事談起部分學生邏輯水平很低，其中一人開玩笑說，那是你們邏輯學家的過錯——誰讓你們不寫幾本好的初級教科書呢？西方人寫的邏輯教科書，有的很好，有的也很糟。所以，選用這類教材時要慎重，決不是西方人寫的就一定好。
作為學科和知識體系，當代邏輯并沒有理科當代邏輯、上科當代邏輯和文科當代邏輯之分。任何人著想掌握當代邏輯的基礎知識，應該學習的決不會比其他學科的人更少。編寫本書時，在基本內容的選擇上對各學科讀者一視同仁，但為了使沒經過理論數學的嚴格訓練的人也能學好，在寫法上力求從接近直觀的東西入手，循序漸進。

第一章 引言
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 與邏輯或“邏輯”有關的幾個問題
1.4.1 “邏輯是什麼”不是邏輯問題
1.4.2 邏輯與“邏輯”的用法
1.4.3 邏輯與“習慣的說理方式”
1.4.4 當代邏輯、傳統邏輯和“普通人需要的邏輯
第一編 命題邏輯
　第二章 命題連接詞與真值表方法
2.1 連接詞與復合句
2.1.1 聯結詞
　2.1.2 復合句和簡單句
2.1.3 復合句的子句
2.1.4 主聯結詞和直接子句
2.2 真值函數連接詞和非真值函數連接詞
2.2.1 真值函數聯結詞
2.2.2 非真值函數聯結詞
2.2.3 常用的真值函數聯結詞符號
2.3 符號化
2.3.1 哪些聯結詞對應于哪些聯結詞符號
2.3.2 符號化的基本操作過程
2.3.3 幾種特殊情況
2.3.4 論說的符號化
2.3.5 形式
2.4 命題邏輯的基本語法
2.4.1 形式語言。
2.4.2 對象語言和元語言
2.4.3 子公式和主聯結詞
2.4.4 括號的省略
2.4.5 語法和語義
2.5 真值表和真值的計算
2.5.1 聯結詞的語義解釋——基本真值表
2.5.2 公式真值的計算
2.6 若干基本語義概念的真值表刻畫
2.6.1 重言蘊涵（重言后承）與重言等值．
2.6.2 可滿足性
2.6.3 重言式、矛盾式與或然式
2.7 簡化真值表方法
2.8 習題
　第三章 命題邏輯的基本概念
3.1 對象語言里的符號和公式
3.2 真值指派和公式的真值
3.3 重言蘊涵、重言等值與可滿足性
3.4 重言式、矛盾式與或然式
3.5 代入
3.5.1 關於代入的直觀說明
3.5.2 代入的定義
3.5.3 代入的復合
3.6 代入的語義性質
3.7 真值指派與真值表
3.7.1 真值函數
3.7.2 對部分命題變號的賦值
3.7.3 基本語義概念的嚴格定義和真值表刻畫的等價性
3.8 范式
3.8.1 合取范式
3.8.2 析取范式
3.8.3 范式定理
3.9 函數完全性
3.9.1 真值函數在形式語言中的表達
3.9.2 具有函數完全性的幾組真值聯結詞
3.10 習題
第二編 命題演算
　第四章 費奇式推演Ⅰ
　第五章 弗雷格-希爾伯特式演算Ⅰ
　第六章 弗雷格-希爾伯特式演算Ⅱ
第三編 謂詞邏輯
　第七章 走進謂詞邏輯
　第八章 謂詞邏輯的基本語法和語義Ⅰ
　第九章 謂詞邏輯的基本語法和語義Ⅱ
第四編 謂詞演算
　第十章 費奇式推演Ⅱ
　第十一章 弗雷格-希爾伯特式演算Ⅲ
　第十二章 弗雷格-希爾伯特式演算Ⅳ
附錄 演算、數學歸納法、習題答案
結語
參考文獻和推薦書目
希臘字母讀音表
索引