明在哲学
明在哲学是一套公设驱动的跨学科哲学体系，用以理解现实。它不是宗教、不是意识形态、不是心灵鸡汤。它是一套可以被审视、挑战和完善的公设系统。明在研究院的存在，就是将这个框架应用于预测市场、金融、AI 等学科的研究。
观看预告片
九十秒，哲学的长河流入 AI 时代。
六条基本公设
以下公设使用框架自身的语言。「实在」指统一的存在基础；「理」是可被形式化的可理解面向；「玄」是不可言说的面向；「展开」是实在显现为多样有限模式的方式。
公设一 — 实在
存在一个统一的实在基础。一切存在者都是实在的展开模式。实在之外无物。
公设二 — 展开
实在必然展开为无限多样的模式。展开产生真实的、不可消解的差异。
公设三 — 双面
实在必然同时具有可理解面向（理）和不可言说面向（玄）。两者交织而非互斥，不可互相还原，也不可分离。实在大于理与玄的总和。
公设四 — 有限性
任何特定的展开模式都是有限的——它以特定的方式存在，因此不以其他方式存在。
公设五 — 体验
有限的、具身的能动者拥有不可还原的第一人称体验。
公设六 — 认知的有限性
实在的任何展开模式对实在的认识都必然是部分的。
形式化验证
《明在哲学》中的数学命题不依赖权威，而是由研究院的形式化验证引擎 LucidMath 逐行机器检验，构建于 Lean 4 与 Mathlib 之上。每一条可证明的结论都经内核验证。每一个发现的错误都已修正并设有护栏。哲学归哲学，数学则必须被证明。
了解 LucidMath→