I. Calvinism and its discontents
Many theologians and philosophers have serious problems with Calvinism. Typically, Calvinism is presented as a system committed to (some form of) determinism about all of man’s actions. Call this determinism, ‘theological determinism’ (TD). Since Calvinists hold that man is (at least) morally responsible for some of his actions, then it seems that Calvinism is committed to compatibilism. I’ll define ‘compatibilism’ (COMP) as the view that moral responsibility is compatible with TD. That is, there exists a model on which both TD and COMP are true. Call this conjunction, ‘THEOCOMP’.