逻辑哲学初步2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

逻辑哲学初步PDF格式电子书版下载

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

0 命题演算3

0.1 命题演算基础知识3

0.1.1 命题 命题公式 真值函项3

0.1.2 重言式和重言式的判定9

0.1.3 范式和优范式13

0.2 命题逻辑自然推理系统19

0.2.1 形式语言20

0.2.2 推理规则21

0.2.3 定理的证明25

0.3 命题逻辑公理系统P26

0.4 命题演算的一致性和完全性32

0.4.1 命题演算的一致性33

0.4.2 命题演算的完全性34

0.5 命题逻辑的形式证明35

1 谓词演算38

1.1 个体词、谓词和量词39

1.1.1 个体词40

1.1.2 谓词40

1.1.3 量词42

1.2 谓词公式的语义解释46

1.3 谓词逻辑的自然推理系统49

1.4 谓词逻辑的公理系统53

2 模态逻辑57

2.1 模态和模态命题形式58

2.1.1 模态58

2.1.2 模态命题形式60

2.2 模态命题逻辑系统63

2.2.1 模态逻辑系统K64

2.2.2 模态逻辑系统T68

2.2.3 模态逻辑系统S469

2.2.4 模态逻辑系统S571

2.2.5 可能世界语义理论72

2.3 模态狭谓词逻辑QTB75

3 多值逻辑79

3.1 卢卡西维茨的多值逻辑系统79

3.2 其他一些多值逻辑系统85

0 逻辑哲学的定义与范围91

1 什么是逻辑98

2 有效性问题103

3.1 形式的特征118

3 逻辑联结词118

3.2 某些逻辑联结词的含义120

3.3 形式化的目的121

4 量词129

4.1 量词和它的解释129

4.2 奎因有关量词和本体论的论述132

4.3 替换量词与本体论136

4.4 两种解释138

5 个体词141

5.1 个体词与它们的解释141

5.2 名词142

5.3 作为纯粹符号的名词143

5.4 类似于描述的名词145

5.5 非指称名词157

6 句子、陈述、命题160

6.1 如何理解命题逻辑中的“p”，“q”……等等162

6.2 真值承担者163

7 “矛盾律”和“排中律”168

8 真理理论180

8.1 真理的定义与真理的标准181

8.2 符合论183

8.3 融贯论191

8.4 真理实用论199

8.5 语义论202

8.6 塔尔斯基的真理定义206

8.7 形式的解释210

8.8 “满足”的定义211

8.9 冗余论217

9 悖论222

9.1 悖论的种类222

9.1.1 说慌者和有关的悖论222

9.1.2 “集合悖论”与“语义悖论”223

9.2 悖论的“解决”224

9.3 罗素的解决方法：类型论，恶性循环原则225

9.4 塔尔斯基的解决方法：语言层次227

9.5 克里普克的解决方法229

10 有关逻辑分支的问题233

10.1 关于古典逻辑的局限性问题233

10.2 对时态逻辑的两种不同的处理方式236

10.3.1 模态逻辑是古典逻辑的扩展243

10.3.2 奎因对模态逻辑的批评243

10.3 关于模态逻辑的问题243

10.3.3 模态逻辑的语义存在的问题251

10.3.4 模态逻辑也存在着悖论254

10.3.5 相关逻辑255

10.4 多值逻辑259

10.4.1 第三个值的解释259

10.4.2 多值逻辑和真值260

10.5 直觉主义逻辑262

10.6 有关一元论、多元论和工具论的问题266

10.7 关于逻辑是否可修正问题273

11 意义理论279

11.1 指称论280

11.2 意义观念论287

11.3 意义行为论293

11.4 意义证实论299

11.5 语义运用论303

11.6 真值条件语义学309

11.6.1 戴维森的理论310

11.6.2 达米特对真值条件论的批评314

12. 有关分析性和必然性问题的讨论324

12.1 历史上有关真理、分析、综合、先验、后验等问题的讨论324

12.2 奎因认为分析性这个概念是模糊的327

12.3 格赖斯对斯特劳森对奎因的反驳331

12.4 奎因认为必然性概念是一个不清晰的概念335

12.5 有关两种不同的模态、跨界同一性等问题的争论337

12.6 关于本质论问题343

12.7 再论必然性和分析性等问题345

参考书目349