语言与文字系列 语言学中的逻辑pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

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

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

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

中文版序 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