包邮形式语义学导论

《西方语言学视野》总序
《形式语义学导论》导读
原书目录
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　内涵语义学