论文部分内容阅读
众所周知,自然语言中某些特定的复数量化(plural quantification)和句间代词性交互指称(intersentential pronominal cross-reference)是无法由标准的一阶逻辑加以形式化的。前者最著名的例子大概是吉奇-卡普兰(Geach-Kaplan)语句: