语言的逻辑分析 语言学家关注的逻辑问题【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

语言的逻辑分析 语言学家关注的逻辑问题PDF格式电子书版下载

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

1 逻辑的对象1

1.1 逻辑与“逻辑式”1

1.2 关于命题的性质3

1.3 歧义6

1.4 逻辑与分工11

1.5 某种句法的先决条件13

2 谓词逻辑Ⅰ：句法19

2.1 “形式逻辑系统”的概念19

2.2 量词、谓词和变项21

2.3 变项的一致性条件28

2.4 逻辑学家偏爱的量词33

2.5 推理规则41

3 命题逻辑Ⅰ：句法51

3.1 命题联结词及其形成规则51

3.2 推理规则59

3.3 公理、推理规则、意义假设之比较72

3.4 关于if的进一步讨论74

3.5 关于联结词的进一步讨论81

3.6 关于证明的结构86

3.7 由命题逻辑补充的谓词逻辑89

4 命题逻辑Ⅱ：语义学93

4.1 真值表93

4.2 推理规则如何限制真值？97

4.3 语言与元语言104

4.4 不同类型的完全性112

4.5 附录A：对元语言的进一步讨论116

4.6 附录B：一个语义完全性证明的概述117

5 集合论插说120

5.1 “集合”的概念120

5.2 集合的运算124

5.3 有穷集与无穷集126

5.4 关系与函项131

5.5 整体134

5.6 赋值137

5.7 归纳证明138

6 谓词逻辑Ⅱ：语义学142

6.1 谓词逻辑中的真值142

6.2 带相等的谓词逻辑147

6.3 空真和域的语用限制149

6.4 约束和非约束的量词151

6.5 可满足性和有效性159

7 谓词逻辑的进一步探讨162

7.1 对S的语言学证明：Q'S162

7.2 罗素对the的分析177

7.3 对象语言中的集合：广义谓词逻辑188

7.4 其他量词192

7.5 物质表达式206

7.6 多元量词213

8 类别、类型与种类219

8.1 域的一致性与类别219

8.2 逻辑类型与λ演算224

8.3 种类与总称命题233

8.4 收敛（“分枝”）量词239

8.5 联结词与量词248

9 语言行为与含义255

9.1 语言行为与言外之力255

9.2 会话含义：Grice Saves265

9.3 约定含义282

10 预设288

10.1 预设的种类288

10.2 语义预设的某些可能情况292

10.3 超赋值295

10.4 语用预设304

10.5 广义的假与狭义的假311

10.6 话语指称314

11 模态逻辑328

11.1 必然的概念328

11.2 模态命题逻辑的语形学与语义学331

11.3 模态谓词逻辑341

11.4 严格蕴涵与相关衍推逻辑352

11.5 附录：关于可达性关系R的自返性、对称性和传递性定理的逆定理361

12 可能世界的运用365

12.1 “建构世界”谓词365

12.2 时间逻辑380

12.3 关于证明结构的进一步讨论398

13 多值逻辑与模糊逻辑405

13.1 真和假之间的值405

13.2 模糊谓词逻辑414

13.3 模糊集合421

13.4 真实度422

13.5 真的维数428

14 内涵逻辑与蒙太格语法436

14.1 内涵逻辑436

14.2 蒙太格句法和语义研究的进路441

14.3 “广义量词”461

15 条件命题466

15.1 反事实条件句466

15.2 直陈条件句484

参考文献492

符号表508

译后记513

补记515