10.3969/j.issn.1674-8425.2009.11.008
所谓"逻辑量词"
数理逻辑一阶谓词演算中F作为一种逻辑词采用的量词,不是传统逻辑中的量词,更不是语言中的量词.F中的全称量词(V)x的语义为"对于论域中的每一个个体",存在量词(E)x的语义为"论域中至少有一个个体".人类在求取关于不可逐一列举(有限的或无限的)个体域的作为一般性原理的真知的过程中,事实上从来也不曾在逻辑上使用过这样的量词.这样的量词对人类提出要去逐一确定不可逐一列举的个体域的每一个个体具有什么性质.这样的指令,人类是无法执行的.这样的对外延的无限要求是超乎人类的有限能力和生命的.难怪,A.Church.证明了关于,的不可判定定理.
逻辑、逻辑量词、语言量词、逻辑语义学
23
B81(逻辑学(论理学))
教育部人文社会科学"当代形式逻辑及其在人工智能中的应用理论研究"07JA720006
2010-01-29(万方平台首次上网日期,不代表论文的发表时间)
共3页
39-41