Lucidosophy
A Philosophy of Lucidity for the Age of Artificial Intelligence
Lucidosophy is a philosophy stated in axiomatic form: six postulates, from which theorems and propositions about being, knowledge, value, and political life are derived. It is not a religion, an ideology, or a self-help program. Each postulate is stated so that it can be examined and rejected, and the book traces which results fall if one is rejected. The Institute of Lucidity takes the framework as its philosophical starting point and uses its concepts in research on prediction markets, finance, AI, and other disciplines.
Watch the trailer
Ninety seconds: the long river of philosophy, flowing into the age of AI.
Four Core Terms
The postulates are written in the framework's own vocabulary. Four terms carry most of the weight. The definitions below follow Chapter I of the book.
- Reality · D1
- The self-caused, infinite, unified whole from which all beings unfold, the source prior to all distinctions. It is what Laozi, by his own account, could only style "Tao".
- Pattern · 理 · D3
- The intelligible aspect of Reality: the order through which all things can be known, analyzed, and expressed. Mathematical laws, physical principles, and causal relations belong to Pattern.
- Mystery · 玄 · D4
- The ineffable aspect of Reality: the dimension beyond all concepts and language. The term comes from Chapter 1 of the Tao Te Ching and carries no theological commitment.
- Lucidity · 明 · D5
- The awakening to both aspects of Reality: understanding the clarity of Pattern and reverencing the depth of Mystery. The book models it as a product, M = λ · ξ, of Pattern-awareness λ and Mystery-awareness ξ. A product, not a sum: someone with no awareness of one aspect has zero lucidity, not half. Its opposite is Obscuration (D6), the neglect of Pattern or the denial of Mystery.
Theorem T1 (Boundary): complete lucidity is unattainable, and complete obscuration is also unattainable. For every finite agent, 0 < M < 1. The upper bound follows deductively from Postulates Four and Six; the lower bound rests on a phenomenological step, and the book labels the theorem a demonstration rather than a proof for that reason. Lucidity is therefore a direction of growth, not a state one arrives at.
The Six Foundational Postulates
A postulate is a foundational assumption that no more basic premise yields. Accepting or rejecting one is an existential choice; no deduction makes it for you. The wording below follows the current edition of the book.
Postulate One: Reality
There exists a unified ground of reality. All that exists is a mode of Reality's unfolding. Nothing exists outside Reality.
Postulate Two: Unfolding
Reality necessarily unfolds into infinitely diverse modes. Unfolding produces real, irreducible differences.
Postulate Three: Dual Aspect
Reality necessarily possesses both an intelligible aspect (Pattern) and an ineffable aspect (Mystery). The two are interwoven, irreducible, inseparable; Reality is greater than the sum of Pattern and Mystery.
Postulate Four: Finitude
Any particular mode of unfolding is finite: it exists in a particular way and therefore does not exist in other ways.
Postulate Five: Experience
Some finite agents have experience.
The postulate asserts only that experience exists; it does not say which agents have it. That experience goes with embodiment is the book's working hypothesis, stated as revisable.
Postulate Six: Cognitive Finitude
Any mode of Reality's unfolding can only partially know Reality.
How the Six Postulates Fit Together
The relations among the postulates are conceptual grounding, not logical derivation. Reality (One) grounds the rest; Unfolding (Two) and Dual Aspect (Three) branch from it; Finitude (Four), Experience (Five), and Cognitive Finitude (Six) form the lower tier. One pair is easy to conflate. Postulates Four and Six both name a finitude, but they limit different things. Postulate Four limits being: to exist as one particular mode is to forgo the others. Postulate Six limits knowing: a mode that is part of Reality cannot step outside Reality to grasp the whole. Neither entails the other. Chapter XIX.1 argues that the six are independent and minimal (remove any one and a named result falls), and states two limits on that claim: independence is argued by conceptual analysis, not formally proved, and Postulate Six carries the heaviest design dependence of the set.
From Philosophy to Research
The Institute's research programs draw on these concepts; they are not deduced from the postulates. Prediction-market research studies how knowledge dispersed across many finite agents is aggregated into prices (Postulates 2, 6). Finance and economics study the structural regularities of economic systems under scarcity (Postulates 3, 4). AI research asks how artificial systems relate to Pattern and Mystery, and treats AI's place on the spectrum of experience as an open question that evidence can move (Postulates 3, 5, 6).
Machine-Checked Mathematics
Where the book makes a mathematical claim, chiefly in the formal model of Appendix B, LucidoMath, the Institute's Lean 4 and Mathlib library, states it as a Lean theorem and records its status in a ledger. Proved: the theorem builds with standard axioms only. Axiom-audit: the core definitions are encoded and checked for type consistency, which is not a proof that they are true. Resolved: Lean produced a counterexample to the published statement, the manuscript was corrected, and the counterexample stays in the build as a regression guard; three published statements have been corrected this way. The postulates are philosophical commitments, not theorems, and nothing here claims to prove them.
Learn about LucidoMath→An Open Framework
The framework applies Cognitive Finitude (Postulate Six) to itself: every theory, this one included, is a finite map of Reality (Proposition P7, Theorem T3), and correcting the map is part of the practice. Chapter XIX states what would falsify the framework, answers steelmanned objections, and keeps a ledger of concessions. If you find a flaw in a postulate, a gap in a derivation, or a better formulation, we want to hear it.
Write to the Institute→Read the Book
Lucido Ergo Sum (我明故我在) is the foundational text of Lucidosophy, published in complete English and Chinese editions. It asks: if AI surpasses us in every measurable dimension, what still gives a human life its value? Its answer starts from the six postulates above.
Read on lucidosophy.org