程序员学康德（序）

  计算机的世界是一个纯粹理性的世界，一切的逻辑都建立在数学和物理构所建构出来的秩序法则，感性在计算机世界是行不通的，只有理性才能自由徜徉计算机的世界。作为一名计算机领域的从业者，在实践的过程中一直在摸索可以在计算机世界适用的方法论。计算机领域发展离不开“抽象”这个武器，操作系统是对计算机硬件的抽象、IO是对外设硬件例如鼠标键盘的抽象、事物的概念只有经过不断的抽象和提纯，我们才能更加接近事物的本质，更加游刃有余的处理计算机世界的硬件软件问题。哲学就是在寻找世界的本质、起源和规则，抽象各种概念，从这个角度讲，从哲学的方法论中寻找描述计算机世界的方法论是一个不错的思路，同时也印证了那句：所有学科发展最终都讲归入了哲学这门学科中。
  零零散散的开始接触哲学，从泰勒斯、毕达哥拉斯、到柏拉图、苏格拉底、亚里士多德，再到中世纪教会哲学，什么唯心主义和唯物主义，什么形而上学和自然辩证、看的是云里雾里，他们提出的很多理论与我们现代科学世界格格不入，困惑没解决，倒是更加迷茫了，回头看看走的这几步哲学探索之路，离总结出一套可以在计算机世界适用的方法论遥遥无期，沮丧感顿生。
  偶然的机会，在B站接触到一位宝藏UP主“悠悠Mobi两百斤”，在他的视频里面接触到了康德的《纯粹理性批判》（BV号：BV1L7411m76G），瞬间有种被击中的感觉，理性不就是计算机世界的上帝吗？计算机世界不就是建立在由理性发现的数学和物理的基础上吗？仿佛看到了方法论的曙光。康德开篇就说要研究理性，这就好比你我每天在研究微信小程序的设计，而康德上来就把关注点放在芯片设计的理论上。假如设计芯片的理论本身是有漏洞的，那么建立在芯片世界上的计算机世界必将问题重重。当然芯片的设计也是建立在通过理性来理解的物理世界的基础上的，假如理性本存在问题，人类构建的科学大厦必将倾覆，也就是皮之不存毛将焉附的道理了。康德立意之高，瞬间征服我这个小小程序员。当然这本书并不是要攻击理性，反而是要为理性正名，论证建立在理性基础上的分析是站得住脚的，是能够获得新知识的。整套论证逻辑，概念抽象提供了一套很好的范式，通过这一范式可以总结一套适用计算机世界的方法论。
  理性（Reason）是很好的东西，但是它有问题，是理性自己带来的，且理性自己没办法解决。什么问题呢？我们日常一切的经验（experience）和知识的获取都需要理性的参与，经验和知识的获取必须获得理性的认可才能被我们吸收。如果我们所有的知识和经验的获取都必须通过理性所构建的模型，那么理性就被推倒一个超越的境地，我们必须对理性进行认可，而很多情况，理性本身不能去理解，不能去验证，去质疑他，理性本身也就超越了我们日常判断或经验的范畴，意味着我们没有办法去触及理性本身，这就是理性带来的问题。这些争论最终只能被“形而上学（Metaphysics）”概括或玄学，最终的结局就是让理性演变成神学中的God，这是康德不满意的地方。
  上述这段论述最重要的三个概念：

• Reason 理性
• Experience 经验
• Metaphysics 形而上学 超越的存在

  康得用理性和经验这两个抽象概念，很好的说明白了现实世界人类经验和知识的获取模型，同时指出了理性的超然地位，进而引出神学的形而上学概念，最后道出问题所在。以前解释世界合法性的来源是宗教，现在合法性来源是理性本身，如果不对理性进行界定，那么理性必然会发展和宗教一样，形成另外一个超然的存在，这就可能导致，理性本身和以前的宗教神学没有区别。理性必须给出一个解释，来说明理性为什么是可靠的，理性相关的知识是什么。如果不解释理性，那么理性最终会发展成Metaphysics，成为教条主义。这也是这本《纯粹理性批判》书名的由来，去界定理性合法性的依据和边界。
  上述这番论述，问题表述清除，逻辑推倒缜密，讲明白了研究理性的紧迫性和具有的意义。总结起来就是，康德致力于将理性从以前无法解释，只能用Metaphysics来概括的境遇中解救出来，让理性本身有了合法性，进而使建立在理性基础上的现代科学有了有别于神学的坚实理论基础，可谓功德无量啊。

  本篇主要记录我对康德提出问题的理解，下篇讨论康德的认识论。