由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高50元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
全新正版形式语义学引论9787500420767中国社会科学出版社
¥ ×1
章 语义、真值与逻辑
节 命题、句义和话语义
第二节 句义的信息类型
第三节 言语交际的意义层次
第四节 形式语义学的研究范围
第五节 逻辑在语义研究中的地位
第六节 几个基本的语义概念
第七节 各章 内容简介
阅读文选
第二章 逻辑演算
节 集合论
第二节 关系和函数
第三节 命题逻辑和真值表
第四节 谓词逻辑
第五节 逻辑明
阅读文选
第三章 Cp系统和语义解释
节 部分 语句系统Cp
第二节 Cp的语义解释
第三节 模型与语义解释
阅读文选
第四章 对Cp系统的扩展
节 三种特殊句式
第二节 复句的生成和解释
第三节 逻辑否定句
第四节 语法范畴和逻辑范畴:传统语法、传统逻辑和形式逻辑的同与异
第五节 规则小结
第六节 语义解释的递归
第七节 实例分析
阅读文选
第五章 类型论初步
节 再论组合原则
第二节 逻辑语义类型
第三节 类型驱动的语句分析与生成
第四节 特征函项
第五节 类型的语义质
第六节 Ct系统
阅读文选
第六章 量词、辖域与逻辑依存
节 变量、约束词与量化结构
第二节 量化结构的语义解释
第三节 逻辑依存
第四节 逐指与统指
第五节 分支量词
第六节 自然语言量化句的歧义和表达
第七节 结语
阅读文选
第七章 λ-转换
节 自然语句分析中的一些疑难现象
第二节 λ-抽象和λ-还原
第三节 对疑难现象的分析
第四节 λ-表达式的语义解释
第五节 广义的λ-转换
第六节 λ-抽象与条件引人规则
阅读文选
第八章 广义量词
节 从量词到广义量词
第二节 作为广义量词的名词组
第三节 广义量词的范畴演算
第四节 G式语义解释
第五节 与广义量词相关的语义现象
第六节 类型的等级与转换
阅读文选
第九章 时间、时制与时态
节 时间与句子的意义
第二节 时制:过去时和将来时
第三节 时制算子与算子之关系
第四节 对时间进行直接运算
第五节 时段与时态
阅读文选
第十章 对时间的量化与制、化类型及其三分结构
节 对时间的量化
第二节 制对间的量化
第三节 进一步制对间的量化
第四节 量化类型与三分结构
阅读文选
十章 可能世界与模态逻辑
节 可能世界的概念
第二节 一个新的模态逻辑模型
第三节 时态逻辑与模态逻辑的统一
第四节 自然语言中的情态
第五节 含有时态和模态算子的新模型
第六节 将来时的新定义
第七节 时制悖论和非进行态悖论
第八节 条件句
第九节 可能世界语义学的优越
阅读文选
第十二章 内涵逻辑与命题态度
节 组合原则与替换定律
第二节 弗雷格的所指与含义理论
第三节 名词的涉名与涉实解释
第四节 内涵与外延
第五节 内涵逻辑的基本定义
第六节 蒙太格的内涵逻辑
第七节 信念与涉实—涉名歧义
第八节 直接对索行运算
第九节 命题态度以及信念的非逻辑
阅读文选
第十三章 博弈论语义学
节 问题的提出
第二节 对一阶逻辑式的解释
第三节 对自然语言量化句的解释
第四节 博弈论语义学的主要特征
第五节 博弈论与明程序
阅读文选
第十四章 篇章表述理论
节 传统形式语义学的问题
第二节 篇章理论的形式和特点
第三节 篇章理论的语义解释
第四节 相关问题的讨论
第五节 基尔基亚的动态约束理论
阅读文选
第十五章 研习文献
附录 形式语义学经典书目
汉英译名对照表
参考书目
潘海华,男,湖北孝感人,1962年生于湖北潜江。1983年获华中理工大学计算机士学,1986年获武汉大学语言信息处理硕士。1986至1988年在华中理工大学语言研究所任教。1988至1994年在美国德州大学奥斯汀分校(UT—Austin)语言学系学习,1995年获该校哲学博士,博士为Locality,Self-Ascription,DiscourseProminence,andMandarinReflexives,1997年以ConstraintsonReflexivizationinMandannChinese为名发表在美国GarlanPbshing,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年获伦敦大学哲学博士,博士为LogicalDependencyinntification。1993年秋至今在香港理工大学中文及双语学系任教,现为该系副教授,兼任北京《当代语言学》、广州《现代外语》编委,湘潭《英语研究》特邀编审。研究兴趣包括语义学、语用学、语言哲学、自然语言逻辑、语篇分析、英语语法、翻译理论等。 电信邮址ctyjiang@polyu.edu.hk个人网址http://www.cbs.polyu.edu/ctyjiang
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格