语言学中的逻辑pdf电子书版本下载

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

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

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

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

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

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

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