【原创】数理逻辑发展的简单脉络（1） 46
说明：
准备简单整理一下数理逻辑发展的简明历程，主要是为自己的阅读清理思路和总结一下，我非专业人士，仅仅是兴趣所致，估计会有不少误解和错误，欢迎有同样兴趣的朋友批评指正。

欧氏几何和亚里士多德的三段论

希腊的黄金时代，产生了亚里士多德的逻辑学和欧几里德的几何。显然，这两门学科之间一定会有某种方式的交叉。或许就是在学者们研究几何的时候，发现直觉并非一定可靠，只有推理演绎才可以得出正确的结论，从而导致了逻辑学的发展。反过来说，也可能是有了经过总结的逻辑演绎规则，才进一步推进了几何学证明的进步。


欧几里德

关于几何，特别是欧几里德几何，已经有earthcolor兄写了专文介绍。这里想补充的一点是，从现代观点看，欧氏几何是一个所谓公理化系统。也就是说整个体系首先建立了几条不可证明的公理或公设，此后的结论都由推理演绎导出，成为诸多定理。这个公理体系建立的非常漂亮，首先它很好的反应了人对空间的直觉感受，其次公理非常简洁，每一条都是缺之不可的。可能正因为如此，欧氏几何成了后来近2000年数学的主要部分，甚至牛顿在写作著名的《自然哲学的数学原理》时候，书中的证明很多仍然用的是几何的形式，而非现在常见的代数表达。当然，我相信，如此成功的体系不太可能是欧氏一人建立的，更可能是综合了诸多学者的综合成果。但《几何原本》本身的成功，却导致了其他文献的失传，我们已经比较难探明在此之前几何学发展的清晰脉络了，这是也算是一个遗憾。


亚里士多德


亚里士多德生活的时期略早于欧几里德。虽然我们中的很多人知道这个人，是因为他是同伽利略对立的错误典型，但实际上亚里士多德堪称他那个时代最伟大的学者。他的研究涉及几乎所有当时的学科领域。具体到逻辑学，亚氏的主要贡献是归纳总结了命题和推理本身的规律，这种归纳的成果就是三段论。

亚里士多德将命题总结为以下4种形式：
A)所有的P都是Q
E)没有P是Q
I)某些P是Q
O)某些P不是Q
（4种命题的代号，就是AEIO四个元音字母，是中世纪学者为了便于记忆而命名的，见下）

在此基础上，一个推演由三个命题构成（所谓三段论），其中前两个是前提，后一个是结论，比方说由三个A构成的
前提1：所有的P都是Q
前提2：所有的Q都是R
结论 ：所有的P都是R

因为这个推理是由三个A构成，后世的学者就用Barbara这个词来代表这种推理—Barbara的三个元音恰好是AAA。

当然，并非任意三个命题都能够成有效推理。亚里士多德归纳了所有成立的情况。

同欧氏几何一样，三段论一经建立，在接下来的近2000年内一直被认为是经典，天主教经院派哲学吸收了三段论的方法，并以此作为研究工具，甚至到20世纪初，仍有某些宗教学校教授此课程。

一个有趣的现象是，《几何原本》并未采用三段论的推理形式。这可能是因为在三段论中，缺乏命题链接词：如“与”“或”“因为...所以”等，而几何推理则大量充斥着类似命题。另一个原因，或许是几何术语中类似“点a在直线l上”的命题，实际上涉及了两个对象：点a和直线l。要比较好的描述这种关系，需要二元的谓词P(a,l)，单纯的原子谓词很难对此作方便自然的描述。这需要等到19世纪布尔等人的工作才得以实现。

关键词(Tags): 希腊 几何 逻辑 数理逻辑
爱莲 荐,老马丁 荐,

sofa! 1

新年好！

新年好，送花！ 1

送花! 2
我很喜欢这些故事的。看来同好在河里也不少啊。

勾起了我的兴趣，献花。 1

拜托二位了！

花！才发现现在一个帖子只能送一朵花，啊啊啊 1

又想起了当初考数理逻辑时的惨状 1
所以看到标题立即吸引了我进来

厄，碰上真懂行的了

拍砖切勿拍脸为要

. 1

最后于2008-01-04 17:30:39改,共1次;

.

最后于2008-01-05 08:26:07改,共1次;

太客气了
我当初考试时也是连蒙带猜过的，很丢人。现在觉得数理逻辑还是挺重要的，但我对它的发展脉络不甚明了，自以为了解后应会对其有更深的认识，期待下文。谢谢！

登录献花。 1
脸红，曾经辜负了泰让兄的教诲

回帖献花 1
泰兄关于王浩的帖子曾让我受益非浅，今日继续开讲数理逻辑，一定要花！

三笑兄新年好
太客气了，我哪里敢当
就算共同学习吧。

献花 1
老婆有一次问我啥是数理逻辑，偶就告诉她：是就是1，否就是0，和/或就是加，且就是乘，其他的俺统统不知道！

【原创】数理逻辑发展的简单脉络（2） 30
在希腊黄金时代之后的2000年里，数学和逻辑学都在发展着，但却并没有机会再次碰撞。直到17世纪的莱布尼茨，二者才又有了互相影响的机会。



莱布尼茨

纵观数理逻辑领域内的大师们，很多是在多方面有开拓性贡献的全才，希腊时候的亚里士多德如此，后来的罗素如此，莱布尼茨也是这类的学者。他在数学上最知名的可以说是同牛顿各自独立地发明了微积分，比如我们现在微分时候使用的符号dx，就是他最先使用。但莱布尼茨的学术目标，其实比微积分更为宏大，他希望找到一套方法，可以让学者们学术交流时精确表达命题，不带歧义。甚至更甚一步，可以将逻辑演绎这件事情，完完全全地用类似算数运算的方法进行下去。莱氏的这个目标，是建立在他对人类理性思维本身可以形式化这一观点上的。因为在他眼中的宇宙各物体，都是由多种性质构成的，如果我们穷举了一物体的各个属性，我们也就描述了这个物体。如果我们可以把这些“性质”映射到数上，我们就有可能将数学作为描述世界的语言，从而演绎推理也就成了计算。

从这种意义上说，莱布尼茨是计算机理论的先驱。他甚至制作了一些可以进行自动运算的机械设备。但是，这种思维毕竟领先时代太多了，他的这方面工作并未立即引起重视，在他之后又150多年，布尔和德·摩根沿着此方向，提出了布尔代数。



德·摩根（De Morgan)
德摩根继承并发展了三段论逻辑。他的一个重要贡献是提出了连接词，也就是与、或、非。有了连接词，就可以用几个更基本的命题来表达复杂命题。这样很大程度地提高了逻辑命题的描述能力。比如，如果我们用p来代表“今天刮风”，用q来代表“今天下雨”，再用r代表“今天上课”，那么，“如果今天刮风或者下雨那么就不上课”这个命题就可以表示为
(p or q)-->(not r)
其中箭头也是一个链接词，表示如果。。。则。。。或者称为蕴含词
德·摩根更知名的是所谓德摩根律，表达成式子是这样的：
not ( p or q )=(not p) and (not q)
仍用刚刚的例子，等号左边表示的是“今天没有刮风或者下雨”，右边表示“今天没有刮风并且今天没有下雨”，两者是等价的。





乔治·布尔

布尔和德摩根是同时代的数学家，二人对数学逻辑问题应该有过讨论。布尔对逻辑的形式化更加推进了一步：如果把命题看作变量，把连接词看作运算的话，逻辑就可以转化成代数。这是一种特殊的代数：变量的值只能取{0,1}，如果我们把与，或，非用数学符号*,+,-来表示的话，这个代数有特殊规则：
0+0=0,0+1=1,1+0=1,1+1=1
0*0=0,0*1=0,1*0=0,1*1=1
a+a=a, a*a=a
a+(-a)=1, a*(-a)=0
其他代数规则，比如交换律，结合律也成立。
(注意这里-是一元运算，并且也不是+的逆运算）
从近世抽象代数来说，这是个定义在集合{0,1}上的一个环（Ring)。

布尔发现，如果我们把0看作空集，1看作全集，a表示全集的某子集，而+，×，-分别表示集合的并，交和取补集运算的话，同样的规律也适合集合运算。不过当时集合论尚未成熟，但这预示着集合将成为数理逻辑的研究对象。

曾经有一个说法:当一门学科发展到可以运用数学作为工具的时候，就标志着这门学科变成了科学。布尔和德摩根成功地将数学引入逻辑研究中，他们也被认为是数理逻辑学科的开创者。特别是布尔代数的建立，为后世的开关电路提供了理论基础：无论多么复杂的计算机操作，最终都是分解成了由“门电路”完成的0与1的逻辑运算。为了纪念布尔，计算机编程语言中，取“真”或者“假”两种值的逻辑变量，以及逻辑表达式被命名为布尔变量和布尔表达式。

关键词(Tags): 数理逻辑 布尔 莱布尼茨 德·摩根
爱莲 荐,最后于2008-01-06 19:57:22改,共3次;