形式语义学引论PDF电子书下载
- 电子书积分:16 积分如何计算积分?
- 作 者:黄正德,许德宝著
- 出 版 社:北京:中国社会科学出版社
- 出版年份:2005
- ISBN:7500420765
- 页数:536 页
第一章 语义、真值与逻辑 1
第一节 命题、句义和话语义 1
第二节 句义的信息类型 4
第三节 言语交际的意义层次 7
第四节 形式语义学的研究范围 9
第五节 逻辑在语义研究中的地位 10
第六节 几个基本的语义概念 12
第七节 各章内容简介 14
阅读文选 15
第二章 逻辑演算 16
第一节 集合论 16
第二节 关系和函数 20
第三节 命题逻辑和真值表 27
第四节 谓词逻辑 30
第五节 逻辑证明 36
阅读文选 40
第三章 Cp系统和语义解释 41
第一节 部分语句系统Cp 41
第二节 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
- 《精神分析引论》(奥)西格蒙德·弗洛伊德著;黄珊译 2019
- 《园林景观设计摭谈从概念到形式的艺术》李琰著 2019
- 《模形式的p-进性质》陶利群译;(印度)巴斯卡·巴拉素布拉曼扬 2019
- 《模糊集引论 上》罗承忠,于福生,曾文艺编著 2019
- 《实用情报方法引论》郭卫真,赵景馥,贺琳等编著 1993
- 《数据空间中基于语义的实体搜索》杨丹著 2019
- 《民国文化与文学研究文丛 五编 第20册 农民说理的世界 赵树理小说的形式与政治》李国华著 2015
- 《中国画之风格 媒体.技法与形式原理》(美)谢柏轲著 2020
- 《中国现代新诗的语言与形式》赵彬著 2020
- 《安全协议形式化分析与验证》肖美华著 2019
- 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东著 2004
- 《水面舰艇编队作战运筹分析》谭安胜著 2009
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙著 2020
- 《TED说话的力量 世界优秀演讲者的口才秘诀》(坦桑)阿卡什·P.卡里亚著 2019
- 《燕堂夜话》蒋忠和著 2019
- 《经久》静水边著 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《微表情密码》(波)卡西亚·韦佐夫斯基,(波)帕特里克·韦佐夫斯基著 2019
- 《看书琐记与作文秘诀》鲁迅著 2019
- 《酒国》莫言著 2019
- 《红色旅游的社会效应研究》吴春焕著 2019
- 《中国当代乡土小说文库 本乡本土》(中国)刘玉堂 2019
- 《社会学与人类生活 社会问题解析 第11版》(美)James M. Henslin(詹姆斯·M. 汉斯林) 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《中国铁路人 第三届现实主义网络文学征文大赛一等奖》恒传录著 2019
- 《莼江曲谱 2 中国昆曲博物馆藏稀见昆剧手抄曲谱汇编之一》郭腊梅主编;孙伊婷副主编;孙文明,孙伊婷编委;中国昆曲博物馆编 2018
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
- 《中国陈设艺术史》赵囡囡著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019