所谓“逻辑量词” |
| |
作者姓名: | 龚启荣 |
| |
作者单位: | 贵州大学(北区),贵阳550025 |
| |
基金项目: | 教育部人文社会科学“当代形式逻辑及其在人工智能中的应用理论研究”(07JA720006)成果之一 |
| |
摘 要: | 数理逻辑一阶谓词演算中,作为一种逻辑词采用的量词,不是传统逻辑中的量词,更不是语言中的量词。F中的全称量词任意x的语义为“对于论域中的每一个个体”,存在量词 x的语义为“论域中至少有一个个体”。人类在求取关于不可逐一列举(有限的或无限的)个体域的作为一般性原理的真知的过程中,事实上从来也不曾在逻辑上使用过这样的量词。这样的量词对人类提出要去逐一确定不可逐一列举的个体域的每一个个体具有什么性质。这样的指令,人类是无法执行的。这样的对外延的无限要求是超乎人类的有限能力和生命的。难怪,A.Church证明了关于,的不可判定定理。
|
关 键 词: | 逻辑 逻辑量词 语言量词 逻辑语义学 |
本文献已被 CNKI 维普 等数据库收录! |
|