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

(what proportion of)(A)(B C)
定理 9 和 10 中的推理模式在形式上分别类似于附录 F 中提到的某个传统三段论
格式(F1)和 Zadeh (1983)提出的“交积三段论”(F3)。惟请注意,定理 9 的推理模式
依赖于一个给定条件,而这个给定条件实际上相当于一个附加前提,其地位类似
某些传统三段论的“存在假设”(参见 F1)。
此外,如果把定理 9 中的集合 A 改为独元集{x},便可得到该定理的变体:
定理 11: (给定条件:x M)
whatd(M)(B) whether(x(–)(B))
以下是定理 9-11 的实例:
(139) (给定条件:All boys are persons.)
Who sang? Who are the boys? Which boy sang?
(140) What proportion of students are single?
What proportion of single students are male?
What proportion of students are single and male?
(141) (给定条件:John is a boy.)
Which boys sang? Did John sing?
以上只是对疑问三段论的初步探讨,至于如何找出所有有效的疑问三段论,
尚有待深入研究。
5.5 单调性推理
5.5.1 强穷尽疑问量词
单调性是广义量词理论深入研究的一种量词性质,根据这种性质,可以推导
出单调性推理,有关这类推理的简介,请参阅附录 G。G-R (1997)研究了疑问量
词单调性的问题,他提出所有疑问量词都在其谓词性论元上呈递减性,藉以解释
疑问句的负极允准性质,因为根据某些学者,递减性是所有负极允准语境的共同
特征。
G-R (1997)把疑问量词的递减性定义为 44 :设 Q 为型疑问量词,那么 Q
是递减的当且仅当
44 选自 G-R (1997)的定义 39 及 40,略有改编。G-R (1997)使用“subsumption”这个术语来指称两
个疑问句的 CA 之间的母集关系。
42