The Organon
Leibniz dreamed of a universal language where disagreements dissolve into computation. Twenty philosophers now govern every design decision in Cyra — from syntax to semantics, from types to trade-offs.
The Council
The philosophers are arranged in eight groups. Each group answers a different question. Together they form a court of checks and balances — no single voice dominates.
What is right?
Five classical thinkers provide virtue, balance, and wisdom. They set the standard for what good design looks like — structured reasoning, proportional solutions, principled courage.
What works in practice?
The Idealists assume virtue is self-sustaining. Machiavelli deals with reality — where politics override logic, where shipped beats perfect, where constraints force hard choices.
What is computable?
Seven mathematical logicians who built the formal foundations of computation itself. They provide the bridge between abstract thought and executable code.
How to choose between equivalents?
The engineers formalize. But when multiple formalizations are equally valid, how do you choose? Poincaré says: pick the convention that is simplest, most coherent, and most stable under perturbation.
What can be known?
Other philosophers tell you how to act. Kant asks the prior question: are you reasoning validly? Is it even possible to know this? He audits the reasoning structure itself.
What survives reality?
They ensure solutions survive contact with the real world — through falsification, language alignment, and insistence on concrete practical consequences.
How to synthesize opposing traditions?
The council generates many perspectives. Aquinas asks the prior question: have you heard the strongest objections? His Summa method — enumerate objections, then resolve — is the finest design review protocol ever devised.
Where should investigation focus?
Finite time, infinite options. Swinburne’s Bayesian method says: investigate the highest-probability hypothesis first and most deeply. Simple explanations deserve higher prior confidence. Many weak signals converging are strong evidence.
The twenty
Every philosopher contributes specific, actionable principles. Not ornaments — engineering tools.
Structure & Balance
Resilience & Perspective
Discipline & Preparation
Inquiry & Clarity
Economy & Composure
Strategic Realism
Universal Language
Logic as Algebra
Syntax & Scope
Limits of Proof
Computability
Information Theory
Lambda Calculus
Convention & Stability
Epistemic Auditor
Falsification
Language & Meaning
Pragmatism
Systematic Integration
Bayesian Investigation
Decision Protocol
For every non-trivial decision — architectural, design, or trade-off — the council follows a structured protocol. Four phases, twenty-two gates.
“The idealists tell you what is right. Machiavelli tells you what works. The engineers tell you what is computable. Poincaré tells you how to choose between equivalents. Kant tells you what you can and cannot know. Popper tells you to attack your own work. Wittgenstein tells you to align language before code. Peirce tells you truth is what survives contact with reality. Aquinas tells you to hear the strongest objections before deciding. Swinburne tells you where to focus your finite investigation time.”