數理邏輯的思想和方法（日月光華·哲學書系）

目 錄
第一章數理邏輯與人工語言//001
第一節(jié)自然語言與人工語言//001
第二節(jié)數理邏輯的思想和方法的演進//005
第三節(jié)人工語言對數理邏輯的影響//011
第二章命題演算的思想和方法//018
第一節(jié)真值函項//018
第二節(jié)重言式//032
第三節(jié)范式//045
第三章命題演算系統(tǒng)//059
第一節(jié)重言式形式系統(tǒng)//059
第二節(jié)自然推理系統(tǒng)與重言式公理系統(tǒng)//072
第四章直覺主義邏輯的思想和方法//085
第一節(jié)直覺主義邏輯的思想//086
第二節(jié)直覺主義邏輯的演算系統(tǒng)//090
第五章元邏輯的方法和意義//098
第一節(jié)演算系統(tǒng)的形式定理//099
第二節(jié)演算系統(tǒng)的整體性質//111
第六章謂詞演算的思想和方法//123
第一節(jié)日常用語的進一步刻畫//123
第二節(jié)翻譯中的幾個問題//138
第三節(jié)謂詞邏輯的核心//150
第四節(jié)解釋//163
第七章謂詞演算系統(tǒng)//176
第一節(jié)謂詞演算系統(tǒng)//177
第二節(jié)謂詞演算系統(tǒng)定理和導出規(guī)則//190
第三節(jié)謂詞演算系統(tǒng)的一致性和完全性//202
第八章哥德爾不完全性定理//218
第一節(jié)形式化的算術理論//219 
第二節(jié)哥德爾不完全性定理的內容和思想//222
第三節(jié)哥德爾不完全性定理的證明//228
第九章公理化方法和形式化方法//233
第一節(jié)從歸約法到公理化//233
第二節(jié)從公理化到形式化//235
第三節(jié)公理化與形式化的交會//241
第十章數理邏輯思想和方法的實踐//245
第一節(jié)一場邏輯爭論//245
第二節(jié)關于三段論的本質//248
第三節(jié)摹狀詞理論的要點//253
后記//258