简介:论文认为强化前件规则对虚拟条件句确实足失效的,但传递原则、逆换原则和析取前件消去规则并没有像希尔皮南所说失效了。如果对同一性替换规则加上条件:对一个命题的某个部分实施替换,要求所利用的同一性在该命题的模态下也成立,则同一性替换规则可以运用于模态语境。奎因对存在概括规则在模态语境中失效的分析并不完全准确。
简介:早在公元6000多年前,中国先人就创造了以爻卦为命题形式,以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后,又给出了爻辞和卦辞的语义解释系统。后来,又给出了《易经》的语义和语用解释系统。它自古至今,长盛不衰,成为中国的传统逻辑、文化发展的活水源头。以互补结构整体思想的形式结构和推理有效式规律为研究对象的数理辩证逻辑,是以易经逻辑为其辩证逻辑基础的,它又是易经逻辑的一致性扩大系统。它为实现易经逻辑的现代化发展提供了现代逻辑形式化方法。本文给出的易经逻辑形式公理系统DPA++就是其现代化形式公理系统。
简介:生态文明虽然是对大工业资本时代在场方式的某种超越,但是背后仍然可能隐藏着资本创新逻辑的故事。在以大工业资本为主导地位的旧全球化时代,资本逻辑曾经是反生态的,资本疯狂逐利曾经是造就生态破坏的主要原因。然而,以后工业文明为主导的新全球化时代,资本创新以各种节约型、高科技、生态化产业为主导,表现为一种生态资本主义。生态领域绝不是阻挡资本逻辑深度进入的天然屏障。只要有利可图,资本必将成为推动生态建设的强大历史动力;生态产业成为资本创新逻辑的必然产物。绿色资本主义不仅完全可能,而且在某种程度上已成为全球现实。深绿思潮是生态资本主义的意识形态。生态社会主义预言“生态是资本主义天然屏障”的判定是对资本创新逻辑的严重误读。但是,生态发展的最终目的与资本的生态逻辑之间依然存在着本质上的对立。我们需要全面历史地重新反思生态文明与资本创新逻辑之间的辩证关系。
简介:对于逻辑是什么,有两种相互冲突的立场:当代哲学中流行的看法是逻辑是纯形式的,逻辑命题没有事实内容;而在弗雷格和哥德尔那里,逻辑是有关客观概念世界的科学。这两种观点都需要哲学立场的支撑,前者需要经验论或物理主义的立场,后者则预设了实在论或柏拉图主义。所以,流行的观点并不是哲学中立的,因此也不是更自然的或不可避免的。相反,弗雷格为数学奠定逻辑基础的努力,哥德尔成就逻辑学的伟大成果以及当代逻辑学家对连续统问题的研究都表明,实在论的立场总是能更好地解释逻辑学研究的实践。因此,我们有理由相信:把逻辑视为纯形式的观点,虽然看似自然而然,但在某种程度上是哲学史和逻辑史上的一个误解。