收藏
第二版序言
第一版序言
1 邏輯的對象
1．1 邏輯與“邏輯式”
1．2 關於命題的性質
1．3 歧義
1．4 邏輯與分工
1．5 某種句法的先決條件
2 謂詞邏輯Ⅰ：句法
2．1 “形式邏輯系統”的概念
2．2 量詞、謂詞和變項
2．3 變項的一致性條件
2．4 邏輯學家偏愛的量詞
2．5 推理規則
3 命題邏輯Ⅰ：句法
3．1 命題聯結詞及其形成規則
3．2 推理規則
3．3 公理、推理規則、意義假設之比較
3．4 關於if的進一步討論
3．5 關於聯結詞的進一步討論
3．6 關於證明的結構
3．7 由命題邏輯補充的謂詞邏輯
4 命題邏輯Ⅱ：語義學
4．1 真值表
4．2 推理規則如何限制真值?
4．3 語言與元語言
4．4 不同類型的完全性
4．5 附錄A：對元語言的進一步討論
4．6 附錄B：一個語義完全性證明的概述
5 集合論插說
5．1 “集合”的概念
5．2 集合的運算
5．3 有窮集與無窮集
5．4 關係與函項
5．5 整體
5．6 賦值
5．7 歸納證明
6 謂詞邏輯Ⅱ：語義學
6．1 謂詞邏輯中的真值
6．2 帶相等的謂詞邏輯
6．3 空真和域的語用限制
6．4 約束和非約束的量詞
6．5 可滿足性和有效性
7 謂詞邏輯的進一步探討
7．1 對S的語言學證明：Q'S
7．2 羅素對the的分析
7．3 對象語言中的集合：廣義謂詞邏輯
7．4 其他量詞
7．5 物質表達式
7．6 多元量詞
8 類別、類型與種類
8．1 域的一致性與類別
8．2 邏輯類型與入演算
8．3 種類與總稱命題
8．4 收斂(“分枝”)量詞
8．5 聯結詞與量詞
9 語言行為與含義
9．1 語言行為與言外之力
9．2 會話含義：Grice Saves
9．3 約定含義
10 預設
10．1 預設的種類
10．2 語義預設的某些可能情況
10．3 超賦值
10．4 語用預設
10．5 廣義的假與狹義的假
10．6 話語指稱
11 模態邏輯
11．1 必然的概念
11．2 模態命題邏輯的語形學與語義學
11．3 模態謂詞邏輯
11．4 嚴格蘊涵與相關衍推邏輯
11．5 附錄：關於可達性關係R的自返性、對稱性和傳遞性定理的逆定理
12 可能世界的運用
12．1 “建構世界”謂詞
12．2 時間邏輯
12．3 關於證明結構的進一步討論
13 多值邏輯與模糊邏輯
13．1 真和假之間的值
13．2 模糊謂詞邏輯
13．3 模糊集合
13．4 真實度
13．5 真的維數
14 內涵邏輯與蒙太格語法
14．1 內涵邏輯
14．2 蒙太格句法和語義研究的進路
14．3 “廣義量詞”
15 條件命題
15．1 反事實條件句
15．2 直陳條件句
參考文獻
符號表
譯後記
補記
2024專利防護中