否定与否认:说谎者悖论研究中的两个重要概念

说谎句"f:f不是真的"中否定词含义的理解和刻画,是说谎者悖论研究中需要特别注意的问题.巴威斯等在说谎者悖论的研究中敏锐地捕捉到了否定与否认的差异,在对比分析有关说谎者悖论的两种不同解决方案(罗素型解释和奥斯汀型解释)的过程中,凸现了否定和否认的区分及其价值:罗素型解释表明说谎者悖论源于否定和否认的混淆,而建立在对说谎者悖论更加精致分析基础上的奥斯汀型解释则指出,否定和否认的混淆仅是说谎者悖论产生的直接原因之一.     

也谈“说谎者悖论”的消解

本文认为，“说谎者悖论”产生的原因在于我们假设了所有命事实命题，而百假设了古黄二值的普遍有效性，因为即使在多值逻辑和无穷逻辑中，这类悖论仍然无法消解。实际上，命题可分为事实命题与非事实例题。事实命题有对应的事实，因而有真假，非事实命题没有对应的事实，因而是没有真假的。“说谎者悖论”这一类命题就属于非事实命题，没有真假可言，此前证明其为悖论的证明都误用了逻辑。既如此，悖论也就自然而然消解了。     

从逻辑哲学看模糊逻辑的形式化

从逻辑哲学观点看,在"符号化、公理化的模糊逻辑"与形式化的"人脑使用的模糊逻辑"(苗东升的说法)这两者之间,只是形式模型及其现实原型的关系,决不相互排斥.真正的问题不在于,现实生活中人脑所使用的实际上行之有效的模糊推理,是否应该和可能符号化、公理化,而是在于如何恰当地进行形式化.笔者采用苏珊·哈克(Susan Haack)的逻辑哲学观点,认为非经典逻辑可划分为扩展逻辑和异常(deviation)逻辑,模糊逻辑归属于异常逻辑.本文以模糊逻辑系统FZ为例,具体分析了虽然经典逻辑中一些较强的公理和推理规则均不成立,但是与之对应的较弱的"合经典的"(well-behaved)公理和推理则却仍然可以成立,由此导致一系列新奇性质.笔者采用了达·柯斯塔(da Costa)的形式化技巧,它是关睛"在虚设不矛盾律成立的前提下"(相应公式可以称为"合经典的")才能成立的逆否律.当我们撤除了"虚设不矛盾律为前提"的限定,它又重新回到了无条件成立的情况.笔者也推广了玻尔(N.Bohr)和冯·威扎克(von Weizsaecker)关于对应原理的思想,认为作为非经典逻辑的模糊逻辑与经典逻辑之间也应当遵守"对应原理":经典逻辑是模糊逻辑的前身,模糊逻辑将构成更为普遍的逻辑形式,经典逻辑作为模糊逻辑的极限形式,在局部情况下还保持自身的意义.     

从"逻辑"到"语法"——论维特根斯坦后期语言观对模糊语义研究的启发

模糊性研究的核心问题是逻辑和语义学应该如何处理模糊语词和概念,但是模糊语义的逻辑解决方案却给自身造成了难以解答的逻辑困难。通过对维特根斯坦后期语言研究方法的转变的分析,即从逻辑分析转向语法考察,文章指出模糊语义研究应摆脱对逻辑化的诉求,回归到我们现有的日常语言中进行分析。     

情境语义学解悖方案评析

以奥斯汀式命题观为基础、奥斯汀式阐释为形式,情境语义学解悖方案合乎直觉地解决了以说谎者悖论为首的一批语义悖论.通过对比分析奥斯汀式阐释与罗素式阐释,可以看出,说谎者悖论产生的根源是忽视了情境或情境要素参量.情境语义学解悖方案对语形悖论,包括罗素悖论和合信悖论等也具有推广价值.     

说谎者悖论及其解决

<正>说谎者悖论是一个具有逻辑和认识论意义的极古老的悖论，从来为逻辑学者所关注和研究。进入二十世纪，由于陆续发现了许多新的类似的悖论，直接危及经典的逻辑和数学理论的可靠性，这个悖论得到更认真的对待。如今习惯上把这些悖论分为两类：集合论悖论和语义学悖论。说谎者悖论与其他若干悖论一起，由于分别涉及“真”、“假”、“云谓”、“指称”、“定义”等逻辑语义学概念而被归为语义学悖论，它是其中最有代表性的一个。为解决这个悖论，历史上提出了各种各样的理论，本世纪逻辑学家则立足于现代逻辑提出许多解决方案。所有这些努力都促进了逻辑的发展。但是，这个悖论本身（一般地说，语义学悖论）一直没有得到无可争议的解决，至今仍在不断地探索和研究。     

“说谎者悖论”剖析——思辩逻辑是产生“悖论”的根源

思辩逻辑认为逻辑的研究对象是思维或语言;而客体逻辑则主张逻辑科学研究独立于人的认识的客观世界原本具有的客观的逻辑结构和规律。剖析“说谎者悖论”的关键是鉴别“命题”及其“真假”的标准:思辩逻辑认同语言标准;而客体逻辑则坚持客体标准。“说谎者悖论”的真相是:向壁虚构的构造者们不要物证、不顾时空地将几个同音同形然而不同义的语句叠合在一起,从而将语句的“虚”与“真假”根本不同的值纯思辩地混沌杂揉。从实事求是的客体逻辑出发,任何人构造不出任何一个在事实上满足“自我悖反”的“悖论”。     

模糊逻辑与自然语言中的语义模糊

自然语言和形式语言的一个重要区别,是自然语言具有语义模糊性。二值逻辑与三值逻辑对命题语义处理是不足的。以札德"模糊集合论"为理论基础的模糊语义分析为我们提供了一种描述模糊语词语义真值多样性和渐进性的全新观念和手段。     

阐释学、模糊逻辑、混沌理论与教学设计

本文从拓展当前教学设计研究的视角和思维视野出发 ,论述了阐释学、模糊逻辑、混沌理论的内涵 ,揭示了它们对教学设计研究的启示或应用价值。阐释学对教学设计强调了学习者参与理解和学会理解的重要性及其可能途径 ;模糊逻辑和混沌理论则颠覆了传统教学设计中精确性、线性、决定论和可预测性的假设 ,为教学设计的研究与应用昭示了另一种前景     

论Priest对Sorites悖论的模糊解悖方案

G.Priest在1998-2003年之间有一个对sorites悖论的模糊解悖方案,根据该解悖方案,对含混语言的最佳语意论应该是某种的模糊语意论。在这样的模糊语意论中,边界语句是既真且假的语句,而sorites悖论中所涉及的离断律和等同传递律则不是有效的推论步骤。Priest并试图利用这样的语意论去说明：为什么sorites悖论看起来像是有效的论证,以及为什么切割点的存在尽管必然却违反直觉。我在本文中论证：Priest的模糊解悖方案是一个完全失败的方案,因此最好被放弃。我论证,Priest的模糊解悖方案至少有以下几个主要的问题：它与Priest的真理理论以及双面真理论不兼容、它对于sorites悖论的诊断有特设的嫌疑、它对于sorites悖论为何看起来有效的说明不具有可信度、它对于切割点存在何以违反直觉的说明也不具有可信度、它有将高阶含混性崩塌为一阶含混性之虞。     

一种格值的模糊动态描述逻辑

为了使描述逻辑能处理更一般化的模糊动态信息,将模糊动态描述逻辑FDDL的真值空间扩充到完备格上。     

模糊逻辑在下一代通信网络接入控制设计中的应用

研究了智能技术中的模糊逻辑在下一代OFDM通信网络接入控制中的应用,分析比较了几种典型的呼叫接入控制法在不同的数据及会话类业务及不同业务强度的情况下的阻塞率。仿真分析表明模糊逻辑接入控制法与基于门限法及基于队列信息接入控制法相比,具有更高的带宽利用率。     

一种基于非抽样小波变换的模糊逻辑图像融合算法

提出了一种基于非抽样小波变换的模糊逻辑图像融合方法.该方法利用非抽样小波对红外与可见光图像进行多尺度分解变换,可分别得到原图像的高频子带系数和低频子带系数;低频子带系数的融合准则采用自适应模糊逻辑算法,高频子带系数的融合准则采用绝对值最大法,最后对融合后的各子带系数进行非抽样小波逆变换得到融合图像.仿真实验表明,该方法对红外与可见光图像融合效果好且运算处理速度更快.     

Fuzzy函数的化简问题

给出了Fuzzy函数的基本性质,纠正了杨纶标在[1]中的错误。     

具有稳定结构的模糊逻辑模型

本文利用多边矩阵理论定义的正交性及对称性,给出了一种具有双因果关系的模糊稳定性逻辑分析模型,这种稳定的逻辑分析模型结构清晰、简单,并且可用于解决许多复杂问题.     

从经典逻辑到数理辩证逻辑

经典逻辑是现代逻辑发展早期的最基本最重要的成果。它成为现代逻辑进一步发展的基础。现代逻辑的发展表明,经典逻辑既有其适用性,又有其局限性。数理辩证逻辑是在保障其适用性,又克服其局限性基础上发展起来的现代逻辑系统。数理辩证逻辑将现代逻辑适用领域扩展到非直谓性、不确定性和内涵性推理领域。数理辩证逻辑扬弃了源于经典逻辑的逻辑悖论;防止了基于经典逻辑的逻辑怪论。     

Mamdani模糊控制器与变论域模糊控制器的仿真分析

一般的Mamdani模糊控制器存在自适应能力差和控制精度不高的缺点。通过一个二阶不稳定控制对象，发现变论域模糊控制器的动态性能和稳态性能相对于一般的Mamdani模糊控制器均获得了较大的提高。在控制精度方面，变论域模糊控制器的优势尤其突出，有效地克服了Mamdani模糊控制器档级有限和缺少积分环节的缺陷。     

工程机械转向模糊控制系统设计

针对轮式工程机械四轮转向系统,提出以PIC16F877单片机为控制芯片,以零重心侧滑角为控制目标,采用模糊逻辑控制算法的四轮转向自动控制系统;仿真结果表明基于模糊控制的工程机械四轮转向自动控制系统能很好地实现控制目标。     

试论模糊逻辑及其一般应用

以模糊观念为前提而建立的模糊逻辑是当代哲学逻辑的重要发展，它的研究重点是模糊逻辑推理和可能性理论。模糊逻辑不仅具有推进人们深层思维的科学认知功能，而且在工程科学、计算机科学、软科学中也具有巨大的应用价值。