Abstract

In this paper I outline an argument for the existence of God. This argument suggests that, if an all-good supernatural agent were to exist, such as the God of Theism, then He could not perform an immoral act. From this premise alone a formal proof for the existence of God can be derived. Perhaps unsurprisingly, when this argument is examined closely it is revealed to be fallacious. However, what we find is that the fallacy involves a special type of equivocation; one that illustrates the difference between non-truth-functional subjunctive conditionals and truth-functional material conditionals