图书介绍
当代语言学理论丛书 形式语义学引论PDF|Epub|txt|kindle电子书版本网盘下载
- 蒋严，潘海华编著 著
- 出版社： 北京：中国社会科学出版社
- ISBN：9787500420767
- 出版时间：2015
- 标注页数：465页
- 文件大小：51MB
- 文件页数：490页
- 主题词：
PDF下载
下载说明
当代语言学理论丛书 形式语义学引论PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 语义、真值与逻辑1
第一节 命题、句义和话语义1
第二节 句义的信息类型4
第三节 言语交际的意义层次6
第四节 形式语义学的研究范围8
第五节 逻辑在语义研究中的地位8
第六节 几个基本的语义概念10
第七节 各章内容简介12
阅读文选13
第二章 逻辑演算14
第一节 集合论14
第二节 关系和函数18
第三节 命题逻辑和真值表23
第四节 谓词逻辑26
第五节 逻辑证明31
阅读文选34
第三章 Cp系统和语义解释35
第一节 部分语句系统CP35
第二节 Cp的语义解释44
第三节 模型与语义解释51
阅读文选56
第四章 对Cp系统的扩展57
第一节 三种特殊句式58
第二节 复句的生成和解释63
第三节 逻辑否定句72
第四节 语法范畴和逻辑范畴：传统语法、传统逻辑和形式逻辑的同与异75
第五节 规则小结76
第六节 语义解释的递归性78
第七节 实例分析79
阅读文选84
第五章 类型论初步85
第一节 再论组合性原则85
第二节 逻辑语义类型89
第三节 类型驱动的语句分析与生成95
第四节 特征函项106
第五节 类型的语义性质112
第六节 Ct系统116
阅读文选117
第六章 量词、辖域与逻辑依存118
第一节 变量、约束词与量化结构118
第二节 量化结构的语义解释123
第三节 逻辑依存135
第四节 逐指与统指137
第五节 分支量词141
第六节 自然语言量化句的歧义和表达145
第七节 结语157
阅读文选158
第七章 λ-转换159
第一节 自然语句分析中的一些疑难现象159
第二节 λ-抽象和λ-还原164
第三节 对疑难现象的分析170
第四节 λ-表达式的语义解释179
第五节 广义的λ-转换183
第六节 λ-抽象与条件引入规则191
阅读文选194
第八章 广义量词195
第一节 从量词到广义量词195
第二节 作为广义量词的名词组200
第三节 广义量词的范畴演算208
第四节 GQ式语义解释212
第五节 与广义量词相关的语义现象214
第六节 类型的等级与转换219
阅读文选232
第九章 时间、时制与时态234
第一节 时间与句子的意义234
第二节 时制：过去时和将来时236
第三节 时制算子与其他算子之关系241
第四节 对时间进行直接运算249
第五节 时段与时态261
阅读文选271
第十章 对时间的量化与限制、量化类型及其三分结构272
第一节 对时间的量化272
第二节 限制对时间的量化276
第三节 进一步限制对时间的量化289
第四节 量化类型与三分结构292
阅读文选300
第十一章 可能世界与模态逻辑301
第一节 可能世界的概念301
第二节 一个新的模态逻辑模型303
第三节 时态逻辑与模态逻辑的统一308
第四节 自然语言中的情态309
第五节 含有时态和模态算子的新模型312
第六节 将来时的新定义315
第七节 时制悖论和非进行态悖论317
第八节 条件句321
第九节 可能世界语义学的优越性327
阅读文选329
第十二章 内涵逻辑与命题态度330
第一节 组合性原则与替换定律330
第二节 弗雷格的所指与含义理论331
第三节 名词的涉名与涉实解释333
第四节 内涵与外延335
第五节 内涵逻辑的基本定义337
第六节 蒙太格的内涵逻辑340
第七节 信念与涉实一涉名歧义342
第八节 直接对索引进行运算345
第九节 命题态度以及信念的非逻辑性358
阅读文选365
第十三章 博弈论语义学367
第一节 问题的提出367
第二节 对一阶逻辑式的解释368
第三节 对自然语言量化句的解释371
第四节 博弈论语义学的主要特征373
第五节 博弈论与证明程序374
阅读文选380
第十四章 篇章表述理论381
第一节 传统形式语义学的问题381
第二节 篇章理论的形式和特点386
第三节 篇章理论的语义解释395
第四节 相关问题的讨论396
第五节 基尔基亚的动态约束理论401
阅读文选408
第十五章 研习文献409
附录 形式语义学经典书目417
汉英译名对照表429
参考书目442