本书提出了对悖论之悖的元层次解析,揭示了亚相容解悖方案在方法论上的独特性质;考察了亚相容解悖方案在弃合方向、多值化方向、正加方向和相干方向的核心成果,分析了其消除悖论的主要机制;运用RZH评价标准,讨论了这些成果在狭窄性、宽广性和非特设性方面的成绩与不足;批判了以允许真矛盾或限制有效性为手段的基础逻辑研究路径;提出了亚相容解悖方案逻辑应用研究路径的构想,论证了其合理性和可行性,并构建了一个面向悖论的亚相容置信逻辑公理系统。
前言
美国作家海勒(J.Heller)在小说《第二十二条军规》中讲述了一个有趣而又荒诞的故事。约翰·尤萨林上尉忍受不了永无休止的战斗飞行任务,于是装疯躲进了医院。他以为这样就可以名正言顺地停飞,因为在飞行员中流传着这样一条军规:疯子可以获准免于飞行。但他很快发现,自己打错了算盘。按照要求,他必须亲自提出申请,可这条该死的军规还宣称:凡能够意识到飞行有危险而提出申请的,属于头脑清醒者,应当继续执行飞行任务。假如上尉真的提出申请,这就等于向人们宣告:我证明自己是个疯子。证明是一个理性思维活动,要理性地证明自己此时是不理性的,何其难也。若明知如此而为之,又是多么不理性的行为!这是一个离奇的纠缠,思维中的自我相悖。在这样的悖乱中,如何能够保持清醒的头脑,这正是本书研究的对象亚相容解悖方案(paraconsistent solution to paradoxes,简称亚相容方案)所关心的问题。
悖论(paradox)有着悠久的历史,它一经在我们的思维中出现,就再也挥之不去,关于它产生的根源与解决之道的争论也从未停止过。从逻辑的观点看,不论何种解悖的主张,都一定包含了对某种逻辑的承诺。此时,为解悖提供合法的逻辑基础,便成了逻辑学研究的一项重要任务。在逻辑学的大家族中,亚相容逻辑(paraconsistent logic)无疑是有革命性的,它毫无顾忌地向我们的思维大法(不)矛盾律(law of non-contradiction)发出了挑战。在它的立场上,矛盾(contradiction)并不是那样可憎,含有矛盾的理论和思维也并非如此不堪;相反,由于我们以往把矛盾律当作教条,一味地拒绝矛盾,我们应当为此自我检讨。既然如此,当悖论出现的时候,正确的态度应该是面对,把其中的矛盾当作真命题接受下来,并在逻辑系统中对它的真提供精确的刻画。唯有这样,我......
付敏,男,四川旺苍人。2009毕业于南京大学哲学系,获逻辑学专业博士学位,曾受国家留学基金委资助,在新西兰奥克兰大学哲学系访学一年。曾任澳门科技大学助理教授,现任教于西南财经大学人文学院。主要研究方向为逻辑悖论、亚相容逻辑,近年来专注于真矛盾论、亚相容逻辑及其解悖机理与功能研究。主持和参与国家社科基金、中央高校等多个项目,取得了一系列研究成果,在国内重要期刊发表多篇学术论文。
章悖论的亚相容解决路径
节悖论的表现和根源
一悖论的表现
二悖论的根源
三解悖的评价标准
第二节解悖的亚相容之路
一不相容且非平庸诉求
二亚相容方案的历程
第三节亚相容方案的方法论特质
一解悖路径的特异性
二解悖资质的特异性
第二章弃合方案和多值化方案
节亚相容弃合方案
一雅斯科夫斯基的讨论逻辑
二雷歇尔和布兰登的不相容世界
第二节亚相容多值化方案
一普利斯特的悖论逻辑
二普利斯特的亚相容衍推
第三章正加方案和相干方案
节亚相容正加方案
一达·科斯塔的Cn系统
二亚相容辩证逻辑系统DL
第二节亚相容相干方案
一相干方案的动因
二相干方案的形式系统
第四章狭窄性和宽广性考察
节亚相容方案的狭窄性考察
一对悖论的消解与接受
二寇里型悖论的挑战
第二节亚相容方案的宽广性考察
一经典规则的有限合法
二亚相容情境中的经典推理
三亚相容方案的合经典性诉求
第五章特设性考察:矛盾不必为真
节真矛盾与悖态中的理论
一理论的意义在矛盾之外
二悖论的意义在于证伪
第二节真矛盾与系统内外的相符性
一对系统外亚相容原型的误解
二系统内语形和语义的不平衡
第六章特设性考察:矛盾无法为真
节真矛盾在系统内无法定义
一纯语形定义的不足
二语义型定义的缺陷
三语用视角下的真矛盾
第二节真矛盾语义缺乏哲学根基
一对理性的误解
二本体论和认识论上的贫困
第七章亚相容方案的逻辑应用构想
节从基础逻辑到逻辑应用
一亚相容方案的核心:刻画亚相容性
二基础逻辑路径的局限
三逻辑应用路径构想
第二节面向悖论的亚相容置信逻辑BLP
一系统BLP的语言
二系统BLP的公理和规则
三系统BLP的语义
四系统BLP的特点
总结与展望
参考文献
索引
致谢