|
在走进数学世界前,先说一下中国的逻辑学大师韩非子.在这里要说明一点,不是说韩非子的逻辑学没有形成形式逻辑学,就认为他的学说不行.韩非虽师从荀子,思想差异却很大.逻辑严密,论述细致,条理清晰,犹胜<<荀子>>.-周作人;韩非之功,不亚始皇.-梁启超.秦始皇读了他的著作,十分佩服.从上对韩非子的评价就可以看出他的价值来.感兴趣的朋友可以去看看.
今天我们就进入数学的世界,感受它无穷的魅力. 数学逻辑的源泉---近代数学起源于希腊,希腊的逻辑学虽然孕育出亚力士多德的形式逻辑学,可是使形式逻辑学趋于完美而成为人类精神结晶的是古以色列人的宗教.因为这方面论述的资料比较多,我就不多说了,大家可以去看看小室直树的著作<<给讨厌数学的人>>很值得一看哦.需要说明以下的论述都摘自小室直树的 <<给讨厌数学的人>>. 近代数学的精华----形式逻辑学 1同一律;2矛盾律;3排中律.就这3条想必大家都学过吧.那么我们就来复习一下. 1同一律 A就是A;我就是我;神就是神. 2矛盾律 (a)A是B (b)A不是B 有这两个命题时,不会(a)、(b)都为真(正确、成立),也不会(a)、(b)都为假(不正确,不成立).这个原则就称为矛盾律. 3排中律 (a)A是B (b)A不是B 在(a)、(b)两个命题中,一定只有一个成立,另一个不成立.到这里为止是矛盾律,而后面还有一个原则,就是:(a)、(b)之外是不存在的.这就是排中律. 矛盾律在数学上应用极为广泛,并常在数学以外的地方发挥功效,是形式逻辑学的精华所在.排中律是矛盾律的延续. 形式逻辑学的精华到此说明完毕.是不是感觉很简单. 形式逻辑学虽然简单明了,却不见得容易理解.正因为简单明了,有时反而难以理解,而无法自由自在地应用.(这点很重要) 自古以来连以逻辑为标榜的法学家,也会对形式逻辑学过于严密的证明方式感到畏惧,而逃到以法律为名的“说谎世界”中.(以后会说明) 为什么要把大家带入数学世界,首先不是为了考试,更不是为了耍“酷’,目的在于希望大家能把数学里的逻辑用到现实中去,不论您是学什么或者做什么工作的. 今天就说到这里. |
