Coherence Labs @BuildCoherence
We are building Axiom: a social platform for coherent, first principles thinking. coherencelabs.net Joined November 2025-
Tweets36
-
Followers48
-
Following3
-
Likes17
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.
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.
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.
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.
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.
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.
We are rediscovering language in logic.
Axiom doesn't care if the world is made of cheese; it only cares that your 'Cheese-World' theorem doesn't contradict itself.
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.
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. coherencelabs.net
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.
@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.
@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.
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.
@phay_fay Yes, it is! You may apply here: app.dover.com/jobs/coherence…
Our revamped website is here! It's packed full of information about what we're building. We tried to answer most of the questions we've gotten so far. Any additional ones, we can answer below! coherencelabs.net
We formally verfied this argument to be valid ✅ On our platform Axiom, once something has been proven, it is no longer up for debate. All users are required to accept the conclusion if they hold the premise to be true.
Disputing the possibility of AI consciousness requires one of two beliefs, both of which I find implausible: 1. Consciousness is linked to certain capabilities that AI will also never possess. If someone believes this, I’d be happy to make a bet with them. 2. Consciousness can
@ArtemisConsort Here is the full Lean code of the BFO formalization. If this seems intriguing, check out the platform we are building that will make logical analysis and formal verification of arguments like this accessible for anyone who values clear, coherent thought. coherencelabs.net/paste/ArtemisC…
@ArtemisConsort We liked your argument so much that we formally verified it ✅
Judd Rosenblatt @juddrosenblatt
6K Followers 1K Following Accelerating aligned AI & a flourishing future with neglected approaches & AI R&D. CEO at @aestudiola (AI consulting co puts profits into AI frontier)
Bob Lucas from Sacram... @BobLucasSAC
23 Followers 931 Following
davidad 🎇 @davidad
23K Followers 10K Following cognizing structures of information processing systems, in all their forms | category theory, perennial philosophy, Bodhitropic Alignment | cancel heat death
Kristie Cymbaluk @RealMetaBias
7 Followers 22 Following Co-Founder @BuildCoherence | religiously believe our thoughts will be provable | Building Axiom | wife of @SemanticSamuel | mom
𝔫𝔢𝔯𝔟 @methylphenidev
2K Followers 5K Following ኃጢአተኛ ነፍስህ ከድነት በላይ ነው እናም ሰላምን እና ህመምንም አታውቅም ፣ ብቸኛው የባዶነት ቅዝቃዜ ብቻ ነው የንስሐ ጊዜ ተጠናቅቋል ፣ ምክንያቱም ጥፋቶችህ በክፉ ዓይነትህ ከማንኛውም ተልእኮ ይበልጣሉ መጨረሻው ቅርብ ነው ፣ የኃጢያት መርከቦች
Cooper Veit @CooperVeit3
101 Followers 1K Following @AshibaResearch - Getting a team together for urgent research in heterogeneous infra. Launched April 2026 - arXiv live - prev @Stanford
Natwar (N_) Maheshwar... @natwar86
2K Followers 3K Following Head of Marketing @namespacelabs | ex @OpenRouterAI @Algolia, @Mailchimp | Founder @aroundio_ (exited)
JohnnyTwoFingers @Johnny2Fingersz
737 Followers 2K Following Misanthropy, Dark Triadism, Utopianism, anti-science, "pedantry", rouse rabbling, etc. All tweets for entertainment purposes, do not be afraid homie. Pedant.
Syed Ali Hasnain Naqv... @snaqviX
217 Followers 2K Following Ad Campaign Specialist turning platform presence into a revenue engine-boosting ROI, visibility, and attention. DM me for brilliance. All views below personal.
A T @iDramedy
278 Followers 6K Following
John Smith @JohnSmithp1fo
19 Followers 7K Following
Kevin Tunis @kevtunis
296 Followers 2K Following Helping creators and solopreneurs turn ideas into real AI-powered workflows | Founder of AI Automation Innovators
Badczech 2.0 @kolombospartner
3K Followers 3K Following "Today We Are Transferring Power From Washington DC & Giving It Back to You the People" DJT Inaugural Jan 2017 "The World Is About 2 Change"/NCSWIC/NO DM's
Ralphael Lundt @RLundt20993
56 Followers 7K Following
Daniel Landsman @dlandsma
488 Followers 2K Following Principal Product and Tech 3CVentures Ex-Head of Adtech @Aerospike team for 2 programmatic exits #adtech/#martech Fellow @Beondeck Mentor @founding fisherman
Kit @kitakinluyi
317 Followers 1K Following building gabble | https://t.co/dXUx2JgfDc | @fdotinc | @columbia
Jason Smith @JasonSmith61627
6 Followers 89 Following
Sandra Lee @SandraLee416723
431 Followers 407 Following
anthony ford @anthonyfor55907
1K Followers 4K Following free earth from corruption daily, continue to create the creator's vision for humanity, free your mind from the prison and witness the glory
Adrian @AdrianRicard0
745 Followers 2K Following php/js dev → founder → pm → product designer → llm psychosis
le general @benthvmas
39 Followers 615 Following
正周 @DIdAnuygPb58330
0 Followers 4 Following
Frankie @Frankie265956
5 Followers 523 Following
Telesforo Pasoz Marin @telesforopasozm
160 Followers 1K Following
Sutherland Vanscoy @Sutherland18599
0 Followers 191 Following
Riccardo Valperga @RValperga
282 Followers 607 Following Physics MSc. PhD student @UvA_Amsterdam. Deep Learning 🧠 & Dynamical Systems 💫 Physical AI 🤖
🇬🇭 @davidoppong9
400 Followers 687 Following Every observation of the state of the world is an assault on my psyche
Yiman Sun @yiman_sun
9 Followers 1K Following
Forth ❤️🔥 @forthrighter
4K Followers 1K Following grow the good, sow what you want to reap, unite all the things
Fay @phay_fay
3 Followers 30 Following
James Cho @ogJamesCho
279 Followers 3K Following Homo faber, manifest destiny supplier, relapsed aerospace engineer - let’s build the future we deserve.
Delta, Dirac @DeltaClimbs
10K Followers 1K Following Post-Schizo Nietzsche enthusiast. Strange attractor to the weirdly cracked. Exploring sociocybernetic frontiers in aerospace, defense, and society.
Brian Cymbaluk @bcymbaluk
50 Followers 326 Following Working stiff living in Canada's ocean playground. Loves his wife and three kids. God is great, beer is good and people are crazy. #Bitcoin
Truth Seeker @TruthSeeker1415
92 Followers 630 Following Question everything. What's your source? #bitcoin
Sam Cymbaluk @SemanticSamuel
41 Followers 50 Following Co-Founder @BuildCoherence | Building Axiom to elevate logical discourse and knowledge 🚀 | Husband of @RealMetaBias
Mark Julia @tigano36535
38 Followers 946 Following
Sam Cymbaluk @SemanticSamuel
41 Followers 50 Following Co-Founder @BuildCoherence | Building Axiom to elevate logical discourse and knowledge 🚀 | Husband of @RealMetaBias
Lean @leanprover
11K Followers 50 Following Lean is a dependently-typed programming language and theorem prover.
You might like
