中文版序
前言
符號與標記的約定
第一章 供語言學傢用的邏輯學
第二章 集閤論
2.1 集閤和元素
2.2 集閤之間的關係
2.3 集閤的運算
2.4 關係和函項
第三章 推理和語句的邏輯分析
3.1 推理
3.2 邏輯形式
3.3 語句和命題
3.4‘能世界和命題的真值集
3.5 分析性語句和綜閤性語句
3.6 簡單句和復閤句
3.7 邏輯分析的深度
第四章 命題邏輯
4.1 聯結詞
4.2 邏輯聯結詞的意義
4.2.1 否定～
4.2.2 閤取＆
4.2.3 析取V
4.2.4 蘊涵
4.2.5 等值三
4.3 如何錶示組成成分的結構
4.4 命題演算的語法學(syntax)和語義學
4.5 語法學(syntax)
4.6 語義學
4.7 重言式和矛盾式
4.8 真值錶
第五章 謂詞邏輯
5.1 邏輯分析的擴展
5.2 量詞
5.3 謂詞邏輯語法概述
5.4 謂詞邏輯的語義學
5.5 在所有解釋中都真
5.6 謂詞邏輯語義學概述
5.7 語義學的一種形式的錶述
5.8 關係的形式的性質
5.8.1 自返性(RefIexivity)
5.8.2 對稱性
5.8.3 傳遞性
5.8.4 逆關係
5.8.5 關係的定義域和值域的結構
第六章 演繹
6.1 演繹係統
6.2 日常會話中的演繹規則
第七章 模態邏輯
7.1 模態算子
7.2 嚴格蘊涵
7.3 其他模態
7.4 在模態邏輯中同轄域和同。一相聯係的問題
7.4.1 “Dedicto”——“dere”的歧義
7.4.2 特指性
7.4.3 晦暗性
7.4.4 跨越世界的辨認
7.5 反事實語句
7.6 時態邏輯和參考點
第八章 內涵邏輯和範疇語法
8.1 內涵和外延
8.2 內涵
8.3 弗萊格原理
8.4 弗萊格原理和範疇語法
8.5 範疇、內涵和類型
第九章 進一步的擴展
9.1 二階謂詞邏輯和謂詞算子
9.2 預設和有定摹狀詞
9.3 預設的語用分析
9.4 抽象算子或萊姆答算子
第十章 有適用於語言學傢的邏輯學嗎?
10.1 概說
10.2 意義的概念
10.3 形式語言在分析自然語言中的作用
10.4 古典邏輯的局限性
參考書目
習題解答
索引
譯者後記
· · · · · · (收起)