|
目录
徐烈炯教授序…………………………………………………（１）
作者前言………………………………………………………（１）
第一章语义、真值与逻辑……………………………………（１）
第一节
命题、句义和话语义Ｈ………………………（１）
第二节
句义的信息类型………………………………（４）
第三节
言语交际的意义层次…………………………（８）
第四节
形式语义学的研究范围………………………（１１）
第五节
逻辑在语义研究中的地位……………………（１２）
第六节
几个基本的语义概念…………………………（１４）
第七节
各章内容简介…………………………………（１６）
阅读文选…………………………………………………（１７）
第二章逻辑演算………………………………………………（１８）
第一节
集合论…………………………………………（１８）
第二节
关系和函数……………………………………（２２）
第三节
命题逻辑和真值表……………………………（２９）
第四节
谓词逻辑………………………………………（３３）
第五节
逻辑证明………………………………………（３８）
阅读文选…………………………………………………（４２）
第三章
Cp系统和语义解释…………………………………（４３）
第一节
部分语句系统Cp………………………………（４３）
第二节
Cp的语义解释…………………………………（５４）
第三节
模型与语义解释………………………………（６３）
阅读文选…………………………………………………（６９）
第四章对Cp系统的扩展 ……………………………………（７０）
第一节
三种特殊句式…………………………………（７１）
第二节 复句的生成和解释……………………………（７７）
第三节 逻辑否定句……………………………………（８８）
第四节 语法范畴和逻辑范畴一………………………（９１）
第五节 规则小结………………………………………（９３）
第六节 语义解释的递归性……………………………（９６）
第七节 实例分析………………………………………（９６）
阅读文选…………………………………………………（１０２）
第五章类型论初步……………………………………………（１０３）
第一节 再论组合性原则………………………………（１０３）
第二节 逻辑语义类型一………………………………（１０９）
第三节 类型驱动的语句分析和生成…………………（１１７）
第四节 特征函项………………………………………（１３１）
第五节 类型的语义性质………………………………（１４０）
第六节 Ct系统…………………………………………（１４５）
阅读文选…………………………………………………（１４６）
第六章量词、辖域与逻辑依存………………………………（１４７）
第一节 变量、约束词与量化结构……………………（１４７）
第二节 量化结构的语义解释…………………………（１５３）
第二节 逻辑依存………………………………………（１６９）
第四节 逐指与统指……………………………………（１７２）
第五节 分枝量词………………………………………（１７７）
第六节 自然语言量化句的歧义和表达………………（１８２）
第七节 结语……………………………………………（１９７）
阅读文选…………………………………………………（１９８）
第七章λ-转换………………………………………………
（ｌ９９）
第一节
自然语句分析中的一些疑难现象……………（１９９）
第二节
λ-抽象和λ-还原……………………………（２０５）
第三节
对疑难现象的分析……………………………（２１２）
第四节
λ-表达式的语义解释………………………
（２２２）
单五节
广义的λ-转换………………………………
（２２８）
第六节
λ-抽象与条件引入规则……………………
（２３８）
阅读文选…………………………………………………（２４０）
第八章广义量词………………………………………………（２４２）
第一节
从量词到广义量词……………………………（２４２）
第二节
作为广义量词的名词组………………………（２４９）
第三节
广义量词的范畴演算…………………………（２５８）
第四节
阅式语义解释…………………………………（２６２）
第五节
与广义量词相关的语义现象…………………（２６５）
第六节
类型的等级与转换……………………………（２７１）
阅读文选…………………………………………………（２８８）
第九章时间、时制与时态……………………………………（２９０）
第一节
时间与句子的意义……………………………（２９０）
第二节
时制：过去时和将来时………………………（２９２）
第三节
时制算子与其它算子之关系…………………（２９８）
第四节
对时间进行直接运算…………………………（３０９）
第五节
时段与时态……………………………………（３２３）
阅读文选…………………………………………………（３３５）
第十章对时间的量化与限制…………………………………（３３６）
第一节
时间的量化……………………………………（３３６）
第二节
限制对时间的量化……………………………（３４３）
第二节
进一步限制对时间的量化……………………（３５７）
阅读文选…………………………………………………（３６０）
第十一章可能世界与模态逻辑………………………………（３６１）
第一节 可能世界的概念………………………………（３６１）
第二节 一个新的模态逻辑模型………………………（３６４）
第三节 时态逻辑与模态逻辑的统一…………………（３６９）
第四节 自然语言中的情态……………………………（３７１）
第五节 含有时态和模态算子的新模型………………（３７４）
第六节 将来时的新定义………………………………（３７８）
第七节 时制悖论和非进行态悖论……………………（３８１）
第八节 条件句…………………………………………（３８５）
第九节 可能世界语义学的优越性……………………（３９２）
阅读文选…………………………………………………（３９４）
第十二章内涵逻辑与命题态度………………………………（３９５）
第一节 组合性原则与替换定律………………………（３９５）
第二节 弗雷格的所指与涵义理论……………………（３９７）
第三节 名词的涉名与涉实解释………………………（３９８）
第四节 内涵与外延……………………………………（４０１）
第五节 内涵逻辑的基本定义…………………………（４０３）
第六节 蒙太格的内涵逻辑……………………………（４０６）
第七节 信念与涉实-涉名歧义………………………
（４１０）
第八节 直接对索引进行运算…………………………（４１３）
第九节 命题态度以及信念的非逻辑性………………（４２７）
阅读文选…………………………………………………（４３６）
第十三章博弈论语义学………………………………………（４３８）
第一节 问题的提出……………………………………（４３８）
第二节 对一阶逻辑式的解释…………………………（４４０）
第三节 对自然语言量化句的解释……………………（４４３）
第四节 博弈论语义学的主要特征……………………（４４５）
第五节 博弈论与证明程序……………………………（４４７）
阅读文选…………………………………………………（４５３）
第十四章 篇章表述理论…………………………………（４５４）
第一节
传统形式语义学理论存在的问题……………（４５５）
第二节
篇章表述理论的基本形式和特点……………（４５９）
第三节
篇章理论的语义解释…………………………（４７０）
第四节
相关问题的讨论………………………………（４７２）
第五节
基尔基亚的动态约束理论……………………（４７８）
阅读文选…………………………………………………（４８６）
第十五章研习文献……………………………………………（４８７）
参考书目………………………………………………………（５０３）
汉英译名对照表………………………………………………（５３２）
|