节点文献

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

The Necessity for Introduction of the Existential Quantifier into Mathematical Logic

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 高晓雷； 杨光；

【Author】 Gao Xiaolei Yang Guang (Dongguan University of Technology, Dongguan 523106, China)

【机构】 东莞理工学院软件学院； 东莞理工学院软件学院 广东 东莞 523106； 广东 东莞 523106；

【摘要】 浅析了数理逻辑中存在性不能作为谓词的原因、背景,阐明存在量词引入的合理性和必要性, 指出存在量词的引入是技术上的改进,并未真正解决数学基础存在的固有问题-罗素悖论.

【Abstract】 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.

【关键词】 离散数学； 数理逻辑； 存在性； 存在量词； 本体论； 悖论；
【Key words】 discrete mathematics； existence； mathematical logic； ontology； existential quantifier； paradox；
  • 【文献出处】 东莞理工学院学报 ,Journal of Dongguan Institute of Technology , 编辑部邮箱 ,2005年03期
  • 【分类号】O141
  • 【下载频次】270
打印本页
节点文献中：