悖论的辩证逻辑公式及其他

悖论的辩证逻辑公式应该显示出:悖论是人们主观上认为的悖论和实际上的悖论的两个矛盾方面的对立统一体.悖论创新法:自觉地建构并消解悖论,以此修正和发展学科理论系统.一个容纳悖论的辩证逻辑系统应该是把悖论的辨证逻辑公式作为该系统的定理的辩证逻辑系统.弗协调逻辑的根本缺点是把逻辑矛盾和辩证矛盾相混淆.建立辩证逻辑形式化系统应以对立统一思维律等辩证思维基本规律为公理或主要定理.     

“新”道义悖论--动态道义悖论及其哲学分析

在解析道义悖论的过程中,逻辑学家们给出了很多不同的方法,也各自面临着不同的问题。梅耶尔将道义逻辑归约为动态逻辑,并认为这种方法能够很好地消解道义悖论。但阿尔伯特指出,动态道义逻辑中仍然会出现“新”悖论。“新”的动态道义逻辑悖论与“旧”道义悖论之间有很多联系与区别。从哲学角度分析,动态道义悖论的出现缘于新算子的引入、新特性的刻画。一些所谓悖论只是动态道义逻辑的定理导致不符合直觉的结果,另一些与承诺悖论相似,缘于动态道义逻辑并未充分表达某些重要的道义概念。在“新”的道义逻辑系统中出现的“新”悖论,既有新特点,又与“旧”悖论有相关之处。道义悖论研究正是在这种“新”悖论与“旧”悖论的更替过程中不断推进的。     

现代主义的生存悖论——舍伍德·安德森《鸡蛋的胜利》的现代主义解读

人类为了更好地生存,可以自由选择自身的存在价值,然而在现代工业化背景下,选择本身成为一种荒诞和无意义的存在,甚至导致了人类主体性的丧失和精神的畸形,呈现一种悖论式的存在。以安德森的短篇小说代表作《鸡蛋的胜利》为例,结合美国现代工业化时代背景下"美国梦"的变异和现代主义文学特点对安德森小说中体现的这一现代主义生存悖论予以具体分析,探讨在工业化过程中人的失落和畸变,以及现代主义生存悖论下的个人选择。     

逻辑悖论与固定点定理

罗素悖论的解决方案被划分为两大范畴:有类型限制的方案和无类型限制的方案.无类型限制方案的背景逻辑是多值逻辑或者不包含否定词的经典逻辑,它的一致性证明在实质上是利用固定点定理构造模型.在介绍克里悖论、莫绍揆悖论和吉尔莫尔悖论,回顾这些悖论的解决方案与布劳威尔固定点定理和塔斯基固定点定理之间的内在关联的基础上,探讨无类型限制方案在二阶罗素悖论中的应用,并且证明一系列相关结果.     

悖论与数学基础大厦的裂缝

1.悖论 所谓悖论,从字面上讲就是荒谬的理论。为什么要把悖论这样一个晦涩古怪的名词来取代通俗易懂的说法呢?按照美国柯朗数学研究所M.Kline教授的说法,那是为了不把自相矛盾的真相摆在桌面上,才采用了这样一个婉转的措辞。 关于悖论的定义,当前流行的说法有:悖论是一种导致逻辑矛盾的命题,这种命题,如果承认它是真的,那么它又是假的;如果承认它是假的,那么又是真的;悖论是这样一个命题A,由A出发,可     

自指、悖论与哥德尔定理

一般悖论都以自指概念为基础,然而自指并不必然导致悖论。受悖论启发,哥德尔定理最重要的步骤之一是构造了自指的语句,但并没有导致矛盾,关键在于哥德尔在构造自指语句时区分了真与可证、给定系统的可证性与系统外的可证性等概念。     

逻辑悖论与自我指称——兼评克里普克的逻辑悖论思想

克里普克Outline of a Theory of Truth一文,是当代逻辑悖论研究最重要文献之一。克里普克就逻辑悖论成因问题提供了一种准确说明,即自我指称与悖论形成没有关系,经典解悖方案中不存在任何对自我指称的限制,这一点可通过哥德尔自指定理,以及塔尔斯基形式语言真理论与哥德尔不完全性定理之间关系的阐释得到明晰显现。     

基于破坏性表列的模态公理系统

表列适于作为模态定理机器证明的基础.在破坏性模态表列的基础上,构造分析性模态公理系统,这种公理系统的定理很容易证明,因此也适于作为模态定理机器证明的基础.沿着安德森等人开创的方向,将分析性公理系统的应用从经典逻辑推广到模态逻辑.称一个公理系统是分析的,即它的每一推理规则的前提和结论中的命题变元相同.为了便于表述这种系统中的公理,可以先定义一种广义谢弗竖M,给出模态表达式的一种新记法,以此改进现有的破坏性模态表列,并以这种改进的结果为基础构造分析性模态公理系统.     

反基础模型论解悖方法探析

受情境语义学解悖方案的启发,巴威斯和莫斯把超集理论应用于模型论,构造了解悖的数学框架——反基础模型论.在此基础上,通过给语言L增加真谓词true,提出谎言定理.然后,以说谎者悖论、强化的说谎者悖论、佐丹卡片悖论为例,说明反基础模型论解悖方法的巧妙之处.此外,在反基础模型论的基础上,还可以通过给语言增加指派谓词,消解指称悖论.     

金岳霖的悖论观及其启示

悖论是数学哲学和逻辑哲学中的重要问题,金岳霖研究悖论问题经历了曲折的发展过程。主要思路:一是把悖论归结为一种特殊的自相矛盾,探讨悖论的特征和成因,提出了”暂拟的解决方法”;二是把悖论归结为一种“形式废话”,试图建立一种“范围的逻辑”来消除悖论;三是把悖论归结为思维认识的“不确定性”问题。金岳霖的悖论观点内容丰富,具有重要的学术价值和方法论意义。     

《逻辑哲学论》的逻辑观

维特根斯坦在《逻辑哲学论》中所提出的逻辑命题是重言、是形式的观点，对于本世纪哲学家们的逻辑观给予了决定性的影响。本文对《逻辑哲学论》的逻辑观、它的基本的理论假定、理论背景及影响作了探讨，并就它的评价问题阐明了个人的意见     

论我国的逻辑教学

我国逻辑学界从１９７８年提出“逻辑要现代化”的口号。但２０年过去了,高校的逻辑教学依然是以传统逻辑为主。这种做法实际上仍然是拒绝现代逻辑：它肢解了现代逻辑的知识体系,歪曲了现代逻辑的基本精神。逻辑理论和方法是一个整体。它在我国亟待普及和提高,所谓普及应该是一阶逻辑,而不是传统逻辑。     

转变教育教学观念促进逻辑教学转型——评《关于我国逻辑教学的若干问题》

近年来,在逻辑教学大讨论中,有的文章对我国国情和大学生的思维实际的认识是错误的,对传统逻辑的局限性还没有深刻的认识,仍坚持以传统逻辑作为高校逻辑入门课的教学内容。这些观点,反映了落后的教育教学观念,阻碍了我国高校逻辑教学从传统逻辑向现代逻辑的转型。因此,转变教育教学观念,对实现我国高校逻辑教学现代化就是十分重要和非常迫切的任务。     

也谈我国的逻辑教学——与王路先生商榷

数理逻辑是在普通逻辑发展过程中相对于传统逻辑的高级阶段,而不是真正的现代逻辑,因此,不能借逻辑现代化的口号用数理逻辑内容取代大学文科逻辑教材中的传统逻辑内容。大学文科逻辑教材的任务,是要让学员通过逻辑学的学习,掌握运用各种思维形式的一般知识,以利于他们以后的学习和工作,而不是培养杰出的逻辑学家     

从传统逻辑的现代化谈起

本文对 2 0多年来我国高校文科① 进行的逻辑教学改革进行了系统的反思。指出 ,传统逻辑比较全面地研究了人类最基本的思维形式 ;比较系统地、全面地研究了论证 ;它是一切逻辑科学的基础 ;它最系统、全面地研究了普通思维的逻辑基本规律 ;它虽然具有种种局限性 ,但至今仍具有广泛的使用价值 (特别是对于高校文科学生来说 )。由于人们对“逻辑现代化”和“逻辑教学现代化”口号的误解 ,我国高校文科的逻辑教学改革走偏了方向 ,致使我国的逻辑教学在近些年来陷入了低谷。我国高校文科逻辑教学要走出低谷 ,必须走出对传统逻辑现代化和逻辑教学现代化认识的误区。传统逻辑现代化的前提是保留传统逻辑而不是以数理逻辑去取代传统逻辑 ;逻辑教学现代化是整个高校的逻辑教学系统要现代化 ,而不是以数理逻辑教学去取代传统逻辑教学。“取代论”者的论据是站不住脚的 ,我国高校文科的逻辑教学仍应以传统逻辑为主 ,数理逻辑为辅。     

要提倡大逻辑观反对狭隘的小逻辑观--评王路先生的《逻辑的观念》

本文是对王路《逻辑的观念》一书基本观点(逻辑的对象仅仅是必然性推理,逻辑的内在机制是必然地得出)及其论证手法的批评该书的基本观点完全不符合古今中外逻辑科学产生和发展的历史事实,其论证手法是"偷换和歪曲".用该观点去指导我国的逻辑科学研究,必将使我国的逻辑科学陷于停滞状态.     

试论三种逻辑关系——以形式与内容关系为视角

传统形式逻辑、康德先验逻辑和思辨逻辑都研究思维形式,它们都是广义的形式逻辑。但前二者由于所研究的思维形式与思维内容没有真正统一起来,它们所研究的思维形式就不是真正的思维形式,因而它们不是真正的形式逻辑。思辨逻辑所研究的思维形式与思维内容是真正统一的,因而它所研究的思维形式是真正的思维形式,从而思辨逻辑是真正的形式逻辑。讨论了这三种逻辑对传统形式逻辑矛盾律的态度,进一步认清了这三种逻辑之间的关系。     

三值逻辑的思想和方法

传统逻辑是二值的,对诸如未来偶然命题使用这种逻辑是无法解决的,这就需要发展起来一种不同于二值逻辑的逻辑,这就是多值逻辑,三值逻辑是其最基本形式。三值逻辑理论沿着不同路线今已得到迅速发展,其应用范围也日益广泛。所有的三值逻辑系统都对二值逻辑的限制有所突破,都在某种意义上显示出“亦此亦彼”的性质,它们之间以及它们与经典二值逻辑之间具有内在的区别和联系,显示了各自独特的思想和构造方法。     

自然语言中语义模糊逻辑解读的回顾

自然语言的模糊性对经典二值逻辑的“排中律”提出了挑战，逻辑学家引进了三值逻辑，即在二值逻辑的基础上引入第三值——不定值。但三值逻辑引发的高阶模糊问题是其本身无法克服的，因而逻辑学家又引入了模糊逻辑——即用一个无穷多值的取值范围反映出事物变化的连续性和渐次性。逻辑法对语义模糊的研究目的是建立一个能合理解释或者描述语义模糊的语义模型而非追求一个具体的逻辑真值，所以逻辑研究法的价值是不该被否定的。     

论亚里士多德的大逻辑思想

亚里士多德逻辑思想是研究各类科学知识的工具 ,它是适应古希腊演讲、论辩之需要而产生的。亚里士多德逻辑思想是大逻辑思想 ,除了证明推理外 ,还有辩证推理、归纳、定义、辨谬等内容 ,并涉及了预设理论、问题逻辑、语境与逻辑等现代逻辑关注的问题。逻辑研究应提倡兼容 ,数理逻辑、自然语言逻辑、归纳逻辑、辩证逻辑、法律逻辑等等可以共同存在、共同发展。