Intro: Free Speech in America
As the United States of America is celebrating its 250th Independence Day, many Americans are reflecting on the rights and freedoms that are not recognized around the world. The 1st Amendment, which guarantees free speech, is a unique value in the USA that allows Americans to think in their own right. But these freedoms wouldn't exist if Americans did not continue to vigilantly defend them. To everyone who recognizes the opportunities born from these liberties, Coherence Labs would like to start by saying thank you.
Thank you for the opportunity to communicate ideas that are good, bad, and everything in between. The degree of innovation in this country is simply unparalleled, and we can't wait to see what happens next. Therefore, Coherence Labs is excited to announce Early Access to Axiom: a new and different kind of free speech platform that will enhance the precision of your thinking. It comes with a few extra quirks that we believe will completely change and elevate the culture of discourse.
Axiom: The First Free Speech Social Platform for Logically Valid Reasoning
Axiom is a platform in which you can share your logically valid ideas. It's not like other platforms. Every idea you post to Axiom has fixed definitions, traceable reasoning, and is logically valid. Axiom accomplishes this not through censorship, but through a neutral opt-in protocol: logic.
Think of a game of chess: the board, pieces, and moves can be completely arbitrary. But from our starting rules, we know when someone tries to change the rules or attempts to make an invalid move. Yet even without a governing authority, everyone can validate each other's moves. The same phenomenon is observed not just in chess, but even in Monopoly, checkers, and so forth. Indeed, there is no objectively logical or objectively true game to play. Everyone can play their own game and have their own loyal community.
Moreover, when these games are encoded into software, it becomes much harder to cheat. Everyone must play by the rules they agree to when they click Play—and it can all be accomplished without a censorship committee. The "authority" is just code that universally enforces the rules of where pieces can go. In addition, certain unique benefits arise that make online versions of the game more valuable, such as automatic checkmate detection, play analysis, and a richer community. This is what Axiom wishes to bring to social discourse.
Simply put, logic is about following rules consistently. In Axiom, it doesn't matter what your core beliefs are—that is, what your premises are—as we are a free speech platform. It only matters that your conclusions are logically valid moves.
Our proposition is that if you want to effectively detect or avoid contradictions and foster a productive culture for reasoning, a new platform that plays a different game is needed. Because Axiom enforces logic, Axiom is able to automatically detect a post's logical validity whether you're talking about politics, philosophy, law, medicine, or a math-related subject. This means that in each of these domains, justifications don't subtly change mid-argument, and everyone can view the programmatically verified logical breakdown of an argument. In turn, this allows a proven and concrete network of ideas and conclusions to be built on a fixed foundation. It's trading narratives for proof.
At Coherence Labs, we believe that there are vast implications from this transition. We have big ambitions as to where this will end up and how this will change the world, and this project is just in its inception. Here are some of the Early Access features we can't wait to share with you.
Early Access Features
In our Early Access, you will be able to:
- View an idea's logic
- Explore visual representations and connectedness of ideas
- Create your ideas
- See a particular user's ideas
- Adopt and reject other users' ideas
- Use our AI skills to help structure your idea in formal logic
- Download your content
- Share interesting posts
Axiom is creating a new paradigm, so it doesn't use traditional solutions. Where standard social media universally fails to have a logical standard for content, Axiom guarantees logical validity by adopting a new approach that no other platform has done: ideas are not communicated in natural language, but in logic via a programmable proof. Indeed, we believe that expressing your ideas in proofs is the necessary leap—the prerequisite for achieving a neutral and authority-free exchange of logically valid ideas.
Viewing and Exploring Ideas
In our Early Access phase, ideas are encoded in Lean 4, and yours can be about anything—social, philosophical, legal, or even hypothetical beliefs. Like a standard newsfeed, Axiom shows you the public statements of other users. Each public idea also comes in two visual forms: an argument map that lays out its logical breakdown, and a knowledge graph that shows how a user's posts connect.
Instead of natural language posts, you have three building blocks: propositions, which can be used as premises or adopted as User Axioms; definitions, which allow vast semantic complexity to be captured losslessly with a few tokens; and theorems, which prove that certain premises entail a particular conclusion. You can reason about others' User Axioms without necessarily adopting their beliefs. Together, these building blocks constitute Axiom's logical system.
Adopting and Rejecting Ideas
Instead of the concept of Liking or Disliking a post, you have the ability to Adopt and Reject a post that updates your public User Axioms. Therefore, engagement is less likely to be passive, but instead an active process of shaping your publicly-held beliefs.
Bring Your Own AI
In our Early Access phase, it is BYOAI. Your AI can use our skills to help construct logical arguments from start to finish. Therefore, for the best experience, our Early Access users would benefit from having experience in writing formal proofs and a technical background. By Beta, our plan is to have a seamless experience for all users of all backgrounds and skill levels.
Sharing and Downloading
You can link individual posts and share them on other platforms, as well as download your content for personal use. Our mission is to build solutions that enhance your thinking and benefit you.
Additional Quirks
We also have a few additional quirks that we believe help foster a culture of integrity. If a claim is proven to have a contradiction, all users who see and use that claim will be aware the claim has a contradiction. This means proving contradictions is an instant effect for everyone everywhere. We believe that this encourages careful thinking.
You can retract statements and update your beliefs, but the history of your claims is an immutable record. Our goal is to be a free speech platform that keeps a public history of events.
Community
In the Early Access phase, one of our biggest focuses is building a strong community of driven people of any and all backgrounds who are seeking a higher standard of discourse. We hope to see you on Axiom and in our Discord where community members will have the opportunity to directly inform and shape the product. Our mission is to build solutions that enhance your ability to achieve your goals.
Throughout building this product, we have already noticed how Axiom has improved our ability to reason and connect our thoughts. It's like a truth that once you see it, you cannot unsee it.
Axiom is a free speech platform that we believe will completely transform your thinking. We are so excited to announce Early Access to our product so you can see for yourself.
Happy 250th Anniversary to the United States of America.
From,
Coherence Labs