导语

  

内容提要

  

    L.T.F.哈姆特著的《逻辑语言与意义(第2卷内涵逻辑与逻辑语法)》分为两卷，第一卷从分析自然语言的需要出发，系统地介绍了现代逻辑的基础部分(古典命题逻辑和谓词逻辑)、现代逻辑的变异部分(多值逻辑)，以及进行形式语言学研究所需要的其他知识(语用学和形式文法等内容)。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍，它以自然语言语义研究为目的，主要介绍有关的思想背景。讲解深入浅出，很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透，精心介绍了相关的核心发展成果，加上丰富的例子，可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。

前言
序言
第1章  内涵逻辑的起源
  1.1  引言
  1.2  意义对应理论
  1.3  自然主义与约定主义
  1.4  意义对应理论的变体
  1.5  作为意义指称理论的逻辑语义学
  1.6  意义指称理论存在的问题
  1.7  弗雷格的意义理论
  1.8  语境依赖
第2章  内涵命题逻辑
  2.1  引言
  2.2  可能世界语义学
  2.3  模态命题逻辑
    2.3.1  历史背景
    2.3.2  句法与语义
    2.3.3  有效性概念的句法方法
    2.3.4  真势模态与认知模态
    2.3.5  一个应用
  2.4  时态命题逻辑
    2.4.1  句法与语义
    2.4.2  “现在”：一个扩展
    2.4.3  其他方法
  2.5  时态与模态的结合
第3章  内涵谓词逻辑
  3.1  晦暗语境：从言模态与从物模态
  3.2  专有名词与限定摹状词：严格指称
  3.3  模态谓词逻辑语义学
    3.3.1  没有变项的公式
    3.3.2  等词
    3.3.3  变项与量词
    3.3.4  一个论域：存在谓词
  3.4  其他语境
  3.5  一个方法论的注解
第4章  类型论与范畴语法
  4.1  引言
  4.2  类型论
    4.2.1  自然语言中类型的划分
    4.2.2  句法
    4.2.3  语义
  4.3  范畴语法
    4.3.1  引言
    4.3.2  范畴语法的特征
    4.3.3  范畴语法的描写充分性
    4.3.4  范畴语法和类型论
  4.4  λ-抽象
    4.4.1  λ-算子
    4.4.2  λ-转换
    4.4.3  λ-算子与组合性
第5章  内涵类型论
  5.1  引言
  5.2  内涵构造和内涵概念
  5.3  句法
  5.4  语义
  5.5  算子∧和∨
  5.6  λ-转换
  5.7  时态算子
  5.8  两体类型论
第6章  蒙太格语法
  6.1  引言
    6.1.1  意义和句法的组合性
    6.1.2  对象语言和元语言：语义封闭性
    6.1.3  语义学与真值理论
  6.2  蒙太格语法的体系
  6.3  英语部分语句的蒙太格语法
    6.3.1  范畴和基本表达式
    6.3.2  词项、不及物动词、句子
    6.3.3  翻译进程的体系
    6.3.4  词项的翻译
    6.3.5  及物动词
    6.3.6  意义公设的作用
    6.3.7  部分语句系统的意义公设
    6.3.8  辖域歧义、从物解读和量化规则
    6.3.9  及物动词Be
    6.3.10  合取规则、析取规则和否定规则
    6.3.11  句子补语、非限定补语、形容词、关系从句和副词
  6.4  个体概念
    6.4.1  引入个体概念的必要性
    6.4.2  引入个体概念的后果
    6.4.3  一些实例
    6.4.4  意义公设
  6.5  组合性、逻辑形式和语法形式
  6.6  结语
第7章  新近发展
  7.1  引言
  7.2  广义量词理论
    7.2.1  主要目标
    7.2.2  蒙太格语法中作为广义量词的NP短语
    7.2.3  限定词：两个视角
    7.2.4  NP和量词的一些基本性质
    7.2.5  普遍限制
    7.2.6  逻辑限定词
    7.2.7  进一步的发展
  7.3  灵活的范畴语法和类型论
    7.3.1  范畴变化
    7.3.2  逻辑的视角
    7.3.3  进一步的发展
  7.4  话语表现理论
    7.4.1  引言
    7.4.2  有关回指关系和非限定词项的一些问题
    7.4.3  DRT的非形式介绍
    7.4.4  形式定义
    7.4.5  DRT组合性
    7.4.6  结论
练习答案
参考文献说明
参考文献
索引
译后记