We have inherited from Ockham the idea that the past has a kind of necessity for which we can formulate an analogue of the formal principles of logical necessity.
This argument for theological fatalism is better than the standard argument if a purely temporal necessity is problematic. The second premise of the above argument is only the principle that the past is unpreventable, not a questionable premise that the past has a special kind of necessity distinct from the causal structure of the universe simply in virtue of being past. But since the unpreventability of the past is not a form of necessity in the formal sense, then the transfer principle licensing the crucial inference to (4) is not a transfer of necessity. Unlike the transfer of temporal nece...