期刊文献+

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

The Necessity for Introduction of the Existential Quantifier into Mathematical Logic
下载PDF
导出
摘要 浅析了数理逻辑中存在性不能作为谓词的原因、背景,阐明存在量词引入的合理性和必要性, 指出存在量词的引入是技术上的改进,并未真正解决数学基础存在的固有问题-罗素悖论. 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.
作者 高晓雷 杨光
出处 《东莞理工学院学报》 2005年第3期11-14,共4页 Journal of Dongguan University of Technology
关键词 存在量词 数理逻辑 罗素悖论 数学基础 存在性 合理性 正解 discrete mathematics existence mathematical logic ontology existential quantifier paradox
  • 引文网络
  • 相关文献

参考文献5

  • 1陈慕泽,余俊伟.数理逻辑基础[M].北京:中国人民大学出版社,2003.
  • 2张志刚.上帝存在的本体论论证[EB/OL].http://noah.ccim.org/archive.nsf/0/49.
  • 3呼德.各种有关上帝存在的证明[EB/OL].http://www.xaislam.com/xaislambbs/printpage.
  • 4现代应用数学手册编委会.离散数学卷[M].北京:清华大学出版社,2002.
  • 5杨熙龄.奇异的循环-逻辑悖论探折[M].沈阳:辽宁人民出版社,1987.

共引文献3

;
使用帮助 返回顶部