In defence of free will: Difference between revisions

→‎Refuting the argument from incompatibility with a mutually exclusive dichotomy: Replaced the verbose terminological aside with a simpler justification of "contingent" based on its definition in logic.
→‎Refuting the argument from incompatibility with a mutually exclusive dichotomy: Clarified the wording introduced by the previous edit.
Line 21: Line 21:
Now, by basic logic (the law of excluded middle) and syntax it is easy to see that "deterministic versus indeterministic" is a genuinely mutually exclusive dichotomy, however, a little insight leads to the conclusion that the dichotomy "necessitated versus random" is not. It has a gap in it - a gap into which a third option compatible with free will slots. Something has gone missing in translation.
Now, by basic logic (the law of excluded middle) and syntax it is easy to see that "deterministic versus indeterministic" is a genuinely mutually exclusive dichotomy, however, a little insight leads to the conclusion that the dichotomy "necessitated versus random" is not. It has a gap in it - a gap into which a third option compatible with free will slots. Something has gone missing in translation.


That missing third option covers those events for which we can say that although the event happened due to some cause, it did not "have to" happen because of that cause; it simply "did" happen because of that cause. A suitable term for this third option, borrowing from its definition in logic, is "contingent". In logic, a proposition whose truth is "contingent" is one which, while true, is not true ''necessarily''; it "just so happens" to be true. Here, we apply "contingent" not to logical propositions but to causal outcomes or processes. Note that we specifically and explicitly exclude the ordinary sense of "contingent" as "subject to chance": indeed, we contrast our use of contingent ''against'' that concept (as well as against the concept of "necessitation").
That missing third option covers those events for which we can say that although the event happened due to some cause, it did not "have to" happen because of that cause; it simply "did" happen because of that cause. A suitable term for this third option, borrowing from its definition in logic, is "contingent". In logic, a proposition whose truth is "contingent" is one which, while true, is not true ''necessarily''; it "just so happens" to be true. Here, we apply "contingent" not to logical propositions but to causal outcomes or processes. Note that we specifically and explicitly exclude the ordinary sense of "contingent" as "subject to chance". Indeed, we contrast our use of contingent ''against'' that concept, especially insofar as it refers to the same arbitrary "randomness" of the above argument, which is typically understood to represent an effect ''without'' a cause: our "third option" of contingency explicitly ''requires'' that effects have causes; those causes, however, simply do not ''necessitate'' their effects.
 
We might make the following analogy:
 
* Necessitated effect <=> Necessarily true proposition.
* Contingent effect <=> Contingently true proposition.
* Causeless (random) occurrence <=> False proposition.


=== Why accept contingent causality? ===
=== Why accept contingent causality? ===