《法学与应用关系逻辑》求取 ⇩

第一章绪论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