扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
(精)清儒学案-九品(全10册)
-
>
素书
-
>
(精)周桂钿文集:秦汉思想研究(全7册)
-
>
海德格尔形式显示的实存哲学
-
>
毛泽东读书笔记解析.4:历史卷
-
>
中国学术名著丛书-杨树达:老子古义 周子古义
-
>
(精)斐多:柏拉图对话录(毛边本)
逻辑学导论(原书第三版) 版权信息
- ISBN：9787030702371
- 条形码：9787030702371 ; 978-7-03-070237-1
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
逻辑学导论(原书第三版) 内容简介
本书在介绍逻辑学三段论、推理的非形式化内容、归纳推理等传统知识框架的基础上，展示了部分前沿成果，如道义和祈使逻辑、信念逻辑、元逻辑、异常逻辑等。本书对现代逻辑学中部分冗长、复杂的技术细节进行了简化，在证明体系中依次介绍若干入好逻辑系统，使各类读者能够较为直接地了解和掌握相关知识点。另外，在每章或每节后面列了一些习题，以便读者加深对前面所学内容的理解。 本书适用于哲学、计算机等专业的高校师生阅读，也适合对逻辑学感兴趣的读者阅读。
逻辑学导论(原书第三版) 目录
目录
丛书序
中文版序言
序言
第1章 导论 1
1.1 逻辑 1
1.2 有效的论证 1
1.3 可靠的论证 3
1.4 本书计划 5
第2章 三段论逻辑 6
2.1 较容易的翻译 6
2.1a 练习：LogiColaa (EM & ET) 7
2.2 标星检验 8
2.2a 练习——无LogiCola习题 11
2.2b 练习：LogiColab H 11
2.2c 练习：LogiColab （H & S) 11
2.3 自然语言论证 12
2.3a 练习：LogiCola BE 13
2.3b 神秘故事的练习——无LogiCola习题 15
2.4 较困难的翻译 16
2.4a 练习：LogiColaa A(HM & HT) 18
2.5 得出结论 19
2.5a 练习：LogiColab BD 21
2.6 文恩图 23
2.6a 练习：LogiColabc BC 27
2.7 日常论证 27
2.7a 练习：LogiColab (F & I) 29
2.8 亚里士多德观点 30
第3章 意义与定义 32
3.1 语言的使用 32
3.1a 练习 33
3.2 词典定义 34
3.2a 练习：LogiCola Q 37
3.2b 练习 38
3.3 约定性定义 38
3.4 解释意义 40
3.4a 练习 43
3.5 做出区分 44
3.5a 练习 45
3.6 分析性和综合性 46
3.6a 练习 47
3.7 先验和后验 47
3.7a 练习 50
第4章 谬误与论证 51
4.1 好的论证 51
4.2 非形式谬误 55
4.2a 练习：LogiCola R 60
4.2b 另一组谬误练习：LogiCola R 62
4.3 不一致性 64
4.3a 练习 67
4.4 构造论证 68
4.4a 练习 70
4.5 分析论证 71
第5章 归纳推理 74
5.1 统计三段论 74
5.2 概率运算 76
5.2a 练习：LogiCola P (P，O， & c ) 80
5.3 哲学问题 81
5.3a 练习：LogiCola P (G，D， & V) 85
5.4 从样本进行推理 85
5.4a 练习 88
5.5 类比推理 88
5.5a 练习：LogiCola P(T) 90
5.6 类比和他心问题 91
5.7 穆勒方法 92
5.7a 练习：LogiCola P (M & B) 95
5.8 科学定律 96
5.8a 练习 102
5.9 *佳解释推理 103
5.10 归纳法的困难 103
第6章 基础命题逻辑 109
6.1 较容易的翻译 109
6.1a 练习：LogiCola C (EM & ET) 111
6.2 基础真值表 112
6.2a 练习：LogiCola D (TE & FE) 115
6.3 真值计算 115
6.3a 练习：LogiCola D (TM & TH) 116
6.4 未定真值计算 117
6.4a 练习：LogiCola D (UE，UM & UH) 117
6.5 复杂真值表 117
6.5a 练习：LogiCola D (FM & FH) 119
6.6 真值表测试 120
6.6a 练习：LogiCola D (AE，AM & AH) 122
6.7 真值指派测试 123
6.7a 练习：LogiCola ES 125
6.7b 练习：LogiCola EE 126
6.8 较困难的翻译 128
6.8a 练习：LogiCola C(HM & HT) 130
6.9 惯用论证 130
6.9a 练习：LogiCola E (F & I) 131
6.10 S-规则 133
6.10a 练习：LogiCola F(SE & SH) 135
6.11 I-规则 135
6.11a 练习：LogiCola F (IE & IH) 139
6.12 混合S-及I-规则 139
6.12a 练习：LogiCola F (CE & CH) 140
6.13 扩展的推理 140
6.14 逻辑与计算机 142
第7章 命题证明 143
7.1 较容易的证明 143
7.1a 练习：LogiCola F (TE & TH)和GEV 149
7.1b 练习：LogiCola (TE & TH)和GEV 149
7.2 较容易的反驳 151
7.2a 练习：LogiCola GEI 153
7.2b 练习：LogiCola GEC 153
7.3 较困难的证明 156
7.3a 练习：LogiCola GHV 162
7.3b 练习：LogiCola GHV 163
7.4 较困难的反驳 164
7.4a 练习：LogiCola GHI 165
7.4b 练习：LogiCola G (HC & MC) 166
7.5 科皮证明 168
7.5a 和7.5b练习：LogiCola GEO 173
7.5c 和7.5d练习：LogiCola GHO和GMO 173
7.6 真值树 173
7.6a 练习：LogiCola GEZ 177
7.6b 练习：LogiCola GHZ和GMZ 177
第8章 基础量化逻辑 178
8.1 较容易的翻译 178
8.1a 练习：LogiCola H（EM & ET） 182
8.2 较容易的证明 183
8.2a 练习：LogicCola IEV 187
8.2b 练习：LogiCola IEV 187
8.3 较容易的反驳 189
8.3a 练习：LogiCola IEI 191
8.3b 练习：LogiCola IEC 192
8.4 较困难的翻译 193
8.4a 练习：LogicCola H（HM & HT） 195
8.5 较困难的证明 195
8.5a 练习：LogiCola I（HC & MC） 197
8.5b 练习：LogicCola I（HC & MC） 198
8.6 科皮证明 200
8.6a 和8.6b练习：LogiCola IEO 202
8.6c 和8.6 d练习：LogiCola IHO和IMO 202
第9章 等词和关系 203
9.1 等词翻译 203
9.1a 练习：LogiCola H（IM & IT） 205
9.2 等词证明 206
9.2a 练习：LogiCola IDC 208
9.2b 练习：LogiCola IDC 209
9.3 较容易的关系 210
9.3a 练习：LogiCola H（RM & RT） 212
9.4 较困难的关系 213
9.4a 练习：LogiCola H（RM & RT） 217
9.5 关系证明 218
9.5a 练习：LogiCola I（RC &bc） 221
9.5b 练习：LogiCola I（RC &bc） 222
9.6 确定摹状词 225
9.7 科皮证明 227
9.7a 和9.7b 练习：LogiCola IDO 227
9.7c 和9.7 d练习：LogiCola IRO和IBO 227
第10章 基础模态逻辑 228
10.1 翻译 228
10.1a 练习：LogiCola J（BM &b T） 231
10.2 证明 231
10.2a 练习：LogiCola KV 236
10.2b 练习：LogiCola KV 237
10.3 反驳 238
10.3a 练习：LogiCola KI 241
10.3b 练习：LogiCola KC 242
第11章 进阶模态系统 246
11.1 星际旅行 246
11.1a 练习：LogiCola KG 250
11.1b 练习：LogiCola KG 250
11.2 量化翻译 251
11.2a 练习：LogiCola J（QM & QT） 253
11.3 量化证明 254
11.3a 练习：LogiCola KQ 256
11.3b 练习：LogiCola KQ 257
11.4 一个精致的系统 259
第12章 道义和祈使逻辑 265
12.1 祈使翻译 265
12.1a 练习：LogiCola L (IM & IT) 267
12.2 祈使证明 268
12.2a 练习：LogiCola MI 271
12.2b 练习：LogiCola MI 272
12.3 道义翻译 274
12.3a 练习：LogiCola L (DM & DT) 276
12.4 道义证明 277
12.4a 练习：LogiCola M (D & M) 283
12.4b 练习：LogiCola M (D & M) 284
第13章 信念逻辑 287
13.1 信念翻译 287
13.1a 练习：LogiCola N (BM & BT) 288
13.2 信念证明 288
13.2a 练习：LogiCola OB 294
13.2b 练习：LogiCola OB 294
13.3 相信和愿望 295
13.3a 练习：LogiCola N (WM & WT) 297
13.4 愿望证明 298
13.4a 练习：LogiCola OW 299
13.4b 练习：LogiCola OW 299
13.5 理性翻译 300
13.5a 练习：LogiCola N (RM & RT) 301
13.6 理性证明 302
13.6a 练习：LogiCola O (R & M) 303
13.6b 练习：LogiCola OW 303
13.7 一个精致的系统 305
第14章 一个形式化的伦理理论 308
14.1 实践理性 308
14.2 一致性 309
14.3 金规则（the golden rule） 311
14.4 启动GR的证明 316
14.5 GR的逻辑机制 319
14.6 符号化的GR证明 326
第15章 元逻辑 329
15.1 元逻辑问题 329
15.2 联结词 329
15.3 可靠性 331
15.4 完全性 333
15.5 一个公理系统 336
15.6 哥德尔定理 337
第16章 逻辑史 3
丛书序
中文版序言
序言
第1章 导论 1
1.1 逻辑 1
1.2 有效的论证 1
1.3 可靠的论证 3
1.4 本书计划 5
第2章 三段论逻辑 6
2.1 较容易的翻译 6
2.1a 练习：LogiColaa (EM & ET) 7
2.2 标星检验 8
2.2a 练习——无LogiCola习题 11
2.2b 练习：LogiColab H 11
2.2c 练习：LogiColab （H & S) 11
2.3 自然语言论证 12
2.3a 练习：LogiCola BE 13
2.3b 神秘故事的练习——无LogiCola习题 15
2.4 较困难的翻译 16
2.4a 练习：LogiColaa A(HM & HT) 18
2.5 得出结论 19
2.5a 练习：LogiColab BD 21
2.6 文恩图 23
2.6a 练习：LogiColabc BC 27
2.7 日常论证 27
2.7a 练习：LogiColab (F & I) 29
2.8 亚里士多德观点 30
第3章 意义与定义 32
3.1 语言的使用 32
3.1a 练习 33
3.2 词典定义 34
3.2a 练习：LogiCola Q 37
3.2b 练习 38
3.3 约定性定义 38
3.4 解释意义 40
3.4a 练习 43
3.5 做出区分 44
3.5a 练习 45
3.6 分析性和综合性 46
3.6a 练习 47
3.7 先验和后验 47
3.7a 练习 50
第4章 谬误与论证 51
4.1 好的论证 51
4.2 非形式谬误 55
4.2a 练习：LogiCola R 60
4.2b 另一组谬误练习：LogiCola R 62
4.3 不一致性 64
4.3a 练习 67
4.4 构造论证 68
4.4a 练习 70
4.5 分析论证 71
第5章 归纳推理 74
5.1 统计三段论 74
5.2 概率运算 76
5.2a 练习：LogiCola P (P，O， & c ) 80
5.3 哲学问题 81
5.3a 练习：LogiCola P (G，D， & V) 85
5.4 从样本进行推理 85
5.4a 练习 88
5.5 类比推理 88
5.5a 练习：LogiCola P(T) 90
5.6 类比和他心问题 91
5.7 穆勒方法 92
5.7a 练习：LogiCola P (M & B) 95
5.8 科学定律 96
5.8a 练习 102
5.9 *佳解释推理 103
5.10 归纳法的困难 103
第6章 基础命题逻辑 109
6.1 较容易的翻译 109
6.1a 练习：LogiCola C (EM & ET) 111
6.2 基础真值表 112
6.2a 练习：LogiCola D (TE & FE) 115
6.3 真值计算 115
6.3a 练习：LogiCola D (TM & TH) 116
6.4 未定真值计算 117
6.4a 练习：LogiCola D (UE，UM & UH) 117
6.5 复杂真值表 117
6.5a 练习：LogiCola D (FM & FH) 119
6.6 真值表测试 120
6.6a 练习：LogiCola D (AE，AM & AH) 122
6.7 真值指派测试 123
6.7a 练习：LogiCola ES 125
6.7b 练习：LogiCola EE 126
6.8 较困难的翻译 128
6.8a 练习：LogiCola C(HM & HT) 130
6.9 惯用论证 130
6.9a 练习：LogiCola E (F & I) 131
6.10 S-规则 133
6.10a 练习：LogiCola F(SE & SH) 135
6.11 I-规则 135
6.11a 练习：LogiCola F (IE & IH) 139
6.12 混合S-及I-规则 139
6.12a 练习：LogiCola F (CE & CH) 140
6.13 扩展的推理 140
6.14 逻辑与计算机 142
第7章 命题证明 143
7.1 较容易的证明 143
7.1a 练习：LogiCola F (TE & TH)和GEV 149
7.1b 练习：LogiCola (TE & TH)和GEV 149
7.2 较容易的反驳 151
7.2a 练习：LogiCola GEI 153
7.2b 练习：LogiCola GEC 153
7.3 较困难的证明 156
7.3a 练习：LogiCola GHV 162
7.3b 练习：LogiCola GHV 163
7.4 较困难的反驳 164
7.4a 练习：LogiCola GHI 165
7.4b 练习：LogiCola G (HC & MC) 166
7.5 科皮证明 168
7.5a 和7.5b练习：LogiCola GEO 173
7.5c 和7.5d练习：LogiCola GHO和GMO 173
7.6 真值树 173
7.6a 练习：LogiCola GEZ 177
7.6b 练习：LogiCola GHZ和GMZ 177
第8章 基础量化逻辑 178
8.1 较容易的翻译 178
8.1a 练习：LogiCola H（EM & ET） 182
8.2 较容易的证明 183
8.2a 练习：LogicCola IEV 187
8.2b 练习：LogiCola IEV 187
8.3 较容易的反驳 189
8.3a 练习：LogiCola IEI 191
8.3b 练习：LogiCola IEC 192
8.4 较困难的翻译 193
8.4a 练习：LogicCola H（HM & HT） 195
8.5 较困难的证明 195
8.5a 练习：LogiCola I（HC & MC） 197
8.5b 练习：LogicCola I（HC & MC） 198
8.6 科皮证明 200
8.6a 和8.6b练习：LogiCola IEO 202
8.6c 和8.6 d练习：LogiCola IHO和IMO 202
第9章 等词和关系 203
9.1 等词翻译 203
9.1a 练习：LogiCola H（IM & IT） 205
9.2 等词证明 206
9.2a 练习：LogiCola IDC 208
9.2b 练习：LogiCola IDC 209
9.3 较容易的关系 210
9.3a 练习：LogiCola H（RM & RT） 212
9.4 较困难的关系 213
9.4a 练习：LogiCola H（RM & RT） 217
9.5 关系证明 218
9.5a 练习：LogiCola I（RC &bc） 221
9.5b 练习：LogiCola I（RC &bc） 222
9.6 确定摹状词 225
9.7 科皮证明 227
9.7a 和9.7b 练习：LogiCola IDO 227
9.7c 和9.7 d练习：LogiCola IRO和IBO 227
第10章 基础模态逻辑 228
10.1 翻译 228
10.1a 练习：LogiCola J（BM &b T） 231
10.2 证明 231
10.2a 练习：LogiCola KV 236
10.2b 练习：LogiCola KV 237
10.3 反驳 238
10.3a 练习：LogiCola KI 241
10.3b 练习：LogiCola KC 242
第11章 进阶模态系统 246
11.1 星际旅行 246
11.1a 练习：LogiCola KG 250
11.1b 练习：LogiCola KG 250
11.2 量化翻译 251
11.2a 练习：LogiCola J（QM & QT） 253
11.3 量化证明 254
11.3a 练习：LogiCola KQ 256
11.3b 练习：LogiCola KQ 257
11.4 一个精致的系统 259
第12章 道义和祈使逻辑 265
12.1 祈使翻译 265
12.1a 练习：LogiCola L (IM & IT) 267
12.2 祈使证明 268
12.2a 练习：LogiCola MI 271
12.2b 练习：LogiCola MI 272
12.3 道义翻译 274
12.3a 练习：LogiCola L (DM & DT) 276
12.4 道义证明 277
12.4a 练习：LogiCola M (D & M) 283
12.4b 练习：LogiCola M (D & M) 284
第13章 信念逻辑 287
13.1 信念翻译 287
13.1a 练习：LogiCola N (BM & BT) 288
13.2 信念证明 288
13.2a 练习：LogiCola OB 294
13.2b 练习：LogiCola OB 294
13.3 相信和愿望 295
13.3a 练习：LogiCola N (WM & WT) 297
13.4 愿望证明 298
13.4a 练习：LogiCola OW 299
13.4b 练习：LogiCola OW 299
13.5 理性翻译 300
13.5a 练习：LogiCola N (RM & RT) 301
13.6 理性证明 302
13.6a 练习：LogiCola O (R & M) 303
13.6b 练习：LogiCola OW 303
13.7 一个精致的系统 305
第14章 一个形式化的伦理理论 308
14.1 实践理性 308
14.2 一致性 309
14.3 金规则（the golden rule） 311
14.4 启动GR的证明 316
14.5 GR的逻辑机制 319
14.6 符号化的GR证明 326
第15章 元逻辑 329
15.1 元逻辑问题 329
15.2 联结词 329
15.3 可靠性 331
15.4 完全性 333
15.5 一个公理系统 336
15.6 哥德尔定理 337
第16章 逻辑史 3
展开全部
逻辑学导论(原书第三版) 节选
第1章 导论 1.1 逻辑 逻辑（logic）是对论证的分析和评判。本书将仔细考察哲学领域（如自由意志和道德）和其他领域（如徒步、水污染和足球）的推理。逻辑是澄清和评价推理的有效工具，无论这些推理是关于更深刻的问题还是关于日常话题。 为什么要学逻辑呢？首先，逻辑塑造我们的思维。逻辑发展了一套分析技巧，它们在法律、政治、新闻、教育、医药、商业、科学、数学、计算机科学和大多数其他领域都至关重要。本书设计的练习让我们思维更清晰（从而人们能更好地理解我们所说的）、更具逻辑性（从而能更好地支持我们的结论）。 其次，逻辑加深我们对哲学（philosophy）的理解，而哲学可定义为对人生终极问题的推理。哲学问类似这样的问题：“为什么接受或拒绝自由意志？”或者“人们如何辩护一种道德信念？”逻辑给出处理这类问题的工具。如果你学过哲学，你很可能会识别出本书中的一些哲学推理。如果你没有学过哲学，你会发现本书是对该主题很好的介绍。无论哪种情况，你都会在识别、理解和评判哲学推理上做得更好。 *后，逻辑很有趣。逻辑会以新的方式挑战你的思维，并很可能让你着迷。大多数人发现逻辑令人享受。 1.2 有效的论证 我经常以一套选择题测验开始我的基础逻辑课。测验有10道题，每道题给出一些信息并询问什么结论可以必然得出。这些题相当容易，但多数学生都做错一半左右。 这里是其中两道题，带方框的选项是正确答案： 尽管**题几乎所有人都做对了，第二题很多人都错误地选择了 (b)。这里“你没有迟到”并不能必然得出，因为你有可能由于另一个原因而迟到，比如，你的车可能发动不了.。这套预备测验题表明，没有受过训练的逻辑直觉往往是不可靠的。但逻辑直觉是可以开发的；随着你学完本书，你的逻辑直觉很可能会得到提升。你也将学会检验论证的技术。 在逻辑学中，一个论证（argument）就是一组由若干前提（premise，支持性的证据）和一个（基于这些证据的）结论构成的陈述。论证将推理放入语言中。下面是一个例子（“)”指“所以”）： 一个论证是有效（valid）的，若它的前提都为真而结论为假是矛盾的（contradictory，不可能的）。“有效”不说明前提是真的，而只是说结论可以从前提推出：假如前提都为真，则结论也将为真。这里隐含假定词语的意义或指称没有发生转移，因而必须以相同的方式在整个论证中使用“起晚”“迟到”“你”这些词。 上面的论证因为其逻辑形式（logical form）而有效。逻辑形式就是如何排列像“如果 那么 ”这样的逻辑概念和像“你起晚了”这样的内容。我们可以通过用词语或符号表示逻辑概念、用字母表示内容短语来呈现逻辑形式： 我们的论证之所以有效是因为其形式是正确的。在相同的形式中用其他内容替换 “A”和“B”会产生另一个有效的论证： 逻辑学研究推理的形式，内容可以涉及任何事情——徒步、数学、做饭、物理、伦理，或者不管什么。当你学会了逻辑，你就学会了可以应用于任何主题的推理工具。 考虑上面那个无效（invalid）论证的例子： 如果你起晚了，你就会迟到。如果这里的第二个前提否定了“如果 那么 ”的**部分，这使得它是无效的。直觉上，你可能由于某个其他原因而迟到——正如在下面这个类似的论证中，你可能由于在意大利而在欧洲：如果你在法国，你就在欧洲。 1.3 可靠的论证 逻辑学家区分有效的论证与可靠的（sound）论证： 一个论证是有效的，若它的前提都为真而结论为假是矛盾的。 一个论证是可靠的，若它是有效的且每个前提都为真。 称一个论证是“有效的”，对前提的真假什么也没说。但称一个论证是“可靠的”，就是说它不但是有效的（结论可以从前提推出），而且所有前提都为真。下面是一个可靠的论证： 如果你在阅读本论证，你就不是不识字的。 当试图证明某个结论时，我们设法给出一个可靠的论证：有效且前提为真。有了这两个条件，就有一个可靠的论证，而且该结论不得不为真。 一个论证可以两种方式中的任意一种而不可靠：它可能有某个假的前提，或者其结论可能不能从前提推出。例如： 当我们要批评某个对手的论证时，得设法表明其论证是不可靠的。我们设法表明其中某个前提是假的，或者结论推不出。如果其论证有假的前提或是无效的，那么我们的对手就没有证明其结论。但这个结论仍然有可能是真的，我们的对手或许后来会发现它的一个更好的论证。要表明某个观点是假的，我们必须要比反驳其论证做得更多，得给出一个论证表明该观点为假。 除了问前提是否为真，也可以对自己或对其他人问它们有多确定。我们希望前提是确定的，并且对任何人都是显然的。但我们通常不得不满足于更低的要求：前提经常只是有根据的猜测或个人立场。我们的论证*多只能和前提一样强。这给出了批评某个论证的第三种策略：我们可以设法表明其中一个或更多前提是不确定的。 这里有另一个论证的例子。2008年秋天贝拉克 奥巴马（Barack Obama）被选为美国总统前在民意调查中领先。但有人认为他会被“布莱德利效应” (Bradley effect)击败，即很多白人嘴上说要投票给一个黑人候选人但实际上不会。奥巴马的夫人米歇尔（Michelle）在接受拉里 金（Larry King）的采访时，论证说不会有布莱德利效应： 奥巴马是民主党（唯一）候选人。 如果有布莱德利效应，那么奥巴马不会是民主党（唯一）候选人（因为该效应在初选中就会显现）。 不会有布莱德利效应。 一旦她给出了这个论证，我们就不能仅仅说“好吧，我的观点是会有布莱德利效应”，而是得回应她的论证。这个论证无疑是有效的，结论可以从前提推出。前提是否为真呢？**个前提是不可否认的。要争论第二个前提，我们就得论证，布莱德利效应会在*后大选出现而不在初选中出现。因此，这个论证改变了这场讨论（顺便说一句，一个月后奥巴马被选为总统时并没有出现布莱德利效应）。 逻辑，尽管本身不能解决实质性的问题，但给予了我们智力的工具，以对这类问题进行更好的推理。它能帮助人们更加重视推理并清晰地表达推理、判定结论是否能从前提推出，以及聚焦于那些需要辩护或批评的关键前提。 逻辑学家称陈述为真或假（而不是有效或无效），称论证有效或无效（而不是真或假）。尽管这是约定俗成的用法，但逻辑学家听到“无效的陈述”或“假的论证”这样的表述会很不舒服。 目前我们讨论的都是演绎（deductive）论证。归纳（inductive）论证的结论仅能概然地（而非必然地）推出： **个论证的前提和结论之间有紧密的连接：前提都为真而结论为假是不可能的。第二个就只有较松散的连接。相对于前提，结论只是一个好的猜测，它很可能为真但也可以为假（也许皮埃尔是波兰驻法大使的儿子因而不说法语）。 1.4 本书计划 本书入门简单，不要求之前学过任何逻辑。它有四个部分，涵盖了逻辑从基本到高阶的内容范围。 （1）第 2～5章包含三段论逻辑（逻辑学的古代分支，主要研究“所有”、“没有”和“有的”）、意义与定义、非形式谬误和归纳推理。 （2）第 6～9章包含经典符号逻辑，包括命题逻辑（关于“如果 那么 ”、“且”、“或”和“非”）和量化逻辑（增加了“所有”、“没有”和“有的”），此部分每一章都建立在前面各章的基础上。 （3）第 10～14章包含带有哲学趣味的进阶符号系统：模态逻辑（关于“必然”与“可能”）、道义和祈使逻辑（关于“应当”和“允许”）、信念逻辑（关于一致相信和一致意愿），以及一个形式化的伦理理论（重点讨论“金规则”）。每一章都假定前面的符号系统（除了第 10章只依赖第 6、7章，第 12～14章不要求已学习第 11章）。 （4）第 15～18章包含元逻辑（分析逻辑系统）、逻辑史、异常逻辑和逻辑哲学（进一步的哲学问题）。这些都假定已学习第6章。 第2～8章和第10章可以作为基础逻辑课程，其余各章是更高阶的内容。由于本书涵盖面较广，它包含的内容远比一学期能教完的要更多。 学逻辑需要仔细阅读，有时需要反复阅读。由于多数概念建立在前面概念的基础上，你需要跟上阅读文本和完成习题的进度。配套软件 LogiCola（见前言）会很有帮助。 第2章 三段论逻辑 **位逻辑学家（见 16.1节）亚里士多德（Aristotle）创建了三段论逻辑（syllogistic logic），其主要特征是用“所有”（all）、“没有”（no）和“有的”（some）来描述论证。这种逻辑（我们将采取一种非传统的方式讲述）为现代逻辑学奠定了良好的基础。 2.1 较容易的翻译 为了构建论证并检测其有效性，现在我们用规则创建一种三段论语言。以下例子展示了自然语言中的论证如何在这种语言中表达： 上述所创建的语言用大写字母表示普遍范畴（如“逻辑学家”），用小写字母表示特殊个体（如“根斯勒”）。该语言还使用了五个语词：“所有”、“没有”、“有的”、“是”和“不”。合乎语法的句子被称为 “wwf”或“良构公式”（well-formed formula）。良构公式是由这 8种形式之中的任意一种所构成的序列，其中可以代之以其他大写字母和其他小写字母：
书友推荐
- >
二体千字文
二体千字文
¥23.8¥40.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥21.4¥49.8 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥40.6¥58.0 - >
自卑与超越
自卑与超越
¥17.1¥39.8 - >
史学评论
史学评论
¥18.5¥42.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
朝闻道
朝闻道
¥20.2¥23.8 - >
莉莉和章鱼
莉莉和章鱼
¥16.0¥42.0
本类畅销
-
简单的逻辑学:逻辑学入门很简单
¥18.4¥36 -
中西文化回眸
¥22.7¥59.8 -
简单的逻辑学
¥14.7¥29.9 -
逻辑学十五讲-(第二版)
¥37.8¥59 -
李卓吾.两种阳明学-沟口雄三著作集
¥24¥49 -
小逻辑
¥31.5¥42
