mirror of
https://gitlab.com/upRootNutrition/obsidian.git
synced 2025-08-09 05:14:42 -05:00
1.4 KiB
Executable file
1.4 KiB
Executable file
Argument Against Libertarian Free Will
| Definiendum | Definiens |
|---|---|
| P(x) | (x) is deterministic |
| Q(x) | (x) follows from antecedent conditions |
| R(x) | (x) violates causality |
| x | an event |
| w | a libertarian free choice |
P1) For all x, where x is an event, x is deterministic if, and only if, x follows from antecedent conditions.
(∀x(Px↔Qx))
P2) For all x, where x is an event, x violates causality if, and only if, x does not follow from antecedent conditions.
(∀x(Rx↔¬Qx))
P3) A libertarian free choice is not deterministic.
(¬Pw)
C) Therefore, a libertarian free choice violates causality.
(∴Rw)
(∀x(Px↔Qx))
P2) For all x, where x is an event, x violates causality if, and only if, x does not follow from antecedent conditions.
(∀x(Rx↔¬Qx))
P3) A libertarian free choice is not deterministic.
(¬Pw)
C) Therefore, a libertarian free choice violates causality.
(∴Rw)