《西方語言學視野》總序
《形式語義學導論》導讀
原書目錄
1 緒論
1.1 語義學與語義理論
1.1.1 意義的疊置組合
1.1.2 語義關系
1.1.3 歧義
1.1.4 指謂
1.2 解釋與表征
1. 2.1 真值條件
1.2.2 形式化、模型與集合
1.3 超出真值條件的意義
1.3.1 知識、行為與語用
1.3.2 語境
1.4 方法略論
1.5 延伸閱讀
2 謂詞與論元
2.1 將英語譯成邏輯語言
2.1.1 Lp語言的語法
2.1.2 英語的部分語法系統
2.1.3 轉譯的程序
2.2 對Lp語言的解釋
2.2.1 個體和等同算子
2.2.2 集合論淺介
2.2.3 對謂詞的解釋
2.2.4 結語
2.3 延伸閱讀
3 否定與並列
3.1 復合句
3.2 復雜邏輯式
3.3 解釋
3.3.1 否定
3.3.2 合取
3.3.3 析取
3.3.4 蘊涵
3.3.5 等同
3.4 形式化解釋
3.4.1 形式化模型
3.4.2 模型論
3.5 延伸閱讀
4 類型論
4.1 動詞組和其他成分
4.2 類型化邏輯語言
4.2.1 語義類型
4.2.2 動詞組的轉譯
4.3 對集合淪的補充
4.3.1 關系和函項
4.3.2 再淪集合
4.4 對Ltype語言的解釋
4.4.1 指謂
4.4.2 理論的修訂
4.5 副詞
4.6 延伸閱讀
5 蘭姆達算子
6 量化
7 推理
8 時間、時制與時態
9 可能世界
10 內涵語義學