适用于普通逻辑的文恩图解

有人把文恩图解引入普通逻辑,但未能证明从两全称前提推出一特称结论的有效式。①有人通过设定主项存在的方法,来用文恩图解检验直言三段论的全部有效式,但是因第四格AEO的存在,这种方法实际上是不完善的。②那么,适用于普通逻辑的文恩图解究竟应是怎样的?这正是本文主要探讨的问题。一、原文恩图解不适用于普通逻辑对A、E、I、O四种直言判断的文恩图解通常是以方框内两个交叉圆圈为基本方式。方框表示论域,两个圆圈表示主项和谓项,方框里由于交叉圆圈而划分出的四个区域表示在论域内可能包含的类。若以S示主项,P示谓项,则四个类为:S∧P、S∧(?)、(?)∧P和(?)∧(?)。此四者也可简写为:SP、S(?)、(?)P和(?)(?)(见图一)。