侦查思维中的直言判断之间的对当关系
直言判断之间的对当关系是指具有相同主项和谓项的四种直言判断之间存在的真假制约关系。虽然四种直言判断仅仅断定了两个类之间的关系，并不断定这些直言判断本身的真假，但是借助于直言判断之间的对当关系，当已知其中一种直言判断的真假时，可以推出具有相同主项和谓项的其余三个直言判断的真假。
（一）直言判断之间的矛盾关系
直言判断之间的矛盾关系无疑是最简单和最直接的对当关系，它是主项和谓项均相同而量项和联项均不同的两对直言判断全称肯定判断“所有S都是P”与特称否定判断“有S不是P”之间、全称否定判断“所有S都不是P”与特称肯定判断“有S是P”之间的对当关系。
那么，这两对直言判断之间的矛盾关系到底是怎样的真假制约关系呢？有何特征？
先考察当两个具有矛盾关系的直言判断中一个为真时，另一个真假如何。
1.当全称肯定判断“所有S都是P”真时，特称否定判断“有S不是P”为假。
例如，当“所有犯罪行为都有犯罪时间”真时，“有犯罪行为没有作案时间”为假。
2.当特称否定判断“有S不是P”真时，全称肯定判断“所有S都是P”为假。
例如，当“有犯罪行为不是醉驾行为”真时，“所有犯罪行为都是醉驾行为”为假。
3.当全称否定判断“所有S都不是P”真时，特称肯定判断“有S是P”为假。
例如，当“所有犯罪行为都不是合法的行为”真时，“有犯罪行为是合法的行为”为假。
4.当特称肯定判断“有S是P”真时，全称否定判断“所有S都不是P”为假。
例如，当“有犯罪行为是醉驾行为”真时，“所有犯罪行为都不是醉驾行为”为假。
这表明，两个具有矛盾关系的直言判断中如果其中一个真，那么另一个为假。也就是说，它们“不能同真”。
再考察当两个具有矛盾关系的直言判断中一个为假时，另一个真假如何。
1.当全称肯定判断“所有S都是P”假时，特称否定判断“有S不是P”为真。
例如，当“所有犯罪行为都是醉驾行为”假时，“有犯罪行为不是醉驾行为”为真。
2.当特称否定判断“有S不是P”假时，全称肯定判断“所有S都是P”为真。
例如，当“有犯罪行为没有作案时间”假时，“所有犯罪行为都有犯罪时间”为真。
3.当全称否定判断“所有S都不是P”假时，特称肯定判断“有S是P”为真。
例如，当“所有犯罪行为都不是醉驾行为”假时，“有犯罪行为是醉驾行为”为真。
4.当特称肯定判断“有S是P”假时，全称否定判断“所有S都不是P”为真。
例如，当“有犯罪行为是合法的行为”假时，“所有犯罪行为都不是合法的行为”为真。
这表明，两个具有矛盾关系的直言判断中如果其中一个假，那么另一个为真。也就是说，它们“不能同假”。
国外学者对于矛盾关系的定义是：“两个具有相同主项和谓项的判断，如果一个是另一个的否定，即它们既不能同时是真的也不能同时是假的，那么它们就是相互矛盾的。”[12]这一定义的不足在于“否定”的含义太含糊，所以对矛盾关系的界定也不太恰当。
牟宗三先生对直言判断之间的矛盾关系的概括是：[13]
（1）不能同真；
（2）不能同假；
（3）因为不能同真，所以由一真可推知另一假；
（4）因为不能同假，所以由一假可推知另一真。
具有矛盾关系的两个直言判断之中必定是一真一假。至于哪一个为真、哪一个为假，则需要根据具体情况进行具体分析。直言判断SAP与SOP之间之所以具有矛盾关系，是因为它们的量项和联项完全不同；直言判断SEP与SIP之间之所以具有矛盾关系，也是因为它们的量项和联项完全不同。直言判断之间的矛盾关系是一种互斥且穷尽的关系。
（二）直言判断之间的反对关系
直言判断之间的反对关系是指主项和谓项相同的两个全称判断 “所有S是P”和“所有S不是P”之间的对当关系。国外学者对于反对关系的定义是：“两个具有相同主项和谓项的判断，如果它们不能都是真的，但是可能同时是假的，那么它们就是相互反对的。”[14]该定义对于反对关系的界定较为合适。
那么，这两对直言判断之间的反对关系到底是怎样的真假制约关系呢？有何特征？
先考察当两个具有反对关系的直言判断中一个为真时，另一个真假如何。
1.当全称肯定判断“所有S是P”真时，全称否定判断“所有S不是P”为假。
例如，当“所有醉驾行为都是犯罪行为”真时，“所有醉驾行为都不是犯罪行为”为假。
2.当全称否定判断“所有S不是P”真时，全称肯定判断“所有S是P”为假。
例如，当“所有醉驾行为都不是合法行为”真时，“所有醉驾行为都是合法行为”为假。
这表明，两个具有反对关系的全称判断中如果其中一个真，那么另一个为假。也就是说，它们不能同真。
再考察当两个具有反对关系的直言判断中一个为假时，另一个真假如何。
1.当全称肯定判断“所有S是P”假时，全称否定判断“所有S不是P”可能真。
例如，当“所有醉驾行为都是合法行为”假时，“所有醉驾行为都不是合法行为”为真。
2.当全称肯定判断“所有S是P”假时，全称否定判断“所有S不是P”也可能假。
例如，当“所有犯罪行为都是醉驾行为”假时，“所有犯罪行为都不是醉驾行为”为假。
3.当全称否定判断“所有S不是P”假时，全称肯定判断“所有S是P”可能真。
例如，当“所有醉驾行为都不是犯罪行为”假时，“所有醉驾行为都是犯罪行为”为真。
4.当全称否定判断“所有S不是P”假时，全称肯定判断“所有S是P”也可能假。
例如，当“所有犯罪行为都不是醉驾行为”假时，“所有犯罪行为都是醉驾行为”为假。
这表明，两个具有反对关系的全称判断中如果其中一个假，那么另一个真假不定。也就是说，它们可能同假。
牟宗三先生对直言判断之间的反对关系的概括是：[15]
（1）不能同真；
（2）可能同假；
（3）因为不能同真，所以由一真可推知另一假；
（4）因为可能同假，所以由一假不可推知另一真。
两个直言判断之间的反对关系包括两种情形：（1）两个全称判断一真一假；（2）两个全称判断均为假。直言判断之间的反对关系是一种互斥而不穷尽的关系。
（三）直言判断之间的下反对关系
直言判断之间的下反对关系，是指主项和谓项相同的两个特称判断 “有S是P”和“有S不是P”之间的对当关系。国外学者对于下反对关系的定义是：“两个具有相同主项和谓项的判断，如果它们虽然可以都是真的但不能都是假的，那么它们就是相互下反对的。”[16]该定义对于下反对关系的界定较为合适。(https://www.daowen.com)
那么，这两对直言判断之间的下反对关系到底是怎样的真假制约关系呢？有何特征？
先考察当两个具有下反对关系的直言判断中一个为真时，另一个真假如何。
1.当特称肯定判断“有S是P”真时，特称否定判断“有S不是P”可能真。
例如，当“有犯罪行为是醉驾行为”真时，“有犯罪行为不是醉驾行为”也真。
2.当特称肯定判断“有S是P”真时，特称否定判断“有S不是P”也可能假。
例如，当“有醉驾行为是犯罪行为”真时，“有醉驾行为不是犯罪行为”为假。
3.当特称否定判断“有S不是P”真时，特称肯定判断“有S是P”可能真。
例如，当“有犯罪行为不是醉驾行为”真时，“有犯罪行为是醉驾行为”也真。
4.当特称否定判断“有S不是P”真时，特称肯定判断“有S是P”也可能假。
例如，当“有醉驾行为不是合法行为”真时，“有醉驾罪行为是合法行为”为假。
这表明，两个具有下反对关系的特称判断中如果其中一个真，那么另一个真假不定。也就是说，它们可能同真。
再考察当两个具有下反对关系的特称判断中一个为假时，另一个真假如何。
1.当特称肯定判断“有S是P”假时，特称否定判断“有S不是P”为真。
例如，当“有犯罪行为是合法行为”假时，“有犯罪行为不是合法行为”为真。
2.当特称否定判断“有S不是P”假时，特称肯定判断“有S是P”为真。
例如，当“有醉驾行为不是犯罪行为”假时，“有醉驾行为是犯罪行为”为真。
这表明，两个具有下反对关系的特称判断中如果其中一个假，那么另一个为真。也就是说，它们不能同假。
牟宗三先生对直言判断之间的下反对关系的概括是：[17]
（1）可能同真；
（2）不能同假；
（3）因为可能同真，所以由一真不可推知另一假；
（4）因为不能同假，所以由一假可推知另一真。
两个直言判断之间的下反对关系包括两种情形：（1）两个特称判断一真一假；（2）两个特称判断均为真。直言判断之间的下反对关系是一种相容且穷尽的关系。
（四）直言判断之间的差等关系
直言判断之间的差等关系，是指主项、谓项和联项均相同而量项不同的两对直言判断全称肯定判断“所有S都是P”与特称肯定判断“有S是P”之间、全称否定判断“所有S都不是P”与特称否定判断“有S不是P”之间的对当关系。国外学者对于差等关系的定义是：“两个具有相同主项和谓项的全称判断和特称判断，如果全称判断是真的，对应的特称判断也是真的，那么它们之间的关系就是差等关系。”[18]该定义对于差等关系的界定较为合适。
那么，这两对直言判断之间的差等关系到底是怎样的真假制约关系呢？有何特征？
先考察当两个具有差等关系的直言判断中一个为真时，另一个真假如何。
1.当全称肯定判断“所有S都是P”真时，特称肯定判断“有S是P”为真。
例如，当“所有犯罪行为都有犯罪时间”真时，“有犯罪行为有作案时间”为真。
2.当特称肯定判断“有S是P”真时，全称肯定判断“所有S都是P”可能真。
例如，当“有犯罪行为是违法行为”真时，“所有犯罪行为都是违法行为”也真。
3.当特称肯定判断“有S是P”真时，全称肯定判断“所有S都是P”也可能假。
例如，当“有犯罪行为是醉驾行为”真时，“所有犯罪行为都是醉驾行为”为假。
4.当全称否定判断“所有S都不是P”真时，特称否定判断“有S不是P”为真。
例如，当“所有犯罪行为都不是合法的行为”真时，“有犯罪行为不是合法的行为”为真。
5.当特称否定判断“有S不是P”真时，全称否定判断“所有S都不是P”可能真。
例如，当“有犯罪行为不是合法的行为”真时，“所有犯罪行为都不是合法的行为”也真。
6.当特称否定判断“有S不是P”真时，全称否定判断“所有S都不是P”也可能假。
例如，当“有犯罪行为不是醉驾行为”真时，“所有犯罪行为都不是醉驾行为”为假。
这表明，两个具有差等关系的直言判断中如果全称判断真，那么特称判断也真；但是如果特称判断真，那么全称判断却真假不定。也就是说，它们“可能同真”。
再考察当两个具有差等关系的直言判断中一个为假时，另一个真假如何。
1.当全称肯定判断“所有S都是P”假时，特称肯定判断“有S是P”可能真。
例如，当“所有犯罪行为都是醉驾行为”假时，“有犯罪行为是醉驾行为”为真。
2.当全称肯定判断“所有S都是P”假时，特称肯定判断“有S是P”也可能假。
例如，当“所有醉驾行为都是合法的行为”假时，“有醉驾行为是合法的行为”也假。
3.当特称肯定判断“有S是P”假时，全称肯定判断“所有S都是P”为假。
例如，当“有醉驾行为是合法的行为”假时，“所有醉驾行为都是合法的行为”也假。
4.当全称否定判断“所有S都不是P”假时，特称否定判断“有S不是P”可能真。
例如，当“所有犯罪行为都不是醉驾行为”假时，“有犯罪行为不是醉驾行为”为真。
5.当全称否定判断“所有S都不是P”假时，特称否定判断“有S不是P”也可能假。
例如，当“所有犯罪行为都不是违反刑法的行为”假时，“有犯罪行为不是违反刑法的行为”也假。
6.当特称否定判断“有S不是P”假时，全称否定判断“所有S都不是P”也假。
例如，当“有犯罪行为不是违反刑法的行为”假时，“所有犯罪行为都不是违反刑法的行为”也假。
这表明，两个具有差等关系的直言判断中如果全称判断假，那么特称判断真假不定；但是如果特称判断假，那么全称判断也假。也就是说，它们“可能同假”。
牟宗三先生对直言判断之间的差等关系的概括是：[19]
（1）可能同真；
（2）可能同假；
（3）由全称判断真可推知特称判断真，但是反之不然；
（4）由特称判断假可推知全称判断假，但是反之不然。
直言判断之间的差等关系是一种相容而不穷尽的关系。