明在哲学
AI 时代的存在哲学
明在哲学是一套以公理化形式陈述的哲学体系：以六条公设为前提，推导出关于存在、认知、价值与政治生活的定理和命题。它不是宗教，不是意识形态，也不是心灵鸡汤。每条公设都被表述为可以检验、也可以拒绝的命题，书中逐条追踪拒绝某条公设之后哪些结论随之失效。明在研究院以这一框架为哲学起点，将其概念用于预测市场、金融、AI 等学科的研究。
观看预告片
九十秒，哲学的长河流入 AI 时代。
四个核心概念
六条公设使用框架自身的术语。其中承担主要论证负荷的是以下四个概念，定义依据书中第一章。
- 实在 · D1
- 自因的、无限的、统一的整全，万物由此展开，是先于一切区分的本源。老子自述「吾不知其名，强字之曰道」，本书在同样的意义上称之为「实在」。
- 理 · Pattern · D3
- 实在的可理解面向，万物借以被认识、被分析、被表达的秩序。数学定律、物理法则、因果关系，皆属于理。
- 玄 · Mystery · D4
- 实在的不可言说面向，超出一切概念和语言的维度。「玄」取自《道德经》第一章「玄之又玄，众妙之门」，不附带任何神学承诺。
- 明 · Lucidity · D5
- 对实在的双重面向的觉醒，既理解理之清晰，又敬畏玄之深邃。书中将其形式化为乘积 M = λ · ξ，λ 为理觉，ξ 为玄觉。取乘积而非求和：任一面向的觉知为零，明即为零，而不是减半。明的反面是遮蔽（D6），即忽视理，或否认玄。
定理 T1（边界定理）：完全的清醒不可达，完全的遮蔽也不可达。对任何有限能动者，0 < M < 1。上界由公设四与公设六演绎得出；下界依赖一个现象学步骤，因此书中将该定理标为「论证」（demonstration）而非「证明」（proof）。明因此是一个生长方向，而不是可以抵达的终点。
六条基本公设
公设是不能由更基本前提推出的基础假定。接受或拒绝一条公设是一个生存抉择，不由任何演绎替你完成。以下表述依据本书当前版本。
公设一：实在
存在一个统一的实在基础。一切存在者都是实在的展开模式。实在之外无物。
公设二：展开
实在必然展开为无限多样的模式。展开产生真实的、不可消解的差异。
公设三：双面
实在必然同时具有可理解面向（理）和不可言说面向（玄）。两者交织、不可还原、不可分离，实在大于理与玄之和。
公设四：有限性
任何特定的展开模式都是有限的：它以特定的方式存在，因此不以其他方式存在。
公设五：体验
有些有限能动者拥有体验。
本公设只断言体验存在，不断言哪些能动者拥有体验。「体验与具身相伴」是本书的工作假设，明确标为可修正。
公设六：认知的有限性
实在的任何展开模式对实在的认识都必然是部分的。
六条公设之间的关系
六条公设之间是概念上的奠基关系，不是逻辑推导关系。实在（公设一）为其余各条奠基；展开（公设二）与双面（公设三）由此分出；有限性（公设四）、体验（公设五）、认知的有限性（公设六）构成下一层。其中有一对最易混淆。公设四与公设六都称「有限」，但限定的对象不同。公设四限定存在：作为某一特定模式而存在，就意味着放弃其他模式。公设六限定认知：作为实在一部分的模式，无法跳到实在之外去把握整全。二者互不蕴涵。第十九章第一节论证六条公设相互独立且最小（删去任一条，都有一个具名结论失效），并对这一主张注明两点限度：独立性由概念分析论证，未经形式证明；六条之中，公设六的设计依赖最重。
从哲学到研究
研究院的各研究项目借用这些概念，但并非从公设演绎而来。预测市场研究考察分散在大量有限能动者之间的知识如何聚合为价格（公设二、六）。金融与经济研究考察稀缺条件下经济系统的结构规律（公设三、四）。AI 研究考察人工系统与理、玄的关系，并把 AI 在体验谱系上的位置当作一个可由证据改变答案的开放问题（公设三、五、六）。
数学命题的机器检验
凡书中提出的数学命题（主要集中在附录 B 的形式模型），都由研究院基于 Lean 4 与 Mathlib 的形式化库 LucidoMath 写成 Lean 定理，并在台账中登记状态。「已证明」：定理在仅使用标准公理的条件下通过编译。「公理审计」：核心定义已编码并通过类型一致性检查，但这不等于证明它们为真。「已修正」：Lean 构造出反例否定了已出版的表述，书稿随后修正，反例作为回归护栏保留在构建中；迄今已有三条已出版表述按此方式修正。公设本身是哲学承诺，不是定理，这里没有任何主张声称证明了它们。
了解 LucidoMath→开放的框架
框架把认知的有限性（公设六）用在自己身上：任何理论，包括本框架，都是实在的有限映射（命题 P7、定理 T3），修正这张地图本身就是实践的一部分。第十九章列出了什么样的发现会证伪本框架，回应了以最强形式重述的反驳，并保留一份让步清单。如果你发现某条公设的缺陷、某步推导的漏洞，或更好的表述，我们希望听到。
写信给研究院→阅读全书
《我明故我在》是明在哲学的奠基之作，中英文两版均为全本。它追问：如果 AI 在每一个可衡量的维度上超越我们，人的生命价值何在？它的回答从上面六条公设出发。
在 lucidosophy.org 阅读