所谓“逻辑量词”

数理逻辑一阶谓词演算中F作为一种逻辑词采用的量词,不是传统逻辑中的量词,更不是语言中的量词。F中的全称量词x的语义为"对于论域中的每一个个体",存在量词x的语义为"论域中至少有一个个体"。人类在求取关于不可逐一列举(有限的或无限的)个体域的作为一般性原理的真知的过程中,事实上从来也不曾在逻辑上使用过这样的量词。这样的量词对人类提出要去逐一确定不可逐一列举的个体域的每一个个体具有什么性质。这样的指令,人类是无法执行的。这样的对外延的无限要求是超乎人类的有限能力和生命的。难怪,A.Church证明了关于F的不可判定定理。