斯宾诺莎

1632–1677

哲学即形式系统

《伦理学》（以几何学方式证明）作者。斯宾诺莎是第一位以公理化形式写出完整哲学体系的哲学家：定义、公理、命题、证明、推论。这是将欧几里得的结构应用于形而上学、伦理学和人性。

先例

明在哲学是斯宾诺莎《伦理学》最直接的思想后裔。两者共享同一结构雄心：将公理化方法从数学中取出，应用于关于实在、知识和人生的最深问题。斯宾诺莎证明了这并非荒谬：哲学可以严格而不失其为哲学。明在哲学认真对待这一先例并加以延伸：斯宾诺莎有一个实体（神/自然），明在哲学有实在；斯宾诺莎有两个属性（思维和广延），明在哲学有理和玄。

一元论

斯宾诺莎的核心主张是：只存在一个实体，一切都是该实体的模式。这一主张直接映射到明在哲学的公设一。「一切存在者都是实在的展开模式。实在之外无物。」这是以框架自身语言表达的斯宾诺莎一元论。这一对应并非偶然：同一结构性结论出现在起点截然不同的两个传统中，即17世纪欧洲理性主义与老子的《道德经》，而明在哲学同时继承了二者。研究院把这种汇合视为认真对待该洞见的理由，而不是对它的证明。

明在哲学的延伸

斯宾诺莎无法形式化验证他的证明：《伦理学》的「几何学方式」是文学和逻辑结构，而非可被机器检验的结构。明在哲学增添了斯宾诺莎所没有的两样东西：第一，认知的有限性（公设六）及以其为前提的自指定理（T3，另以公设三为前提），将框架自身的局限应用于框架本身，而声称完备的斯宾诺莎体系没有这样做。第二，LucidoMath，一个以证明内核检验框架中数学命题的形式化验证库。《伦理学》启发了形式；就数学部分而言，研究院构建了斯宾诺莎只能遥指的验证。公设本身仍是哲学承诺，不是定理。