第一章 导论 1
1 逻辑学概说 1
1.1 逻辑学的研究对象 1
1.2 逻辑学的产生和发展 3
1.3 逻辑学的作用 5
2 思维形态 7
2.1 概念 7
2.2 命题 26
2.3 推理 33
3 思维形态的基本规律 43
3.1 同一律 43
3.2 矛盾律 46
3.3 排中律 49
3.4 充足理由律 51
练习题 55
第二章 词项逻辑 67
1 简单命题 67
1.1 什么是简单命题 67
1.2 直言命题 67
1.3 关系命题 81
2 简单命题的推理 86
2.1 什么是简单命题的推理 86
2.2 直言命题的推理 86
2.3 关系命题的推理 106
练习题 111
第三章 命题逻辑 118
1 复合命题 118
1.1 什么是复合命题 118
1.2 联言命题 119
1.3 选言命题 123
1.4 假言命题 129
1.5 负命题 138
1.6 复合命题的较复杂的形式 140
2 复合命题的推理 141
2.1 什么是复合命题的推理 141
2.2 联言推理 142
2.3 选言推理 145
2.4 假言推理 149
2.5 二难推理 164
2.6 根据双重否定律进行的推理 170
2.7 根据德摩根律进行的推理 171
2.8 复合命题的较复杂的推理 173
3 真值表及简化真值表方法 180
3.1 真值表 180
3.2 简化真值表方法 190
4 命题演算初步 193
4.1 什么是命题演算 193
4.2 命题演算的自然推理系统 194
4.3 命题演算的运用 197
练习题 199
第四章 量化逻辑 206
1 量化命题 206
1.1 什么是量化命题 206
1.2 量化命题的种类及形式 207
1.3 量化命题的运用 209
2 量化命题的推理 211
2.1 什么是量化命题的推理 211
2.2 消去全称量词的推理 212
2.3 引入存在量词的推理 214
2.4 全称量词和存在量词的相互转换推理 215
2.5 复合命题的量化命题和含量词的复合命题的相互转换推理 219
3 谓词演算初步 223
3.1 什么是谓词演算 223
3.2 谓词演算的自然推理系统 225
3.3 谓词演算的运用 230
练习题 233
第五章 模态逻辑 238
1 模态命题 239
1.1 什么是模态命题 239
1.2 模态命题的种类及形式 239
1.3 模态命题的对当关系 241
1.4 模态命题的运用 243
2 模态推理 245
2.1 什么是模态推理 245
2.2 消去模态词“必然”的推理 245
2.3 引入模态词“可能”的推理 246
2.4 模态词“必然”和“可能”的相互转换推理 248
2.5 复合命题的模态命题和含模态词的复合命题的相互转换推理 252
练习题 256
第六章 规范逻辑 260
1 规范命题 260
1.1 什么是规范命题 260
1.2 规范命题的种类及形式 262
1.3 规范命题之间的逻辑关系 264
1.4 规范命题的运用 266
2 规范推理 270
2.1 什么是规范推理 270
2.2 必须命题和禁止命题之间的相互转换推理 271
2.3 规范词“必须”和“允许”的相互转换推理 272
2.4 规范词“禁止”和“允许”的相互转换推理 276
2.5 复合命题的规范命题和含规范词的复合命题的相互转换推理 279
练习题 284
第七章 归纳逻辑 287
1 枚举归纳推理 287
1.1 什么是枚举归纳推理 287
1.2 穷举归纳推理 288
1.3 非穷举归纳推理 289
2 因果归纳推理 292
2.1 什么是因果归纳推理 292
2.2 求同法推理 292
2.3 求异法推理 294
2.4 求同求异并用法推理 296
2.5 共变法推理 298
2.6 剩余法推理 300
2.7 因果归纳推理的综合运用 301
3 概率归纳推理 302
3.1 对概率的几种不同解释 302
3.2 什么是概率归纳推理 304
3.3 概率归纳推理的运用 305
4 类比推理 306
4.1 什么是类比推理 306
4.2 类比推理的运用 307
练习题 313
第八章 经济活动中的逻辑 318
1 经济活动中的逻辑概述 318
1.1 经济活动的概念 318
1.2 研究经济活动中的逻辑的意义 320
1.3 研究经济活动中的逻辑的方法 321
2 信息与逻辑 322
2.1 信息是经济活动的基础 322
2.2 信息的涵义、特性及分类 323
2.3 信息生成的逻辑——调查研究的逻辑 326
2.4 信息处理的逻辑方法 333
3 发现问题、确立目标的逻辑 335
3.1 问题的涵义 336
3.2 发现问题与确立目标的逻辑关系 336
3.3 发现问题、确定目标的逻辑方法 338
3.4 确立目标的逻辑要求 342
4 决策的逻辑 343
4.1 决策的逻辑结构 343
4.2 决策的逻辑特征 343
4.3 决策的逻辑方法 343
练习题 343