【摘 要】
：
本文将探讨弗雷格关于数学定义的论述.弗雷格在其遗稿《数学中的逻辑》一文中用了较大篇幅谈论数学定义.本文将指出弗雷格论述中含有诸多领先时代的洞见,如对数学中规定性定
论文部分内容阅读
本文将探讨弗雷格关于数学定义的论述.弗雷格在其遗稿《数学中的逻辑》一文中用了较大篇幅谈论数学定义.本文将指出弗雷格论述中含有诸多领先时代的洞见,如对数学中规定性定义标准的较早表述,对贝斯可定义性定理的预见,以及关于公理系统一致即真的见解.弗雷格在文中的主要论点是,只有规定性定义是真正的数学定义.他对这一观点的论证引用了一些在今天看来不切实际的预设.作者将试图在保留弗雷格核心立场的基础上对其理论假设作一定修正以便与后来的不完全性、独立性等数学结果相兼容.特别地,在修正后的理论中,分析性定义可以被接受.
其他文献
当前启蒙反思及重建经过反思和修正的成熟形态的启蒙精神,须严肃对待和借鉴马克思对启蒙的批判及其建构意蕴。马克思批判了启蒙之消极后果及其资产阶级性质、启蒙之哲学基础
柳河县砬门乡复兴村农民党员祝喜梅在过去的13年里,凭着苦干实干,大力发展烤烟生产,成为致富能手和带动群众共同致富的能人。 祝喜梅搞过经济作物,也饲养过家禽,总想凭着自
采用农业系统原理和方法,建立数学模型,分析了SRI栽培技术对有效分蘖的影响。结果表明:有效分蘖是密度(x1 )>秧龄(x3 )>中耕次数(x2 )>穴谷粒数(x4 ),目标性状间呈显著正相关
墨家辩学是中国先秦墨家学派对人们言辞特别是推论方法的合理性所作的系统研究,它与逻辑学的关系一百多年来成为了学术界关注的热点.本文通过考察墨家辩学产生的社会历史文化
分析了我国采煤机可靠性现状及采煤机主要失效模式，指出故障性分析是提高采煤机系统可靠性的有力手段；并对今后如何开展采煤机可靠性研究提出了建议。
The current situation
儒家的身心修养理论和人格学说是一体两面的关系,用孟子的话就是,内在的修养会在外在的身体形态方面呈现出来,二者一体构成一个身心整体状态即德性和体貌气质整体呈现的人格
在对专名的理解上,弗雷格和罗素的态度是一样的,他们都是从语境定义出发去解释专名.随后,弗雷格让涵义统治指称,罗素把专名理解为摹状词.然而,从克里普克可能世界语义学的角
亚里士多德逻辑以三段论闻名于世,但读其著作会遇到一个令人困惑的问题:即其所言“特称”究竟是广义还是狭义。由于该问题是三段论理论的基本问题,因而就会直接影响到对三段
20世纪60年代,西方学术界关于马克思国家观念问题发生过一次激烈的论争,但是,论争基本略过“现代国家”本质内涵这一环节。依据马克思的文本群与词频考证可见,“现代国家”出
本文认为,逻辑悖论是一种特殊的逻辑矛盾,传统的分析关注于二值原则、自我指涉与自我断言真假等,因而悖论的解决总是通过限制真的用法、修改二值原则等方式;通过对悖论中的“