目錄：
第一章 數(shù)理邏輯的由來
§1 傳統(tǒng)邏輯的不足
§2 數(shù)理邏輯的興起
§3 非歐幾何帶來的問題
§4 微積分基礎的爭論
§5 集合論悖論
第二章 數(shù)理邏輯的主要內容
§1 公理集合論與證明論
§2 能行性理論與模型論
§3 命題演算
§4 謂詞演算
§5 有關傳統(tǒng)邏輯與模態(tài)邏輯
§6 蘊含詞及其怪論
第三章 關于數(shù)理邏輯的三大派
§1 邏輯主義派
§2 直覺主義派
§3 形式主義派
第四章 數(shù)理邏輯中的一些基本概念
§1 記號與符號
§2 變元
§3 函數(shù)與約束詞
第五章 數(shù)理邏輯的應用
§1 數(shù)理邏輯在電子數(shù)字計算機方面的應用
§2 亞里士多德邏輯與傳統(tǒng)邏輯
§3 《小取篇》邏輯的體系
附錄 常用數(shù)理邏輯符號表
|
