Coherence Labs

Axiom Early Access now available! Map, verify, and publish your ideas to a growing network of logically verified human knowledge

[Coherence Labs @BuildCoherence]

Happy 4th of July! Today we are announcing Axiom Early Access! Axiom is the first ever social platform where all ideas are logically valid. Link below.

[Coherence Labs @BuildCoherence]

Logic isn't a set of rules — it's the concept of having consistently applied rules. In Axiom, you decide your own rules, we just make sure you apply those rules consistently. Get started for free: https://t.co/7XT540NiiO

[Coherence Labs @BuildCoherence]

Are you willing to make your ideas precise enough to be proven wrong? If so, we have a free AI toolkit for turning everyday ideas into formal logic!

[Coherence Labs @BuildCoherence]

https://t.co/R4LvWqPqM6

[Coherence Labs @BuildCoherence]

Happy 4th of July! Today we are announcing Axiom Early Access! Axiom is the first ever social platform where all ideas are logically valid. Link below.

[Sam Cymbaluk @SemanticSamuel]

It's hard to know what makes an idea good, but inconsistency ALWAYS makes an idea bad. Axiom provides an arena for ideas where the rules of logic are enforced. Our early access experience will be out in a few days!

[Coherence Labs @BuildCoherence]

Why is it you believe what you believe? For every belief, either you have a justification, or you "just believe it". We're building Axiom to bring clarity to your thought, which means helping you identify these two categories in your own thinking. In Axiom, justified beliefs are theorems, and just-so beliefs are your personal axioms.

[Coherence Labs @BuildCoherence]

https://t.co/JA0FTLcyXO

[Coherence Labs @BuildCoherence]

The goal with Axiom is to systematize the tools that modern science has already come to consensus on: formal logic, explicit assumptions, and verifiable reasoning. In order to put them in the hands of everyday people in a way that is approachable.

[Coherence Labs @BuildCoherence]

In the information age, ideas are the most valuable technology. AI has only proven that more true. Yet the main technology we use to understand and debate ideas—natural language—is literally from the Stone Age. That's the massive gap we're tackling with Axiom.

[Coherence Labs @BuildCoherence]

On Axiom, your profile is the axioms you've chosen to state and the theorems that follow from them. Users can prove new theorems from your axioms; those theorems appear on your profile whether you like them or not. If you don't want a theorem to appear, you revise your axioms.

[Coherence Labs @BuildCoherence]

https://t.co/Dojuoke366

[Coherence Labs @BuildCoherence]

Formal logic should not be intimidating. Logic makes explicit the rules we implicitly use to understand the world. Formal logic is simply adding a framework that enables us to use these rules in complex ways without making mistakes.

[Sam Cymbaluk @SemanticSamuel]

https://t.co/327RX0qlLx

[Coherence Labs @BuildCoherence]

Axiom ensures all arguments are valid and transparent. By making valid logic a basic requirement, online discourse is elevated to the level of precision needed to make progress on the biggest issues facing us today.

[Coherence Labs @BuildCoherence]

We are rediscovering language in logic.

[Coherence Labs @BuildCoherence]

Axiom doesn't care if the world is made of cheese; it only cares that your 'Cheese-World' theorem doesn't contradict itself.

[Sam Cymbaluk @SemanticSamuel]

We can both speak English and yet not speak the same language. What if we had indicators for definitional overlap? You could see how likely you are to be misunderstood and adjust your behavior accordingly.

[Coherence Labs @BuildCoherence]

The next epoch of knowledge will be logically consistent and traceable.

Axiom is the first platform where first principles aren't optional. Using patent-pending technology and AI, you can encode your ideas and verify the logical validity of all claims on the platform.
https://t.co/at4JyoYNti

[Coherence Labs @BuildCoherence]

Axiom unlocks the power of computation to exponentially magnify your thinking. By automatically deriving implications and finding connections, our system helps you identify novel insights and accelerate progress without compromising rigor.

[Coherence Labs @BuildCoherence]

@forthrighter For example, Bob might have the epistemology that whatever he finds compelling is true, and decide case-by-case with no defined principles at all. He is totally free to do this, so long as he is consistent. If False can be proven from his axioms, he is required to update them.

[Coherence Labs @BuildCoherence]

Deceptive logical fallacies can be eliminated from online debate. Using our patent-pending technology to ground discourse in formal logic, Axiom renders structural fallacies—like the motte-and-bailey—mathematically invalid. It's a platform for a new standard of integrity.

[Coherence Labs @BuildCoherence]

@forthrighter Thanks for the question. Unlike pathos and ethos, we can verify ethos in a binary way. An argument is either valid or invalid. The choice of axioms is where pathos and ethos come in. Axiom is ideologically neutral in that regard; users can define their own axioms.