语言与现代逻辑PDF电子书下载

目录 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