Axiom renders an argument as a diagram of claims, grounded in cited evidence, then finds its weak points.
Some things in the world are evidently in motion.
Whatever is in motion is moved by another.
An unmoved first mover exists.
But inertia needs no mover.
It is wrong always, everywhere, and for anyone, to believe anything upon insufficient evidence.
HOW IT WORKS
Typed nodes for axioms, premises, conclusions, and objections. Move them, edit them, weigh them.
Typed edges for support, opposition, and undercut. Bundle joint premises into one named inference.
Attach sources to any claim, then read the audit: what rests on nothing, and what everything leans on.
The demo opens a seeded workspace with the arguments below already reconstructed. No account needed.
THE LIBRARY
Every template is a full reconstruction with its citations intact. Read one now, fork it into your workspace when you sign in.
Argument · metaphysics · philosophy-of-religion
Thomas Aquinas' first proof of God's existence, from Summa Theologiae I q.2 a.3. Observed motion (change) is the actualization of potential; nothing actualizes its own potential, and an essentially ordered series of movers cannot regress infinitely, so there must be an unmoved first mover. Includes the Newtonian inertia objection and the infinite-regress challenge.
Worldview · ethics · practical-philosophy
The moral worldview of Bentham and Mill: pleasure and the absence of pain are the only intrinsic goods, everyone's well-being counts equally, and right action maximizes aggregate happiness. Mapped down to applied conclusions on famine relief (Singer) and animal welfare, with the utility monster, transplant, and demandingness objections.
15 claims
Argument · decision-theory · epistemology
Blaise Pascal's decision-theoretic argument that, since reason cannot settle whether God exists, prudence requires wagering on belief: an infinite reward at finite stakes dominates the alternatives. Mapped with the many-gods objection and the inauthentic-belief objection, plus Pascal's own reply that practice cultivates belief.
11 claims
No model grades your reasoning. The analysis engine is deterministic: the same framework yields the same numbers, every run.
Aquinas’ First Way
analysis report
Circular support. Cycle detection over the supports edges, reported with the full path.
Unsupported premises. Leaves with no support and no citation, ranked by how much rests on them.
Live contradictions. Claims left standing on both sides of the same question, paired.
Load-bearing claim. Which claim carries the most downstream weight if it gives way.
Propagated confidence. Linked premises multiply, convergent support combines, opposition subtracts.