前言 1
绪论 1
1.生平与逻辑著作 4
2.四谓词理论 10
2.1 偶性 11
2.2 属 13
2.21 属和种 14
2.22 种差 16
2.23 属和种的关系 19
2.3 固有属性 25
2.4 定义 27
2.41 正确的定义 27
2.42 本质定义 31
2.5 划分四谓词的证明 32
2.6 关于四谓词理论的几个问题 35
2.61 关于定义的问题 35
2.62 四谓词理论和范畴理论 37
2.63 四谓词理论和五谓词理论 46
2.64 四谓词的应用 59
2.7 四谓词理论的历史 61
3.关于命题的论述 66
3.1 命题 66
3.11 命题的分类 67
3.12 命题之间的关系 71
3.13 命题的真假 72
3.14 对当方阵 73
3.15 命题的否定 75
3.16 不定词 77
3.2 模态命题 79
3.21 等值关系 81
3.22 矛盾关系 82
3.23 蕴涵关系 83
4.三段论 86
4.1 三段论的定义 86
4.2 三段论的表述 92
4.3 三段论的格与式 104
4.4 第四格 112
4.5 三段论的证明方法 121
4.51 换位法 122
4.52 归谬法 124
4.53 显示法 127
4.6 三段论系统 132
4.7 关于三段论的几个问题 136
4.71 个体词 137
4.72 无效式 141
4.8 传统逻辑中的三段论 149
4.81 三段论的定义 149
4.82 三段论的规则 152
4.82 个体词和第四格 154
4.84 拉丁文记忆歌诀 157
4.9 三段论的现代解释 159
4.91 谓词逻辑的解释 160
4.92 卢卡西维奇的解释 166
4.93 类演算的解释 172
4.94 自然演绎系统的解释 175
4.95 我国逻辑学家的工作 179
5.论谬误 186
5.1 关于谬误的论述 186
5.2 关于谬误的思想发展 198
5.3 谬误与反驳 201
5.4 谬误的解决 203
5.5 谬误的分类 205
5.6 研究谬误的意义 207
6.亚里士多德逻辑和现代逻辑 209
6.1 亚里士多德逻辑 209
6.2 现代逻辑 212
6.3 亚里士多德逻辑和谓词演算的差异 214
6.4 逻辑史的研究 219
主要参考文献 223