Hume’s argument against believing the testimony of miracles is the most influential treatment of the topic, but there is not yet a consensus on how to interpret his argument. Two arguments are attributed to him. First, Hume seems to start with the infrequency of miracles and uses this to infer that the testimony of a miracle is exceedingly unlikely, and this then creates strong but defeasible evidence against the testimony of any miracle. Second, perhaps Hume takes the constancy of our (...) experience of the laws of nature as decisive or indefeasible evidence against the testimony of any miracle. I explain the basis for each of these interpretations of Hume’s argument, and then develop a novel criticism of his view: namely, any inductive inference depends on the relevant similarity between the observed and the unobserved, but we may have reason for thinking that purported miracles are not relevantly similar, and thus our past experience cannot be used as reliable evidence about the testimony of (some) miracles. (shrink)

Three very prominent arguments for atheism are (1) the argument from sub-optimality, (2) the problem of no best world, and (3) the evidential argument from gratuitous evil. To date, it has not sufficiently been appreciated that several important criticisms of these arguments have all relied on a shared strategy. Although the details vary, the core of this strategy is to concede that God either cannot or need not achieve the best outcome in the relevant choice situation, but to insist that (...) God must and can achieve an outcome that is good enough. In short, this strategy invokes divine satisficing in response to these arguments for atheism. (The widespread use of this strategy may have gone unnoticed because the appeal to divine satisficing is usually implicit.) In sections 1–3, the three arguments for atheism will be set out, and it will be shown that the relevant replies all employ this shared strategy. Section 4 will show that those who invoke divine satisficing have failed to establish that this is a coherent notion. Accordingly, these replies to three important arguments for atheism are, at present, incomplete. (shrink)

A shallow semantic embedding of an intensional higher-order modal logic in Isabelle/HOL is presented. IHOML draws on Montague/Gallin intensional logics and has been introduced by Melvin Fitting in his textbook Types, Tableaus and Gödel’s God in order to discuss his emendation of Gödel’s ontological argument for the existence of God. Utilizing IHOML, the most interesting parts of Fitting’s textbook are formalized, automated and verified in the Isabelle/HOL proof assistant. A particular focus thereby is on three variants of the ontological argument (...) which avoid the modal collapse, which is a strongly criticized side-effect in Gödel’s resp. Scott’s original work. (shrink)

An omnipotent being would be a being whose power was unlimited. The power of human beings is limited in two distinct ways: we are limited with respect to our freedom of will, and we are limited in our ability to execute what we have willed. These two distinct sources of limitation suggest a simple definition of omnipotence: an omnipotent being is one that has both perfect freedom of will and perfect efficacy of will. In this paper we further explicate this (...) definition and show that it escapes the standard objections to divine omnipotence. (shrink)

In a recent article, Emanuel Rutten has presented a novel argument for the existence of God, defined as a personal being that is the first cause of reality. An interesting feature of the argument, which caused quite a stir, is that it does not fall within any of the traditional categories of arguments for God’s existence. Rutten calls his argument a modal-epistemic one, which reflects the fact that the first premise of his argument states that all possible truths are knowable. (...) The main purpose of this article is a simple one: to point out that Rutten’s modal-epistemic argument is flawed. (shrink)

I argue that there are Leibnizian-style cosmological arguments for the existence of God which start from very mild premises which affirm the mere possibility of a principle of sufficient reason. The utilization of such premises gives a great deal of plausibility to such types of argumentation. I spend the majority of the paper defending three major objections to such mild premises viz., a reductio argument from Peter van Inwagen and William Rowe, which proffers and defends the idea that a necessary (...) proposition cannot explain a contingent one. I, then, turn to an amelioration of the Rowe/van Inwagen argument which attempts to appeal to an entailment relation between explanans and explanandum that is fettered out in terms of relevance logic. Subsequent to dispelling with that worry, I tackle objections to the utilization of weak principles of sufficient reason that depend essentially upon agglomerative accounts of explanation. (shrink)

The falsity of moral claims is commonly deduced from two tenets: that they presuppose the existence of objective values and that these values don’t exist. Hence, the error theory concludes, moral claims are false. In this article, I put pressure on the image of human morality that is presupposed in moving from the non-existence of objective values to the falsity of moral claims. I argue that, while, understood in a certain way, the two premises of the error theory are correct, (...) this does not render moral discourse false, because moral objectivity is disanalogous to objectivity in empirical sciences and as such need not be characterized in terms of mind-independency. Using Dewey, I illuminate the possibility of accommodating the guiding intuitions of the error theory in a first-order account of morality. (shrink)

There are narrowest bounds for P(h) when P(e) = y and P(h/e) = x, which bounds collapse to x as y goes to 1. A theorem for these bounds -- bounds for probable modus ponens -- entails a principle for updating on possibly uncertain evidence subject to these bounds that is a generalization of the principle for updating by conditioning on certain evidence. This way of updating on possibly uncertain evidence is appropriate when updating by ’probability kinematics’ or ’Jeffrey-conditioning’ is, (...) and apparently in countless other cases as well. A more complicated theorem due to Karl Wagner -- bounds for probable modus tollens -- registers narrowest bounds for P(not h) when P(not e) = y and P(e/h) = x. This theorem serves another principle for updating on possibly uncertain evidence that might be termed ’contraditioning’, though it is for a way of updating that seems in practice to be frequently not appropriate. It is definitely not a way of putting down a theory -- for example, a random-chanc. (shrink)

Atheology, accurately defined by Alvin Plantinga, offers reasons why god’s existence is implausible. Skeptically reasoning that theological arguments for god fail to make their case is one way of leaving supernaturalism in an implausible condition. This ‘rationalist’ atheology appeals to logical standards to point out fallacies and other sorts of inferential gaps. Beyond that methodological marker, few shared tactics characterize atheists and agnostics stalking theological targets. If unbelief be grounded on reason, let atheology start from a theological stronghold: the principle (...) of sufficient reason, a cornerstone of rationality. Seven rules, corollaries to that principle, are enough to show how theological arguments for god repeatedly contravene rationality by perpetuating mysteries, contradictions, begging of questions, pseudo-explanations, and the like. None of these complaints are new, nor has theology been unaware of them. Disorganized atheology has, so far, allowed theology to appear to answer them. Five major arguments for god are systematically analyzed and refuted using these seven rules of rationality, as a preliminary exercise illustrating this re-organized and re-focused rationalist atheology. (shrink)

Edward Feser defends the ‘Aristotelian proof’ for the existence of God, which reasons that the only adequate explanation of the existence of change is in terms of an unchangeable, purely actual being. His argument, however, relies on the falsity of the Existential Inertia Thesis, according to which concrete objects tend to persist in existence without requiring an existential sustaining cause. In this article, I first characterize the dialectical context of Feser’s Aristotelian proof, paying special attention to EIT and its rival (...) thesis—the Existential Expiration Thesis. Next, I provide a more precise characterization of EIT, after which I outline two metaphysical accounts of existential inertia. I then develop new lines of reasoning in favor of EIT that appeal to the theoretical virtues of explanatory power and simplicity. Finally, I address the predominant criticisms of EIT in the literature. (shrink)

Faith, broadly construed, is central to the political, social and personal life of any rational agent. I argue for two main claims: first, that a typology of faith based on the fine-grained Indic categories of bhakti, śraddhā, prasāda, abhisaṃpratyaya and abhilāṣa dissolves many of the philosophical problems associated with the nature of faith; second, that this typology of faith has elements that cannot be encompassed in a belief-desire psychology. The upshot is that the structure of the mind is more complicated (...) than belief-desire psychology admits and that understanding the nature of faith has a role to play in charting the structure of the mind. (shrink)

We use a mechanized verification system, PVS, to examine the argument from Anselm’s Proslogion Chapter III, the so-called “Modal Ontological Argument.” We consider several published formalizations for the argument and show they are all essentially similar. Furthermore, we show that the argument is trivial once the modal axioms are taken into account. This work is an illustration of Computational Philiosophy and, in addition, shows how these methods can help detect and rectify errors in modal reasoning.

Surprisingly few articles have focused on Aquinas’s particular conception of necessary beings in the Third Way, and many scholars have espoused inaccurate or incomplete views of that conception. My aim in this paper is both to offer a corrective to some of those views and, more importantly, to provide compelling answers to the following two questions about the necessary beings of the Third Way. First, how exactly does Aquinas conceive of these necessary beings? Second, what does Aquinas seek to accomplish (...) in the third stage of the Third Way? In answering these questions, I challenge prominent contemporary understandings of the necessary beings of the Third Way. (shrink)

This paper provides a new defence against the logical problem of evil, based on the naturalistic functional/teleological theory of mind (NFT). I argue that if the NFT is self-consistent then it is consistent with theism. Further, the NFT entails that it is not possible for created minds to exist in the absence of evil. It follows that if the NFT is self-consistent then the existence of God is consistent with the existence of evil.

In Dialogues Concerning Natural Religion, Hume (1779/1993) appeals to his account of causation (among other things) to undermine certain arguments for the existence of God. If 'anything can cause anything', as Hume claims, then the Principle of Causal Adequacy is false; and if the Principle of Causal Adequacy is false, then any argument for God's existence that relies on that principle fails. Of course, Hume's critique has been influential. But Hume's account of causation undermines the argument from evil at least (...) as much as it undermines arguments for theism, or so I argue. I then suggest that Hume's account of causation can be used to formulate an alternative argument against classical theism. (shrink)

This chapter contains sections titled: Introduction Goal and Scope of the Argument The Concept of a Miracle Textual Assumptions Background Facts: Death and Burial The Salient Facts: W, D, and P Probabilistic Cumulative Case Arguments: Nature and Structure The Testimony of the Women: Bayes Factor Analysis The Testimony of the Disciples: Bayes Factor Analysis The Conversion of Paul: Bayes Factor Analysis The Collective Force of the Salient Facts Independence Hume's Maxim and Worldview Worries Plantinga's Principle of Dwindling Probabilities Knavery, Folly, (...) and the Love of Wonder Conclusion References. (shrink)

Due to the logical relations between theism and intelligent design (id), there are two challenges to theism that also apply to id. In the falsifiability challenge, it is charged that theism is compatible with every observation statement and thus asserts nothing. I argue that the contentious assumptions of this challenge can be avoided without loss of precision by charging theism (and thus id) directly with the lack of observational assertions. In the translatability challenge, it is charged that theism can be (...) translated into a (non-theistic) set of observation statements without loss of cognitive content. I argue that the contentious assumptions of this challenge are avoided by the related charge that the (non-theistic) evolutionary theory makes all the observational assertions of id, while the converse does not hold. Elliott Sober has argued that id meets the falsifiability challenge, but, since it makes almost no observational assertions, is not testable. I point out two problems with Sober’s argument and show that id is both deductively and probabilistically testable. Sober’s argument, I suggest, inconsistently combines the modified falsifiability challenge with the modified translatability challenge. If his claims about id’s observational assertions are true, however, id succumbs to the modified translatability challenge. (shrink)

Theistic and analytic philosophers of religion typically privilege classical theism by ignoring or underestimating the great threat of alternative monotheisms. [1] In this article we discuss numerous god-models, such as those involving weak, stupid, evil, morally indifferent, and non-revelatory gods. We find that theistic philosophers have not successfully eliminated these and other possibilities, or argued for their relative improbability. In fact, based on current evidence – especially concerning the hiddenness of God and the gratuitous evils in the world – many (...) of these hypotheses appear to be more probable than theism. Also considering the – arguably infinite – number of alternative monotheisms, the inescapable conclusion is that theism is a very improbable god-concept, even when it is assumed that one and only one transcendent god exists. [1] I take ‘theism’ to mean ‘classical theism’, which is but one of many possible monotheisms. Avoiding much of the discussion around classical theism, I wish to focus on the challenges in arguing for theism over monotheistic alternatives. I consider theism and alternative monotheisms as entailing the notion of divine transcendence. (shrink)

Theistic and analytic philosophers of religion typically privilege classical theism and monotheism by ignoring or underestimating the great threat of polytheism. We develop an argument from infinitely many alternatives, which decisively demonstrates that if a monotheistic or polytheistic god-model obtains, it will almost certainly be polytheistic. Probabilistic calculations are performed in order to illustrate the difficulties faced by the monotheistic proponent. After considering possible objections, such as whether there should be limits placed on how many possible god-models could obtain, we (...) conclude that our argument from infinitely many alternatives is sound, and highly unlikely to be overcome. (shrink)

This essay develops a new interpretation of Moses Mendelssohn’s ontological argument in the Morning Hours: Lectures on God’s Existence. At the beginning, Immanuel Kant’s famous criticism of the ontological proof of God’s existence in the Critique of Pure Reason is presented. Then I offer an in-depth analysis of Mendelssohn’s original ontological argument in the Morning Hours. It is shown that with Mendelssohn’s new proof of God, Kant’s objections are answered. Finally, it is explained why Mendelssohn does not succeed in completely (...) refuting Kant’s objections. (shrink)

The paper surveys two contrasting views of first‐order analyses of classical theistic doctrines about the existence and nature of God. On the first view, first‐order logic provides methods for the adequate analysis of these doctrines, for example by construing ‘God’ as a singular term or as a monadic predicate, or by taking it to be a definite description. On the second view, such analyses are conceptually inadequate, at least when the doctrines in question are viewed against the background of classical (...) theism’s doctrine of divine simplicity, for first‐order analyses presuppose an ontological complexity on the part of the propositions which they analyze, which fits ill with this doctrine. (shrink)

God is traditionally understood to be a perfect being who is the creator and sustainer of all that is. God's creative and sustaining activity is often thought to involve choosing a possible world for actualization. It is generally said that either there is (a) exactly one best of all possible worlds, or there are (b) infinitely many increasingly better worlds, or else there are (c) infinitely many unsurpassable worlds within God's power to actualize. On each view, critics have offered arguments (...) for atheism that turn on God's choice of a world. In what follows, I first discuss some background issues, and I then survey the contemporary literature on these arguments. (shrink)

This paper proposes a possible reconstruction and philosophical-logical clarification of Gödel's idea of causality as the philosophical fundamental concept. The results are based on Gödel's published and non-published texts (including Max Phil notebooks), and are established on the ground of interconnections of Gödel's dispersed remarks on causality, as well as on the ground of his general philosophical views. The paper is logically informal but is connected with already achieved results in the formalization of a causal account of Gödel's onto-theological theory. (...) Gödel's main causal concepts are analysed (will, force, enjoyment, God, time and space, life, form, matter). Special attention is paid to a possible causal account of some of Gödel's logical concepts (assertion, privation, affirmation, negation, whole, part, general, particular, subject, predicate, necessary, possible, implication), as well as of logical antinomies. The problem of mechanical and non-mechanical procedures in the work with and on concepts is addressed in terms of Gödel's causal view. (shrink)

Gödel's philosophical views were to a significant extent influenced by the study not only of Leibniz or Husserl, but also of Kant. Both Gödel and Kant aimed at the secure foundation of philosophy, the certainty of knowledge and the solvability of all meaningful problems in philosophy. In this paper, parallelisms between the foundational crisis of metaphysics in Kant's view and the foundational crisis of mathematics in Gödel's view are elaborated, especially regarding the problem of finding the “secure path of a (...) science” for both mathematics and philosophy. Gödel's temporal subjectivism and metaphysical conceptual objectivism are presented as positively or negatively motivated by Kant's viewpoints. A remark on Gödel's collapse of modalities (in accordance with the collapse of objective time) is added. (shrink)

In the space of possible worlds, there might be a best possible world (a uniquely best world or a world tied for best with some other worlds). Or, instead, for every possible world, there might be a better possible world. Suppose that the latter is true, i.e., that there is no best world. Many have thought that there is then an argument against the existence of God, i.e., the existence of an omnipotent, omniscient and morally perfect being; we will call (...) such arguments no-best-world arguments. In this paper, we discuss ability-based objections to such arguments; an ability-based objection to a no-best world argument claims that the argument fails because one or more of its premises conflict with a plausible principle connecting the applicability of some type of moral evaluation to the agent’s possession of a relevant ability. In particular, we formulate and evaluate an important new ability-based objection to the most promising no-best world argument. (shrink)

This paper presents detailed formalizations of ontological arguments in a simple modal natural deduction calculus. The first formal proof closely follows the hints in Scott’s manuscript about Gödel’s argument and fills in the gaps, thus verifying its correctness. The second formal proof improves the first one, by relying on the weaker modal logic KB instead of S5 and by avoiding the equality relation. The second proof is also technically shorter than the first one, because it eliminates unnecessary detours and uses (...) Axiom 1 for the positivity of properties only once. The third and fourth proofs formalize, respectively, Anderson’s and Bjørdal’s variants of the ontological argument, which are known to be immune to modal collapse. (shrink)

I spell out a problem with the doctrine of creatio ex nihilo: that, contra the doctrine, it is not possible to efficiently cause something from nothing. This is because an efficient cause requires a material cause in order to have an effect. The material cause supplies the potency that the efficient cause actualises. Because nothingness has no potencies, there is nothing for an efficient cause to actualise. I show that this objection presupposes that the theory of noneism (the proposition that (...) some things do not exist) is false. I postulate that the universe (i.e. the created order) is a non-existent item and so there is no problem with the claim that it was efficiently caused to come from nothing – the universe has no being anyway. After rehearsing the rather strong reasons in favour of the truth of noneism, I deal with two objections that are peculiar to my claim that the universe lacks reality: that creation possesses characteristics that are sufficient to render it existent and that a non-existent object has its properties independent of divine fiat. I show that there are sensible replies to both objections. With regard to the first I show that the possession of such characteristics at most shows that the universe has an ontological status that is equivalent to some reference point. With regard to the second I argue that the Characterisation Principle (i.e. in some world – not necessarily the actual world – an object has the properties that it is characterised as having) entails that non-existent objects possess their properties in virtue of some existent entity and that the only plausible candidate for such an entity is a divine mind of some sort. (shrink)

We show that in infinite worlds the following three conditions are incompatible: The spatiotemporal ordering of individuals is morally irrelevant. All else being equal, the act of bringing about a good outcome with a high probability is better than the act of bringing about the same outcome with a low probability. One act is better than another only if there is a nonzero probability that it brings about a better outcome. The impossibility of combining these conditions shows that it is (...) more costly to endorse than has been previously acknowledged. (shrink)

Caramuels’ proof of non-existence of God is compared with Gödel’s proof of existence.

For any essential property God has, there is an ability He does not have. He is unable to bring about any state of affairs in which He does not have that property. Such inabilities seem to preclude omnipotence. After making trouble for the standard responses to this problem, I offer my own solution: God is not omnipotent. This may seem like a significant loss for the theist. But I show that it is not. The theist may abandon the doctrine that (...) God is omnipotent without scaling back the extent of His power and without denying that He has all perfections. (shrink)

I defend a solution to the puzzle of petitionary prayer based on some ideas of Aquinas, Gregory the Great, and contemporary desert theorists. I then address a series of objections. Along the way broader issues about the nature of desert, what is required for an action to have a point, and what is required for a puzzle to have a solution are discussed.

The most famous objection to the ontological argument is given in Kant's dictum that existence is not a real predicate. But it is not obvious how this slogan is supposed to relate to the ontological argument. Some, most notably Alvin Plantinga, have even judged Kant's dictum to be totally irrelevant to Anselm's version of the ontological argument. In this paper I argue, against Plantinga and others, that Kant's claim is indeed relevant to Anselm's argument, in the straightforward sense that if (...) the claim is true, then Anselm's argument is unsound. (shrink)

I examine different strategies involved in stating anti-theistic arguments from natural evil, and consider some theistic replies. There are, traditionally, two main types of arguments from natural evil: those that purport to deduce a contradiction between the existence of natural evil and the existence of God, and those that claim that the existence of certain types or quantities of natural evil significantly lowers the probability that theism is true. After considering peripheral replies, I state four prominent theistic rebutting strategies: skeptical (...) theism; Richard Swinburne's view that moral knowledge entails natural evil; the soul-making theodicy; and the natural law theodicy. (shrink)

My aim in this paper is to critically assess two opposing theses about the epistemology of religious belief. The first one, developed by John Mackie, claims that belief in God can be justified or warranted only if there is a good argument for the existence of God. The second thesis, elaborated by Alvin Plantinga, holds that even if there is no such argument, belief in God can be justified or warranted. I contend that the first thesis is plausibly false, because (...) belief in God is not just like a scientific hypothesis, and the second thesis is likely true if epistemic externalism is the correct view. However, even if the second thesis is true, I argue that to work on good arguments for God’s existence is unavoidable in order to cope with a new version of the Great Pumpkin objection, as well as to achieve other relevant purposes such as to convince rational observers outside the theistic community that belief in God is likely justified or warranted. (shrink)

Kurt Gödel’s version of the Ontological Proof derives rather than assumes the crucial Possibility Claim: the claim that it is possible that something God-like exists. Gödel’s derivation starts off with a proof of the Possible Instantiation of the Positive: the principle that, if a property is positive, it is possible that there exists something that has that property. I argue that Gödel’s proof of this principle relies on some implausible axiological assumptions but it can be patched so that it only (...) relies on plausible principles. But Gödel’s derivation of the Possibility Claim also needs a substantial axiological assumption, which is still open to doubt. (shrink)

Religious epistemology is the study of how subjects' religious beliefs can have, or fail to have, some form of positive epistemic status and whether they even need such status appropriate to their kind. The current debate is focused most centrally upon the kind of basis upon which a religious believer can be rationally justified in holding certain beliefs about God and whether it is necessary to be so justified to believe as a religious believer ought. Engaging these issues are primarily (...) three groups of people who call themselves ‘fideists’, ‘Reformed epistemologists’, and ‘evidentialists’. Each group has a position, but the positions are not mutually exclusive in every case, and in the debate, the names better describe the groups' emphases than mutually exclusive positions in the debate. In this article, we will first give a brief historical survey of evidentialism, fideism, and reformed epistemology. Second, we will give the fideist's position. Third, we will give the evidentialist's position. Fourth, we will give the reformed epistemologist's position, and last, we will include some comments on the current state of the debate, where we will show that the groups' positions are not mutually exclusive. (shrink)

Duncan Pritchard has recently ventured to carve out a novel position in the epistemology of religious belief called quasi-fideism. Its core is an application of ideas from Wittgensteinian hinge epistemology to religious belief. Among its many advertised benefits are that it can do justice to two seemingly conflicting ideas about religious belief, to wit: that it is, at least at some level, a matter of ungrounded faith, but also that it can be epistemically rationally grounded. In this paper, I argue (...) that quasi-fideism fails. Its central tenets either have unattractive consequences or are implausible. (shrink)

A common argument for atheism runs as follows: God would not create a world worse than other worlds he could have created instead. However, if God exists, he could have created a better world than this one. Therefore, God does not exist. In this paper I challenge the second premise of this argument. I argue that if God exists, our world will continue without end, with God continuing to create value-bearers, and sustaining and perfecting the value-bearers he has already created. (...) Given this, if God exists, our world—considered on the whole—is infinitely valuable. I further contend that this theistic picture makes our world's value unsurpassable. In support of this contention, I consider proposals for how infinitely valuable worlds might be improved upon, focusing on two main ways—adding value-bearers and increasing the value in present value-bearers. I argue that neither of these can improve our world. Depending on how each method is understood, either it would not improve our world, or our world is unsurpassable with respect to it. I conclude by considering the implications of my argument for the problem of evil more generally conceived. (shrink)

On the assumption that theistic religious commitment takes place in the face of evidential ambiguity, the question arises under what conditions it is permissible to make a doxastic venture beyond one’s evidence in favour of a religious proposition. In this paper I explore the implications for orthodox theistic commitment of adopting, in answer to that question, a modest, moral coherentist, fideism. This extended Jamesian fideism crucially requires positive ethical evaluation of both the motivation and content of religious doxastic ventures. I (...) suggest that, even though the existence of horrendous evil does not resolve evidential ambiguity in favour of atheism, there are reasonable value commitments that would preclude those who hold them from satisfying extended Jamesian fideist conditions for committing themselves to classical theism. I then begin a discussion of a possible revisionary theistic alternative (in the Christian tradition) which – one might hope – may meet those conditions. An earlier, shorter, version of this paper was delivered as a keynote address at the APA Pacific 2007 Mini-Conference on Models of God. (shrink)

The Humean argument concerning miracles says that one should always think it more likely that anyone who testifies to a miracle is lying or deluded than that the alleged miracle actually occurred, and so should always reject any single report of it. A longstanding and widely accepted objection is that even if this is right, the concurring and non-collusive testimony of many witnesses should make it rational to believe in whatever miracle they all report. I argue that on the contrary, (...) even multiple reports from non-collusive witnesses lack the sort of independence that could make trouble for Hume. (shrink)

Latest version of my SEP entry on ontological arguments, which first appeared in 1996. General discussion of ontological arguments. Includes a brief historical overview, a taxonomy of different kinds of ontological arguments, a brief survey of objections to the different kinds of ontological arguments identified in the taxonomy, and more extended discussions of Anselm's ontological argument (Proslogion 2), Godel's ontological argument, and Plantinga's ontological argument.

Discussions on hypothetical gods virtually always focus on the latter’s existence or nonexistence. However, this is only the secondary question. Heroical apatheism distinguishes these questions from the primary question, which pertains to the importance of these gods. It is a deeply ingrained assumption that if the gods have created the universe and humankind, then this implicitly entails the obligations that these gods must be worshipped and obeyed. These relations between existence and acts and worship and obedience to the gods are (...) so commonplace that virtually no one questions their existence. The rights of these gods are simply assumed at face value. However, the issues pertaining to these necessary relations are not trivial in any respect. This paper highlights these relations by first formulating two cosmological models for the initial condition of the universe and, thereafter, applying these in the analyses of the claims regarding these relations. By doing so, it shows that the justifications for the aforementioned obligations always result in a Münchhausen bootstrapping circularity or are ad hoc. Any necessary relations between existence and worship and between acts of creation and obedience cannot be demonstrated. Furthermore, these assumptions are based on the frequently overlooked reasoning that arguing for or against the obligations to the gods implicitly assumes that these gods have a right to such obligations to begin with. However, all that can be shown is the power to enforce obedience. Thus, heroical apatheism is founded on neither doubt nor disobedience because disobedience implies that an authority exists and an authority’s right presupposes that there is such a right. However, there is no such right, and we do not equate might with right. (shrink)