逻辑圆论(一种由欧拉图导出的三段论系统)

众所周知,欧拉(Euler)和文氏(Venn)利用重迭的圆图来表示类或集合,通常称为欧拉图和文氏图,这是帮助理解集合关系的一种有价值的直观工具①。首先,欧拉用圆表示类,从而用两圆相交或否、包含或否来表示A,E,I,O语句。其后,文氏作了改进,用一圆表示某概念S,圆以外表示S,并引进表示“存在”和“不存在”的特殊记号“+”和“-”②。一般逻辑书上都使用逻辑圆图(主要用欧拉图)~*,大多以两圆关系为限。