逻辑学导论第三章.pptVIP

当去掉直言命题的存在含义后，三段论有效的充分必要条件是： （1）中项恰好周延一次； （2）大项和小项在前提和结论中的周延情况应相同； （3）前提和结论中的否定命题数量相同。由此可以导出一条规则： （4）前提和结论中的特称命题数目相同。三段论的有效式是15个。 * ?文恩（John Venn,1834～1923）图是对欧拉图的改进，用两个相互交叉的圆圈表示直言命题主谓项关系： * 包括这两个圆圈在内的整个空间代表论域，用∪表示；两个圆圈把∪划分成为四部分：1为S?P，2为SP，3为?SP，4为?S?P。如果再在文恩图的某个区域划上阴影，则表示该区域没有元素，是一个空类；如果在某个区域写上加号“＋”，则表示该区域有元素，不是空类。我们用Φ表示空类，则某个区域如SP是空类，也可表示为一个等式：SP＝Φ。某个区域不是空类，则表示为一个不等式，例如S?P≠Φ。于是，SAP表示为S?P＝Φ；SEP表示为SP＝Φ；SIP表示为SP≠Φ；SOP表示为?SP≠Φ。 文恩图没有假定直言命题具有存在含义。 * 可以用文恩图去验证任一三段论是否有效。由于三段论有三个词项，我们需要三个相互交叠的圆圈： * 用文恩图验证任一三段论是不是有效的三段论时，其步骤如下： 1．画三个相互重叠的圆圈，分别代表大项、中项、小项； 2．图解两个前提时，如果有一个是全称前提，另一个是特称前提，应先图解全称前提；在图解特称前提