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

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

非特设性——情境语义学解悖方案的重要特征

非特设性是衡量一个解悖方案是否成功的重要标志.但以往许多著名的解悖方案,包括罗素的类型论方案、塔尔斯基的语言层次理论、克里普克的真值间隙论方案,都因没有合理地解决非特设性问题而无法给出悖论问题的合理解释.美国著名逻辑学家巴威斯和艾切曼迪1987年提出的情境语义学解悖方案,则完全避免了特设性的不足,最终实现了说谎者悖论的合理解决,被看作成功地解决悖论问题的典范.     

知道者悖论的新型解决方案探析

知道者悖论是关于日常知识概念的严格意义的逻辑悖论。新近出现的两种解悖方案以知道者悖论在可证性逻辑与证明逻辑系统中的重构为基础而得出。这两种新型逻辑系统是独立于解悖而被建构的,因此,从RZH解悖标准来看,对应的两种新方案较好地满足了非特设性要求。艾格基于可证性逻辑提出的解悖方案拒斥知识的真实性原则,这意味着放弃柏拉图经典知识定义。所以,从RZH解悖标准来看,这种方案没有较好地满足充分宽广性要求。迪恩和科克瓦基于证明逻辑提出的解悖方案拒斥统一芭坎公式,而该公式对应的认知规则正是安德森提出的方案所要拒斥的,因此可以构成对后者的一种支持。     

评现代西方学者对说谎者悖论的解决

说谎者悖论既是历史上最古老的悖论，又是最典型的语义悖论，被逻辑学者们普遍认为是在研究语义悖论时所致力要攻克的对象。本世纪以来，解决悖论成了逻辑学界的一大热门课题，继罗素提出用分支类型论来解决说谎者等语义悖论之后，又出现了许多新的方案。这些方案对逻辑学等科学的发展都作出了重大的贡献，但是，对说谎者悖论的解决都是不成功的，因为他们都未抓住说谎者悖论的实质问题。     

两种不同的悖论观——情境语义学解悖方案与次协调逻辑解悖方案比较研究

情境语义学解悖方案与次协调逻辑解悖方案反映了两种不同的悖论观,二者在以下四个方面存在重大差异:(1)对悖论中所包含的矛盾认识不同;(2)解悖思路不同;(3)对悖论产生根源问题认识不同;(4)解悖结果不同.     

论作为广义悖论的行动传递怪论

在西格伯格的动态行动逻辑中,行动的后果具有传递性.切拉斯发现,行动后果的传递性在逻辑上会导致日常行动推理上的不可接受性,于是他提出了"行动传递怪论".在广义逻辑悖论的视域下,行动传递怪论其实是一种悖论.对于行动传递悖论,最直观的解悖方案有两种:一是限定推理的范围;二是加入语境因素.根据RZH解悖标准:限定推理范围解悖方案不满足充分狭窄性,也不满足非特设性;而语境解悖方案的特设性也过强.故两种解悖方案都不太令人满意,对于行动传递悖论有待进一步研究.     

说谎者悖论中的T-模式

T-模式是塔斯基提出的与真有关的一个重要模式,即“x是真的当且仅当p”,其中p是一个句子,x是这个句子的名字.因其非常符合“真”这个词的直观而成为现代逻辑真理论的一条重要规则.说谎者悖论的产生都与T-模式或其等价式有关.所以研究说谎者悖论必须研究T-模式.T-模式包含两个关键词:“当且仅当”和“真”.文章讨论了这两个关键词在说谎者悖论及其解悖方案中的理解,以及与T-模式有关的另一条规则“(IP)规则”.     

再论说谎者悖论的消解

说谎者悖论是最典型的语义悖论,有广义和狭义之分,狭义的说谎者悖论是指基本形式的说谎者悖论,广义的说谎者悖论是指基本形式的的说谎者悖论和强化的说谎者悖论。本世纪初以来,解决悖论成了逻辑学界的一大热门课题,继罗素提出用分支类型论来解决说谎者等诘义悖论之后,又出现了许多方案。但是,对说谎者悖论的解决都是不成功的,因为它们都未抓住说谎者悖论的实质问题。本文针对说谎者悖论的实质问题,就说谎者悖论的消解作一番探讨     

彩票悖论与序言悖论的同构性与统一解

彩票悖论和序言悖论都是关于合理接受的悖论,它们具有相同的悖论结构和悖论类型,也即具有同构性.然而,这两个悖论迄今没有一个公认的统一解.通过对彩票悖论进行同构变形,将其中的"信念"与"知识"的不一致转化为信念之间的不一致,从而使得序言悖论的预期似真度解悖方案亦可应用于彩票悖论.如果接受预期似真度解悖方案的相关预设,那么该方案就可视为彩票悖论与序言悖论的一个统一解.     

评绿蓝悖论的消除主义方案——与陈晓平教授商榷

针对绿蓝悖论，西方学界有代表性的解悖方案主要包括语言主义方案、贝叶斯主义方案和证伪主义方案。我国学者陈晓平教授独立地提出不属于三种方案的消除主义方案。根据该方案，绿蓝悖论所涉论证中某个牵涉证据陈述的前提并不成立。我们从两个方面提出批评意见，认为该方案并不是一种令人满意的解悖方案。     

悖论视角下的计算机病毒问题

随着高级程序语言的普及与发展,源于程序语言的计算机病毒越发肆虐。悖论与计算机病毒在直观层面并无交集,但实则两者之间存在着深刻关联。在形式上,两者通过集合理论息息相关;在内容上,计算机病毒的产生也具有类悖论机制;解悖方案的探索与解悖标准的确立对反病毒机制的研究也有着深刻的指导意义。     

说谎者悖论中的自指与否定

通过列举并分析一些常见说谎者悖论的例子,对说谎者悖论中的自指与否定这两个重要概念及相关问题进行了讨论.讨论了自指及其实现方式,以及自指与说谎者悖论产生的关系;讨论了说谎者悖论中否定的含义及其在说谎者悖论中的实现方式,以及否定与说谎者悖论的关系.     

寇里悖论与弗封闭模式之辨

普利斯特用弗封闭模式将若干集合论悖论和语义悖论统一为“同一种悖论”,进而根据统一解法原理论证其“双面真理论”的解悖优势。但他坚持将寇里悖论排除在弗封闭模式之外,引起了广泛争议。他在严格区分寇里语句与寇里论证的基础上回应了比尔等人的质疑,但将悖论的实质归于论证并不能成功区分寇里悖论与弗封闭悖论。回顾寇里本人的工作,寇里语句的构建是寇里悖论最终建构的关键要素,也是区分其集合论版本与语义版本的直接依据。因此与寇里语句紧密相关的理论背景与事实才是寇里悖论的实质所在,弗封闭模式依据论证形式统摄罗素悖论与说谎者悖论却排斥寇里悖论的做法是不恰当的,悖论的“属概念”是理论事实而非论证,悖论的分类应当以理论背景为标准。     

说谎者悖论：语言学中的一种代数学现象

从关于说谎者悖论的“句方程”方案中可以提炼出总的看法：说谎者悖论是语言学中一种相当纯粹的代数学现象。这是“句方程”方案的必然结论。实际上,“句方程”方案全面吸收了代数学的思想成果,从基本定义开始,就是参照代数学的思想建立和展开的。而之所以可以把说谎者悖论与代数学做如此深度的连接,根本原因在于三卡悖论的发现。三卡悖论是说谎者悖论与布尔代数深度相关的无可辩驳的证据,是“句方程”方案立论的基础。     

说谎者悖论的真之紧缩论解答

真之紧缩论者可以提供一种解决说谎者悖论的方法。与贝尔的基于紧缩论的"无意义策略"不同,紧缩论的方法并不需要诉诸某种非紧缩论的意义理论去说明说谎者语句的无意义性。借助DT-原则或真谓词的可消去性特征,紧缩论的方法足以阻止说谎者悖论的产生。尽管紧缩论本身无法解决"划界问题",即无法完全确定说谎者语句是否是真正的真之载体,但由于紧缩论的方法保留了经典逻辑作为其基底逻辑,而经典逻辑的二值语义学很自然地排除了有真值但无意义的语句导致的假的T-语句,这也使得紧缩论的方法较之其他解悖方法而言是一种更为经济适用的方法。     

论含混性的本质

关于含混性,目前有许多理论观点。为了解决因含混性而导致的连锁悖论,各个理论基于不同的观点（关于含混性的本质）而发展出彼此迥异的解悖方案。透过对含混性的本质做全面且深入的探讨,企图来论证在检视一个解悖方案的优劣得失时,关键之处在于该方案是否对含混性本质提供一个令人满意的说明,而不在于它是否成功地解决或解释悖论。     

“典型语义悖论”之推理不合逻辑

以“说谎者悖论”和“强化的说谎者悖论”为代表的“典型语义悖论”至今尚未消解,只有借助透彻的语义分析澄清这些语句的含义才能真正做到这一点。分析表明,这两个“悖论”并不是单义句而是多义句,它们都具有无穷多种含义,且在每种含义下均取唯一确定的真值。由此可见,这些“悖论”的推理都犯有直接施推理于多义句的错误,纯属逻辑之误用,根本不合逻辑。长期困扰人类理性的“说谎者悖论”和“强化的说谎者悖论”由此方获彻底消解。与此同时,其他“典型语义悖论”亦可以同样方式予以消解,这就为所有“典型语义悖论”找到了一个非特设性的统一解     

悖论的语用学概念及其方法论意义——兼评《逻辑悖论研究引论(修订版)》

悖论的研究经历了并经历着从概念界定的争论到具体问题的分析,再到方法论问题讨论的过程.揭示悖论之语用学性质的语用学概念的提出,为悖论的方法论研究提供了新的视域.悖论的语用学性质集中体现在概念定义所使用的“公认”一词之中.但也正是“公认”一词最容易被误解或忽视,从而造成对整个悖论理解上的差异.悖论的方法论研究不仅限于解悖方案的研究,而是贯穿于悖论发现、分析与解决的全程.悖论之语用维度的讨论本身就是悖论方法论的组成部分,同时又是广义悖论研究形成和推动的基础.     

作为真值谈论句的说谎者

对于说谎者悖论的最初诊断都指向自我指称。然而,由于其中的自我指称的出错方式太过细微,以至于一直没有被相关研究者观察到,反而转向从其他看起来更重要的逻辑或者哲学要素上去寻求消解。从说谎者悖论的一个衍生悖论重新回到自我指称来观察,发现恰恰是一种注定失败的语义指称意图引发了说谎者悖论。     

确证悖论的认识论解

确证悖论的构造过程表明,它本质上是关于信念（假说）合理接受的认识论悖论;对其解悖史的系统考察可揭示各类代表性方案均明显依赖某些认识论因素。在充分挖掘确证悖论之认识论意蕴基础上,可通过修改主流方案所默认的逻辑上的确证等值条件,在认识论上消解确证悖论,并对这一消解给予有力辩护。