图书介绍
形式语义学引论PDF|Epub|txt|kindle电子书版本下载
- 黄正德，许德宝著 著
- 出版社： 北京：中国社会科学出版社
- ISBN：7500420765
- 出版时间：2005
- 标注页数：536页
- 文件大小：107MB
- 文件页数：564页
- 主题词：
PDF下载
下载说明
形式语义学引论PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 语义、真值与逻辑1
第一节 命题、句义和话语义1
第二节 句义的信息类型4
第三节 言语交际的意义层次7
第四节 形式语义学的研究范围9
第五节 逻辑在语义研究中的地位10
第六节 几个基本的语义概念12
第七节 各章内容简介14
阅读文选15
第二章 逻辑演算16
第一节 集合论16
第二节 关系和函数20
第三节 命题逻辑和真值表27
第四节 谓词逻辑30
第五节 逻辑证明36
阅读文选40
第三章 Cp系统和语义解释41
第一节 部分语句系统Cp41
第二节 Cp的语义解释51
第三节 模型与语义解释60
阅读文选65
第四章 对Cp系统的扩展66
第一节 三种特殊句式67
第二节 复句的生成和解释73
第三节 逻辑否定句83
第四节 语法范畴和逻辑范畴：传统语法、传统逻辑和形式逻辑的同与异86
第五节 规则小结88
第六节 语义解释的递归性90
第七节 实例分析91
阅读文选96
第五章 类型论初步97
第一节 再论组合性原则97
第二节 逻辑语义类型102
第三节 类型驱动的语句分析与生成109
第四节 特征函项122
第五节 类型的语义性质129
第六节 Ct系统134
阅读文选135
第六章 量词、辖域与逻辑依存136
第一节 变量、约束词与量化结构136
第二节 量化结构的语义解释142
第三节 逻辑依存156
第四节 逐指与统指158
第五节 分支量词163
第六节 自然语言量化句的歧义和表达167
第七节 结语181
阅读文选181
第七章 λ-转换183
第一节 自然语句分析中的一些疑难现象183
第二节 λ-抽象和λ-还原188
第三节 对疑难现象的分析195
第四节 λ-表达式的语义解释205
第五节 广义的λ-转换210
第六节 λ-抽象与条件引入规则220
阅读文选222
第八章 广义量词224
第一节 从量词到广义量词224
第二节 作为广义量词的名词组230
第三节 广义量词的范畴演算239
第四节 GQ式语义解释243
第五节 与广义量词相关的语义现象245
第六节 类型的等级与转换251
阅读文选267
第九章 时间、时制与时态269
第一节 时间与句子的意义269
第二节 时制：过去时和将来时271
第三节 时制算子与其他算子之关系277
第四节 对时间进行直接运算286
第五节 时段与时态300
阅读文选311
第十章 对时间的量化与限制、量化类型及其三分结构313
第一节 对时间的量化313
第二节 限制对时间的量化317
第三节 进一步限制对时间的量化332
第四节 量化类型与三分结构335
阅读文选345
第十一章 可能世界与模态逻辑346
第一节 可能世界的概念346
第二节 一个新的模态逻辑模型348
第三节 时态逻辑与模态逻辑的统一354
第四节 自然语言中的情态356
第五节 含有时态和模态算子的新模型359
第六节 将来时的新定义362
第七节 时制悖论和非进行态悖论365
第八节 条件句369
第九节 可能世界语义学的优越性376
阅读文选378
第十二章 内涵逻辑与命题态度379
第一节 组合性原则与替换定律379
第二节 弗雷格的所指与含义理论380
第三节 名词的涉名与涉实解释382
第四节 内涵与外延384
第五节 内涵逻辑的基本定义387
第六节 蒙太格的内涵逻辑390
第七节 信念与涉实—涉名歧义393
第八节 直接对索引进行运算396
第九节 命题态度以及信念的非逻辑性410
阅读文选419
第十三章 博弈论语义学420
第一节 问题的提出420
第二节 对一阶逻辑式的解释421
第三节 对自然语言量化句的解释424
第四节 博弈论语义学的主要特征427
第五节 博弈论与证明程序429
阅读文选435
第十四章 篇章表述理论436
第一节 传统形式语义学的问题437
第二节 篇章表述理论的形式和特点442
第三节 篇章理论的语义解释452
第四节 相关问题的讨论454
第五节 基尔基亚的动态约束理论460
阅读文选468
第十五章 研习文献469
附录 形式语义学经典书目478
参考书目491
汉英译名对照表521