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