从思维规律到计算机逻辑.pdfVIP

1900年 科 ·忮术与辩证洼 第 2期 从 思 维 规 律 到 计 算 机 逻 辑 阿特罗 ·萨加利著 聂建中译 郭贵春校 一 百二十五年前，被ff1兰特 ·罗索称为发现了纯数学的人去世了。也许是 由于以他的名 字来命名代数，或者是他fj：为现代逻辑的创始者，乔}舟·布尔成为十九世纪最有影响的思想 家之一。他发表于l854年的著名论文 《思维规律》，不仅为逻辑学或数学，而且也为即将问 世的 电子计算科学开拓了新的可能性。布尔的遗产一一他的观点、方法和发现一一对当代科 学和技术的贡献何在呢?首先，让我们筒略回顾一下他的名篇， 《思维规律研究》一一 《逻 辑和概率的数学理论基础》 。 对一 门本质上是数学的学利，布尔几 乎很少使用技术性的专业词语。他似乎不 仅 为 专 家，还为有教养的知识分子写作。他常从希腊或拉丁原文中引用诗人和哲学家的词句，并且 时时从逻辑学转而论述心理学、社会学或形而上学。 在布尔看来，大脑的推理活动 由某些特定的 “代数 律所支配，这类似于常见的数量演 算一一加法、乘法等等。布尔用数学符号来表达这些规律，并 由此建立起解决逻辑问题的方 法。首先，他用方程式的形式来表述假设或初始假定。然后，用符号的代数演算取代通常的 逻辑演绎过程 。因此，通过演算而进行推理，或直言之，将逻辑还原为代数。 固然，布尔通过 “逻辑”所理解的东两只不过是我们所称的类代数和命题 逻辑而 已。然 而，他的方法是崭新的，这倒是他的功劳；也正是这种崭新的方法导致了现代逻辑的产生 在布尔的类代数中，事物的集合 由单个的 母表征。如，a可表示所 有 “患 爱滋 病 ” 的 人，hK示 “健康”的人；v表示携带爱滋病毒 (或HIV阳性)者，b代表通过血液接触患畿 滋病者。所论总类，或所有事物竹类 以I概指 (在此，I= “人”)。符号O代表空类或无 成 员类 。通过特定演算从其它类获得的类 由代数符号表征。因此，ab指a和b两类中所 有 事 物 的类 (通过血液接触患爱滋病者)，I—V指所说的由所 非V (HIV阴性)成员构成的类 。 出现两个类无共 同成员之时，可构成二者之 “和 h+a，它表示所有健康者或爱滋病患者的 类 。所 以，各类间的关系可用方程式写出 爱 滋 病 例 的 逻 辑 分 析 为说明这一点，现假设爱滋病毒 (HIV)只可通过性交或血液接触传播。同时，某爱滋 病患者除携带爱滋病毒外，还呈现出所谓 “爱滋病症状 。这些关系可由下列两个方程式说 明| V (I一 (X + (T—x) b) ) = 0 在上列方程式中， 和s分别指具有性交关系者及有爱漱病症状者。通过假设各类间的盏番， 其它关系则可 “逻辑地”推 。换言之，假设的关系暗禽着其它关系。布尔的方法提供了一 ’ 本文原载 New Scientist，19Augrist，1g89，P48—52。 62 系列解决方程系统的规则，并阐明了对产生蕴含关系的解决。比如说，为解决上述 (1一s) +sx类的系统，结果得出方程式： (I—s)+Sx=a(I—b)+(I—a)v+(o／o)ab+(o／o)(I—v) 此方程式可作如下解释：既无爱滋病症状且不节制性欲的所有人的类 (或二者共 同) 由 非血液接触而患爱滋病者所构成；所有非爱滋病的阳性HIV}通过血液接触而患爱滋病者中 的不确定部分 (或一些，或投有，或全部)，以及阴性HIV类中的不确定部分。这构成了在 假设中所给定类的完备关联。 布尔把他的演算扩展到命题逻辑中。命题逻辑是关于命题的命题 (而不是关于事物的类)， 比如， “如果命题Y为真，则命题x为真。 诸如此类等等。布尔在将演算运用于对形丽上学 和伦理学中的一些传统论证做出分析时，他发现主要障碍在于精确确定什么是实际的论证前 提或论据假设。因为一旦克服这一障碍并以符号方程形式表述这些前提，他的演算就会必然 地、自主地得出台乎逻辑的结论。就他的这一方法来讲，当观察到这种方法 “以一种几乎可 称之为机械式的精确”而演算时，布尔察觉到了 “有效的可算性”概念 。差不多在一个世纪 后，这种 “有效的可算性 概 念才由最基本的计算装置～一 “图灵机”的设计者阿兰 ·图灵 搞得精确了。