【摘 要】
:
戈特洛布·弗雷格是现代数理逻辑的奠基人,也是分析哲学的创始人之一。他的大部分工作都致力于建立一种数学哲学---逻辑主义:算术真理都是逻辑真理。长久以来,哲学家一直认
【机 构】
:
美国布朗大学,辽宁大学哲学与公共管理学院
论文部分内容阅读
戈特洛布·弗雷格是现代数理逻辑的奠基人,也是分析哲学的创始人之一。他的大部分工作都致力于建立一种数学哲学---逻辑主义:算术真理都是逻辑真理。长久以来,哲学家一直认为,罗素悖论彻底瓦解了弗雷格的工作。然而实际的情况是,在弗雷格那里隐藏着另一个证明:算术公理可以纯粹逻辑地从休谟原则推出。休谟原则是说,概念F的数和概念G的数相同当且仅当存在F和G之间的一一对应关系。这一结果被称为弗雷格定理,它引发了一种新的逻辑主义的兴起。
其他文献
由于儿童的特殊脆弱性,“需要评估”(Needs Assessment)在儿童社会工作中越来越受到重视。但现有研究对于“需要”的概念和评估的主要内容、基本方法都还缺乏更深入的探讨。这需
腰椎间盘突出症是推拿科常见病、多发病,是引起腰腿痛的常见原因之一。笔者自2008年3月~2011年3月采用推拿、牵引结合TDP等方法治疗本病128例,取得较好疗效,现报告如下。
耿宁认为,儒学中政治与道德实践的具体、实在效用,与人性、心性的本体问题如何解决有着极为重要的关系,打通"用"之"实"与"体"之"玄"的宋明儒学之努力,也与魏晋玄学、与王弼的探讨有关
目的:探讨问质瘤内含气坏死腔的MSCT诊断价值。方法:回顾性分析经手术及病理证实的48倒腹部间质瘤的CT资料进行分析。结果:恶性间质瘤31倒,其中20倒瘤体内见含气坏死腔;潜在恶性1
化学实验是化学科学研究的重要方法,也是化学教学的重要手段。在普通高中化学教材《化学反应原理》第二章“反应速率和化学平衡”第一节“化学反应速率”中,编者设计了锌与硫
高危新生儿是指有可能发生危重疾病而需要特殊监护的新生儿,也包括已出现危象的新生儿。由于新生儿机体发育不完善,各脏器代偿功能差,患病后病情进展迅速,并且很快转至不可逆阶段
本文在借鉴美国、英国、法国、日本、德国等发达国家个人所得税先进征管经验的基础上,从实现信息化办税、提高纳税服务质量、强化税源管理、加强税务稽查角度提出了加强个人
物联网设备产生和发送的数据中存在许多重复冗余的部分,传输这些数据降低了网络寿命和带宽。针对这个问题提出了聚合网关层,设计了一种基于SDN的物联网数据聚合体系结构和算法。仿真分析表明,设计的体系结构与普通网关和OF-GW的体系结构相比,网络寿命提高了约32.6%,感知层发送到网络层中的数据分组量减少了6.1%~55.1%,设计的规则算法与LEACH算法相比,数据聚合的平均时延降低了约24.1%,同时
铁道部第三勘测设计院研制成功“车站列车到发微机通告系统”,经过长达五年多的实际运行之后,现已通过铁道部科技司主持的技术鉴定。 该系统由主机(发送装置)和显示终端组成,
交互式CAD技术与优化技术相结合,开发自动优化型铁路定线CAD系统软件,开发采用混合语言编程和模块化程序设计方法。本文着重介绍本系统的系统结构。