卡尔·波普尔自传 作者:卡尔·波普尔-第26章
按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
无尽的探索32．归纳；演绎；客观真理
32．归纳；演绎；客观真理
这里也许有必要就归纳的神话以及我反对归纳的一些论据说几句话。由于眼下这个神话的一些最时髦的形式使归纳同一种站不住脚的主观主义演绎哲学联系在一起，我必须首先多说一点客观的演绎推理理论以及客观的真理理论。
我原来不想在这本《自传》中说明塔尔斯基的客观真理的理论，但在第20节扼要地写了这个理论以后，我偶然发现一些证据，表明某些逻辑学家并没有在我认为应该按此理解它的意义上来理解这个理论。由于需要用这个理论来说明演绎推理与虚构的
归纳推理之间的基本区别，我要扼要地说明它。我将从下列问题开始。
人们怎样才能有希望理解说一个陈述（或一句“有意义的句子”，正如塔尔斯基所说）符合事实是什么意思？确实，除非人们接受像语言的图像理论那样的理论（正如维特根斯坦在《逻辑哲学论》中所做的那样），人们就根本不可能谈到陈述和事实之间符合那样的事。但是图像理论是没有希望的，实际上是极端错误的，因此似乎没有希望来说明陈述之符合事实了。
可以把这一点说成所谓“真理符合理论”，即把真理解释为符合事实的理论遇到的基本问题。完全可以理解，这个困难使一些哲学家怀疑符合理论必定是谬误的或——甚至更糟——是无意义的。我认为塔尔斯基这方面的哲学成就是他扭转了这个判定。他十分简单地做到了这一点，因为他考虑到涉及陈述和事实之间关系的理论必定能谈论（a）陈述以及（b）事实。为了能谈论陈述，就必须使用陈述的名称或陈述的描述，也许还有像“陈述”那样的词，即理论必须用元语言、用人们用以谈论语言的语言。而为了能谈论事实和有意义的事实，就必须使用事实的名称或事实的描述，也许还有像“事实”那样的词。一旦我们有了元语言，类似这种我们能用以谈论陈述和事实的语言，就容易就陈述和事实之间的符合作出断言；因为我们可以说：
由“Gras”，“ist”以及“grun”三词按此次序组成的德语陈述是符合事实的，当且仅当草是绿的时。
第一部分是德语陈述的描述（描述用的是英语，英语在这里用作我们的元语言，并且描述部分由英语引用的德语词名词组成）；而第二部分含有某种（有意义的）事实、某种（可能的）事态的描述（也用英语）。而整个陈述断言符合。我们可以更概括地作如此表达。让“X”作为属于语言L的某一陈述的英语名称或英语描述的缩写，让“x”表示X之译为英语（它作为L的元语言）；那么我们完全可以（用英语，即用L的元语言）概括地说：
（＋）用语言L的陈述X符合事实，当且仅当x。
因此用相应的元语言谈论陈述和（有意义的）事实之间的符合是可能的，甚至一眼看出就是可能的。谜就这样解开了：符合并不包括陈述和事实之间结构上的相似，或类似图画和所画景色之间那样的关系。因为我们一旦有一个适宜的元语言，借助（＋）就容易解释我们说符合事实是什么意思。
一旦我们这样解释了符合事实，我们就能用“是真的（用L）”代替“符合事实”。注意：“是真的”是元语言的谓语，陈述的属性。它的前面是陈述的元语言名词——例如引语的名词——所以可以清楚地把它同“……是真的”这样的短语区别开来。例如‘雪是红的是真的”并不含有陈述的元语言谓语；它与“雪是红的”同属一种语言，不属于那种语言的元语言。塔尔斯基的结果出乎意外地浅显，似乎是它为什么难以理解的一个理由。另一方面，可以合情合理地料想到这种浅显，因为每个人理解“真理”是什么意思，只要他还没有开始（错误地）思考它。
符合理论最重要的应用不是用于像“草是红的”或“草是绿的”那样的特定陈述，而是用于一般逻辑境况的描述。例如我们要说这样一些事情。如果推理是正确的，前提全是真的，结论也必定是真的，即前提的真理（如果它们都是真的）不变地传递到结论；而结论的谬误（如果它是假的）不变地重新传递到至少一个前提。（我已分别命名这些定律为“真理传递定律”和“谬误再传递定律”。）
这些定律对于演绎理论是基本的，而这里使用“真理”和“是真的”等词（可用“符合事实”和“与事实相符”来代替），显然这不是多余的。
塔尔斯基所挽救的真理符合理论是把真理视为客观的理论：把真理视为理论的性质而不是视为经验或信仰或类似主观的东西的理论。真理也是绝对的，而不是相对于某一组假定（或信仰）而言的，因为我们可以询问任何一组假定，看看它们是不是真的。
现在我来谈演绎。可以说一个演绎推理是有效的，当且仅当它不变地把真理从前提传递到结论时；这就是说，当且仅当同一逻辑形式的一切推理传递真理时。人们可以用这种说法来解释这一点：一个演绎推理是有效的，当且仅当没有反例存在时。这里一个反例，是前提真而结论假的同一形式的一种推理，如：
一切人必死，苏格拉底必死。所以苏格拉底是人。
设“苏格拉底”在这里是一只狗的名字。那么前提是真的，结论是假的。因此我们有一个反例，这个推理是无效的。
因此演绎推理像真理一样是客观的，甚至是绝对的。当然，客观性并不是说，我们总能断定一个给定的陈述是否是真的。我们也不是总能断定一个给定的推理是否有效。如果我们同意仅在客观的意义上使用“真的”一词，那么有许多陈述我们能够证明是真的；然而我们不可能有一个普遍的真理标准。如果我们有这样一个标准，我们就是无所不知的了，至少潜在地说是这样，但我们不是无所不知的。根据哥德尔和塔尔斯基的工作，我们甚至不可能有用于算术陈述的普遍的真理标准，虽然我们当然能够描述无穷集真的算术陈述。同理，我们可以同意在客观意义上使用“有效的推理”一词，在这种情况下我们能够证明许多推理是有效的（即它们准确可靠地传递真理性）；然而我们没有普遍的有效性标准——即使我们把我们自己局限于纯算术陈述也没有。结果，我们没有任何普遍的标准来判定某个给定的算术陈述是否有效地遵循算术公理。虽然如此，我们能够描述无限多的（复杂程度不同的）推理规则，证明这些规则的有效是可能的，即不存在反例。因此说演绎推理依靠我们的直觉是错误的。大家承认，如果我们尚未确定一种推理的有效性，那么我们就是让我们自己受猜测——即受直觉引导；没有直觉不行，但直觉多半把我们引入歧途。（这是明显的，我们从科学史知道坏理论比好理论多得多。）而用直觉思考全然不同于诉诸直觉，诉诸直觉思考当然不如诉诸论证。
正如我在讲演中常说的那样，像直觉或感到某种事情是不言自明的等等，或许部分地可用真理或有效性来说明，但反之决不然。陈述是真的，推理是有效的，决不是只是因为我们感到（不管有多么强烈）它是真的。它是有效的。当然可以承认，我们的智力，或我们的推理或判断能力（或者不管我们称它为什么）已经调整得使我们在十分通常的条件下能够接受。判断或相信什么是真的；无疑这主要是由于我们固有一些批判地检验事情的素质。然而，举一个比较简单的例子来说，视觉幻觉表明，我们不能过于依靠直觉，即使它采取有点类似强制的形式。
我们可以把这些主观的感觉或直觉解释为真理或有效性表现的结果，以及已通过一些我们正常的批判检验的结果，这一点并没有允许我们把问题抹掉并且说：这个陈述是真的或这个推理是有效的，因为我相信它，或因为我感到不得不相信它，或因为它是不言自明的，或因为相反的陈述是不可设想的。虽然如此，这类谈论被主观主义哲学家用作论据达数百年之久。
仍然广泛持有的观点是，在逻辑中我们不得不诉诸直觉，因为没有循环论证就不可能有支持或反对演绎逻辑规则的论证：一切论证必须以逻辑为前提。大家承认，一切论证使用逻辑，并且以它为“前提”（如果你愿意这样说的话），尽管对这种说法有许多不同意见。然而事实是我们不必使用它们就能够确定一些推理规则的有效性。总而言之，演绎或演绎的有效性是客观的，正如真理是客观的一样。直觉或相信或不得不信的感觉也许有时可归因于这样的事实：某些推理是有效的；但有效性是客观的，并且既不是在心理学的意义上，也不是在行为主义的意义上，也不是在实用主义的意义上可阐释的。
我常常为了表明这种态度说：“我不是一个信仰哲学家。”确实，信仰对于真理理论、演绎理论或客观意义的“知识”理论是没有什么意义的。所谓“真的信仰”是相信某一理论是真的；而它是否是真的不是一个信仰问题，而是一个事实问题。同理，“理性信仰”，如果可以说有这种东西的话，乃是根据批判论证择取优者。因此这又不是一个信仰问题，而是一个论证的问题，批判论争的客观状态问题。
至于归纳（或归纳逻辑，或归纳行为，或通过归纳、通过反复、通过“训导”而学习），同休谟一致，我断言不存在这种东西。如果我是对的，那么这当然就解决了归纳问题。（有其他问题留待未决，也可称为归纳问题，例如未来是否与过去一样。但我认为不那么激动人心的这种问题也可以得到解决：未来部分地与过去一样，部分地与过去根本不一样。）
现在对休谟的问题最时髦的回答是什么呢？回答是：归纳当然不是“有效的”，因为“有效的”一词意指“演绎上有效的”；因此归纳论证（在演绎意义上）的无效性没有造成任何问题：我们有演绎推理和归纳推理；虽然两者有许多共同点——都是按照屡试不爽的、习以为常的和相当直觉的规则进行论证——也有很大的不同。
演绎和归纳有哪些共同点可表述如下。演绎的有效性不可能被有效地证明，因为这是用逻辑证明逻辑，是循环论证。然而据说，这样一种循环论证事实上可澄清我们的观点，加强我们的自信。对归纳也是如此。归纳也许不能得到归纳证明，然而关于归纳的归纳推理是有用的和有帮助的，如果不是不可缺少的话。此外，在演绎理论和归纳理论中，可以诉诸像直觉或习惯或惯例或实用上的成功这些东西；有时则必须诉诸它们。
为了批判这种时髦的观点，我要重复一下我在本节前面说过的话：某一演绎推理是有效的，如果没有反例的话。因此有一种客观的批判检验方法可供我们使用：对提出的任何演绎规则，我们可以试图设想一个反例。如果我们成功了，那么这个推理或推理规则就是无效的，不管它是否被某些人甚或一切人认为直觉上是有效的。（布劳威尔认为他已做的就是这样——他已为间接证明提供了一个反例说明，因为只有存�
![[英]卡尔.波普尔历史决定论的贫困封面](http://www.beike3.com/cover/noimg.jpg)