目录 1
序…………………………………………………赖传祥 1
第一章 引言 1
1.1 逻辑学的由来和发展 1
1.2 逻辑学是关于有效推论规律的科学 4
1.3 逻辑与现实 10
讨论 严复为什么要翻译逻辑学 12
第二章 词项 15
2.1 词项概说 15
2.2 明确词项的逻辑方法 21
2.3 词项的划分 26
2.4 词项外延间的关系 29
2.5 集合的演算 35
讨论 语词、词项和概念 42
第三章 命题与推论 44
3.1 命题与命题的真值 44
3.2 推论的结构与有效性 50
讨论 推论与命题的一致性与非一致性 55
第四章 词项逻辑 57
4.1 直言命题 57
4.2 直言命题变形推论 63
4.3 逻辑方阵及其推论 68
4.4 三段论 73
4.5 关系命题 88
讨论 直言命题形式与自然语言表达 94
第五章 命题逻辑(1) 100
5.1 合取命题及其推论 100
5.2 析取命题及其推论 105
讨论 合取的交换律问题与析取的穷尽问题 114
6.1 蕴涵命题 118
第六章 命题逻辑(2) 118
6.2 蕴涵推论 124
6.3 包含蕴涵命题的其他推论 132
6.4 蕴涵析取推论 144
讨论 蕴涵怪论怪吗 151
第七章 命题逻辑(3) 155
7.1 负命题与命题的等值 155
7.2 等值推论 158
讨论 命题的否定、否定命题及否定的逻辑分析 168
第八章 命题逻辑(4) 172
8.1 真值表 172
8.2 简化真值表法 186
8.3 范式 198
讨论 推论形式与证明技术 209
第九章 命题逻辑(5) 211
9.1 公理方法 211
9.2 自然推论 219
9.3 量化推论初步 229
讨论 形式化证明与言必有据 241
第十章 模态逻辑 243
10.1 真值模态逻辑 243
10.2 道义逻辑 256
10.3 时态逻辑 262
讨论 道义命题与真值模态命题之关系 269
第十一章 归纳与概率 271
11.1 归纳概说 271
11.2 枚举归纳推论 274
11.3 概率推论 277
讨论 决策与归纳 290
第十二章 推测方法 293
12.1 求因果法 293
12.2 回溯法 298
12.3 类比法 301
12.4 假说 305
讨论 归纳的综合运用 312
第十三章 论证 314
13.1 论证及其结构 314
13.2 论证方法 318
13.3 论证规则 323
讨论 演绎和归纳在论证中的地位 330
第十四章 谬误与反驳 332
14.1 非形式谬误 332
14.2 反驳 352
讨论 有意谬误与无意谬误 357
第十五章 逻辑基本规律 360
15.1 逻辑规律概说 360
15.2 同一律 363
15.3 矛盾律 365
15.4 排中律 369
讨论 哪一规律更为根本 371
附录1 主要参考著作 374
附录2 练习 376
后记 414