前言 序言 第1章 緒論 1.1 證明、有效證明和證明模式 1.2 邏輯與意義 1.3 邏輯常項和邏輯系統 1.4 20世紀之前的邏輯學和語言學 1.5 20世紀 1.5.1 邏輯形式vs.語法形式 1.5.2 日常語言哲學 1.5.3 語言學與哲學 1.6 形式語言 第2章 命題邏輯 2.1 真值函項聯結詞 2.2 聯結詞與真值表 2.3 公式 2.4 函項 2.5 命題邏輯的語義 2.6 真值函項 2.7 并列聯結詞和從屬聯結詞 第3章 謂詞邏輯 3.1 原子句 3.2 量化表達式：量詞 3.3 公式 3.4 更多量化表達式及其翻譯 3.5 集合 3.6 謂詞邏輯的語義 3.6.1 解釋函項 3.6.2 替換解釋法 3.6.3 指派解釋法 3.6.4 普遍有效性 3.6.5 規則 3.7 等同 3.8 關系的一些性質 3.9 函項符號 第4章 證明和推理 4.1 證明和證明模式 4.2 語義推理關系 4.2.1 語義有效性 4.2.2 外延性原則 4.3 自然演繹：推理的句法方法 4.3.1 引入規則與消去規則 4.3.2 合取 4.3.3 蘊涵 4.3.4 析取 4.3.5 否定 4.3.6 量詞 4.3.7 規則 4.4 可靠性和完全性 第5章 非經典邏輯 5.1 引言 5.2 限定摹狀詞 5.3 受限量化：多體謂詞邏輯 5.4 二階邏輯 5.5 多值邏輯 5.5.1 引言 5.5.2 三值邏輯系統 5.5.3 三值邏輯及預設的語義概念 5.5.4 多于三值的邏輯系統 5.5.5 四值邏輯與預設的語義概念 5.5.6 多值邏輯在分析預設時的局限性 5.6 變項消去 第6章 語用學：意義與使用 6.1 非真值條件語義 6.2 邏輯上的合取式和詞序 6.3 使用與合作原則 6.4 相容析取和不相容析取 6.5 析取和信息充足適量性 6.6 會話準則和會話隱涵 6.7 析取式的會話隱涵 6.8 蘊涵和信息充足適量性 6.9 預設和會話隱涵 6.10 規約隱含、預設和蘊涵式 第7章 形式句法 7.1 重寫規則的層級 7.2 語法和自動機 7.3 關于形式語言的理論 7.4 自然語言的語法復雜性 7.5 語法、自動機和邏輯 練習答案 參考文獻說明 參考文獻 索引 譯后記