【摘 要】
：
One of the remarkable results of Frege's Logicism is Frege's Theorem,which holds that one can derive the main truths of Peano arithmetic from Hume's Principle (
【机 构】
：
University Education Center, Tottori University, Tottori 680-8551, Japan
【出 处】
：
Special Theme:Frege,Logic & Philosophy
论文部分内容阅读
One of the remarkable results of Frege's Logicism is Frege's Theorem,which holds that one can derive the main truths of Peano arithmetic from Hume's Principle (HP) without using Frege's Basic.This result was rediscovered by the Neo-Fregeans and their allies.However,when applied in developing a more advanced theory of mathematics,their fundamental principles-the abstraction principles-incur some problems,e.g.,that of inflation.This paper finds alternative paths for such inquiry in extensionalism and object theory.
其他文献
中外合作办学机构作为教育改革的制度创新产物,经过20多年探索,取得了快速发展,其发展模式和办学经验可为当前高等教育综合改革提供一定的参考借鉴.本研究在概述中国中外合作
人事档案是组织人事部门在人事管理活动中形成的,基于其个人经历和德才表现,并以个体为单位集中收集、保存以备查考的人事资料.人事档案在人员职务晋升、工资发放、教育培训
“先义后利”.在孟子看来“苟为后义而失利,不夺不厌.”说的就是如果一个人先看到了利后再去考虑义的问题,其贪欲就无法得到满足,相反,若先讲求义再来追求利的话,每个人都能
本文通过阐述税收风险管理的背景,按照国家税务总局关于税收风险管理工作的总体要求,引入税务审计的先进理念,借鉴国内外审计理论与审计实践的发展,总结基层税务机关近年来不
本文采用微波辅助萃取法提取样品中的无机砷,用氢化物发生-原子荧光光谱法(HG-AFS)测定样品中的无机砷含量,对萃取条件和仪器条件进行了优化,并与国家标准方法水浴萃取法进行
输电线路是电力系统的基本构成单位,在整个电路系统运营过程中发挥着十分重要的作用.由于输电线路多位于室外地区,很容易受到各种恶劣环境以及不利因素的影响而遭受不同程度
一rn在中国20世纪的美学历程中,王国维、鲁迅……都是令人心动的名字,而与他们的名字一同进入我们的视野的生命美学,更是一个引人瞩目的现象.它与西方的现代美学(尤其是现象
美刊2007年10月号刊登了该刊对美国著名城市研究学者迈克·戴维斯题为的采访录,对2007年10月美国加州火灾产生的原因、美国政府的救灾行为以及美国媒体对灾害的报道发表了批
随着社会主义市场经济体制的建立,经济的进一步发展和竞争进一步加剧,营销企业的生存和发展越来越重要的作用,很多企业都把市场营销工作是企业的生命和死亡上升到战略高度。
计算机大部分领域持续的指数级增长、数字化信息的爆炸式增长和重组式创新,这三种力量所带来的突破正在把科幻小说变成我们每天的现实,其影响力甚至超越了我们近来的预测和理