第一章绪论 1
第一节法学与逻辑学的关系 1
目 录 1
第二节传统形式逻辑与关系逻辑 4
第三节法学与应用关系逻辑 9
第二章关系逻辑 13
第一节关系命题 13
一、命题 13
二、关系命题 14
三、带量项的关系命题形式 15
第二节关系的特性 17
一、对称性 17
二、传递性 19
三、自反性 20
第三节关系推理 22
二、对称性关系推理 23
一、什么是关系推理 23
三、传递性关系推理 24
四、复合关系推理 25
第三章命题逻辑 30
第一节复合命题的种类 31
一、联言命题 31
二、相容选言命题 33
三、不相容选言命题 33
四、充分条件假言命题 36
五、必要条件假言命题 38
六、充要条件假言命题 40
七、负命题 41
第二节复合命题间的真假制约关系 42
一、等值关系 42
二、不等值关系 43
一、负相容选言命题的等值推理 45
第三节负命题的等值推理 45
二、负充分条件假言命题的等值推理 46
三、负必要条件假言命题的等值推理 46
四、负充要条件假言命题的等值推理 46
五、负不相容选言命题的等值推理 47
六、负联言命题的等值推理 47
第四节复合命题的易位推理 48
一、充分条件假言命题的易位推理 48
二、必要条件假言命题的易位推理 49
三、充要条件假言命题的易位推理 50
第五节复合命题的间接推理 50
一、联言推理 50
二、相容选言推理 51
三、不相容选言推理 52
四、充分条件假言推理 53
五、必要条件假言推理 54
六、充要条件假言推理 55
第六节复合命题的混合推理 56
一、假言选言推理 57
二、反三段论 59
三、混合条件假言推理 59
第七节推理形式有效性的判定 60
第四章集合 64
第一节集合的概述 64
一、什么是集合 64
二、集合的分类 66
三、集合的表示法 67
第二节集合之间的关系 69
一、包含于关系 69
二、不包含于关系 70
四、相等关系 71
三、真包含于关系 71
第三节集合的基本运算 72
一、集合的并运算 72
五、不相等关系 72
二、集合的交运算 73
三、集合的差运算 74
四、集合的补运算 74
第五章概念 76
第一节概念的概述 76
一、什么是概念 76
二、概念与语词 77
三、内涵与外延 78
第二节概念的种类 79
一、正概念与负概念 80
二、单独概念与普遍概念 80
四、实概念与虚概念 81
三、集合概念与非集合概念 81
五、常项概念与变项概念 82
第三节概念间的外延关系 83
一、属于关系、包含关系 83
二、不属于关系、不包含关系 83
三、全同关系 84
四、属种关系 85
五、交叉关系 85
六、全异关系 86
第六章性质逻辑 88
第一节性质逻辑的概述 88
一、什么是性质逻辑 88
二、本书性质逻辑的体例 89
第二节性质命题 90
一、什么是性质命题 90
二、性质命题的种类 91
三、传统的周延性理论 95
第三节对当关系直接推理 98
一、传统的对当关系直接推理 98
二、S、P外延间关系确定的对当关系推 102
理 102
第四节传统变形推理 104
一、换质法 104
二、换位法 106
三、换质位法 108
四、换位质法 109
五、戾换法 109
第五节S、P关系已知的变形推理 111
一、属于、包含、不属于、不包含关系的变形 113
推理 113
二、全同与矛盾关系的变形推理 114
三、真包含于关系的变形推理 115
四、不可比全异关系的变形推理 117
五、反对关系的变形推理 117
六、真包含关系的变形推理 118
七、交叉关系的变形推理 120
第六节传统三段论 122
一、什么是三段论 122
二、三段论公理 123
三、传统三段论的图解 123
四、三段论的规则 124
五、三段论的格与式 131
第七节关系已知的三段论推理 137
一、三段论的真正根基是什么 138
二、新系统的格与式 138
三、传统三段论规则的不普遍性 142
附录：案例解 144