|
论现代逻辑的应用 W.V.O.蒯因 文 孙伟平译 摘要：现代逻辑的价值和意义，在于其在理论上的应用。对付纯数学的根蒂和布局来讲，现代逻辑是一种很是有用的东西，包含哥德尔不彻底性定理等，都哄骗了现代逻辑的技能和功效。某些现代逻辑技能已经普遍应用到了工程学之中，比方，计较机工程就基于现代逻辑的高档功效。反过来，这些应用又刺激了逻辑理论自己取得更多的前进。 迄今为止，现代逻辑的重要性可能会被说成是——在某种水平上，用自相矛盾的术语来讲——在于其理论上的应用。凭据对付纯数学的根蒂和布局的大大都理论查询拜访，现代逻辑作为一种东西是最为有用的，而且，这是一种相当玄妙的功用，它主要刺激了逻辑的现代成长。 因此，我们能够斟酌一下哥德尔1931年提出的那个著名的定理(即哥德尔第一不彻底性定理：一个包含初等数论的形式系统，但若是无矛盾的，那么就是不彻底的。或者者说，包括初等数论在内的协调的或者无矛盾的形式系统F中，都存在有不成断定的命题，即存在命题S，S和S的否认在F中都不克不及证明)。这必定理是真的自己就使人十分惊异了，而它可以获得证明，就加倍使人赞叹不已。它是一个严格的、用一种从数论的其它语句中逻辑地推出一些语句的方法表达的、关于什么可以做和什么不克不及够做的数学定理；为了证明它，对付什么才算作逻辑上的推出，哥德尔不能不做到数学上切确而明晰，而传统的数学家们却没有这样做。因而，正是逻辑的现代数学的形式化，为哥德尔确立其高度理论化的结论(即彻底数论的不成能性)，提供了一个不成或者缺的实践东西。这是许多情形之中的一种，可是，公正地说，倒是最著名的一种，在提高我们对付产生在数学中的事情的理论理解力方面，现代逻辑已经给我们提供了一种实践东西。 能够用另一种气概来证明，贯串于数学中的大大都问题都是应用逻辑的问题。比方，无妨斟酌一下仍然没有解决的哥德巴赫猜测：每个偶数都是两个素数之和。现在，在不知道哥德巴赫猜测是真的、仍是假的的环境下，我们可以写下一个数论简直定的繁杂的真语句T，以此讲明，但若哥德巴赫猜测是假的，那么，它的否认是合逻辑地从T推出的。另一方面，假设哥德巴赫猜测是真的，固然，它的否认就不是从T推出的。因此，哥德巴赫的问题等值于纯洁的逻辑问题：是否某个已经指定的语句——哥德巴赫猜测的否认——是通过逻辑、自力地从已经指定的语句T中推导出来的。 因此，一般化地，对付任何数学猜测S：但若我们发生了一个已知的真T，然后讲明，或许是S的语句，或者者或许是它的否认，假设T为真的话，它必定追随T而来，那么，我们因而就将S的问题归结为一个逻辑问题。哥德巴赫的问题在被归结为逻辑问题上，并不是是那么不常见的；对付许多其它问题而言，也是如此，如包含著名的弗默特( Fermat) 问题，在以前的三个世纪里，它就一直熬炼着一些最良好的大脑。 哥德巴赫和弗默特的问题都是给人留下深刻印象的例子。可是，对付哥德巴赫和弗默特的问题，我所要说的是，在现代逻辑的技能这一部门，很明显还没有什么伟大的解决问题的东西。仅仅在问题逻辑方面，它有何等丰硕是显而易见的。我要说的仅仅是，哥德巴赫问题、弗默特问题、以及其它雷同的问题，都可以变换为逻辑上能够推断的问题，而不是这些问题在这种变换下，比其它问题更有可能得到解决。它是一种特意设计的斟酌，与其说是颂扬数理逻辑技能的存在，不如说是促使数理逻辑技能的提高。 存在着这样一类技能，无论如何，是使人印象深刻的。好像数学中其它部门的技能一样，它们能够分成两个部门：释义的息争题的。在高校代数操练中，所呈现出来的区分是如此的光鲜：首先，我们将词语表达的问题酿成一种方程式，然后，我们来解这一方程式。同样地，在现代逻辑中，首先，我们将一个问题释义为一个最适应已知的推演或者赋值技能的典范的暗号，然后，我们用那些技能推动问题的解决。 现在，在代数中，就像我们大大都人所记得的一样，释义的预备运算除非作为一种到达方程式的求解的手段，不然将使人毫无兴趣。在逻辑中，另一方面，预备运算因其自身之故，证明有强烈的兴趣。因为，它提供了一种敏锐的观点阐发，一种只要我们的语句还隐含在日常语言中，因而还未被揭示的根本布局的展示。通过将日常谈论释义为现代逻辑专门设计的习用语所提供的深刻理解，对哲学的过程具备显著的影响。在科学铸造的20世纪哲学家中，简直，“逻辑阐发”是一句标语。格外是，释义为逻辑暗号的事业在数学哲学中已经带来了空前的前进——这一前进同时也是现代逻辑的一个成效、一个主要念头。 在现代逻辑中，当释义完成之后，另有相应的解决用方程式暗示的代数的事情的强有力的技能：这个时候，技能被用来查验或者探索逻辑公式表达的逻辑蕴涵之间的瓜葛。可是，必需要加以阐明的是，直到现在，这些新技能的实际应用，相较这一议题诱使一小我所期望的庞大的广泛性，一直还不是那么重要、那么广泛。确实，这些技能已经用来加速先前涉及到的更多的劳作和常常的摸索的步调，可是，与数学的各类分支应用于物理学时所起的作用相比力，它们还没有阐扬什么作用。 未来，无论如何，它们可能会更好一些。在罗马数字时代，与幂和分歧的方程式相关的问题，不单单只是解决的坚苦的问题；因为缺乏得当的观点和暗号，它们基本就没有泛起。现代逻辑的观点系统，在日常语言的原始框架中，同样在彻底不会泛起在我们身上的问题中，是丰硕的。有些这样的问题，跟着自然科学逐渐形成对付现代逻辑的充实认识，会证明是与自然科学密切相关的，就好像幂和微分问题所作的一样；于是，现有的现代逻辑的解决问题的技能，会证明它们对付自然科学的价值。但若通过与数学中其它处所的事件相类比，我们就可以预知，更多的逻辑技能于是也会获得成长，以便适应自然科学的格外必要。 简直，有少量的现代逻辑技能已经被集中地应用到了工程学之中。具备嘲讽意味的是，它们倒是逻辑中最为根蒂的部门：真值函项理论。真值函项本色上就是日常语言中的“非”、“而且”和“或者者”，它运用于繁杂的语句中，构成一个复合句，复合句的真或者假以一种明显可指明的方法、依赖于成份语句的真或者假。C.香农( Claude Shannon) 发明了真值函项逻辑在电路设计中的一种有价值的应用。“而且”和“或者者”与电路的联系是这样的：但若电路末端是由开关A和B串连分隔的，那么，仅仅在A和B都关闭的环境下，电路才气关闭；但若它们是由开关A和B并联分隔的，那么，只要在A或者者B关闭的环境下，电路就会关闭。仅仅打开一个开关，“非”也进入了这一图景。这种对应的一个后承是：将简化一个繁杂电路的很是实用的问题、为一个给定的工作设计一个最具简略可能性的电路的问题，归纳为简化一个真值函项公式的逻辑问题。 更具嘲讽意味的是，虽然真值函项逻辑，不像大大都现代逻辑那样，在到达琐碎的水平方面是容易而简略的，可是，简化真值函项公式的一般性问题被证明是坚苦的。但若你寄托“非”、“而且”和“或者者”将一些句子组合成一个复合句，成效确实会如你所但愿的那样，其意义显而易见，其逻辑举动会很简略。可是，使人好奇的一点是，这样一种组合通过渐次简化的明显步骤，老是不克不及变换成一种最简略的等值式。12年前，拿我来讲，我将假定否决命题作为一件天经地义的事，并自信地但愿在短时间之内找到得当的、很少的容易步骤集。然而，却没有发明这样的步骤集。穷尽所有可能性的缺乏想象力的方式，作为发明最简略的等值式的手段，简直是可用的、明显的、经久不衰的；可是，当有关的复合句是由不少分句组成时，这样的方式由于会到达天文数字的长度，而变得不现实了。 在一般环境下，渐次简化的直截了当的方式是不成能的。间接的方式仍然是所但愿的，无论如何，它涉及更少的阻碍性的穷举进程。在这一标的目的，已经取患了前进，而且，为了促成这一前进，人们正在支出更多的努力。在电子工程方面的必要的压力之下，瞄准这一目的的相当一批理论正在成长之中。因为，计较机械的繁荣已经在为了给定的目标、发明最简略的电路方面，设立了一大笔奖金。在美国，创建了许多机构，有些是商业性的，有些是当局的，那里的研究正在凭据计较机械和自念头的设计进行；而且，现在它彷佛成为了平常的事情，在这样的中心，有些研究机构正在从事试图设计出日益强大的简化真值函项公式的技能的工作。我知道，在某种水平上，在俄罗斯和澳大利亚也同样如此，并且毫无疑问，在其它的国度也是这样。在数学杂志、手册和计较机工程杂志上，阐述简化真值函项公式问题的出书物，正在以不竭增长的频率泛起。问题已经到达了这一要点：涉及到的部门问题是如此地制定简化技能，以致在贯彻它们之时，可以谋取计较机械的扶助。因而，计较机正日益饰演简化计较机设计的东西的脚色。 存在一种很是明确的意见，在此中，真值函项的逻辑可能会被说成不外是一个简略的、甚至是微不足道的主题。意见是这样的：在逻辑的这一部门中，逻辑蕴涵或者等值的每一个专门问题都可以通过常规计较加以解决。用技能语言来讲，这就是真值函项的逻辑是有效的的意思。现代逻辑的下一个更严肃的部门，即大师所知的量词逻辑或曰词逻辑，是并不是有效的。在这一领域，确实仍然存在一个一般的计较法式，藉此，每一个蕴涵或者等值的专门问题都能肯定地加以解决，假设正确谜底刚好是肯定的的话；可是，通过任何一种靠得住的法式，一般不克不及得到否认的谜底，就好像A·丘奇( Alonzo Church) 1936年所证明的那样。这种不完全的有效性当今有时表达为：量词逻辑是可机关的。至于数论，它确实不是可机关的；这就是一种让哥德尔定理早一些谈到的方法。 在如下一点上，存在着一些使人惊异的理由：真值函项的逻辑，彷佛是微不足道的、但实际上却到达了有效性的水平，应已证明了它处于计较机工程的如其中心的地位；而在如下一点上，存在着更多使人惊异的理由：相关的问题应该证明是如此地难于处置。 可是，现代逻辑的更高的部门，不那么使人惊异的、但倒是以更深刻的方法，也与计较机工程相关。跟着机器头脑逐渐适应了越来越远地超出纯洁的算术计较的目的，法式设计的事情被付与了日益增长的重要性；这一事情，说得更切确些，就是如此阐发息争释一个问题，以至于将它自己组织进一台机械制造出来可以承当的步骤，从而促进它的解决。法式设计又雷同于学校代数学的那些往事，行将用言辞表达的短语问题酿成经得起代数处置的机器学查验的方程式。因而，它也雷同于现代逻辑中将日常语言翻译成逻辑符号的事情。在上述两种环境下，有人可能会争辩论，这只不外是类比：将用言辞表达的给定的问题酿成代数方程式或者逻辑公式，自己就是某种与机械计较雷同的法式设计。依照确定的运算规则，为公式的系统操纵筹备其自身的方法。 在为真正的机械的问题进行编程之时，必定会有大范畴的、我早先区分过的两种逻辑技能的应用：既会有将问题释义成有效的可操纵的公式的技能，又会有巧妙地处置成效的技能。在逻辑技能与编程相关的限度内，它们也必定会与机械设计相关；因为，编程与设计是互相作用的一种事业，倾向于任一方，都将会使另一方受益。 逻辑理论的如此应用多是人们所期望的，并且，它也刺激了逻辑理论自己取得更多的前进。在任何理论的应用进程之中，这都是一种公道的期望，可是，在目前环境下，它格外的强烈。因为编程的必要突出了观点阐发中的清晰性和形式化；别的，它使观点上的经济学昌盛了起来；并且，它还以一种从未有过的、向后盯着传统的思想形式的方法，回报了阐发的别致路径。一个十分引人注目的究竟是，编程为迄今一直由理论逻辑学家为了纯洁哲学或者美学原因而耕作的、浩繁的那种严密、想象力、以及观点的经济学，提供了一种绝对的款项上的念头。在这里，抽象理论和实际应用之南北极，看起来像是聚合在一起了，与它们在原子裂变技能中所做的差不多。 在逻辑理论和机械计较之间，还存在着一种比这些最近的斟酌所建议的更为根蒂的关联。让我们回忆一下最近简略涉及的有效性、机关性这些观点。通过含胡地表示我所称的计较法式，我诠释了这些观点。而什么才算作一个计较法式呢？计较法式的一般观点是在1936年和1937年、由四位数学家——丘奇( Church) 、克林( Kleene) 、图灵( Turing) 、波斯特( Post) ——的很大水平上的自力工作而弄切确的；而它的系统论述的成效，就是在同一时间、组成一个具备任何可能的计较机械的根本理论特性的公式。 在这篇文章的前面，在证明理论之时，我曾经引用了哥德尔定理，以举例阐明现代逻辑中研究的一种念头、一次胜利。现代逻辑研究的一个主要念头，一直是考查数学证明的性质、可能性、以及局限性。现在我们明白了，证明理论的根本观点与机械计较理论的根本观点连系在一起了。如此一来，就拿哥德尔定理来讲，它能够从新论述为——我厥后评论过的——报告数论是非机关性的。在这里，“机关性的”意指，正如我所提示的，为形成证明而存在的一个一般性的计较法式。最后，计较法式的观点又转过来在组成机械计较的根蒂性观点这一点上，取患了特别清晰的系统论述。数学证明的绝对纯洁的理论和机械计较的彻底技能化的理论，因而在本色上是同一个理论，此中任何一个的根本洞见，今后以后都是另一个的洞见。 译者：孙伟平，哲学博士，中国社会科学院哲学研究所副研究员，韩国成均馆大学客座传授。（北京 100732） 参考文献： [1]Willard Van Orman Quine,Mathematical Logic[M].New York:Norton,1940. [2]Willard Van Orman Quine,Methods of Logic[M].New York:Holt,1950. [3]Willard Van Orman Quine,From a Logical Point of View [M].Cambridge:Harvard,1953. [4]willard Van Orman Quine,The Ways of Paradox(“悖论的方法”),in The Ways of Paradox and Other Essays[M].New York:Random House,1966. |
