theorem hard_determinism_denies_responsibility
theorem hard_determinism_denies_responsibility
(logic_is_actual : LogicIsActual)
(pap : A AlternativePossibilitiesRequired)
(excl : A DeterminismExcludesAlternatives)
(det : A Determinism)
: A NoOneIsMorallyResponsible