自然语言论证评价的逻辑分析

《自然语言论证评价的逻辑分析》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、自然语言论证评价的逻辑分析熊明辉【论文分类】逻辑【论文网络来源】http://www.csscipaper.com/B3【期刊期数】2007年01期【论文期刊来源】《哲学研究》(京)2006年10期第102～108页【作者简介】熊明辉，中山大学逻辑与认知研究所。论证有两种类型：论证1是指作为一种话语或交际行为的论证，它被看作是由主张（结论）及其理由（前提）所组成的；论证2是一种特殊交互作用，指的是一个论争或就特定主张做出一个论证的过程。(O’Keefe,pp.121-128)前者是指作为结果的论证(argument-as-product)，后者则是指作为过程的论

2、证(argument-as-process)。哈贝马斯把前者称为“论证”(argument)，后者称为“论辩”(argumentation)。广义的论证包含上述两种类型，狭义的论证则仅指上述第一种类型。然而，20世纪上半叶论证结构被理想化了：数学证明被人们当作成功论证的范式，论证完全被从自然语言的语境形式中抽象出来，形式逻辑（演绎逻辑）几乎被当作“逻辑”的代名词。论证研究者特别是逻辑学家要关注的是作为结果的论证，而不考虑作为过程的论证。本文试图在语用论辩理论基础上提出一种能够处理作为过程的论证评价模型——可废止语用论辩模型。一、论证评价的形式逻辑模型如我们大家所

3、熟知，分离规则是几乎所有逻辑系统必不可少的基本推论规则。在命题演算和谓词演算公理系统中，推论规则最少时只有一个，而这个正是分离规则。因此，分离规则可以说是我们整个（演绎）逻辑大厦的基本规则。R1分离规则(MP):p→q,p,∴q这条规则通常被读作：如果p那么q，并且p，因此q。用传统逻辑的话来说，它就是充分条件假言推理的肯定前件式。这一MP规则由三个陈述（命题或语句）组成：第一个陈述是一个条件陈述，即p蕴涵q；第二个陈述是p，即条件陈述的前件为真；从前两个陈述我们就能从逻辑上推出q，即条件陈述的后件也必定为真。论证评价的形式逻辑模型（或称为形式逻辑模型）是由分离

4、规则和下述四个定义组成的：D1语义有效性：一个论证是语义有效的当且仅当其前提真结论假是不可能的。D2语形有效性：一个论证是语形有效的当且仅当其结论是根据分离规则从前提中推导出来的。D3演绎有效性：一个论证是演绎有效的当且仅当它是语义有效和语形有效的。D4论证可靠性：一个论证是可靠的当且仅当(1)所有前提均真；(2)论证形式演绎有效。演绎有效性是通过语义有效性和语形有效性来定义的。其中，语义有效性是整个形式逻辑模型的基础和出发点；语形有效性是推导过程的关键环节；论证可靠性则是形式逻辑模型的归宿。在这里，论证可靠性对前提的真值作了特别规定，即排除了前提为假的情形，也

5、就是部分排除了“假命题蕴涵一切真命题，真命题为一切命题所蕴涵”的实质蕴涵怪论。但是，可靠论证一定是好论证吗？让我们从威尔逊(Wilson)给出的一个经典例子的分析开始：例1.在一艘从哈里福克斯港出海的船上，有位新海员还没见过船长。这位海员总喜欢穿着夹克衫不戴帽子在甲板上看海。一天，当他又在甲板上看海时，船长走了过来。船长突然停下来捡起一个烟头，对这位海员大声吼道：“我想知道这该死的东西到底是谁的？”这位海员略思片刻，然后慢条斯理地对那位粗鲁的长官说：“伙计，我说他是你的，因为是你发现了它。”（转引自Walton,1989,p.2）根据形式逻辑模型，这位海员的论证

6、形式如下：(x)(Ax→Bx)，Aa，∴Ba。其中，第一个前提是未表达前提，但读者很容易按照上述形式将其补充出来。从形式上看，这个论证显然是演绎有效的。假如第一个前提是真的，而第二个前提又是真的（因为这是事实），其结论为真似乎不容怀疑了，因为这样该论证满足了论证可靠性定义。可是，提问者碰巧是船长，海员完全歪曲了提问者的意图，因而他的论证是不恰当的。这里问题的关键在于：第一个前提只是似真的，而且现实生活中绝大多数论证都只能是似真的。在这种情况下，我们就无法用论证可靠性来评价论证了。因此，在形式逻辑模型与真实论证评价之间似乎存在一个空缺。这个空缺与众所周知的符号三维

7、度——语形、语义和语用维度有关。语用维度正是形式逻辑模型所忽略的，因此，我们可以把这个空缺称为“语用空缺”，以处理日常生活中自然语言论证为对象的非形式逻辑、语用论辩理论等应运而生。二、非形式逻辑模型为了解决语用空缺问题，我们需要引入约翰逊和布莱尔提出的论证评价的RSA标准。(Johnson&　Blair,p.55)在这个RSA评价模型中，他们设定了好论证的三条标准：(1)前提必须可接受；(2)前提必须与结论相干；(3)前提必须给结论提供充分支持。在他们看来，违背了其中一条标准的论证都是谬误的。根据这三条标准，我们可以构造出论证评价的非形式逻辑模型，而且这一模型是

8、由形式逻辑模型加上下述四