Fatalist Contradiction (FC): ~((Incompatibilism & DF) & FP)
Since then, I noticed that this has certain other consequences for presentism (and growing block views too). Notice first that the following seems true (straightforwardly, via the principle that Truth Supervenes on Being):
Presentism and Indeterminacy (PI): If Presentism and Incompatibilism then FP.
A Molinist may deny this, but in doing so they run afoul of TSB or either DF or Incompatibilism (depending on how its spelled out). So it follows from FC and PI that
Incompatibility (I): If DF, then ~Presentism or ~Incompatibilism.
So if libertarianism is true, presentism is not. And if presentism is true, either we have no free will or we do but it is of a compatibilist nature.
EDIT (4/18/08): PI should probably be restricted in such a way that it is true only of future truths - that is, as far as facts about the future are concerned, if Presentism and Incompatibilism, then if these future things are determinate they are necessary.
No comments:
Post a Comment