逻辑学导论（第4版）L17. 直言命题的存在涵义与文恩图.pptxVIP

四、直言命题的存在含义问题; 传统词项逻辑有一个实质性的假定或预设，即直言命题的主项具有存在含义，由于允许换位，如SAP ? PIS，还由于允许换质位，如SEP ? SA?P ??PIS，这等于要求主项、谓项、主项的矛盾概念、谓项的矛盾概念都存在，这进一步等于要求直言命题的主项和谓项既不能是一个空类，也不能是一个全类，而是指称由实存个体组成的一个非空非全的类。 所有与直言命题相关的推理，包括对当关系及其推理、换质法、换位法、换质位法和三段论，都只有在预先假定直言命题的存在含义的基础上才是有效的，如果没有这个假定或预设，其中的很多推理关系不再成立。;当去掉直言命题的存在含义后，给传统的词项逻辑理论带来了很大的改变： A和E不再具有上反对关系。 I和O不再具有下反对关系。 全称命题和同质的特称命题之间的差等关系不再成立。 限量换位和连续的换质位（或换位质）不再有效： SAP ? PIS SEP ? SA?P ??PIS 由两个全称前提得出特称结论的9个三段论式不再成立。 即使允许使用空类和全类，A与O、E与I之间的矛盾关系仍然成立。;用文恩图判定三段论的有效性; 可以用文恩图去验证任一三段论是否有效。文恩图不假定主项存在，因而那些依赖主项存在的三段论根据文恩图都是无效的。 由于三段论有三个词项，我们需要三个相互交叠的圆圈，分别代表大项、中项、小项。 ;图解两个前提时，如果有一个是全称前提，另一个是特称前提，应先图解全称前提。 图解全称前提 所有的S都是P——将P外的S荫蔽（画上阴影） 所有的S都不是P——将P和S交集荫蔽 图解特称前提 有的S是P——在P和S的交集中画表示某部分不空的记号“＋” 有的S不是P——在S中P外的部分画不空记号“＋” “＋”所放的位置，假如不能确定应放在线的哪一边时，就把它放在线上。 然后检查该文恩图，看两个前提的图解是否包含了结论的图解；如果包含了结论的图解，该三段论就是有效的，否则就是无效的。 ; 例：PAM，SEM，所以，SEP。; 例：PAM，SOM，所以，SOP。; 例：PAM，SIM，所以，SIP？; 例：MAP，SAM，所以，SIP？ ; 有些逻辑学家认为，抛弃主项存???假定的选择对于词项逻辑来说过于激进，主项存在的假定还是有道理的，由此导致的那些直言命题的推理模式也可以是有效的，于是他们采取如下的策略： 如果接受主项存在假设，根据该假设引进不空记号“⊕”。 然后检查该文恩图，看两个前提的图解是否包含了结论的图解；如果包含了结论的图解，该三段论就是有效的，否则就是无效的。 ; 例：SAP，所以，PIS。 ; 例：PAM，SEM，所以，SOP？;拓展：同时展示4个集合的文恩图