第一章 绪论 1
第一节 逻辑学的对象 1
一、思维与思维的形式 1
二、逻辑思维与语言 2
三、对象语言和元语言 3
四、逻辑学的对象 4
第二节 逻辑的类型及发展简史 5
一、逻辑的类型 5
二、逻辑发展简史 7
第三节 逻辑运算和逻辑方法 8
第四节 逻辑的作用与意义 9
一、逻辑知识是人们认识客观世界、探取新知识的必要工具 9
二、逻辑科学是人们准确地表达思想、严密地论证思想有力工具 10
三、逻辑演算是某些学科的研究工具 10
练习题 11
第二章 词项 13
第一节 词项的概述 13
一、语项的定义 13
二、语词和词项 14
三、真实词项和虚假词项 15
四、词项的作用 16
第二节 词项的内涵和外延 16
一、词项的内涵 16
二、词项的外延 17
三、词项内涵和外延的关系 17
第三节 词项的种类 18
一、单独词项和普遍词项 18
二、集合词项和非集合词项 18
三、实体词项、性质词项、关系词项 19
四、正词项和负词项 20
第四节 词项间的关系 20
一、词项间的相容关系 20
二、词项间的全异关系 22
练习题 24
第三章 命题逻辑(一) 27
第一节 命题的概述 27
一、命题及其基本特征 27
二、命题与语句 28
三、命题的种类 28
四、复合命题 29
第二节 联言命题 29
一、什么是联言命题 29
二、联言命题的种类 30
三、联言命题的真假值 30
第三节 选言命题 31
一、什么是选言命题 31
二、选言命题的种类 31
第四节 假言命题 33
一、什么是假言命题 33
二、假言命题的种类 33
第五节 负命题 35
一、什么是负命题 35
二、负复合命题的等值命题 36
三、命题逻辑有效性判定 37
第四章 命题逻辑(二) 40
第一节 推理的概述 40
一、推理及其结构 40
二、推理的形式有效性及其判定 41
三、推理的种类 41
第二节 联言推理 41
一、什么是联言推理 41
二、联言推理的种类 42
第三节 选言推理 42
一、什么是选言推理 42
二、选言推理的种类 42
第四节 假言推理 44
一、什么是假言推理 44
二、假言推理的种类 44
第四节 二难推理 47
一、什么是二难推理 47
二、二难推理的种类 47
第五节 假言联锁推理 49
一、什么是假言联锁推理 49
二、假言联锁推理的种类 49
三、四章练习题 51
第五章 词项逻辑(一) 61
第一节 直言命题 61
一、直言命题的构成 61
二、直言命题的种类 62
三、直言命题形式的表达 63
四、直言命题主谓项的周延性 64
五、直言命题的对当关系 66
第二节 关系命题 69
一、什么是关系命题 69
二、关系命题的结构成分 70
第三节 关系的逻辑性质 71
一、关系的自返性 71
二、关系的对称性 72
三、关系的传递性 72
四、关系的连通性 73
第六章 词项逻辑(二) 75
第一节 直言命题的直接推理 75
一、对当关系推理 75
二、换质法 77
三、换位法 78
四、换质位法(换位质法) 79
第二节 三段论 80
一、三段论的形式结构 80
二、三段论有效式的判定规则 82
三、三段论的性质 85
四、三段论的省略式 88
第三节 关系推理 91
一、对称性关系推理 91
二、反对称性关系推理 91
三、传递性关系推理 92
四、反传递性关系推理 93
五、六章练习题 94
第七章 谓词逻辑 104
第一节 简单命题的内部结构 104
一、简单命题的定义 104
二、个体词、个体函项词、谓词和量词的定义和种类 105
第二节 一阶逻辑的形式语言 105
一、一阶语言 105
二、直言命题的形式结构 107
第三节 一阶逻辑的语义学 108
一、解释 108
二、赋值 109
三、可满足性和有效性 109
第四节 一阶逻辑的推理规则 110
一、全称量词消去规则 110
二、全称量词引入规则 111
三、存在量词消去规则 112
四、存在量词引入规则 113
第五节 一阶逻辑有效性的判定 114
一、一阶解释表法的定义 114
二、量词消去规则和联结词的加限规则 115
三、解析表的判定规则 116
练习题 118
第八章 逻辑基本规律 120
第一节 基本规律概述 120
第二节 同一律 121
一、同一律的基本内容 121
二、同一律的要求及违反要求所犯的逻辑错误 121
三、同一律的作用 123
第三节 矛盾律 123
一、矛盾律的基本内容 123
二、矛盾律的要求及违反要求所犯的逻辑错误 124
三、矛盾律的作用 125
第四节 排中律 126
一、排中律的基本内容 126
二、排中律的要求及违反要求所犯的逻辑错误 127
三、排中律的作用 127
第五节 充足理由律 128
一、充足理由律的基本内容 128
二、运用充足理由律的复杂性 129
三、充足理由律的作用 129
第六节 逻辑规律之间的关系 130
练习题 132
第九章 模态逻辑 139
第一节 模态逻辑的概述 139
一、模态和模态逻辑 139
二、模态逻辑的种类 139
第二节 模态命题及其简单推理 140
一、模态命题 140
二、简单的模态推理 143
第三节 规范(道义)命题及其简单推理 145
一、规范命题的概述 145
二、简单的规范推理 148
第四节 时态命题及其推理 150
一、时态命题形式 150
二、时态命题的真值条件 151
三、时态命题的真假关系 152
四、时态命题推理 153
练习题 154
第十章 归纳逻辑 160
第一节 归纳推理的特征 160
一、什么是归纳推理 160
二、归纳推理和演绎推理的区别与联系 160
三、传统归纳逻辑 161
四、现代归纳逻辑 161
第二节 归纳推理(一) 162
一、完全归纳推理 162
二、简单枚举归纳推理 164
三、科学归纳推理 165
第三节 归纳推理(二) 167
一、概率预测推理 167
二、抽样统计推理 168
三、类比推理 169
四、回溯推理 171
练习题 172
第十一章 逻辑方法 179
第一节 定义 179
一、定义及其结构 179
二、定义的种类 179
三、定义的规则 181
第二节 划分 182
一、划分及其结构 182
二、划分的种类 183
三、划分的规则 184
第三节 词项的概括和限制 186
一、词项的限制 186
二、词项的概括 187
第四节 探求因果联系的方法 188
一、求同法 188
二、求异法 190
三、求同求异并用法 190
四、共变法 192
五、剩余法 192
第五节 论证 193
一、论证的概述 193
二、论证的种类 194
三、论证的规则 197
四、反驳及其方法 199
第六节 假说 201
一、假说的概述 201
二、假说的形成 203
三、假说的验证 206
练习题 208
附录 222
附录一 2000年全国MBA联考逻辑试题 222
附录二 2001年全国MBA联考逻辑试题 238
附录三 2003年GCT入学资格考试逻辑推理能力试题 253
附录四 2004年GCT入学资格考试逻辑推理能力试题 264
附录五 2005年GCT入学资格考试逻辑推理能力试题 274
附录六 2006年GCT入学资格考试逻辑推理能力试题 285