疑问量词的形式表达与推理模式 - WebRing

根据上述定义,我们有以下定理:
定理 16: 在疑问句“(more than how many)(A)(B)” 、 “(fewer than how
many)(A)(B)” 、 “(at least how many)(A)(B)” 和 “(at most how
many)(A)(B)”皆可接受的 CA 范围内,上述四个疑问句构成一个
“弱”对当方阵,分别位于方阵上的 A 角、E 角、I 角和 O 角。
以下是上述定理所定义的“弱”对当方阵:
请注意正如“波爱修斯对当方阵”的有效性依赖于预设 S ,上述“弱”对当方阵
的有效性也依赖于以下预设:存在至少一个四个疑问句皆可接受的 CA。
上述方阵上的“弱”对当关系实际上就是这些疑问句的解答之间的对当关系。
举例说,由于“(at least how many)(A)(B)”与“(fewer than how many)(A)(B)”之间的
弱矛盾关系,我们知道前面出现过的(91)和以下的(149)的解答处于矛盾关系:
(91) How many people were there at least?
(149) Fewer than how many people were there?
即对(91)和(149)皆可接受的任何 CA (設為 n)而言,如果 n 是(91)的真解答,則 n
就是(149)的假解答,反之亦然。
5.7 对偶性推理
对偶性推理乃建基于三个否定概念,有关对偶性推理的简介,请参阅附录 I。
正如在 5.6 小节所做的,我们也要为这三个否定概念定义相关的弱概念。由于“外
部否定”与“矛盾关系”是同一个概念,无需再探讨这个概念。至于“内部否定”,
我们有以下定义:设 Q(#)(P)和 Q’(#’)(P’)为疑问句,则
46