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

(38) which(GIRL)([every(BOY)]1(LOVE))
(GIRL {y: BOY {x: LOVE(x, y)}})uc =
因此我们无须深入讨论“个体解”的情况。
3.5.3 串列解
根据文献,在“串列解”(list reading)下,(36)通常被理解成等同于 13 :
(39) For each boy x, which girls does x love?
这个疑问句的一个可能 CA 是
(40) John loves Mary, Bill Susan and Ann, Peter no girl.
即一个显示每名男孩 x 爱哪些女孩的串列。有一点要注意的是,如要令(39)圆解,
首先必须知道哪些人是男孩,因为(39)的圆满解答要求提供一个以男孩的名字为
“索引”的串列。因此我们认为,(36)的“串列解”应被处理成以下合取疑问句:
(41) Who are the boys and for each boy x, which girls does x love?
请注意(41)的后半部跟(39)相同。
在文献中,(39)一般被处理成迭代量词,其中 “which(GIRL)”取窄域,
“every(BOY)”取宽域。由于我们假设疑问句与陈述句具有相同的语义类型,量词
的迭代公式(附录 A 的(A40) – (A41))也适用于这类以疑问量词取窄域的疑问句。
利用上述公式,首先求得
(42) [which(GIRL)]2(LOVE) = {x: which(GIRL)({y: LOVE(x, y)})}
接着把“every(BOY)”作用于(42),得
(43) every(BOY)([which(GIRL)]2(LOVE))
BOY {x: which(GIRL)({y: LOVE(x, y)})}
13
在文献上,(39)一般称为“偶串列解”(pair-list reading)。由 于考虑到某些疑问句(例如“What books
does each teacher recommend to each student”)可能涉及由“n 元组”组成的串列(而非“偶串列”),我
们采用概括性较高的名称“串列解”。
16