数理逻辑中存在量词引入的必要性  

The Necessity for Introduction of the Existential Quantifier into Mathematical Logic

作　　者：高晓雷[1] 杨光[1] 

机构地区：[1]东莞理工学院软件学院,广东东莞523106

出　　处：《东莞理工学院学报》2005年第3期11-14,共4页Journal of Dongguan University of Technology

摘　　要：浅析了数理逻辑中存在性不能作为谓词的原因、背景,阐明存在量词引入的合理性和必要性, 指出存在量词的引入是技术上的改进,并未真正解决数学基础存在的固有问题-罗素悖论.This paper dissected the necessity for introduction of the Existential Quantifier into Mathematical Logic, which is only a technical improvement, but not a real solution to the natural problem in mathematics foundations of the Russell Paradox.

关 键 词：存在量词 数理逻辑 罗素悖论 数学基础 存在性 合理性 正解 

分 类 号：O141[理学—数学] TP311[理学—基础数学]