Announcing Axiom Early Access
Announcing Axiom Early Access: a new and different kind of free speech platform that will enhance the precision of your thinking. Ideas on Axiom are expressed not in natural language but as programmable proofs, so every post has fixed definitions, traceable reasoning, and programmatically verified logical validity. It's trading narratives for proof.
The Next Leap in Communication Technology
Writing, the printing press, mathematical notation, computers, and the internet are all innovations that provided a new substrate for reasoning. Each enhanced the individual's ability to reason and increased collaborative efficiency. We believe the next leap in communication technology is overdue. To understand what the next leap might look like, it helps to analyze a historical pivot from prose to mathematical notation.
Towards Practical Philosophy
Words like "existence" and "real" have stalled philosophical progress. A pragmatic alternative offers a way forward: grounding our concepts in their consequences for action. By adopting the word "actual" to describe anything that affects how we act, we can sidestep intractable metaphysical debates and begin formalizing the domains that matter most.
Reality Can Be Modeled
Despite the modern abundance of data, communicating meaning remains a fundamental challenge. Addressing this paradox requires accepting a foundational proposition: reality can be modeled. Because language itself uses abstract symbols that map to reality, the mere act of communication assumes this premise. Consequently, asymptotically solving human miscommunication depends on improving the models backing our language rather than simply transmitting more data.