數理邏輯的思想和方法

第一章 數理邏輯與人工語言//001
第一節 自然語言與人工語言//001
第二節 數理邏輯的思想和方法的演進//005
第三節 人工語言對數理邏輯的影響//011

第二章 命題演算的思想和方法//018
第一節 真值函項//018
第二節 重言式//032
第三節 範式//045

第三章 命題演算系統//059
第一節 重言式形式系統//059
第二節 自然推理系統與重言式公理系統//072

第四章 直覺主義邏輯的思想和方法//085
第一節 直覺主義邏輯的思想//086
第二節 直覺主義邏輯的演算系統//090

第五章 元邏輯的方法和意義//098
第一節 演算系統的形式定理//099
第二節 演算系統的整體性質//111

第六章 謂詞演算的思想和方法//123
第一節 日常用語的進一步刻畫//123
第二節 翻譯中的幾個問題//138
第三節 謂詞邏輯的核心//150
第四節 解釋//163

第七章 謂詞演算系統//176
第一節 謂詞演算系統//177
第二節 謂詞演算系統定理和匯出規則//190
第三節 謂詞演算系統的一致性和完全性//202

第八章 哥德爾不完全性定理//218
第一節 形式化的算術理論//219
第二節 哥德爾不完全性定理的內容和思想//222
第三節 哥德爾不完全性定理的證明//228

第九章 公理化方法和形式化方法//233
第一節 從歸約法到公理化//233
第二節 從公理化到形式化//235
第三節 公理化與形式化的交會//241

第十章 數理邏輯思想和方法的實踐//245
第一節 一場邏輯爭論//245
第二節 關於三段論的本質//248
第三節 摹狀詞理論的要點//253

後記//258