语言与文字系列 语言学中的逻辑2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

语言与文字系列 语言学中的逻辑PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

中文版序1

前言1

符号与标记的约定1

第一章 供语言学家用的逻辑学1

第二章 集合论3

2.1 集合和元素3

2.2 集合之间的关系6

2.3 集合的运算7

2.4 关系和函项10

第三章 推理和语句的逻辑分析16

3.1 推理16

3.2 逻辑形式19

3.3 语句和命题21

3.4 可能世界和命题的真值集24

3.5 分析性语句和综合性语句25

3.6 简单句和复合句27

3.7 逻辑分析的深度28

第四章 命题逻辑29

4.1 联结词29

4.2 逻辑联结词的意义33

4.2.1 否定～33

4.2.2 合取＆35

4.2.3 析取∨39

4.2.4 蕴涵→42

4.2.5 等值≡45

4.3 如何表示组成成分的结构46

4.4 命题演算的语法学（syntax）和语义学50

4.5 语法学（syntax）51

4.6 语义学53

4.7 重言式和矛盾式56

4.8 真值表57

第五章 谓词逻辑66

5.1 逻辑分析的扩展66

5.2 量词69

5.3 谓词逻辑语法概述80

5.4 谓词逻辑的语义学81

5.5 在所有解释中都真87

5.6 谓词逻辑语义学概述94

5.7 语义学的一种形式的表述95

5.8 关系的形式的性质100

5.8.1 自返性（Reflexivity）100

5.8.2 对称性101

5.8.3 传递性101

5.8.4 逆关系102

5.8.5 关系的定义域和值域的结构103

第六章 演绎109

6.1 演绎系统109

6.2 日常会话中的演绎规则118

第七章 模态逻辑122

7.1 模态算子122

7.2 严格蕴涵125

7.3 其他模态126

7.4 在模态逻辑中同辖域和同一相联系的问题129

7.4.1“Dedicto”—“dere”的歧义129

7.4.2 特指性（Specificity）132

7.4.3 晦暗性（Opacity）133

7.4.4 跨越世界的辨认（Cross-world identification）135

7.5 反事实语句137

7.6 时态逻辑和参考点138

第八章 内涵逻辑和范畴语法143

8.1 内涵和外延143

8.2 内涵146

8.3 弗莱格原理（The Fregean Principle）149

8.4 弗莱格原理和范畴语法151

8.5 范畴、内涵和类型156

第九章 进一步的扩展169

9.1 二阶谓词逻辑和谓词算子169

9.2 预设和有定摹状词170

9.3 预设的语用分析175

9.4 抽象算子或莱姆答算子178

第十章 有适用于语言学家的逻辑学吗？181

10.1 概说181

10.2 意义的概念181

10.3 形式语言在分析自然语言中的作用188

10.4 古典逻辑的局限性193

参考书目197

习题解答203

索引211

译者后记233