主题：【原创】论科学的起源 1 -- 踏翅

论科学的起源 3

坚持先天判断立场的，叫做唯理论，带头大哥就是笛卡尔，后来的历任帮主记有斯宾诺莎和莱布尼兹；坚持综合判断立场的，叫做经验论，带头大哥是洛克，后来还有贝克莱和休谟。

两拨人吵架吵了一两百年，直到有一天，出现了康德。

康德在西方哲学史中的地位怎么评价都不过分。梁启超曾说康德是“西方近世第一大哲”，要我说，“近世”俩字完全是可以省略的。

康德是说不尽的，这是哲学界的共识。

康德是很牛的，牛到作为哲学家，可以根本不用理会这样的争论。

当大家还在为判断究竟是先天还是综合争的不可开交的时候，康德却发现，有三样东西，是既属于先天判断，又属于综合判断。康德称之为先天综合判断。

这事儿新鲜吧？这三样东西是：形而上学，纯粹数学，以及科学的基本假设。

现在我这里谈论的是科学的起源，形而上学似乎离科学比较远，离人文学科似乎更近一些，咱们先放到一边不去管他。但另外两个，数学，还有科学的基本假设，则是谈论科学怎么也绕不开了。

花开两朵，各表一枝。先来看看数学。

还记得老萨在潘承洞的故事里提到过，潘老在79年的高考试题中出过一道题：求证勾股定理。

事后发现，此题得分率为1％。（高考平均得分率通常是55％）

当时的回帖下面，很多DX一眼就看穿了这题诡异之处：绝对不能在等价命题里兜圈子。证明一定要从公理开始。

什么是公理？公理就是不用证明的定理。什么是定理？定理是用于推导的命题。公理不用证明，这说明了一件事，公理一定是综合判断，因为他不是被推导出来的；定理是用于推导的，这说明数学里的命题一定是先天判断，因为命题都是被推导出来的。

所以，什么是数学？数学就是以公理为基础的先天综合判断知识体系。