如果哲学家们是程序员？那么他们会……(2)

05 勒奈·笛卡尔：真正的 Java 大师

笛卡尔是反对经典古希腊哲学的第一位西方哲学家。他的核心思想在他的《哲学原理》中著名的第七章有所提及，该书基于我思（理性自我）这一概念。笛卡尔相信怀疑是存在的证明，我思是怀疑的起因，因此得出了著名的“我思故我在”。我思并不是我们进行的一项活动，而是我们的所有活动。所以，我们所要、 所想和所感，通过我思都可以直接获得，笛卡尔几乎“证明”了上帝的存在，理由是人们能够思考上帝存在之必要这一问题。事实上，任何理念或者形式都可以通过 我思来获得。笛卡尔在哲学中的另一重要贡献是：从他开始，哲学尽量避免模糊的抽象之论，去追求简练而近于几何理论的形式。笛卡尔以近乎定理的形式阐述了他 的思想。

笛卡尔绝对是完美的 Java 大师。Java 是第一门强类型语言，它的每一样东西在使用之前必须有一个类型（或哲学地说，它们共享一种形式），这非常符合笛卡尔关于他精确言谈的努力。笛卡尔的我思是 柏拉图形式的再现，区别在于，笛卡尔认为理念存在，是因为我们思考，而且它并不存在于另一个宇宙。他的哲学可以说是纯面向对象的，是我们得到的解决方案， 也是我们智慧的直接产物。

06

伊曼努尔·康德：首位 Python 程序员

康德找了通往哲学殿堂的“简易”方法：放弃采用笛卡尔的我思和经验主义这两种对立、相反的学说中的任何一种，而大喊“都要”。康德审视了人类的 理性，声称被先验理性过滤的经验能通向真理。当他的哲学成熟后，开始研究美学，试图理论化解释人的审美。康德极端精准的性格，痴迷于整洁和精确，在每天固 定的时刻做固定的事情，以至于他的熟人竟然将他“用于”计时。

同样地，Python 是一门尝试将各种解决方案组合在一起的新程序语言。它是多范式的程序语言，从面向对象编程到基于契约的编程。Python 程序员拒绝像 Perl 一样自由表达的形式，同时又从它借鉴了不少特性。Python 强调简洁和清晰的代码。Python 太“痴迷”于此，以致将空白缩进作为代码块的分隔符。在“Python 之禅”的 19 条教义中首条便是“美胜于丑”。康德对美和艺术的追求，让他成为名副其实的首位 Python 程序员。

07

路德维希·维特根斯坦：天才 Haskell 程序员

维特根斯坦犹如苏格拉底的辩经，深刻地革命了西方哲学。他的札记般的哲学著作《逻辑哲学论》堪比逻辑学艰深的研究生数学读本。维特根斯坦指出语 义和符号形式是一切这些问题的根源，剩下的都可明确地归为科学的范畴。依靠纯逻辑，他推导出语言内在的歧义性决定了哲学不过是在重复它自己，并且以这句“但凡不可言所，务必保持沉默”的旷世名言结束了本书，同时声称解决了所有的哲学问题。

维特根斯坦是天生的 Haskell 程序员。Haskell 不是第一门函数式编程语言，而是在 80 年代后期出现的，并被视为最为重要的函数式语言。Haskell 并不是适合所有人，就像《逻辑哲学论》一样。如维基百科中所写，它有严格的数学和逻辑形式。Haskell 是纯函数式程序语言，它重新定义了程序员使用抽象数据类型的方式，正如维特根斯坦像苏格拉底的辩论法一样，革新了现代西方哲学。

上面这些听起来也许有点奇怪，但是对程序员来说，很容易意识到它们之间深层次的联系，但我不确定哲学家们是否持有相同的观点。无论如何，至少是现在可以理解，为什么在维基百科中每一篇关于程序语言的文章中，都有“语言哲学”这特别的一节。

来源：CSDN技术社区

原标题：If Philosophers Were Programmers

作者：

哲学聊天专用贱图（完整解析版）2020-09-22

戴锦华 | 如何理解“花木兰”式的女性生存困境？2020-09-20

美国大法官金斯伯格去世，这世界少了一位“超级英雄”2020-09-19

萨特与波伏娃：在爱情中流亡的纯粹欢愉者2020-09-18

林语堂 | 人们成功时皆儒家,失败时皆道家2020-09-17

让好文与你的好友不期而遇

文章来源：《哲学动态》 网址: http://www.zxdtzzs.cn/zonghexinwen/2020/1113/377.html