人类学 类型
8.8 豆瓣评分
可以朗读 语音朗读
390千字 字数
2015-05-01 发行日期
展开全部

主编推荐语

详细介绍了形式语义学的基本内容、主要技巧和方法

内容简介

本书对自然语言分析和处理感兴趣的计算机、数学、哲学、逻辑和人工智能专业的学生也可从本书中获得系统的语义学知识。内容的取舍并非简单地照搬一些外文教科书，在章节安排上也力免陈袭他人。我们在书中注入了自己的理解和观点，并力求对汉语的语义结构做尝试性的形式化描写。故此，本书并不是一本求稳求全的教材，而是一本讨论性、探索性的论著。当然，作为导论性教科书，本书介绍的许多方面无法深入详谈，技术上也不一定代表最新最好的解决方法。我们在书中提出了问题，找到了部分答案，但是留下了更多的研究空间让读者去遨游驰骋。

目录

  • 版权信息
  • 2015年改版说明
  • 《当代语言学理论丛书》再版前言
  • 序言
  • 《当代语言学理论丛书》
  • 特邀编辑委员会
  • 序
  • 作者前言
  • 修订版序
  • 作者简介
  • 第一章 语义、真值与逻辑
  • 第一节 命题、句义和话语义
  • 第二节 句义的信息类型
  • 第三节 言语交际的意义层次
  • 第四节 形式语义学的研究范围
  • 第五节 逻辑在语义研究中的地位
  • 第六节 几个基本的语义概念
  • 第七节 各章内容简介
  • 阅读文选
  • 第二章 逻辑演算
  • 第一节 集合论
  • 第二节 关系和函数
  • 第三节 命题逻辑和真值表
  • 第四节 谓词逻辑
  • 第五节 逻辑证明
  • 阅读文选
  • 第三章 Cp系统和语义解释
  • 第一节 部分语句系统Cp
  • 第二节 Cp的语义解释
  • 第三节 模型与语义解释
  • 阅读文选
  • 第四章 对Cp系统的扩展
  • 第一节 三种特殊句式
  • 第二节 复句的生成和解释
  • 第三节 逻辑否定句
  • 第四节 语法范畴和逻辑范畴：传统语法、传统逻辑和形式逻辑的同与异
  • 第五节 规则小结
  • 第六节 语义解释的递归性
  • 第七节 实例分析
  • 阅读文选
  • 第五章 类型论初步
  • 第一节 再论组合性原则
  • 第二节 逻辑语义类型
  • 第三节 类型驱动的语句分析与生成
  • 第四节 特征函项
  • 第五节 类型的语义性质
  • 第六节 Ct系统
  • 阅读文选
  • 第六章 量词、辖域与逻辑依存
  • 第一节 变量、约束词与量化结构
  • 第二节 量化结构的语义解释
  • 第三节 逻辑依存
  • 第四节 逐指与统指
  • 第五节 分支量词
  • 第六节 自然语言量化句的歧义和表达
  • 第七节 结语
  • 阅读文选
  • 第七章 λ-转换
  • 第一节 自然语句分析中的一些疑难现象
  • 第二节 λ-抽象和λ-还原
  • 第三节 对疑难现象的分析
  • 第四节 λ-表达式的语义解释
  • 第五节 广义的λ-转换
  • 第六节 λ-抽象与条件引入规则
  • 阅读文选
  • 第八章 广义量词
  • 第一节 从量词到广义量词
  • 第二节 作为广义量词的名词组
  • 第三节 广义量词的范畴演算
  • 第四节 GQ式语义解释
  • 第五节 与广义量词相关的语义现象
  • 第六节 类型的等级与转换
  • 阅读文选
  • 第九章 时间、时制与时态
  • 第一节 时间与句子的意义
  • 第二节 时制：过去时和将来时
  • 第三节 时制算子与其他算子之关系
  • 第四节 对时间进行直接运算
  • 第五节 时段与时态
  • 阅读文选
  • 第十章 对时间的量化与限制、量化 类型及其三分结构
  • 第一节 对时间的量化
  • 第二节 限制对时间的量化
  • 第三节 进一步限制对时间的量化
  • 第四节 量化类型与三分结构
  • 阅读文选
  • 第十一章 可能世界与模态逻辑
  • 第一节 可能世界的概念
  • 第二节 一个新的模态逻辑模型
  • 第三节 时态逻辑与模态逻辑的统一
  • 第四节 自然语言中的情态
  • 第五节 含有时态和模态算子的新模型
  • 第六节 将来时的新定义
  • 第七节 时制悖论和非进行态悖论
  • 第八节 条件句
  • 第九节 可能世界语义学的优越性
  • 阅读文选
  • 第十二章 内涵逻辑与命题态度
  • 第一节 组合性原则与替换定律
  • 第二节 弗雷格的所指与含义理论
  • 第三节 名词的涉名与涉实解释
  • 第四节 内涵与外延
  • 第五节 内涵逻辑的基本定义
  • 第六节 蒙太格的内涵逻辑
  • 第七节 信念与涉实—涉名歧义
  • 第八节 直接对索引进行运算
  • 第九节 命题态度以及信念的非逻辑性
  • 阅读文选
  • 第十三章 博弈论语义学
  • 第一节 问题的提出
  • 第二节 对一阶逻辑式的解释
  • 第三节 对自然语言量化句的解释
  • 第四节 博弈论语义学的主要特征
  • 第五节 博弈论与证明程序
  • 阅读文选
  • 第十四章 篇章表述理论
  • 第一节 传统形式语义学的问题
  • 第二节 篇章理论的形式和特点
  • 第三节 篇章理论的语义解释
  • 第四节 相关问题的讨论
  • 第五节 基尔基亚的动态约束理论
  • 阅读文选
  • 第十五章 研习文献
  • 一 基本教材
  • 二 蒙太格语法
  • 三 广义量词理论
  • 四 动态语义学
  • 五 事件语义学
  • 六 境况语义学、范畴语法和动态句法
  • 七 计算语义学
  • 八 逻辑进阶教材
  • 九 综述、丛书及其他要籍
  • 十 主要期刊和会议论文集
  • 十一 互联网信息
  • 附录 形式语义学经典书目
  • 汉英译名对照表
  • 参考书目
展开全部

评分及书评

尚无评分
目前还没人评分

出版方

中国社会科学出版社

中国社会科学出版社成立于1978年6月，是由中国社会科学院创办并主管的以出版人文社会科学学术著作为主的国家级出版社。1993年和1998年先后荣获中共中央宣传部和国家新闻出版总署授予的全国优秀出版社称号。1993年第一批荣获中共中央宣传部和国家新闻出版署授予的全国优秀出版社称号。