一种避免"蕴涵怪论"的可行方法

"实质蕴涵怪论"问题是困扰经典逻辑的语义问题,在解决它的过程中产生了严格蕴涵和相干蕴涵,出现了模态逻辑和相干逻辑。模态逻辑中仍然有"严格蕴涵怪论"。相干逻辑避免了"蕴涵怪论",但把一些有效的推理形式排除在外,还具有不可判定性。"蕴涵怪论"是由于对推理关系进行形式化(数学化)引起的,因此,我们可以抛开形式系统来寻找一种方法避免"怪论"。本文将给出一个消除"蕴涵怪论"的可行方法———欧拉图解方法。     

"罗斯悖论"研究述评及方法论思考

"罗斯悖论"是道义逻辑中的第一个"悖论",对此中外学者有过诸多研究,见解纷呈.在评述以往学界研究成果的基础上,通过语境原则的讨论和"悖论度"概念的引入,可以进一步澄清罗斯悖论的实质及其方法论价值.     

逻辑悖论成因研究——以科学理论悖论为例

国内外学界对逻辑悖论的成因有主观虚构论、认知错误论、语言缺陷论、客观存在论等诸多指认。逻辑悖论是思维的产物,是从特定认知共同体公认正确的背景知识中合乎逻辑地推导出来的。如果我们承认经典逻辑规律具有普适性,就应该从蕴涵逻辑悖论的"背景知识"中探求其生成的因由。     

必须摒弃归纳推理的形式规则吗?

绿蓝悖论是现代归纳逻辑研究的一个重大事件,它直接挑战了归纳的逻辑基础,迫使人们重新思考现代归纳逻辑的发展方向的问题.近年来,归纳逻辑的研究出现了两种截然不同的研究取向.而在某种意义上,它们都是对绿蓝悖论的最新回应.一方面,以诺顿为代表的实质归纳理论主张彻底摒弃归纳的形式化规则,认为应当把归纳推理研究的重心集中到经验事实...     

浅议一阶逻辑的发展与集合论公理化的关系

众所周知,一阶逻辑与公理集合论是数理逻辑的两个组成部分,其中,一阶逻辑是数理逻辑的基础部分.但在数理逻辑刚刚出现的时候,逻辑不是一阶的,集合论也经历了由康托尔素朴集合论到公理集合论的发展.在数理逻辑发展的历史中,一阶逻辑的出现及其主导地位的确立与集合论的公理化,二者之间存在着密切的联系.     

构建和谐社会的逻辑结构

要理解和谐社会理念,必须正确地认识悖论.悖论的历史同逻辑一样久远.悖论同矛盾一样,是客观存在的关系反映.辩证逻辑是认识矛盾性关系的工具,数理逻辑则是处理悖论性关系的工具.在全球化时代,和谐社会必然建立在信息技术基础上.悖论的逻辑地位的确立,为逻辑结构从完全性结构向不完全性结构转型提供了必要的说明.     

逻辑悖论方法论研究述要与思考

国外学界在解悖方法论和分析悖论的具体方法方面作了诸多探索,国内学者构建了逻辑悖论方法论研究的一般纲领。建基在最新研究成果上的逻辑悖论方法论研究,应该充分发挥其在科学理论创新、社会矛盾的化解等方面的应用功能。     

动态认知逻辑研究述评

动态认知逻辑是近年来兴起不久的非经典逻辑,是一个相对比较新的研究领域.20世纪中后期人们对知识与信念的研究由静态向动态转变,荷兰逻辑学家J.van Benthem首先提出用动态模态逻辑为信息变化提供模型,建议用动态算子来刻画事实的变化,从而宣告动态认知逻辑的产生.到目前,动态认知逻辑得到了快速发展,人们不仅深入地讨论了公共宣告、半公开宣告和秘密告知等行为,而且还研究了行为过程中的信息更新、信念修正,进一步为它们提供了结构模型与形式表达,建立了一系列的形式系统.     

"投票悖论"不是逻辑悖论--与刘春生先生商榷

在文[1]中,刘春生先生断言"投票悖论是一种典型的逻辑悖论",但在其论证中却存在着约定前提含义不明和一些逻辑错误.另一方面,由于"投票"悖论只是人类社会生活中发生的真实现象的一种反映,所以它不构成逻辑悖论.     

弗雷格逻辑主义思想述评

本文系统地论述了弗雷格逻辑主义思想发展的经过，重点考究了罗素悖论对弗雷格的影响，分析了弗雷格逻辑主义思想与其在数理逻辑，逻辑哲学，分析哲学三大领域内所作成就的重要笔内在联系。     

国内模态逻辑哲学问题研究述评

针对模态逻辑哲学的主要研究内容——模态逻辑和哲学的关系、模态逻辑的合法性论争、可能世界问题以及模态语境问题等,本文述评了国内学者陈波、张家龙等人的观点。笔者认为随着一些模态逻辑技术为国内学者所掌握,更多的模态逻辑哲学问题将会引发学界的讨论。     

历史的逻辑理性--科学哲学理性的未来转向

西方现代科学哲学理性经历了从逻辑理性到历史理性的演进。逻辑理性和历史理性存在一定的合理性的同时,也存在自身无法克服的局限性。科学哲学的进一步发展表明,科学哲学理性的未来转向应是将二者统一的“历史的逻辑理性”。正确把握历史的逻辑理性的关键是如何理解历史。从归根到底的意义上看,历史的本质是实践的。历史的逻辑理性将是科学哲学理论的生长点。     

从PAL看认知逻辑的动态转换

本文首先介绍动态认知逻辑的发展由来和研究背景。再以动态认知逻辑的的一个基础系统——公开宣告逻辑（public armouncement logic简称PAL）为例。从而介绍动态认知逻辑研究的一些基本思路和方法，重点考察动态认知逻辑是如何完成静态向动态的转换。     

审视逻辑相对主义——以关于阿赞德逻辑的争论为例

逻辑相对主义观点是指不同的文化也许根据不同的逻辑规则进行推理。来自人类学关于偏远民族的调查引起了是否存在不同于西方逻辑的其他逻辑的争论。以关于阿赞德逻辑的争论为例进行分析,表明争论的缘起在于用西方形式逻辑的视角讨论特定文化的实践推理。从一种非形式逻辑的视角分析阿赞德推理,则引起争论的疑惑点得以解释与澄清。     

归纳逻辑研究述评

本文首先对国外卡尔纳普、波普尔、欣迪卡、莱维与赖兴巴赫等的归纳逻辑研究和国内鞠实儿、陈克艰、李小五、熊立文、陈晓平与刘壮虎等的归纳逻辑研究进行了述评,接着就归纳逻辑是否逻辑的两种争论进行了述评。作者认为,虽然归纳逻辑的基础理论研究似乎已经走入低谷,但其应用研究却方兴未艾。     

非形式逻辑视野下的论证评价理论

论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。     

逻辑学的革命:从形式逻辑到价值逻辑

形式逻辑处理的对象主要是超主体的、客观的事实问题,是一种无主体逻辑、必然性逻辑、静态化逻辑、程式化逻辑。由于事实与价值存在深刻的异质性,因而不可能简单地照搬、套用形式逻辑处理主体性、相对性的价值问题。由于逻辑是对人的生活实践的提炼与总结,生活实践中关于事实和价值问题的思考,对于各种事实和价值问题的解决,都可以并且应该上升、提炼、总结为逻辑的格、式与规律、规则,从而实现逻辑学的发展和飞跃。立足人们的价值生活实践,处理价值现象、反映价值思维的价值逻辑应具有如下基本特性:实践性、主体性、具体性、生成性。     

从符合论的观点看逻辑真理

从真理符合论的观点看,逻辑真理与一般的事实真理有本质的不同.我们认为,逻辑真理不应看作是真理,而只是一类逻辑有效式,它们与逻辑推理的普遍有效式是一致的.逻辑学的任务就是探寻逻辑真理.     

关于世界4的悖论——一个逻辑学视角

关于世界的划分,有本体论层面,也有逻辑学层面,还有这两个层面的纠缠。纠缠形成悖论,无论是波普尔的世界3理论,还是此前的一元论、二元论,以及后来诸多形态的世界4理论,都为这种悖论所纠缠。世界的划分者主要留意的是对于世界的本体论划分,然而划分却有很深的逻辑学内涵。从世界4的话题出发,关注划分的逻辑学层面,以及本体论和逻辑学层面的微妙关系,正视、接纳和解放悖论,是本文的主旨。     

认知结构刻画的新工具

皮亚杰改造数理逻辑并用来刻画儿童的认知结构.这一改造过的逻辑受到的多是指责和批评.这些批评有其合理性,但却过于专注于细节和系统的不完美.立足于当代各门认知科学的发展,我们应该对此做出新的、整体的评价.从逻辑学来看,皮亚杰的逻辑更新了我们对逻辑的观念,成为解决逻辑认识论问题的基础;从心理学来看,用逻辑结构来刻画认知结构,开辟了心理学研究的新方向;从认知科学来看,皮亚杰逻辑的跨学科研究为认知科学的跨学科合作提供了样板等.