形式语义学引论
￥ 31.85 4.9折 ￥ 65 全新
库存62件
北京房山
认证卖家担保交易快速发货售后保障
作者蒋严，潘海华著
出版社中国社会科学出版社
ISBN9787500420767
出版时间1998-05
装帧平装
开本16开
定价65元
货号8548797
上书时间2024-11-30
- 在售商品 暂无
- 平均发货时间 6小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
潘海华，男，湖北孝感人，1962年生于湖北潜江。1983年获华中理工大学计算机学士学位，1986年获武汉大学语言信息处理硕士学位。1986至1988年在华中理工大学语言研究所任教。1988至1994年在美国德州大学奥斯汀分校(UT—Austin)语言学系学习，1995年获该校哲学博士学位，博士论文为Locality，Self-Ascription，DiscourseProminence，andMandarinReflexives，1997年以ConstraintsonReflexivizationinMandannChinese为名发表在美国GarlandPublishing，Inc.的丛书OutstandingDissertationsinLinguistics中。1995年上半年在香港中文大学系统工程与管理工程系从事博士后研究。1995年下半年至今在香港城市大学中文、翻译及语言学系任教，现为该系副教授，兼任北京《当代语言学》、广州《现代外语》、韩国LanguageResearch编委，曾在JournalofEastAsianLinguistics，JournalofPragmatics，Linguistics，NaturalLanguageandLinguisticTheory，《当代语言学》、《中国语文》、《现代外语》等杂志上发表文章，也曾为上述杂志以及其他国际知名杂志ComputerProcessingofOrientalLanguages，JournalofLinguistics，LinguisticInquiry，NaturalLanguageSemantics等评审论文。研究兴趣包括句法理论、形式语义学、语料库语言学、计算语言学、机器翻译等。
电信邮址cthpan@cityu.edu.hk个人网址http://ctlhpan.cityu.edu.hk/haihuapan蒋严，男，浙江海宁人，1962年生于北京。1984年获复旦大学英美语言文学学士学位，1987年获复旦大学现代英语硕士学位。1986至1989年在复旦大学外国语言文学系英语教研室任教。1989至1993年在伦敦大学的大学院(UniversityCollege，London)和亚非学院(theSchoolofOrientalandAfricanStudies)两个语言学系学习。1995年获伦敦大学哲学博士学位，博士论文为LogicalDependencyinQuantification。1993年秋至今在香港理工大学中文及双语学系任教，现为该系副教授，兼任北京《当代语言学》、广州《现代外语》编委，湘潭《英语研究》特邀编审。研究兴趣包括语义学、语用学、语言哲学、自然语言逻辑、语篇分析、英语语法、翻译理论等。
电信邮址ctyjiang@polyu.edu.hk个人网址http://www.cbs.polyu.edu/ctyjiang
目录
第一章 语义、真值与逻辑
第一节 命题、句义和话语义
第二节 句义的信息类型
第三节 言语交际的意义层次
第四节 形式语义学的研究范围
第五节 逻辑在语义研究中的地位
第六节 几个基本的语义概念
第七节 各章 内容简介
阅读文选
第二章 逻辑演算
第一节 集合论
第二节 关系和函数
第三节 命题逻辑和真值表
第四节 谓词逻辑
第五节 逻辑证明
阅读文选
第三章 Cp系统和语义解释
第一节 部分 语句系统Cp
第二节 Cp的语义解释
第三节 模型与语义解释
阅读文选
第四章 对Cp系统的扩展
第一节 三种特殊句式
第二节 复句的生成和解释
第三节 逻辑否定句
第四节 语法范畴和逻辑范畴：传统语法、传统逻辑和形式逻辑的同与异
第五节 规则小结
第六节 语义解释的递归性
第七节 实例分析
阅读文选
第五章 类型论初步
第一节 再论组合性原则
第二节 逻辑语义类型
第三节 类型驱动的语句分析与生成
第四节 特征函项
第五节 类型的语义性质
第六节 Ct系统
阅读文选
第六章 量词、辖域与逻辑依存
第一节 变量、约束词与量化结构
第二节 量化结构的语义解释
第三节 逻辑依存
第四节 逐指与统指
第五节 分支量词
第六节 自然语言量化句的歧义和表达
第七节 结语
阅读文选
第七章 λ-转换
第一节 自然语句分析中的一些疑难现象
第二节 λ-抽象和λ-还原
第三节 对疑难现象的分析
第四节 λ-表达式的语义解释
第五节 广义的λ-转换
第六节 λ-抽象与条件引人规则
阅读文选
第八章 广义量词
第一节 从量词到广义量词
第二节 作为广义量词的名词组
第三节 广义量词的范畴演算
第四节 GQ式语义解释
第五节 与广义量词相关的语义现象
第六节 类型的等级与转换
阅读文选
第九章 时间、时制与时态
第一节 时间与句子的意义
第二节 时制：过去时和将来时
第三节 时制算子与其他算子之关系
第四节 对时间进行直接运算
第五节 时段与时态
阅读文选
第十章 对时间的量化与限制、量化类型及其三分结构
第一节 对时间的量化
第二节 限制对时间的量化
第三节 进一步限制对时间的量化
第四节 量化类型与三分结构
阅读文选
第十一章 可能世界与模态逻辑
第一节 可能世界的概念
第二节 一个新的模态逻辑模型
第三节 时态逻辑与模态逻辑的统一
第四节 自然语言中的情态
第五节 含有时态和模态算子的新模型
第六节 将来时的新定义
第七节 时制悖论和非进行态悖论
第八节 条件句
第九节 可能世界语义学的优越性
阅读文选
第十二章 内涵逻辑与命题态度
第一节 组合性原则与替换定律
第二节 弗雷格的所指与含义理论
第三节 名词的涉名与涉实解释
第四节 内涵与外延
第五节 内涵逻辑的基本定义
第六节 蒙太格的内涵逻辑
第七节 信念与涉实—涉名歧义
第八节 直接对索引进行运算
第九节 命题态度以及信念的非逻辑性
阅读文选
第十三章 博弈论语义学
第一节 问题的提出
第二节 对一阶逻辑式的解释
第三节 对自然语言量化句的解释
第四节 博弈论语义学的主要特征
第五节 博弈论与证明程序
阅读文选
第十四章 篇章表述理论
第一节 传统形式语义学的问题
第二节 篇章理论的形式和特点
第三节 篇章理论的语义解释
第四节 相关问题的讨论
第五节 基尔基亚的动态约束理论
阅读文选
第十五章 研习文献
附录 形式语义学经典书目
汉英译名对照表
参考书目
内容摘要
由蒋严、潘海华著的《形式语义学引论》详细介绍形式语义学的基本内容、主要技巧和方法，可供大学语言和语言学专业的高年级本科学生及硕士、博士生作研习、参考之用。对自然语言分析和处理感兴趣的计算机、数学、哲学、逻辑和人工智能专业的学生
也可从本书中获得系统的语义学知识。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价