相容关系是指S与P两个概念之间至少有部分外延重合。这里“至少有”的意思是肯定有重合,不会毫不重合;少则为部分重合,多则可为全部重合。相容关系包括合同关系、属种关系、种属关系、交叉关系。
1.全同关系
全同关系又称作同一关系,是指S与P两个法律概念的外延呈现全部重合的情形,概念S的全部外延同时也是概念P的全部外延,反之亦然。用欧拉图表示为:
图2.1全同关系
2.属种关系
属种关系也称为真包含关系,若S与P两个法律概念的外延呈现出S的外延包含了P的全部外延,P的外延是S外延的一部分,则S与P的关系即为属种关系。用欧拉图表示为:
图2.2属种关系
3.种属关系
种属关系又称作真包含于关系,是指概念S的全部外延被包含于概念P的外延中,且是P外延的一部分。显然,种属关系与属种关系正好相反,若S与P为种属关系,则P与S必为属种关系。用欧拉图表示为:
图2.3种属关系
如上图所示,概念S的全部外延被概念P的外延所包含,且为P的外延的一部分。例如,“民法”与“法律”的关系即为种属关系,前者的全部外延被包含于后者的外延之中。(www.daowen.com)
4.交叉关系
交叉关系是指S与P两个法律概念的外延呈现只有部分重合的情形。用欧拉图表示为:
图2.4交叉关系
(二)不相容关系
不相容关系又称为全异关系,是指两个法律概念的外延相互全部不重合,即呈现出相互排斥的情形。不相容关系可分为反对关系和矛盾关系。
反对关系和矛盾关系统称为全异关系。
1.反对关系
反对关系是指S与P两个法律概念同属于某一属概念下,即二者同为该属概念下的种概念,但二者的外延完全不重合,且二者的外延和小于该属概念的全部外延。用欧拉图表示为:
图2.5反对关系
2.矛盾关系
矛盾关系是指S与P两个法律概念同属于某一属概念下,即二者同为该属概念下的种概念,但二者的外延完全不重合,且二者的外延和等于该属概念的全部外延。用欧拉图表示为:
图2.6矛盾关系
如上图所示,S与P的全部外延同属于Q的外延,两者的外延相互无任何重合情形,且S与P外延相加的和等于Q的全部外延。可见,在矛盾关系中,不会有第三种情形存在。务必把握这一点,以便能够透彻地理解思维规律中的“矛盾律”和“排中律”的有关知识。