逻辑、语言与意义 第1卷pdf电子书版本下载

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

逻辑、语言与意义 第1卷PDF格式电子书版下载

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

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

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

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

前言 1

序言 3

第1章 绪论 7

1.1 证明、有效证明和证明模式 7

1.2 逻辑与意义 11

1.3 逻辑常项和逻辑系统 14

1.4 20世纪之前的逻辑学和语言学 17

1.5 20世纪 25

1.5.1 逻辑形式vs．语法形式 25

1.5.2 日常语言哲学 29

1.5.3 语言学与哲学 31

1.6 形式语言 35

第2章 命题逻辑 38

2.1 真值函项联结词 38

2.2 联结词与真值表 39

2.3 公式 48

2.4 函项 57

2.5 命题逻辑的语义 60

2.6 真值函项 72

2.7 并列联结词和从属联结词 77

第3章 谓词逻辑 84

3.1 原子句 84

3.2 量化表达式：量词 90

3.3 公式 96

3.4 更多量化表达式及其翻译 101

3.5 集合 109

3.6 谓词逻辑的语义 113

3.6.1 解释函项 114

3.6.2 替换解释法 115

3.6.3 指派解释法 121

3.6.4 普遍有效性 126

3.6.5 规则 130

3.7 等同 131

3.8 关系的一些性质 139

3.9 函项符号 142

第4章 证明和推理 145

4.1 证明和证明模式 145

4.2 语义推理关系 148

4.2.1 语义有效性 148

4.2.2 外延性原则 155

4.3 自然演绎：推理的句法方法 161

4.3.1 引入规则与消去规则 161

4.3.2 合取 162

4.3.3 蕴涵 165

4.3.4 析取 169

4.3.5 否定 172

4.3.6 量词 177

4.3.7 规则 184

4.4 可靠性和完全性 185

第5章 非经典逻辑 194

5.1 引言 194

5.2 限定摹状词 197

5.3 受限量化：多体谓词逻辑 204

5.4 二阶逻辑 208

5.5 多值逻辑 214

5.5.1 引言 214

5.5.2 三值逻辑系统 214

5.5.3 三值逻辑及预设的语义概念 220

5.5.4 多于三值的逻辑系统 226

5.5.5 四值逻辑与预设的语义概念 229

5.5.6 多值逻辑在分析预设时的局限性 233

5.6 变项消去 235

第6章 语用学：意义与使用 241

6.1 非真值条件语义 241

6.2 逻辑上的合取式和词序 243

6.3 使用与合作原则 245

6.4 相容析取和不相容析取 246

6.5 析取和信息充足适量性 248

6.6 会话准则和会话隐涵 251

6.7 析取式的会话隐涵 255

6.8 蕴涵和信息充足适量性 257

6.9 预设和会话隐涵 261

6.10 规约隐含、预设和蕴涵式 263

第7章 形式句法 269

7.1 重写规则的层级 269

7.2 语法和自动机 272

7.3 关于形式语言的理论 274

7.4 自然语言的语法复杂性 276

7.5 语法、自动机和逻辑 279

练习答案 282

参考文献说明 333

参考文献 336

索引 342

译后记 353