弗雷格定理:一个导言

戈特洛布·弗雷格是现代数理逻辑的奠基人,也是分析哲学的创始人之一。他的大部分工作都致力于建立一种数学哲学———逻辑主义:算术真理都是逻辑真理。长久以来,哲学家一直认为,罗素悖论彻底瓦解了弗雷格的工作。然而实际的情况是,在弗雷格那里隐藏着另一个证明:算术公理可以纯粹逻辑地从休谟原则推出。休谟原则是说,概念F的数和概念G的数相同当且仅当存在F和G之间的一一对应关系。这一结果被称为弗雷格定理,它引发了一种新的逻辑主义的兴起。     

现代本质主义的逻辑基础与哲学意蕴

<正>现代分析哲学家致力于意义的分析,力图通过对语言的分析使哲学科学化。以罗素和逻辑实证主义为代表的前期分析哲学家拒斥一切形而上学,所有导致本质主义的学说均被他们宣布为虚妄。但到     

社会主义荣辱观的内在关系浅析

<正>树立社会主义荣辱观,是社会主义核心价值体系全面落地生根的基础,是我国意识形态工作的长期任务。社会主义荣辱观是个大概念,它涉及到"荣"、"誉"、"荣誉观"和"耻"、"辱"、"耻辱观"及其总概念"荣辱观"。每个概念都有特定的本质、存在方式、发生机制、对立面或对应范畴。     

论八卦是八个逻辑范式

基于太极代数,本文证明八卦是八个逻辑范式,八卦中包含四对矛盾关系,其中"六子"构成辩证逻辑组。八卦是生命生产和思想生产都必须共同遵循的变化法则。学界似有这样的倾向,以为《周易》中只有类推逻辑而没有演绎逻辑,本文证明这种观点是不能成立的。八卦本质上就是演绎逻辑的,卦象的本质是逻辑法则。因此,基于卦象的联想或推理不能脱离八卦的逻辑内涵;否则,想象的灵活性必将导致卦象上的混淆,甚至使八卦沦为象数游戏的工具。     

历史唯物主义:“改变世界”之维的社会工程哲学之思

<正>一、历史唯物主义"改变世界"之维及其根据马克思早在《关于费尔巴哈的提纲》中就明确指出:"哲学家们只是用不同的方式解释世界,问题在于改变世界"。(《马克思恩格斯选集》第1卷,第57页)任何一种哲学社会科学理论都内在地包含着解释世界和改变世界的理论追求,但是只有马克思把"改变世界"作为哲学的主题,作为历史唯物主义的真正使命。而且,这个"改变世界"之维不是在一般认识论意义上讨论"理论与实践"     

论维特根斯坦的“哲学语法”概念

<正>近些年来,国内外哲学界在维特根斯坦思想研究中,逐渐关注到维特根斯坦的"哲学语法",特别是试图从当代哲学的视角解读他的语法概念的思想内容。(Forster;陈嘉映;韩林合,第11章)我在阅读过程中发现,维特根斯坦对"语法"概念的使用完全不像我们想象的那样严格,而如何理解其"哲学语法"概念,实际上意味着如何理解维特根斯坦哲学。     

“虚无主义、形而上学与资本逻辑”学术研讨会综述

"虚无主义、形而上学与资本逻辑"研讨会于2011年11月23日在中山大学举行。本次会议由中山大学马克思主义哲学与中国现代化研究所主办,国内学界众多专家和学者出席了本次研讨会。会议发起人刘森林教授(中山大学)首先介绍了本次会议的背景情况,即虚无主义是德国和俄国思想家反     

中国近三十年逻辑悖论研究的主要特点与趋势

当代逻辑悖论研究有三个不同层面:一是特定领域某个或某组悖论的建构及其具体解悖方案研究;二是各种悖论及解悖方案的哲学研究;三是关于悖论的发现、解决及其功能的一般方法论研究。文革前,中国学界的逻辑悖论研究主要体现在莫绍揆、沈有鼎等学者在第一层面的研究上。中国学界关于逻     

组合范畴语法研究述评

范畴语法是一种面向自然语言信息处理的逻辑理论,是便于计算机处理的逻辑语法。它产生于20世纪30-40年代,50年代后逐渐走向成熟。[1]纯范畴语法是所有形式主义范畴语法的共同起点,它是巴-希勒尔(Bar-Hillel)对爱裘凯维茨(Ajdukiewicz)的句法演算进行方向性修改的产物,一般被称为AB-演算。[2]AB-演算仅有两条函项应用规则,导致其推演能力太弱,斯蒂德曼(Steedman)在     

在全国汉传佛教规范传戒开堂陪堂研讨班上的讲话

(2012年7月10日)各位领导、各位大德、各位同仁:国家宗教事务局决定从今年起在"六五"普法期间将每年的6月定为"宗教政策法规学习月"。6月3日,国家宗教事务局在上海举行座谈会,对首个"宗教政策法规学习月"活动进行了动员部署。国家宗教事务局王作安局长说,在全国宗教界开展"宗教政策法规学习月"活动,是落实中央关于法制宣传教育工作部署的必然要求,是宗教界加强自身建设的内在要求,是依法加强和创新宗教事务管理的重要任务。他要求宗教工作部门和宗教界通过多种形式推进学习,结合各地、各宗教