theorem compatibilism_preserves_responsibility · Axiom

Skip to main content

EA

Graph Explore Download Pricing

Early Access

Refine ideas locally for free, then publish them to a growing network of logically verified human knowledge.

Navigation

Explore Axiom
Install Axiom Toolkit
Pricing
Blog
Roadmap

Resources

Privacy Policy
Terms of Service

Connect

Discord
X / Twitter
contact@coherencelabs.net

© 2026 Coherence Labs

theorem compatibilism_preserves_responsibility
theorem compatibilism_preserves_responsibility
(logic_is_actual : LogicIsActual)
(det : A Determinism)
(suff : A SelfSourcingSuffices)
(someone : A SomeoneSelfSourcesAnAction)
: A SomeoneIsMorallyResponsible

Published by @sam · Aug 3, 2026

View source in stb24v62

Press enter or space to select a node. You can then use the arrow keys to move the node around. Press delete to remove it and escape to cancel.

Press enter or space to select an edge. You can then press delete to remove it or escape to cancel.

Click a declaration to inspect it.

compatibilism_preserves_responsibility4 premises

Syntax

© 2026 Coherence LabsPrivacy Policy Terms of Service

theorem compatibilism_preserves_responsibility · Axiom