《逻辑语义学研究》求取 ⇩

第一章 引言1

1．1 逻辑语义学的涵义1

1．2 沿革5

1．3 发展13

1．3．1 关于逻辑学方面的发展14

1．3．2 关于哲学方面的发展19

1．3．3 关于语言学方面的发展24

1．3．4 关于人工智能方面的发展29

参考文献34

第二章 弗雷格：逻辑语义学缘起35

2．1 概述35

2．2 概念文字及其解释36

2．2．1 对形式语言的说明37

2．2．2 对公式推导的解释39

2．2．3 对演绎系统的解释40

2．3 意义和所指41

2．3．1 符号的意义和所指42

2．3．2 专名的意义和所指43

2．3．3 句子的意义和所指44

2．3．4 概念的意义和所指48

2．4 逻辑研究真51

2．4．1 什么是真51

2．4．2 如何研究真53

2．4．3 为什么要研究真54

2．5 弗雷格逻辑语义学思想评价56

2．5．1 关于语形和语义56

2．5．2 关于意义理论57

2．5．3 关于专名58

2．5．4 关于真59

参考文献60

第三章 塔斯基的外延语义理论61

3．1 概述61

3．2 定义真性概念的目标、要求66

3．2．1 目标66

3．2．2 约定T69

3．2．3 日常语言和人工语言70

3．2．4 对象语言和元语言72

3．3 类演算中真句子概念的语义理论75

3．3．1 类演算语言76

3．3．2 满足和真性概念80

3．3．3 结论85

3．4 评价88

3．4．1 开创外延逻辑语义学88

3．4．2 运用分析方法的典型89

3．4．3 中立主义的真理论91

3．4．4 朴素的唯物论和辩证法因素92

参考文献94

第四章 卡尔纳普的外延内涵方法95

4．1 卡尔纳普语义学思想的沿革95

4．1．1 从逻辑语形学到逻辑语义学96

4．1．2 从外延语义学到内涵语义学99

4．1．3 引进内涵的必要性102

4．2 外延内涵方法107

4．2．1 真和L-真110

4．2．2 语言表达式的双重意义——外延和内涵116

4．2．3 各种语境中的可互换性119

4．2．4 内涵同构122

4．3 三个理论问题127

4．3．1 对于内涵的成功的形式刻画128

4．3．2 分析性定义的改进133

4．3．3 内涵与内涵结构138

参考文献142

5．1 概述144

第五章 克里普克的可能世界语义学144

5．2 可能世界语义学148

5．2．1 基本思想148

5．2．2 叠置模态和特征公理的语义分析151

5．2．3 模型结构和模型154

5．2．4 克里普克语义图156

5．2．5 模态谓词逻辑语义学163

5．3 讨论172

5．3．1 克里普克的名字理论172

5．3．2 关于可能世界语义学的一些哲学问题183

参考文献190

第六章 蒙太古语法191

6．1 概述191

6．1．1 内涵和外延192

6．1．2 内涵逻辑193

6．1．3 范畴语法198

6．2 PTQ语法206

6．2．1 FE的语形学206

6．2．2 IL的语形学214

6．2．3 IL的语义学218

6．2．4 从FE到IL的翻译225

6．3 结束语237

参考文献243

第七章 λ-演算与组合逻辑245

7．1 概述246

7．2 λ-演算的语言248

7．2．1 基本符号248

7．2．2 自由出现与约束出现，代入249

7．3 λ-演算的语法251

7．3．1 归纳与转换251

7．3．2 Church-Risser定理252

7．3．3 外延λ-演算253

7．4 组合逻辑的语法254

7．4．1 组合逻辑的组成254

7．4．2 组合逻辑中的抽象运算255

7．4．3 与λ-演算定理等价的组合逻辑的扩充256

7．4．4 与外延λ-演算定理等价的组合逻辑的扩充257

7．5 组合逻辑的语义258

7．5．1 贴合结构258

7．5．2 组合代数260

7．5．3 λ-代数262

7．6 λ-演算的语义263

7．6．1 λ-演算的模型的定义263

7．6．2 λ-演算的项模型266

7．6．3 λ-演算的代数模型268

7．6．4 λ-演算的泛函模型270

7．6．5 λ-演算的连续映射模型272

7．6．6 Engeler λ-模型274

7．6．7 外延λ-演算的模型276

7．6．8 具体的λ-模型277

参考文献280

第八章 人工智能涉及的某些语义问题281

8．1 什么是人工智能281

8．2 一阶谓词逻辑的知识表示284

8．2．1 一阶逻辑表示领域知识285

8．2．2 语义演绎系统291

8．2．3 子句演绎系统293

8．2．4 Horn子句演绎系统299

8．3 prolog语言及其指称语义和操作语义302

8．3．1 演绎推理的实施机构——prolog语言302

8．3．2 prolog逻辑程序的指称语义307

8．3．3 prolog逻辑程序的操作语义309

8．4 知识表示的其它方法310

8．5．2 单词的获取315

8．5 自然语言理解315

8．5．1 理解的定义315

8．5．3 句子的结构分析316

8．5．4 句子的语义分析324

参考文献328

第九章 语言学中的逻辑语义研究329

9．1 概述329

9．2 库珀与“语言—逻辑—体化科学理论”338

9．2．1 语言自动装置340

9．2．2 演绎逻辑与语义、语用342

9．2．3 归纳逻辑与语义345

9．3 预设逻辑346

9．3．1 语义预设349

9．3．2 超赋值351

9．3．3 语用预设353

9．4 结语356

参考文献357

〔附录〕逻辑语义学和论证逻辑体系的认识论前提358