 鲜花( 193)  鸡蛋( 0)
|
本帖最后由 waylww 于 2010-7-12 18:13 编辑
5 e. \; A* c( G我说这句话的时候,还没有想怎样和宗教具体的哪个问题联系起来。我想表达的是,我当初刚学平面几何的时候,非常感兴趣。我曾经证明过一道需要做70条辅助线的证明题。岁数大了,经历的事情多了。感到欧极里德几何 ...1 M2 V' i7 p- n; {8 D, W3 E
扁舟 发表于 2008-12-31 21:36 
7 ]4 X5 M9 R1 S, I8 m7 ~; m* v9 e先请扁大师宽容我的学识浅陋却又要来不自量力地吹毛求疵。4 a- \" j) ~# k* l, ?/ Z3 A
我不知道逻辑学和几何学开始于何时。只知道形式逻辑和欧几里得几何都出现在公元前3世纪,欧几里得把形式逻辑用于从公元前7世纪以来的希腊的几何学,组建了严密的几何系统。逻辑,在希腊文中就2 V- @9 a; W" ]
是圣经中常常说到的logos。在很长的历史时期,逻辑学是属于哲学的。从哲学中分离出来以后,有它自己的发展道路。+ |1 }( K3 X4 G, q5 v$ n& s9 I* t, F
中国在公元前4世纪已经有了逻辑学。: w5 \( V0 |9 k4 f
逻辑学确实并不那么伟大。按照一般的说法,逻辑学的研究对象是思维形态和思维结构。企图找出‘正确’思维的规律性。就因为已经发现传统逻辑(我这里是指形式逻辑和数理逻辑)的局限性,特别因为人工智能的需要,提出形形色色的所谓现代逻辑,如多值逻辑、非单调逻辑、模态逻辑等等。和任何科学分支一样,逻辑学已经或能解决的问题远没有待解决的问题多。不过,逻辑的基本规律还是应该遵守的,这似乎是公认的。' D( k) r% w; S" i
顺便说说,美国有一批神学家,想要用模态逻辑来说明基督教信仰是warranted(不知道这个词该如何翻译)。出了不少书,据说他们的观点在美国的神学界颇受重视。至少出版社是这样说的。 |
|