三值逻辑和模糊逻辑的解决方案,逻辑学论文.docx

《三值逻辑和模糊逻辑的解决方案,逻辑学论文.docx》由会员分享，可在线阅读，更多相关《三值逻辑和模糊逻辑的解决方案,逻辑学论文.docx（14页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、三值逻辑和模糊逻辑的解决方案,逻辑学论文根据二值原则，我们言讲某事物的话语是或者真或者假，因而相对于会话语境我们表示出话语的语句就有确定真值。根据弗雷格、罗素和早期维特根斯坦的观点，一种逻辑上完善的语言是二值的，并且这种语言中的每个合式公式都是或真或假，可见二值对于当代逻辑核心的形式系统的所有标准解释是必不可少的。然而，二值原则对于日常语言的很多语句是成问题的。我们看以下三个语句： 1明年 12 月 21 日中午我将在北京。 2飞马有一条白色的后腿。 3蒂莫西 威廉姆森Timothy Williamson是瘦的1 185. 语句1牵涉将来偶尔事件，由于它在当下时刻既不能肯定也不能否认，只是可能

2、而非必然，所以它既不真也不假。语句2包含空名或虚构名称，即华而不实的单称词项 飞马 没有指称，所以它也没有确定真值。语句3同样没有确定真值，由于它包含的谓词 是瘦的 具有含混性vagueness。 通常，我们把 是瘦的 这类谓词称作含混谓词，日常语言中有很多这样的词，如 是秃头 、 是高的 等。含混谓词的主要特征是它应用来描绘叙述的事物情形与不能应用来描绘叙述的事物情形之间没有精到准确边界，总会出现边界情形borderline case。以 是瘦的 为例。它能够用来描绘叙述体重仅为 50 公斤的成年男性，不能用来描绘叙述体重 100 公斤的成年男性，但它能否用来描绘叙述体重 75 公斤的成年男

3、性则是不确定的。因而，就威廉姆森的身材来讲，没有人知道他能否是瘦的，即便将他的体重测量结果与其别人进行比拟也无法做出断定。于是，类似体重 75 公斤的人这样的情形就属于含混谓词 是瘦的 的边界情形。当描绘叙述边界情形时，包含含混谓词的语句没有确定真值，我们把这样的语句称作边界语句borderline sentence。上述语句3就可能是一个边界语句。基于此，排中律的一个实例 或者威廉姆森是瘦的或者威廉姆森不是瘦的 也没有确定真值。因而，日常语言的含混性导致经典逻辑的排中律或二值原则失效。 不仅如此，当我们用经典逻辑的有效规则对包含含混表示出式的语句进行推理或论证时，堆垛悖论sorites pa

4、radox便会产生出来。含混谓词应用的情形没有精到准确边界，这就意味着它指称的概念的外延没有固定界线，或者讲它的外延边界是弹性的。根据莱特C. Wright的观点，含混谓词具有容忍性tolerance，也即它能够容忍谓词外延范围内的细小变化而不会造成大的影响.例如，假如 是瘦的 能够应用于体重 50 公斤的成人，那么它可以以应用于体重 50.1 公斤的成人。我们能够用含混谓词 是瘦的 描绘叙述这样一个序列的事物：a0,a1,a2, ，an,华而不实 a0表示 体重 50 公斤的成人 ,an表示 体重 50+n/10 公斤的成人 .这样的序列我们称作堆垛序列，在这个序列上任意两个相邻事物间的差异

5、非常之小以致无法区分，假如含混谓词能够应用于 an,那么它必定可以应用于 an+1.除此之外，含混谓词能够明确地应用于序列的第一个事物，而不能应用于序列的最后一个事物。显然， a0是瘦的 为真，并且对于任意 nn 为自然数，假如 an是瘦的 为真，那么 an+1是瘦的 也为真。经过连续屡次运用分离规则modus ponens，我们能够证明体重 100 公斤的成人是瘦的也即 n=500。这个结论明显为假。我们能够换用不同的含混谓词做出同样论证，例如 是秃头 、 是红的 ,最后得到的结果分别是 无论有多少头发我总是秃头 、 红色是蓝色 . 借用这种堆垛论证，我们几乎能够证明任何明显为假的事情。堆垛

6、论证有很多不同种类的形态，海棣D.Hyde曾给出六种不同的论证型式3 117.我们在这里主要关注它讨论最多的标准型式，也即条件句型式的堆垛论证。我们熟知的谷堆悖论和秃头悖论都可使用这种型式表示出。令 F 表示含混谓词，a0,a1,a2, ，an表示相应的堆垛序列的事物，条件句型式的堆垛论证能够表述如下： 堆垛论证之所以称为悖论，是由于它的前提都看起来为真，推理也是有效的，结论却为假。关于悖论，我们至少能够有三种方式拒斥它：或者证明它的论证不可靠，由于它实际上有某个或某些假的前提；或者证明它的论证形式无效，由于它使用的推理形式无效；或者两者兼有之。确实，一种好的含混性解释理论应当能够提供堆垛悖论

7、的一种好的解决方案。 二、三值逻辑的解决方案 既然经典二值逻辑不能处理含混性问题，作为基于哲学的考量而产生的第一个非经典逻辑，多值逻辑自然被用作一种替代方案。我们这里仅考虑三值逻辑。不过，大多数三值逻辑的产生不是由于含混性问题。例如，皮尔士C. S. Peirce既关注过含混性问题又考虑过三值逻辑，但是他没有发表他的三值表，我们也不清楚他对三值逻辑的信念有多坚定，所以皮尔士能否有意将三值逻辑的基本原理应用于含混性问题尚不得而知。卢卡西维茨在 1920 年代正式提出的第一个三值逻辑系统也是基于自由意志或非决定论问题。俄国数学家鲍契瓦尔D. Bochvar在 1937 年提出两个非常不同的三值逻辑

8、系统，但他的动机是为了解决经典逻辑和集合论中出现的悖论，十分是讲谎者悖论。克林S. C. Kleene在 1938 年遭到数学基础研究的启发创立了一种强三值逻辑，后又在 1952 年的(元数学导论中建立弱三值逻辑，但他的动机主要来自算术。 第一位尝试将多值逻辑用来解释含混性的人是瑞典逻辑学家哈尔登S. Hallden。他在 1949 年的著作(无意义的逻辑中以为，一个命题是 无意义的 意指它既不真也不假.因而，边界语句的真值就是无意义，既不真也不假。例如， 1000 根头发的人是秃头 是 无意义 命题。哈尔登通过采用一种包含真、假和无意义的三值逻辑来适应 无意义 的语言。为此，他给出一个包含二

9、值真值表的三值表，假如每个支命题是真或者假，那么复合命题拥有与二值表一样的真值；假如任何一个支命题是 无意义 ,那么复合命题也是 无意义 见表 1。除了表 1 所示真值表外，哈尔登还引入一个新的一元算子+.+p 意味着 p是 有意义的 .因而，假如 p 是 无意义 ,+p 就为假而不是 无意义 .否则，它为真见表 2。因而，+p意味着 p 是 无意义 .哈尔登将真和无意义都当作指派值，也即非假的保存。他给出的有效性定义是：一个公式是有效的，只要它不为假而不必为真。 显然，根据哈尔登的三值逻辑，条件句型式的堆垛论证是一个无效论证，由于它使用的推理规则是无效的。也就是讲，分离规则在哈尔登的三值逻辑

10、系统内是无效的。我们来检验这个规则的一个应用形式能否有效，也即从p p +p 和 p p 到+p 的推理。无论我们怎样赋值，它的两个前提都不为假，但当 p 是 无意义 时它的结论为假。因而，分离规则对于牵涉算子+的公式无效。我们再看分离规则对不牵涉算子+的公式能否有效。当 p 是 无意义 并且 q 为假时，前提 p q 和 p 不为假而结论 q 为假，分离规则仍然无效。由此可知，根据哈尔登的三值逻辑的有效性定义，分离规则缺少有效推理形式的属性：当下提采取指派值，结论也取指派值。但是，根据这个有效性定义，排中律是有效的，由于它固然不为真但也不为假，而这与排中律在含混语言中失效的观念相矛盾。因而，

11、哈尔登的三值逻辑似乎不是合适含混语言的有效逻辑。 科尔纳S. Korner在 1966 年的著作中用一种不同版本的三值逻辑来处理含混性问题5 3740.科尔纳将他的三值逻辑称为 不确切概念的逻辑 .根据科尔纳的观点，不确切性源自事例所定义的概念的边界情形。这样的概念 F 将对象划分为：正面候选者，也即必定被选择为 F 的正面实例；反面候选者，也即必定被选择为反面实例；以及中立候选者，也即可能选择为正面或反面实例，这依靠于自由选择。由此，就有一种三值的前选择逻辑和一种二值的后选择逻辑。概念的三种候选者对应三种命题：真、假和中立。真和假被想象为稳定态，中立被想象为临时态。我们能够通过自由选择选取一

12、个中立命题为真或假。科尔纳的三值语义真值表如下表 3： 从科尔纳的三值表，我们看到否认和等值连接词的语义解释与哈尔登的三值表一样。但是两者也有不同：首先，科尔纳取消了哈尔登的一元算子+的真值表；其次，对于合取连接词，当一个合取支为假而另一个合取支是中间值时，根据哈尔登的三值表合取式为中间值而根据科尔纳的三值表合取式为假；再次，对于析取连接词，当一个析取支为真而另一个析取支为中间值时，根据哈尔登的三值表析取式为中间值而根据科尔纳的三值表析取式为真；最后，对于蕴涵连接词，当下件为中间值而后件为真，或者当下件为假而后件为中间值时，根据哈尔登的三值表条件句为中间值而根据科尔纳的三值表条件句为真。 科尔

13、纳似乎没有明确讲明将哪个或哪些值作为指派值并给出相应的有效性定义。根据科尔纳的三值表，假如真是唯一的指派值，没有公式将是有效的，由于当一个公式的所有语句变元都是中立的时候这个公式是中立的。不矛盾律、同一律都是无效的，不过分离规则是有效的。假如真和中立都是指派值，那么有效的公式将与经典逻辑的那些有效公式相符，但分离规则例外，由于当 p 为中立值而 q 为假时，p q 和 p 都取指派值而 q 取非指派值，因此推理无效。但是，在这种有效性定义下排中律仍然成立。因而，将科尔纳的三值逻辑用来处理含混性问题确实是一个困难。 三、模糊逻辑的解决方案 以三值逻辑为代表的有限多值逻辑其值的数量为 n,n 为自

14、然数且 n 3将真值划分出离散的边界与堆垛序列的连续性不相容，因而人们猜测真值可能是连续地变化，由此产生一种 真 以连续的度变化的逻辑，这就是模糊逻辑。卢卡西维茨创立的连续值或无限值逻辑是形式化的模糊逻辑的基础。一些得到最广泛研究的模糊逻辑都是建立在卢卡西维茨的无限值系统基础上。在后来模糊集合的基础上发展出一种形式上类似于连续值逻辑的模糊逻辑，因此连续值逻辑被看作建构模糊逻辑的一种自然和基本方式。模糊逻辑通过一系列规则和多值逻辑联络起来，主要运用了卢卡西维茨的连续值逻辑continuum-valued logic6. 我们令语句 p 的真度是p,它被假定为 0 和 1 之间的实数。当 p 是完

15、全真时，p=1;当 p 是完全假时，p=0;当 q 是至少和 p 一样真时，p q.卢卡西维茨的连续值逻辑有下面语义学： 在这种模糊语义学中，卢卡西维茨将 1即完全真作为唯一的指派值，一个公式是有效的只要它在其原子语句的任何真度赋值下皆为完全真。因而，推理形式是有效的只要它的结论在所有前提为完全真的赋值下为完全真，也即有效性被定义为完全真的保存。但是，也有哲学家将有效性定义为真度的保存，即结论的真度不低于最低值的前提的真度。 根据上述模糊语义学，我们能够赋予边界语句一定的真度0 到 1 之间。以含混谓词 是秃头 为例，那么就有一个堆垛序列：a0,a1,a2, ，an,华而不实 a0表示 有 0

16、 根头发的人 ,an表示 有 n 根头发的人 .显然， a0是秃头 为真，并且对于任意 nn 为自然数，假如 an是秃头 为真，那么 an+1是秃头 也为真。假设 n=100000,通过连续运用 10 万次分离规则，我们能够得到结论 有 10 万根头发的人是秃头 ,这个结论明显为假。问题是，这里使用的分离规则能否有效。这就依靠于我们采用什么样的有效性标准。 假如有效性被定义为完全真的保存，那么分离规则是有效的，由于假如 p 和 p q 在度 1 上为真，那么 q也是。在这种意义上，堆垛论证是有效的，但这意味着一个有效论证能够有几乎完全真的前提和完全假的结论。假如有效性被定义为真度的保存，那么分

17、离规则不是有效的，由于假如 p 和 p q 在至少 99999/100000 的度上为真，那么 q 可能只在 99998/100000 的度上为真，这样结论的真度就低于前提的真度。我们换种简单的方式来讲明。例如，当p=0.7,q=0.6,p q的真度就为 1+0.6-0.7=0.9,这样前提 p 的真度为 0.7,另一前提 p q 的真度为 0.9,而结论 q 的真度为 0.6,显然结论 q 的真度低于最低值的前提p 的真度，这违背了有效性标准。因而，假如分离规则不是有效的，那么堆垛论证就是一个无效论证。 然而，根据模糊语义学的分析，堆垛论证不在于它是有效还是无效，它其实是不可靠的，由于它包含

18、假的前提。为什么我们不能辨别出这些假的前提，并且还倾向于接受这些假前提呢？在上述有关秃头的堆垛论证中，它的第一个前提 Fa0是完全真，而结论 Fan是完全假。根据真度理论，随着 n 从 0 增加到100000,Fan的真度在不知不觉地减少。但是，为什么我们无法发觉到这种减少呢？我们能够使 Fan在 1-n/1000000 n 100000的度上为真这样 Fa0是完全真而 Fa100000是完全假，于是真度从 Fan到 Fan+1的下降仅仅仅是 1/100000,这意味着在堆垛论证的每个条件句前提中，前件仅仅由于 1/100000 的程度比后件更真。根据蕴涵连接词的解释 ，每个条件句前提在 99

19、999/100000 的度上为真。我们在连续运用分离规则的经过中不断从前提 Fan在100000-n/100000 的度上为真和 Fan Fan+1在 99999/100000 的度上为真推出结论 Fan+1在99999-n/100000 的度上为真。因而，中间结论的真以 1/100000 的程度在不断下降。由于论证的每个步骤都是同等地位，所以每个条件句前提都是几乎完全真，不存在一个切割点能够区分从真到假的转变。在堆垛论证的条件句前提中细小的假度导致它的结论中高的虚假度。我们无法发觉这种细小的假度，反过来由于这些条件句前提的真度极高几乎接近完全真，所以我们又倾向于接受它们。因而，堆垛论证可能既

20、是无效的，也是不可靠的。 四、多值逻辑解释的窘境 以三值逻辑和模糊逻辑为代表的多值逻辑已经发展成为解释含混性的一种标准理论，但是由于下述两个方面的困难，它很难成为一种好的含混性解释理论，因此也不能提供一种好的关于堆垛悖论的解决方案。 首先，一个困难是高阶含混性问题。三值逻辑直接遭遇二阶含混性问题。既然人们以为将含混命题划分为真与假是不合理的，同样将含混命题划分为真、假和中间值也是不合理的。假如我们以为经典二值逻辑将真与假之间划分清楚明晰的界限是反直觉的，那么三值逻辑将真与中间值以及中间值与假之间划分清楚明晰界限也是反直觉的。例如，当仅有一粒谷子的时候，语句 这是一个堆 明显为假，但是随着我们每

21、次不断增加一粒谷子，在某个时刻上这个语句就变为真比方增加到 100 万粒谷子。然而，我们不能辨别出一个切割点也即增加到多少粒谷子的时候，在这个点上语句由假变为真。同样，我们也不能辨别出两个这样的切割点：一个是从假转变成中间值，另一个是从中间值转变成真。假如两个值不够，那么三个值甚至更多值也是不够的，反对二值逻辑的论证同样适用于本身。因而，三值逻辑遭遇的二阶含混性将继续导致高阶含混性： 最初划分为三类真/假/边界让位于划分为五类清楚明晰的真/真和边界之间的边界/清楚明晰的边界/假和边界之间的边界/清楚明晰的假，这又依次让位于划分为九类，等等。这不是一个可接受的递归。分割成新的类是我们还没有充分解

22、释这种潜在现象的征兆 .因而，解决三值逻辑的窘境不是用更多值比方十七值的逻辑来替代三值逻辑，由于反对三值逻辑的论证同样适用于 nn 3值逻辑，而且 n 的选择是任意的。这也是为什么应用于解释含混性的多值逻辑逐步趋向于使用无限多值的模糊逻辑。但是，模糊逻辑也有类似问题。模糊逻辑用两个其他的划分来代替真假划分： 在度 1 上的真与小于 1 的正度上的真之间的划分，以及在大于 0 的某个度上的真与在度 0 上的真之间的划分 .事实上，我们把某个模糊真值赋予给每个对象构成特殊函数，再将日常语言的每个含混谓词与这些特殊函数相联络，并将每个含混语句与特殊的模糊真值相联络，这种做法只会造成人为的清楚明晰性，

23、因此是不合理的。 其次，解释含混性的多值逻辑都暗地假定了真值函项的理念，也即根据真值函项连接词构成的复合句的真值分类依靠于其子句的真值分类。模糊逻辑的度函项就具体表现出了这种真值函项理念。真度理论假定复合句的真度是其成分句的真度的函数，因而在模糊逻辑中连接词同样被真值函项地定义。然而，这种度函项假定存在问题。假设 p 在与 q 一样的度上为真，那么 p q 与 p p 也在一样的度上为真。既然p p与 p 在一样的度上为真，那么 p q 也与 p 在一样的度上为真。我们假设某人渐渐入睡，语句 他是醒着的 和 他是睡着的 都是含混的。根据真度理论，随着前者在真度上下降而后者在真度上上升，在某个点

24、上它们就有一样的真度，也即中间真度。因而，合取式 他是醒着的并且他是睡着的 也有一样的中间真度。然而，根据定义 醒着 和 睡着 是互相排挤的， 他是醒着的并且他是睡着的 根本就不可能为真，我们人不可能处在这个合取式为真的情形与它为假的情形之间的不清楚区域。假如我们用 他不是醒着的 代替 他是睡着的 ,那么在某个点上 他是醒着的 为半真中间真度，所以 他不是醒着的 也为半真，于是 他是醒着的并且他不是醒着的 也将算作半真。一个明显的矛盾式怎么可能在任何度上为真而不是假呢？因而度函项对于合取式是失效的，同理可知，度函项对于析取和条件句都失效。真值函项对于最基本的逻辑算子的语义学很重要，但它可能不是根据度来描绘叙述。因而，通过用真度取代真值进而将真值条件语义学适用于含混语言，这种做法是失败的。根据威廉姆森的观点，多值逻辑固然在提高形式化程度方面致力于解决含混性问题，但它却与含混性问题的哲学动机不一致1 130.