图书介绍
逻辑哲学初步pdf电子书版本下载
- 梁彪著 著
- 出版社： 广州：广东人民出版社
- ISBN：7218039820
- 出版时间：2002
- 标注页数：352页
- 文件大小：12MB
- 文件页数：361页
- 主题词：
PDF下载
下载说明
逻辑哲学初步PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
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 命题逻辑公理系统P 26
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 模态逻辑系统K 64
2.2.2 模态逻辑系统T 68
2.2.3 模态逻辑系统S4 69
2.2.4 模态逻辑系统S5 71
2.2.5 可能世界语义理论 72
2.3 模态狭谓词逻辑QTB 75
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