- 自然语言语义学(形成与估值)/智能科学与技术丛书
- - 作者：(加)布兰登·S.吉伦|责编:曲熠|译者:谢婉莹//谷舒豪
  - 出版社：机械工业
  - ISBN：9787111739456
  - 出版日期：2024/01/01
  - 页数：481
- 售价：59.6

内容大纲
自然语言语义学是涉及语言学、逻辑学、计算机科学、心理学等诸多领域的一门学科。本书第1～6章和第8～10章主要介绍成分结构语法及相关知识，第7章和第11～15章主要介绍类型逻辑语法（Lambek类型语法），并讨论了这两种语法之间的异同。本书对自然语言语义学的介绍主要是基于英语的语法，作为导论性书籍，省略了许多更为复杂的逻辑形式。本书适合相关专业高年级本科生和研究生，以及该领域的从业人员阅读。
作者介绍
布兰登·S.吉伦（Brendan S.Gillon），加拿大麦吉尔大学语言学教授。他于1984年获美国麻省理工学院哲学博士学位，1979年获多伦多大学梵文和印度斫究硕士学位，1975年获美国密歇根大学东亚研究硕士学位。他曾在中国台北学习普通话和古汉语，后在美国印度研究所任高级研究员。曾先后在美国麻省理工学院、加拿大阿尔伯塔大学和多伦多大学任教，主讲哲学。在奥地利、加拿大、法国、德国、印度、日本、荷兰、瑞典、瑞士、美国和英国的许多大学举办过专题讲座。
目录
译者序
前言
希腊字母表
第1章  语言、语言学、语义学导论
  1.1  20世纪以前的语言研究
  1.2  语言学的诞生
    1.2.1  语言学和心理学
    1.2.2  语言学和逻辑学
  1.3  结论
    1.3.1  涵盖的主题及其相互关系
    1.3.2  关于实证研究的几点看法
  部分练习答案
第2章  基础集合论
  2.1  介绍
  2.2  集合及其成员
    2.2.1  一些重要的集合
    2.2.2  集合的大小
    2.2.3  集合之间的关系
  2.3  集合的运算
  2.4  序列
    2.4.1  有序对
    2.4.2  笛卡儿积
  2.5  集合族
    2.5.1  幂集运算
    2.5.2  集合族运算
  2.6  关系
    2.6.1  集合上的二元关系
    2.6.2  集合到集合的二元关系
    2.6.3  函数
  部分练习答案
第3章  基础英语语法
  3.1  介绍
  3.2  传统英语语法
    3.2.1  词类
    3.2.2  从句
    3.2.3  传统英语语法的局限性
  3.3  英语句法
    3.3.1  直接成分分析法
    3.3.2  成分语法
    3.3.3  论证和证据
    3.3.4  问题
  3.4  结论
  部分练习答案
第4章  语言和语境
  4.1  语境
  4.2  背景和外指
    4.2.1  人称
    4.2.2  时间顺序
    4.2.3  空间位置
    4.2.4  深入细节

  4.3  语境：内指与省略
    4.3.1  内指
    4.3.2  省略
  4.4  语境和歧义
  4.5  结论
  部分练习答案
第5章  语言与认知：暗含与预设
  5.1  语言、交流和认知
  5.2  暗含
    5.2.1  Grice准则
    5.2.2  暗含的性质
    5.2.3  暗含与歧义
  5.3  预设
    5.3.1  预设的触发因素
    5.3.2  共同点
    5.3.3  预设、蕴含和暗含
  5.4  目的和理解
  5.5  结论
  部分练习答案
第6章  经典命题逻辑：符号与语义
  6.1  论证
  6.2  经典命题逻辑
    6.2.1  符号
    6.2.2  语义
  部分练习答案
第7章  经典命题逻辑：演绎
  7.1  演绎
  7.2  公式自然演绎
    7.2.1  列中的公式
    7.2.2  树中的公式
  7.3  序列自然演绎
    7.3.1  列中的序列
    7.3.2  树中的序列
  7.4  Gentzen序列演算
    7.4.1  ∧左引入和右引入
    7.4.2  ←→左引入和右引入
    7.4.3  →左引入和右引入
    7.4.4  ∨左引入和右引入
    7.4.5  ￢左引入和右引入
  7.5  子结构逻辑
第8章  英语连接词
  8.1  介绍
  8.2  英语连接词和分句
  8.3  真值和独立，陈述句
  8.4  英语并列连词and
    8.4.1  英语并列连词and的明显问题
    8.4.2  英语并列连词and的未解决问题
  8.5  英语并列连词or
    8.5.1  英语并列连词or的明显问题
    8.5.2  英语并列连词or的未解决问题

  8.6  英语从属连词if
    8.6.1  英语从属连词if的明显问题
    8.6.2  英语从属连词if的未解决问题
  8.7  英语副词not
    8.7.1  not的语法
    8.7.2  英语副词not的未解决问题
  8.8  结论
  部分练习答案
第9章  经典谓词逻辑
  9.1  介绍
  9.2  符号
    9.2.1  CPDL公式
    9.2.2  公式和子公式
  9.3  语义
    9.3.1  语义性质和关系
  9.4  演绎
  部分练习答案
第10章  英语中的语法谓语和最小子句
  10.1  介绍
  10.2  最小英语子句
    10.2.1  动词短语：动词及其补语
    10.2.2  形容词短语：形容词及其补语
    10.2.3  介词
    10.2.4  名词
  10.3  英语词典的一种结构
    10.3.1  类别更加丰富的成分语法
    10.3.2  语义
    10.3.3  成分估值规则定义
    10.3.4  进一步扩展
    10.3.5  未解决的问题
  10.4  结论
第11章  经典量化逻辑
  11.1  符号
  11.2  CQL的经典估值方法
    11.2.1  CQL估值的综合定义
    11.2.2  CQL估值的分类定义
    11.2.3  语义性质和关系
  11.3  演绎
    11.3.1  消除
    11.3.2  引入
    11.3.3  引入
    11.3.4  消除
  部分练习答案
第12章  经典量化逻辑的扩展
  12.1  介绍
  12.2  带有等价关系的经典量化逻辑
  12.3  一元量化逻辑
    12.3.1  一位一元量化逻辑
    12.3.2  二位一元量化逻辑
  12.4  结论

  部分练习答案
第13章  Lambek演算和Lambda演算
  13.1  介绍
  13.2  Lambek演算
    13.2.1  公式演绎
    13.2.2  序列演绎
    13.2.3  Gentzen演绎
    13.2.4  割消除
  13.3  Lambda演算
    13.3.1  Lambda演算的表示
    13.3.2  语义：功能结构
    13.3.3  演绎
  13.4  Lambek类型的Lambda演算
  部分练习答案
第14章  英语名词短语
  14.1  介绍
  14.2  英语中的简单名词短语
    14.2.1  英语名词
    14.2.2  形容词
    14.2.3  限定词
  14.3  整合
    14.3.1  带有数量名词短语的简单从句
    14.3.2  再议形容词
    14.3.3  介词短语
    14.3.4  限制性关系从句
    14.3.5  再议数量名词短语
    14.3.6  非从句并列连接
  14.4  结论
  部分练习答案
第15章  总结
  15.1  介绍
  15.2  回顾
  15.3  未涵盖的内容
  15.4  相关方法
参考文献

内容大纲

作者介绍

目录

同类热销排行榜

推荐书目