《语言与现代逻辑》求取 ⇩

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

存在量词a/an与some94

量化命题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的内涵逻辑语言IL240

预备知识244

第一节　集合论244

集合244

子集246

集合的运算248

集合运算律251

第二节　关系252

笛氏积252

关系253

等价关系255

序关系260

第三节　映射262

映射与函数概念263

映射与函项264

特征函项265

满射、单射和双射265

信号作为时间的函项266

第四节　同态与同构267

复合函项267

反函项267

射影268

关系的同态与同构269

标度270

参考文献274