mirror of
https://gitlab.com/upRootNutrition/obsidian.git
synced 2025-08-09 05:14:42 -05:00
35 lines
No EOL
1.4 KiB
Markdown
Executable file
35 lines
No EOL
1.4 KiB
Markdown
Executable file
### Argument Against Libertarian Free Will
|
|
|
|
| <font color="CC6600">**Definiendum**</font> | <font color="CC6600">**Definiens**</font> |
|
|
|:-------------------------------------------:|:----------------------------------------- |
|
|
| <font color="CC6600">**P(x)**</font> | (x) is deterministic |
|
|
| <font color="CC6600">**Q(x)**</font> | (x) follows from antecedent conditions |
|
|
| <font color="CC6600">**R(x)**</font> | (x) violates causality |
|
|
| <font color="CC6600">**x**</font> | an event |
|
|
| <font color="CC6600">**w**</font> | a libertarian free choice |
|
|
|
|
<div style="text-align: center">
|
|
<font color="CC6600">
|
|
<b>P1)</b></font> For all x, where x is an event, x is deterministic if, and only if, x follows from antecedent conditions.
|
|
<br />
|
|
<font color="CC6600">
|
|
<b>(∀x(Px↔Qx))</b>
|
|
<br />
|
|
<b>P2)</b></font> For all x, where x is an event, x violates causality if, and only if, x does not follow from antecedent conditions.
|
|
<br />
|
|
<font color="CC6600">
|
|
<b>(∀x(Rx↔¬Qx))</b>
|
|
<br />
|
|
<b>P3)</b></font> A libertarian free choice is not deterministic.
|
|
<br />
|
|
<font color="CC6600">
|
|
<b>(¬Pw)</b>
|
|
<br />
|
|
<b>C)</b></font> Therefore, a libertarian free choice violates causality.
|
|
<br />
|
|
<font color="CC6600">
|
|
<b>(∴Rw)</b>
|
|
<br />
|
|
<br />
|
|
</font>
|
|
</div> |