直言判断词项的周延性与有效直言三段论

摘要：直言判断推理与直言判断词项的周延性密切相关。关于这一点，我们是有共识的。试图结合直言判断的判断、推理对直言判断词项的周延性作进一步解释，以求关于直言判断推理过程的解释符合自然语言中的直言判断推理的思维过程。关于这一点，文中以直言三段论有效式的推验来说明。

关键词：直言判断；谓词项的周延性；有效直言三段论

1直言判断是归类判断

在自然语言中，我们对直言判断结构的理解是这样的：主项所指对象是要判定质的对象，谓词项的内涵示主项对象具有或不具有某种性质。从分类的角度看直言判断，主词项所指对象是一个类，谓词项是一个类。因此，直言判断可看成是归类判断。直言判断断定的是主词项所指对象可归为或不可归为谓词项类，直言判断谓词项的外延完全包含或不包含主词项所指对象。

2直言判断词项的周延性

2.1主词项的周延性是固定的

在传统逻辑里，是预设了直言判断的词项为非空的。在全称直言判断里，主词项前加全称量项或不加量项，主词项所指对象就是全部的主词项外延，主词项是周延的。在特称直言判断里，主词项所指对象不是很明了，但至少存在一个对象或多个对象是主词项的外延，但一定不是全部的主词项的外延。直言判断里，主词项的周延性就是这样固定的。

2.2否定直言判断里的谓词项固定是周延的

运用直言判断进行判断、推理的过程中，比较主词项所指对象及谓词项所指对象，没有一个主词项所指对象是谓词项所指对象，涉及到了谓词项的全部外延。因此，否定直言判断的谓词项是周延的。不管是判断还是推理，否定直言判断的谓词项固定是周延的。

2.3肯定直言判断谓词项的周延性要依具体的情况而定

关于直言判断主词项的周延性、否定直言判断谓词项的周延性的解释，我们是有了共识的，而关于肯定直言判断里的谓词项的周延的解释，还是没有一致的解释。这里也提出一种关于肯定直言判断谓词项的周延的解释。

直言判断是归类判断，我们对真的肯定直言判断的理解一定是主词项所指对象完全包含于谓词项的外延里。度量肯定直言判断谓词项的周延性的“尺子”可选主词项所指对象。当我们清楚主词项所指对象同谓词项外延的关系时，如果主词项周延所指对象是所有谓词项的外延，那么，这种情况下的谓词项周延；如果主词项周延所指对象不是所有谓词项的外延，只是谓词项的外延，那么，这种情况下的谓词项不周延。

按照上面的这种理解，当主词项对谓词项而言的外延关系是全同关系时，全称的肯定直言判断的谓词项是周延的。当主词项对谓词项而言的外延关系是真包含于关系时，全称的肯定直言判断的谓词项是不周延的。当主词项对谓词项而言的外延关系是全同、真包含于、交叉关系时，特称肯定直言判断的谓项是不周延的。当主词项对谓词项而言的外延关系是真包含关系时，谓项可周延可不周延，要在一定的语境下讨论。举个例子：生物老师在课堂上对学生说“有些生物是动物”（老师的意图是说：生物中包含所有动物），学生对谓项“动物”的周延性的理解应是周延的。在一般情况下，特称的肯定直言判断的谓词项是不周延的。

在运用直言判断推理的过程中，有的情况下所进行的推理是我们知道真实的主词项对谓词项的外延关系时所进行的推理，有的情况下所进行的推理是我们不知道真实的主词项对谓词项的外延关系时所进行的推理。当我们知道真实的主词项对谓词项的外延关系时，推理过程中，肯定直言判断谓词项的周延性按前面的解释处理。

一般所讲的直言判断推理应是在我们不知道真实的主词项对谓词项的外延关系时所进行的推理。当我们不知道真实的主词项对谓词项的外延关系时，运用肯定直言判断进行推理的过程中，要视肯定直言判断谓词项一律不周来处理：谓词项外延包含主项所指对象，主项所指对象又不是全部的谓词项外延。

关于直言判断词项的周延性的解释是否合理，要在判断、推理中体现。判断中体现：利用概念间外延关系给出正确的直言判断。推理中的体现，后面将用直言判断推理——直言三段论（不知肯定直言判断里主词项对谓词项而言的真实的外延关系时所进行的推理）来说明：关于直言判断词项的周延性的解释的合理性。

3直言三段论有效式的推验

直言判断词项的周延性是在预设词项非空的基础上阐述的，运用有效直言三段论验证关于直言判断词项的周延性也应运用传统的24个直言三段论有效式来验证。直言判断词项的周延性与推理密切相关，如果运用关于直言判断词项的周延性的解释能推验出24个传统直言三段论有效式，说明：关于直言判断词项的周延性的解释是合理的。

3.1第一格有效式的推验

AAA式：根据前提MAP、SAM知：p中包含所有的m，m中包含所有的s，所以p中包含所有的s，判断SAP真，AAA式是直言三段论第一格的一个有效式。判断SAP真，SIP也真，AAI式也是直言三段论第一格的一个有效式。

AII式：根据前提MAP、SIM知：p中包含所有的m，m中包含至少一个或部分s，所以p中包含至少一个或部分s，判断SIP真，AII式是直言三段论第一格的一个有效式。

EAE式：根据前提MEP、SAM知：p中完全不包含所有的m，m中包含所有的s，所以p完全不中包含所有的s，判断SEP真，EAE式是直言三段论第一格的一个有效式。判断SEP真，SOP也真，EAO式也是直言三段论第一格的一个有效式。

EIO式：根据前提MEP、SIM知：p中完全不包含所有的m，m中包含至少一个或部分s，所以p不中包含至少一个或部分s，SOP真，EIO式也是直言三段论第一格的一个有效式。

3.2第二格有效式的推验

AEE式：根据前提PAM、MES知：所有s不是m，m中包含所有p，所以可肯定所有s不是p，SEP真，AEE式是直言三段论第二格的一个有效式。判断SEP真，SOP也真，AEO式也是直言三段论第二格的一个有效式。

EAE式：根据前提PEM、SAM知：所有p不是m，m中包含所有s，所以可肯定所有s不是p，SEP真，EAE式是直言三段论第二格的一个有效式。判断SEP真，SOP也真，EAO式也是直言三段论第二格的一个有效式。

AOO式：根据前提PAM、SOM知：所有p包含于m，至少一个或部分s不包含于m，所以至少一个或部分s不是p，SOP真，AOO式是直言三段论第二格的一个有效式。

EIO式：根据前提PEM、SIM知：至少一个或部分s是m，所有p不是m，p中不包含至少一个或部分s，所以SOP真，EIO式是直言三段论第二格的一个有效式。

3.3第三格有效式的推验

AAI式：依据前提MAP、MAS知：p中包含所有m，m至少是s的一个对象或一部分对象，所以p中至少包含s的一个对象或一部分对象，判断SIP真，AAI式是直言三段论第三格的一个有效式。

AII式：依据前提MAP、MIS知：p中包含所有m，m至少是s的一个对象或一部分对象，所以p中至少包含s的一个对象或一部分对象，判断SIP真，AII式是直言三段论第三格的一个有效式。

EAO式：依据前提MEP、MAS知：m包含在所有s中，m至少是s的一个对象或一部分对象，所有p不是m，所以可肯定有s不是p，判断SOP真，EAO式直言三段论第三格的一个有效式。

EIO式：依据前提MEP、MIS知：至少一个或部分m包含在所有s中，所有p不是m，所以可肯定有s不是p，判断SOP真，EIO式是直言三段论第三格的一个有效式。

IAI式：依据前提MIP、MAS知：s中包含所有m，p中包含有的m，所以s中必包含有的p，判断SIP真，IAI式是直言三段论第三格的一个有效式。

OAO式：依据前提MOP、MAS知：m包含在s中，有的m不是p，所以有的s不是p，判断SOP真，OAO式是直言三段论第三格的一个有效式。

3.4第四格有效式的推验

AAI式：依据前提PAM、MAS知：所有p是m，所有m是s，所以所有p是s，判断PAS真，由PAS真知SIP真，AAI式是直言三段论第四格的一个有效式。

IAI式：依据前提PIM、MAS知：有的p是m，所有m是s，所以有的p是s，判断PIS真，由PIS真知SIP真，IAI式是直言三段论第四格的一个有效式。

AEE式：依据前提PAM、MES知：m包含所有p，所有s都不是m，因此，所有s不是p，AEE式是直言三段论第四格的一个有效式。所有s不是p，有的s也不是p，AEO式也是直言三段论第四格的一个有效式。

EAO式：依据前提PEM、MAS知：s包含所有m，所有p不是m，可断定至少有部分s不是p，EAO式也是直言三段论第四格的一个有效式。

EIO式：依据前提PEM、MIS知：s包含有的m，所有p不是m，可断定有的s不是p，EAO式也是直言三段论第四格的一个有效式。

当我们知道直言三段论前提里中项同结论中的某词项的真实外延关系的情况下，有的无效直言三段论式又是有效的，有的有效式里的特称结论可以是全称的。广义量词理论成果说明了这点。运用周延理论去解释传统的24个直言三段论有效式，这24个有效式是可满足推理过程中不知肯定前提的主词项同谓词项真实外延关系的情况下，通过推理可得必然性结论的有效式。直言三段论形式的论证，应预设别人不知肯定前提的主词项同谓词项真实外延关系，相应的，论证的有效式也应选用传统的24个有效式进行论证。

结语：如果用图来表示这种对周延理论的理解，运用它来推导传统直言三段论的24个有效式的过程，实际上就是简化了的运用欧拉图形法推验直言三段论有效式的过程。如果不融入欧拉图形法检验直言三段论有效式的思想，有的非有效式不容易发现。像第二格的OA？形式，可能认为有特称有效结论SOP。POM、SAM，有的p不是m，所有s是m，只能得必然结论POS，POS不能换位，SOP不是必然结论。

参考文献

【1】沙合都拉.沙菲尤拉，谈性质判断谓项的周延问题【J】，新疆教育学院报，2005,21（4）；94-96.

【2】何海芹，谈周延问题与所谓“区别判断”【J】，盐城师专学院报；社会科学版，1987（2）.