.. meta::
   :description: If compatibilism holds (59% of philosophers), ax17's guidance-versus-force distinction collapses. If hard determinism holds, ax15 fails and the theodicy falls.
   :keywords: free will, libertarian, compatibilism, hard determinism, ax15, ax17, Dennett, Pereboom, Bourget Chalmers survey, adversarial review
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: Con-E.9 — Free Will Debate<br>Undermines ax15 and ax17
   :og:card:description: Most philosophers are compatibilists. Under compatibilism, God sustaining the causal chain while claiming only to guide is a distinction without a difference.

.. SOCIAL-CARD-QUALITY-COMPARE --- OO (default effort) vs PP (max effort), 2026-03-26
   OO :description: Adversarial objection: ax15 assumes libertarian free will, but compatibilism collapses the guidance-force distinction in ax17. Severity E.
   OO :keywords: free will, libertarian, compatibilism, determinism, ax15, ax17, Dennett, Pereboom, adversarial review, theodicy
   OO :og:card:title: Con-E.9 — Contested<br>Libertarian Free Will
   OO :og:card:description: Under compatibilism, God sustaining the causal chain while claiming only to guide is a distinction without a difference.
   PP :description: If compatibilism holds (59% of philosophers), ax17's guidance-versus-force distinction collapses. If hard determinism holds, ax15 fails and the theodicy falls.
   PP :keywords: free will, libertarian, compatibilism, hard determinism, ax15, ax17, Dennett, Pereboom, Bourget Chalmers survey, adversarial review
   PP :og:card:title: Con-E.9 — Free Will Debate<br>Undermines ax15 and ax17
   PP :og:card:description: Most philosophers are compatibilists. Under compatibilism, God sustaining the causal chain while claiming only to guide is a distinction without a difference.

.. SOCIAL-CARD-REVIEW --- generated by Claude Opus 4.6, 2026-03-26
   dv_ClaOp46_PP_2026m03d26 --- max-effort rewrite, read full page.
   :description: 150 chars | :og:card:title: 42 chars (excl <br>)
   - [ ] PP title more compelling than OO title
   - [ ] PP description more accurate than OO description
   - [ ] Description hooks without misleading
   - [ ] Keywords specific to this page's actual content
   - [ ] No language rule violations
   - [ ] Character counts verified

.. Migration: from quest.rst label jub-con9 -> jub-con19
..   Phase 2I-6 migration, 2026-03-24

.. include:: /_templates/include-file/page-prefix.rst

.. _jub-con19:

Con-E.9 --- ax15 (Libertarian Free Will) Is Contested; Compatibilism Undermines ax17
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
*Severity: E (Moderate)*  |  *Sphere: Se5*  |  *Target: ax15, th5, th7*

ax15 asserts "genuine agency" — that humans can choose among
alternatives within D_free. The text claims denial is "performatively
self-refuting." But this holds only under a libertarian account of
agency.

The **compatibilist position** (held by 59.2% of professional
philosophers; Bourget and Chalmers 2023) holds that "genuine choice"
is compatible with determinism. Under compatibilism, ax15 can be
accepted, but ax17's guidance/force distinction loses its force: if
human choices are determined by prior causes (including divine
sustaining per ax9), then the distinction between "guidance" and
"force" collapses. God sustaining the entire causal chain (ax9)
while claiming to only "guide" (ax17) is, under compatibilism, a
distinction without a difference.

The **hard determinist / hard incompatibilist position** (Pereboom
2001) rejects ax15 outright. Under this view, the "performative
self-refutation" argument fails because making an argument is a caused
event, not a free choice.

**Steel-man:** If ax15 is weakened to compatibilism, ax17's non-coercion
principle becomes unmotivated. If ax15 is rejected entirely, th5 (Divine
Non-Responsibility) fails and the innovation theodicy collapses. The
practical self-destruction conclusion (the Jubilee System is needed)
could still stand, but the theological framework (God seeks
volunteers) would not. Dennett (2003) argues the libertarian free will
that ax15 presupposes is incoherent and unnecessary; Pereboom (2001)
argues moral practices can be grounded without it.

*(Source: C9 from OOv1 Critique Round 1.)*