亲历美国哲学50年

20世纪的哲学系生产了大量的哲学博士,许多博士日后又成为哲学教师。在这些系科中,“分析哲学”一直居于主导地位。一个正经八百的研究生也许会这样看待过去50年的历史：直至30年代某一时期,美国的哲学尚未成形。其后,随着逻辑实证主义登上历史舞台,大约50年前,多数美国哲学家都成了实证主义者。这种进展的一个特点是给哲学学科引入了“高度严格的标准”。哲学变得“清楚”,而且人人都要学点现代逻辑。     

重新认识马克思主义哲学的一本力作

《马克思主义哲学原生形态探微》一书,是高齐云教授的新著,也是近年来哲学界发表的最有份量的力作之一。这本著作深入到马克思主义哲学大厦的基础,宏观地论述了马克思主义哲学从原生形态到次生形态再到再次生形态发展的逻辑进程。全书史论交融,高屋建瓴,同时又抉隐探微、小心求证,较好地体现了历史和逻辑的一致,科学精神和创新精神的一致,它获得我省第六次社会科学科研成果评选专著一等奖,是当之无愧的。     

浅析罗素的摹状词理论——从一个真命题谈起

那个会腾云驾雾的会腾云驾雾吗?对于这个问题,从常识出发的人们会很自信地回答：当然能。也就是说,命题“那个会腾云驾雾的会腾云驾雾”是真的。而罗素的回答却恰恰相反,在他看来这个命题是假的。在回答之先,罗素首先分析指出这个命题面临     

论金岳霖逻辑思想的展开方式

金岳霖是现代逻辑在中国得以研究并传播的奠基者,他将现代逻辑方法引入中国哲学体系的反思与重建之中,开辟了一条创新性的学术发展路径。从金岳霖逻辑思想的展开方式看,无论是关于逻辑与哲学、逻辑与自然科学、逻辑与社会生活之间关系的阐述,还是承载逻辑教育使命的现代逻辑知识体系的呈现,都表现出其逻辑思想具有鲜明的融通性、开放性和创新性特征,这也使得充满现代逻辑意识的中国逻辑学研究成为世界逻辑思想体系的重要组成部分,凸显其当代价值。     

亚里士多德论通往“努斯”的道路：理智直观还是经验归纳

亚里士多德认为科学知识是通过证明获得的,但科学知识的前提是不被证明的、恒真的和在认知上优先的第一原理,他把关于前提的知识称为“努斯”。“人们如何获知努斯”是一个重要而难解的问题,亚里士多德学界对此的回答有三条路线：理智直观、经验归纳与辩证法。本文批判了理智直观和辩证法的解释路线,发展并修正了经验主义的解释,指出经验归纳只是获知第一原理的第一阶段,人们需要在这个基础上进行从属性到本质的“科学探索”才能获知努斯。本文指出亚里士多德在《后分析篇》第二卷中认为获取努斯的过程有四个认知阶段：对感觉的归纳形成经验、提出科学问题、建构证明和确证前提。     

儿童基于心理本质论的种族认知及其影响因素

心理本质论将类别成员视为由共同的本质所决定,且这些本质对应着一些表面的不可改变的属性。其中,种族本质论就是心理本质论的一种。研究种族本质论的发展对于了解儿童的种族认知具有重要意义。种族本质论者认为,种族具有遗传不变性、有较强的归纳强度和标签具有客观性等特征。但是,基于不同特征的种族本质论的发展存在差异。类属语言、社会文化背景和群体地位,均可能影响儿童种族本质论的发展。这些影响因素提示,可通过减少类属语言的描述和促进民族融合等方式改变儿童的种族本质论。比较儿童对种族本质论的建构与自然世界的建构之间的差异,方便我们探索类别学习跨领域的一致性问题。如何确保种族本质论的发展是适宜的,这需要未来开展一些干预性的研究。     

Braine心理逻辑理论述评

该文对Braine提出的在推理心理学研究领域占居重要地位的“心理逻辑理论”做了综合述评。“心理逻辑理论”主要包括三方面内容:构成“心理逻辑理论”基础的一组推理规则图式、将推理规则图式应用于推理过程的推理方案、实际应用意义。Braine认为他和他的同事于1984年设计并实施的以“自然推理系统”所含各推理规则为实验材料的实验结果支持该理论的基本观点。     

在有序结构上刻画βP的逻辑CSSCI

我们在膨胀不动点逻辑IFP的基础上,加入一种带有(多重)对数上界的新二阶量词,并且证明了,在有序结构上我们的新逻辑■logωIFP刻画受限非确定性复杂类βP。为了研究该逻辑的表达力,我们也设计了一种新的Ehrenfeucht-Fraïssé博弈,并说明在最一般的情况下,也就是在全体有穷模型之上,该逻辑对βP的刻画并不成立。     

逻辑性和弗雷格算术与简单类型论的逻辑主义CSSCI

弗雷格和罗素的逻辑主义由两个部分构成:可证明性论题和可定义性论题。可以很确信地说,可证明性论题并不能得到完全的辩护。但是,为了向两者,特别是可定义性论题,提供辩护或者拒斥之,我们需要逻辑性的标准来决定,除了其它常元的逻辑性之外,表示数的常元和表示属于关系的常元的逻辑性。我将采用的逻辑性标准是塔尔斯基和谢尔提出的同构不变量标准和费弗曼提出的同态不变量标准。塔尔斯基和谢尔在不同的地方已经指出罗素的表示属于关系的常元是同构不变量。在本文中,我将证明如下结论:第一,表示属于关系的常元是同态不变量;第二,弗雷格的表示数的常元既不是同构不变量也不是同态不变量;第三,如果逻辑性是同构不变量或者同态不变量,弗雷格的逻辑主义(弗雷格算术)的可定义性论题不成立;第四,如果逻辑性是同构不变量,罗素的逻辑主义(简单类型论)的可定义论题成立,但若逻辑性是同态不变量,这个论题则不成立。