目录 1
前言 1
第一章 绪论 1
第一节 现代语言学与逻辑学 1
通信系统的现代化 1
近古以来逻辑学的发展 2
本世纪70年代以来的逻辑学研究 5
第二节 对语言学与逻辑学的再认识 6
自然语言作为一种特殊的符号系统 6
理论逻辑（符号逻辑）的出现与逻辑的形式化 7
自然语言与逻辑的形式语言的共通性 8
指谓的形式 9
语言的三重模型 9
第三节 意象、符号与表达——语义三角 9
客体与语言表达 10
名与实以及表达的三角关系 11
情感与言辞以及客体的三角关系 13
语义三角的符号性 14
第四节 语言的上下文构造及其形式变换 15
上下文的概念与自然连接 16
粘接与上下文构造 18
上下文与时空定位 20
上下文形式的变换 21
粘接与上下文变换 23
上下文变换与否定式 24
词项与变项 26
第五节 日常语言的符号化 26
谓词的形式化 30
量词的使用以及表达式 33
第二章 命题演算 36
第一节 命题 36
命题与语句 36
可能世界 37
第二节 逻辑连接词 39
否定 40
合取 40
析取 41
蕴涵 42
等值 43
连接词的优先级 44
第三节 命题连接词与语词 45
连接词与语言符号的任意性 45
连接词与语言符号的线性组合 46
连接词与语言符号域的特性 47
连接词与信息量 48
第四节 重言式与真值表法 49
重言式与矛盾式 49
逻辑等价 50
重言式举例 51
第五节 否定的生成力与逻辑形式 54
否定词的使用频率 55
否定式与其他连接词的组合 56
词素的对立与否定式的对立 62
第六节 否定、对立及其语言表达式 62
否定与对立的运用 63
反语的修辞手法 64
正负相映的描写手法 66
第七节 命题连接词系统 67
基本的命题连接词 67
“与非”与“不可兼析取” 68
蕴涵的四种命题形式 70
命题连接词与群 71
蕴涵命题与Klein四元群 72
命题代数 73
第八节 命题逻辑在计算机中的应用 75
Boole代数 75
开关电路 76
门电路 77
二进制记数法 78
第三章 谓词演算 82
第一节 逻辑分析的深化 82
命题演算的有效推理 82
摹状词 82
谓词 84
量词 85
第二节 量词的表达 86
汉语的情况 86
关于不定代词all，every，any，each 90
存在量词a/an与some 94
量化命题 95
第三节 量词的否定形式 95
逆反对 96
第四章 推理系统 98
第一节 自然推理系统 98
推理规则 98
自然语言里所进行的推理 103
综合运用的例子 105
归谬推理 106
两难推理及其他蕴涵析取推理 108
第二节 比喻推理 111
比喻的意义与形式 111
比喻的结构 113
比喻推理 114
推理的连接 120
第三节 推理的复合结构 120
连珠 123
第四节 推理系统的形式化 126
有效性与真实性 126
范式 127
公理系统 129
第五节 量词推理规则 130
全称消去规则 130
全称引入规则 131
存在引入规则 133
存在消去规则 133
第五章 自然语言 136
语言起源的一种假定 137
第一节 对原始语言的几点设想 137
材料问题 137
人体上的特殊系统——符号系统 138
语言活动作为一种技能 139
原始语言属于一种表象性的语言 139
第二节 语言与儿童 140
儿童学习语言的阶段 140
学习与模仿 141
语象与儿童意识 141
儿童语言的特殊性 143
西语里的语言与言语 144
汉语里的语言与言语 144
第三节 语言与言语 144
索绪尔论言语 145
索绪尔论语言 146
从符号学角度认识言语与语言的关系 147
从语言类型与标记来认识言语与语言 147
第四节 语言与信息 149
语言的功能 149
信息的特点 149
语言传递信息的两种过程 150
发射型与接收型的描述 152
第五节 语言与世界 153
语义来源于现实世界 153
人的生理活动与语言表达 153
语义与真实条件 154
语义与可能世界的关系 154
语义密度与精神物质两种机制的关系 155
词汇范畴与语义密度 156
第六节 语言的形态类型 159
形态类型与语音 159
语音的辨义功能 160
重音 161
语法材料 162
形态与句法 163
不同语言在形态上的共同特征 163
第七节 语言的句法类型 167
语言成分的不同范畴 167
语法范畴与句法关系 167
名词与动词 168
词的兼类与概念的内在可变性 169
语言的词汇材料和基本句 171
谓词与动词的价 172
句子的功能类 176
句子里的具体概念与关系概念 176
第六章 现代应用逻辑学概述 179
第一节 模态逻辑 179
模态词 179
严格蕴涵 182
模态逻辑的基本关系 183
第二节 时态逻辑 185
自然语言里的“时间”描述 185
时态算子 188
时态命题 190
第三节 问句逻辑 191
问题的意义 191
问句的类型 192
问句与自指性 195
疑问转换 196
预设 197
回答 200
问句推理 203
人工语言中的问句逻辑 206
第四节 模糊逻辑 208
自然语言的模糊性 208
模糊集合 210
模糊命题演算 212
模糊谓词演算 214
模糊语言算子 214
似然推理 215
模糊关系 216
综合评判 218
第五节 内涵逻辑 219
内涵与外延 219
内涵语境与外延语境 222
Frege原理与范畴语法 223
λ演算与摹状算子 228
内涵逻辑表达式 230
语义类型 232
Montague语法简介 235
L0语言 237
L1语言 239
Montague的内涵逻辑语言IL 240
预备知识 244
第一节 集合论 244
集合 244
子集 246
集合的运算 248
集合运算律 251
第二节 关系 252
笛氏积 252
关系 253
等价关系 255
序关系 260
第三节 映射 262
映射与函数概念 263
映射与函项 264
特征函项 265
满射、单射和双射 265
信号作为时间的函项 266
第四节 同态与同构 267
复合函项 267
反函项 267
射影 268
关系的同态与同构 269
标度 270
参考文献 274