语言学中的逻辑PDF电子书下载

1．　语言学家所使用的逻辑学 1

2．　集合论 3

2．1　集合和元素 3

2．2　集合间的关系 5

2．3　集合上的运算 6

2．4　关系和函数 9

3．　推理和语句的逻辑分析 15

3．1 推理 15

3．2　逻辑形式 18

3．3　语句和命题 20

3．4　可能世界和命题的真值集 22

3．5　分析语句和综合语句 23

3．6　简单语句和复合语句 24

3．7　逻辑分析的深度 25

4．　命题逻辑 26

4．1　联结词 26

4．2　逻辑联结词的意义 30

4．2.1　否定 30

4．2.2　合取 32

4．2.3　析取 34

4．2.4　蕴涵 37

4．2.5　等值 40

4．3　如何显示语句成分结构 42

4．4　命题演算的语形和语义 44

4．5　句法 45

4．6　语义 47

4．7　重言式和矛盾式 50

4．8　真值表 50

5．　谓词逻辑 58

5．1　逻辑分析的扩展 58

5．2　量词 61

5．3　谓词逻辑句法概要 71

5．4　谓词逻辑的语义学 72

5．5　在所有解释中都真 77

5．6　谓词逻辑语义概要 83

5．7　语义学的一种形式表述 84

5．8　关系的形式属性 88

5．8.1 自反性 88

5．8.2　对称性 89

5．8.3　传递性 89

5．8.4　逆 90

5．8.5　关系的域和伴域的结构 90

6．　推演 96

6．1　推演系统 96

6．2 日常会话中的推演规则 104

7．　模态逻辑 108

7．1　模态算子 108

7．2 严格蕴涵 110

7．3　其他模态 111

7．4　模态逻辑中与辖域和同一性相关的问题 114

7．4.1　模糊性 114

7．4.2　特异性 116

7．4.3　晦暗性 117

7．4.4　跨世界的同一性 119

7．5　反事实语句 120

7．6　时态逻辑和参照点 121

8．内涵逻辑和范畴语法 125

8．1　内涵和外延 125

8．2　内涵 127

8．3　弗雷格原则 130

8．4　弗雷格原则和范畴语法 132

8．5　范畴、内涵和类型 136

9．　进一步的扩展 148

9．1 二阶谓词逻辑和谓词算子 148

9．2　预设和限定的描述 149

9．3　预设的语用分析 153

9．4　抽象算子（λ-算子） 155

10．　语言学家所使用的逻辑学？ 158

10．1　一般问题 158

10．2　意义的概念 158

10．3　形式语言在自然语言分析中的作用 164

10．4　经典逻辑的限度 168