译者序
前言
希腊字母表
第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.
展开
