This is the text of my OBO entry on arguments for the existence of God.

The paper deals with the "deuteros plous", literally ‘the second voyage’, proverbially ‘the next best way’, discussed in Plato’s "Phaedo", the key passage being Phd. 99e4–100a3. The second voyage refers to what Plato’s Socrates calls his “flight into the logoi”. Elaborating on the subject, the author first (I) provides a non-standard interpretation of the passage in question, and then (II) outlines the philosophical problem that it seems to imply, and, finally, (III) tries to apply this philosophical problem to the "ultimate (...) final proof" of immortality and to draw an analogy with the ontological argument for the existence of God, as proposed by Descartes in his 5th "Meditation". The main points are as follows: (a) the “flight into the logoi” can have two different interpretations, a common one and an astonishing one, and (b) there is a structural analogy between Descartes’s ontological argument for the existence of God in his 5th "Meditation" and the "ultimate final proof" for the immortality of the soul in the "Phaedo". (shrink)

I have two main goals in this paper. The first is to argue for the thesis that Kant gave up on his highest good argument for the existence of God around 1800. The second is to revive a dialogue about this thesis that died out in the 1960s. The paper is divided into three sections. In the first, I reconstruct Kant’s highest good argument. In the second, I turn to the post-1800 convolutes of Kant’s Opus postumum to (...) discuss his repeated claim that there is only one way to argue for the existence of God, a way which resembles the highest good argument only in taking the moral law as its starting point. In the third, I explain why I do not find the counterarguments to my thesis introduced in the 1960s persuasive. (shrink)

After reviewing Kant’s well-known criticisms of the traditional proofs of God’s existence and his preferred moral argument, this paper presents a detailedanalysis of a densely-packed theistic argument in Religion within the Bounds of Bare Reason. Humanity’s ultimate moral destiny can be fulfilled only through organized religion, for only by participating in a religious community (or “church”) can we overcome the evil in human nature. Yet we cannot conceive how such a community can even be founded without presupposing (...) God’s existence. Viewing God as the internal moral lawgiver, empowering a community of believers, is Kant’s ultimate rationale for theistic belief. (shrink)

The third Meditation is typically understood to contain two a posteriori arguments for the existence of God. The author focuses on the second argument, where Descartes proves the existence of God partly in virtue of proving that Descartes cannot be the cause of himself. To establish this, Descartes argues that if he were the cause of himself, then he would endow himself with any conceivable perfection. The justification for this claim is that bringing about a substance is (...) more difficult than creating an attribute, so anything that can do the former can do the latter. While current explanations of this justification are either implausible or inadequate, the author argues that this principle derives support from a scholastic distinction between being-as-such and determinate being. With this distinction in view, we can make sense of Descartes's argument without appealing to ambiguous or inadequate notions. (shrink)

According to the Nomological Argument, observed regularities in nature are best explained by an appeal to a supernatural being. A successful explanation must avoid two perils. Some explanations provide too little structure, predicting a universe without regularities. Others provide too much structure, thereby precluding an explanation of certain types of lawlike regularities featured in modern scientific theories. We argue that an explanation based in the creative, intentional action of a supernatural being avoids these two perils whereas leading competitors do (...) not. Although our argument falls short of a full defense, it does suggest that the Nomological Argument is worthy of philosophical attention. (shrink)

Applying the concepts of Kolmogorov-Chaitin complexity and Turing’s uncomputability from the computability and algorithmic information theories to the irreducible and incomputable randomness of quantum mechanics, a novel argument for the existence of God is presented. Concepts of ‘transintelligence’ and ‘transcausality’ are introduced, and from them, it is posited that our universe must be epistemologically and ontologically an open universe. The proposed idea also proffers a new perspective on the nonlocal nature and the infamous wave-function-collapse problem of quantum mechanics.

In this article, I will discuss some of the arguments for and against the existence of God, in particular the monotheistic God believed in the Abramahamic religions (Judiasm, Islam, and Christianity) as well as Babism, the Bahai Faith, and Sikhism. Arguments for the existence of God try to argue that either God exists (based on other things people agree with) or that belief in God is reasonable. Arguments against the existence of God try to argue that the (...) existence of God leads to some contradiction or other absurdity. (shrink)

This essay tries to show that there exist several passages where Kierkegaard (and his pseudonyms) sketches an argument for the existence of God and immortality that is remarkably similar to Kant's so-called moral argument for the existence of God and immortality. In particular, Kierkegaard appears to follow Kant's moral argument both when it comes to the form and content of the argument as well as some of its terminology. The essay concludes that several passages (...) in Kierkegaard overlap significantly with Kant's moral argument, although Kierkegaard ultimately favors revealed faith over natural theology in general and Kant's moral faith in particular. Whereas Kant uses the moral argument to postulate the existence of God and immortality, Kierkegaard mainly uses it as a reductio ad absurdum of non-religious thinking. (shrink)

Roughly speaking, Augustine claims that ‘Immutable Truth’ is superior to the human mind and, consequently a legitimate candidate for the role of God. Clearly there is such a thing as Immutable Truth. So either that is God, or there is something superior to Immutable Truth, and that superior thing is God. I spell out this argument, and offer some objections to it.

The nature of Kant’s criticism of his pre-Critical ‘possibility proof’ for the existence of God, implicit in the account of the Transcendental Ideal in the Critique of Pure Reason, is still under dispute. Two issues are at stake: the error in the proof and diagnosis of the reason for committing it. I offer a new way to connect these issues. In contrast with accounts that locate the motivation for the error in reason’s interest in an unconditioned causal ground of (...) all contingent existence, I argue that it lies in reason’s interest in another kind of unconditioned ground, collective unity. Unlike the conception of the former, that of the latter directly explains the problematic ontological assumption of the possibility proof, the existence of intelligible objects as the ground of possibility. I argue that such Platonic entities are assumed because they are amenable to the kind of unity prescribed by reason. However, since the interest in collective unity has a legitimate regulative use when applied to the systematic unity of nature, the conception of God entailed by the possibility proof is retained as a regulative idea of reason. (shrink)

The explanation of why and how consciousness arises in the physical world and also the regular relationship of mental states with physical states are one of the most difficult philosophical topics to be considered in contemporary philosophy of mind. The naturalistic and physicalist attitude of most philosophers of the mind has led to the idea that the field and especially the issue of consciousness is very challenging. In the meantime, some philosophers of religion also have a proposed a kind of (...) theistic hypothesis as a theory to explain consciousness and other mind-body issues as an argument for the existence of God. (shrink)

The explanation of why and how consciousness arises in the physical world and also the regular relationship of mental states with physical states are one of the most difficult philosophical topics to be considered in contemporary philosophy of mind. The naturalistic and physicalist attitude of most philosophers of the mind has led to the idea that the field and especially the issue of consciousness is very challenging. In the meantime, some philosophers of religion also have a proposed a kind of (...) theistic hypothesis as a theory to explain consciousness and other mind-body issues as an argument for the existence of God. (shrink)

The explanation of why and how consciousness arises in the physical world and also the regular relationship of mental states with physical states are one of the most difficult philosophical topics to be considered in contemporary philosophy of mind. The naturalistic and physicalist attitude of most philosophers of the mind has led to the idea that the field and especially the issue of consciousness is very challenging. In the meantime, some philosophers of religion also have a proposed a kind of (...) theistic hypothesis as a theory to explain consciousness and other mind-body issues as an argument for the existence of God. (shrink)

The aim of this paper is to reconstruct a modal version of the ontological argument (MOA) in a two dimensionally extended way. This modification of MOA, I argue, might respond to Tooley’s (1981) and Findlay’s (1948) prominent objections against the argument. The MOA has two distinct key premises that are criticized by Tooley and Findley. According to Tooley, the structure of the argument allows to define further properties that exclude the existence of God-like beings. Findlay, however, (...) argues against the proof in a Kantian way by claiming that the very property of necessary existence is contradictory, therefore no being can possess it. In this paper, I am going to show how Tooley and Findlay’s critique re-frame the original ontological argument debate. I will provide a comprehensive map over all possible ways of refuting the MOA. Finally, I argue that, once we apply a two dimensional framework, we are in a position to refute Findlay’s criticism. (shrink)

The explanation of why and how consciousness arises in the physical world and also the regular relationship of mental states with physical states are one of the most difficult philosophical topics to be considered in contemporary philosophy of mind. The naturalistic and physicalist attitude of most philosophers of the mind has led to the idea that the field and especially the issue of consciousness is very challenging. In the meantime, some philosophers of religion also have a proposed a kind of (...) theistic hypothesis as a theory to explain consciousness and other mind-body issues as an argument for the existence of God. (shrink)

In this article I outline two epistemological theistic arguments. The first one starts from the dilemma between our strong conviction that we possess some knowledge of the world and the belief that there are some serious reasons which undermine it. In my opinion theism opens the possibility of the way out of the dilemma. The second argument depends on the premise that in every time every worldly thing is actually perceived or known. I support it by four considerations and (...) claim that the simplest explanation of the epistemic ‘non-loneliness’ of the world is the existence of the Supreme Cogniser. (shrink)

An ancient argument attributed to the philosopher Carneades is presented that raises critical questions about the concept of an all-virtuous Divine being. The argument is based on the premises that virtue involves overcoming pains and dangers, and that only a being that can suffer or be destroyed is one for whom there are pains and dangers. The conclusion is that an all-virtuous Divine (perfect) being cannot exist. After presenting this argument, reconstructed from sources in Sextus Empiricus and (...) Cicero, this paper goes on to model it as a deductively valid sequence of reasoning. The paper also discusses whet her the premises are true. Questions about the possibility and value of proving and disproving the existence of God by logical reasoning are raised, as well as ethical questions about how the cardinal ethical virtues should be defined. (shrink)

In the first two chapters of the Monologion Anselm shows, or tries to show that “Of all the things that exist, there is one that is the best, greatest and supreme.” In this paper I examine his argument.

The paper presents a new version of the "Cosmological Argument" – considered to be an ontological argument, since it exclusively uses ontological concepts and principles. It employs famous results of modern physics, and distinguishes between event-causation and agent-causation. Due to these features, the argument manages to avoid the objection of infinite regress. It remains true, however, that the conclusion of the argument is too unspecific to be unambiguously considered an argument for the existence of (...) God. (shrink)

There is an argument for God’ s existence from consciousness. The argument was initially formulated by Swinburne in contemporary Western philosophy. He claims that no one has preceded him in formulating the argument, except John Locke who had a vague reference to it. The argument considers the existence of mental phenomena, such as feelings, emotions, intentions, and thoughts— which are scientifically unexplainable and merely admit of subjective explanations— as evidence for God’ s existence. (...) Swinburne provides an inductive versions of the argument, which confirms and reinforces the probability of God’ s existence. A survey of arguments for God’ s existence in Islamic philosophical tradition reveals that Mullā Ṣ adra was the first philosopher who argued for God’ s existence from rational consciousness. His argument is syllogistic and certainty-conferring. This paper deploys a descriptive-analytic method to consider the two versions of the argument from consciousness for God’ s existence in Western and Islamic philosophical traditions, comparing their agreements, distinctions, weaknesses, and strengths. (shrink)

Review of Gottesbeweise als Herausforderung für die moderne Vernunft, ed. Th. Buchheim.

This paper is a detailed examination of some parts of J. P. Moreland's book on "the argument from consciousness". (There is a companion article that discusses the parts of the book not taken up in this critical notice.).

The continuing interest in the book of S. Hawking "A Brief History of Time" makes a philosophical evaluation of the content highly desirable. As will be shown, the genre of this work can be identified as a speciality in philosophy, namely the proof of the existence of God. In this study an attempt is given to unveil the philosophical concepts and steps that lead to the final conclusions, without discussing in detail the remarkable review of modern physical theories. In (...) order to clarify these concepts, the classical Aristotelian-Thomistic proof of the existence of God is presented and compared with Hawking's approach. For his argumentation he uses a concept of causality, which in contrast to the classical philosophy neglects completely an ontological dependence and is reduced to only temporal aspects. On the basis of this temporal causality and modern physical theories and speculations, Hawking arrives at his conclusions about a very restricted role of a possible creator. It is shown, that neither from the philosophical nor the scientific view his conclusions about the existence of God are strictly convincing, a position Hawking himself seems to be aware of. (shrink)

There is an argument for God’ s existence from consciousness. The argument was initially formulated by Swinburne in contemporary Western philosophy. He claims that no one has preceded him in formulating the argument, except John Locke who had a vague reference to it. The argument considers the existence of mental phenomena, such as feelings, emotions, intentions, and thoughts— which are scientifically unexplainable and merely admit of subjective explanations— as evidence for God’ s existence. (...) Swinburne provides an inductive versions of the argument, which confirms and reinforces the probability of God’ s existence. A survey of arguments for God’ s existence in Islamic philosophical tradition reveals that Mullā Ṣ adra was the first philosopher who argued for God’ s existence from rational consciousness. His argument is syllogistic and certainty-conferring. This paper deploys a descriptive-analytic method to consider the two versions of the argument from consciousness for God’ s existence in Western and Islamic philosophical traditions, comparing their agreements, distinctions, weaknesses, and strengths. (shrink)

Absolute nothing is the absence of our universe and its laws. Without these rules, nothingness has infinite potential. This implies that within the infinite probability of nothing, infinity can emerge. This would be expressed through infinite universes like our own. Infinite of these universes will differ by several particles, appearing and disappearing for no reason other than fulfilling every possibility. This universe is the product of a greater realisation of infinity and we can test this theory via the measurement of (...) our universe’s most fundamental particles appearing and disappearing for no discernible internal reason (random to our perspective). (shrink)

Explicit atheism is a philosophical position according to which belief in God is irrational, and thus it should be rejected. In this paper, I revisit, extend, and defend against the most telling counter arguments the Kalām Cosmological Argument in order to show that explicit atheism must be deemed as a positively irrational position.

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the existence of the infinite plurality of concrete and abstract possible worlds, posited by David K. Lewis and Alvin Plantinga. This assessment will be carried out within the (modified) explanatory framework of Richard Swinburne, which will lead to the conclusion that the existence of God provides a true fundamental explanation for these specific (...) entities. And thus, given the truth of this type of explanation, we have another good abductive argument for God’s existence and grounds for affirming a weaker form of the principle of methodological naturalism in our metaphysical theorising. (shrink)

A clear and concise exposition and critique of Kant's arguments for God's existence.

I argue that Ireneusz Ziemiński doesn't justify his skepticism about knowledge of existence of God. First, he reduces a question to metaphysical one - do we have sound, valid proofs of God's existence and imposes too heavy conditions on arguments for God. Second, he doesn't show that disagreement between philosophers in that question justify his negative assessment of arguments. Third, Ziemiński omits epistemological question what is knowledge of God's existence, especially in its direct form as well as (...) externalistic account's of knowledge of God, for example Plantinga's and Alston's. (shrink)

In this paper, I discuss an argument for the existence of God known as “The Argument from the Survival of the Jews.” This argument has the form of an Inference to the Best Explanation (IBE). It proceeds from the phenomenon of Jewish survival to the existence of God as the best explanation for this phenomenon. I will argue that, even if we grant that Jewish survival is a remarkable occurrence that demands an explanation, and even (...) if we gloss over the difficulties in defining the terms “Jewish” and “survive,” the argument ultimately fails as an argument for the existence of God. It fails because it postulates divine supervision in order to explain Jewish endurance, but it doesn’t provide any clues as to what might be the underlying mechanism at work. (shrink)

In this paper we offer a new argument for the existence of God. We contend that the laws of logic are metaphysically dependent on the existence of God, understood as a necessarily existent, personal, spiritual being; thus anyone who grants that there are laws of logic should also accept that there is a God. We argue that if our most natural intuitions about them are correct, and if they are to play the role in our intellectual activities (...) that we take them to play, then the laws of logic are best construed as necessarily existent thoughts -- more specifically, as divine thoughts about divine thoughts. We conclude by highlighting some implications for both theistic arguments and antitheistic arguments. (shrink)

Much has been made of how Darwinian thinking destroyed proofs for the existence of God from ‘design’ in the universe. I challenge that prevailing view by looking closely at classical ‘teleological’ arguments for the existence of God. One version championed by Aristotle and Thomas Aquinas stems from how chance is not a sufficient kind of ultimate explanation of the universe. In the course of constructing this argument, I argue that the classical understanding of teleology is no less (...) necessary in modern Darwinian biology than it was in Aristotle's time. In fact, modern biology strengthens the claims that teleological arguments make by vindicating many of their key features. As a consequence, I show how Aristotle and Aquinas' teleological argument for an intelligent First Cause remains valid. (shrink)

In this paper I pursue an avenue of argument implicit in Patristic thinkers — such as Tertullian and Athanasius — and explicit in the thomistic and scholastic tradition. I argue that there is an ontological unity to the world, and that this unity calls for an explanation in terms of a transcendent cause, traditionally identified with God.

In this article, I critically examine the religious argument for the existence of God, which Palmquist formulated from Kant’s Religion within the Bounds of Bare Reason. After showing the structure of the argument, I point the problematic point of the argument and focus on the concept of Gesinnung. The privateness of Gesinnung is problematized in the analysis of it, and I briefly suggest that an alternative account of the Gesinnung is possible. Yet I emphasize the advantage (...) that this argument has compared to other competing arguments. (shrink)

The problem of error is an old argument for atheism that can be found in Medieval and Early Modern Philosophy. Although it is not widely discussed in the contemporary literature in the Philosophy of Religion, I resurrect it and give it a modern spin. By relying on empirical studies in moral psychology that demonstrate that moral judgments from human beings are generally susceptible to certain psychological biases, such as framing and order effects, I claim that if God is responsible (...) for making human beings such that we have these biases, this means that God is not a perfect being. The findings in empirical moral psychology create a problem for the existence of God, traditionally conceived. (shrink)

Recent research in science indicates that we are living in a fine-tuned universe. Only a very small parameter space of universal fundamental constants in Physics is congenial for the existence of life. Moreover, recent studies in Biological evolution also reveal that fine-tuning did exist in the evolution. It seems that we are so lucky to exist as all universal fundamental constants and life-permitting factors really fall into such a very small life-allowing region. This problem is known as the fine-tuning (...) problem. Does this phenomenon need an explanation? Can the fine-tuning problem point to the existence of God? Modern Science invokes the idea of multiverse to address the fine-tuning problem. Some scientists suggest that each universe in a set of infinitely many universes contains a typical set of fundamental constants. We should not be surprised why our universe is fine-tuned because we would not exist if the constants are not the life-allowed values. Some suggest that the existence of God can explain this fine-tuning problem. The naturalistic multiverse theory and the existence of God are the two most robust proposals to address the fine-tuning problem. Moreover, some argue that the fine-tuning problem is not real because we are just subject to observational selection effect. In this thesis, I will provide a comprehensive discussion on the fine-tuning phenomena in our universe. In particular, I will use the confirmation principle and the inference to the best explanation simultaneously to evaluate different hypotheses in a more systematic way and give some of the new and updated scientific and philosophical arguments to respond to the recent criticisms of the fine-tuning arguments. I conclude that the theistic hypothesis is the best among all to address the fine-tuning problem. (shrink)

In The Problem of Political Authority, Michael Huemer argues that the contractarian and consequentialist groundings of political authority are unsuccessful, and, in fact, that there are no adequate contemporary accounts of political authority. As such, the modern state is illegitimate and we have reasons to affirm political anarchism. We disagree with Huemer’s conclusion. But we consider Huemer’s critiques of contractarianism and consequentialism to be compelling. Here we will juxtapose, alongside Huemer’s critiques, a theistic account of political authority from Nicholas Wolterstorff’s (...) book The Mighty and the Almighty. We think that Wolterstorff’s model does better than contractarianism and consequentialism at answering Huemer’s critiques. We also think that an abductive basis for God’s existence emerges from the inadequate authority accounts that Huemer surveys. (shrink)

In this paper, I sketch an argument for the view that we cannot know (or have good reasons to believe) that God exists. Some call this view “strong agnosticism” but I prefer the term “skeptheism” in order to clearly distinguish between two distinct epistemic attitudes with respect to the existence of God, namely, agnosticism and skepticism. For the skeptheist, we cannot know (or have good reasons to believe) that God exists, since there can be neither conceptual (a priori) (...) nor empirical (a posteriori) evidence for the existence of God. (shrink)

Is it necessary for all Christians – including Christians who are metaphysicians with demonstrative knowledge of God’s existence – to hold by faith that God exists? I shall approach this apparently straightforward question by investigating two opposing lines of interpretation of Thomas Aquinas’s own response to this question. I shall begin with two texts from Thomas that motivate two incompatible theses concerning Thomas’s doctrine of the harmony of faith and reason with respect to the existence of God. Next, (...) I shall clarify the salient points of disagreement between these two interpretations of faith and reason in Thomas Aquinas before examining dialectically a number of arguments in favor and against the respective theses of these two interpretations. In the final section I shall argue that the results of our dialectical inquiry reveal that the initial disagreement between the two positions is not irresolvable. Accordingly, I shall conclude by proposing two revised versions of the initial theses that emphasize the compatibility of these two interpretations of Thomas Aquinas’s doctrine of the harmony of faith and reason. (shrink)

We raise various puzzles about the relationship between God and the meaning of life. These difficulties suggest that, even if we assume that God exists, and even if God’s existence would entail that our lives have meaning, God is not and could not be the source of the meaning of life. We conclude by discussing implications of our arguments: these claims can be used in a novel argument for atheism; these claims undermine an extant argument for God’s (...) existence; and they suggest that atheism is consistent with our lives having meaning. (shrink)

Edward Feser defends the ‘Neo-Platonic proof ’ for the existence of the God of classical theism. After articulating the argument and a number of preliminaries, I first argue that premise three of Feser’s argument—the causal principle that every composite object requires a sustaining efficient cause to combine its parts—is both unjustified and dialectically ill-situated. I then argue that the Neo-Platonic proof fails to deliver the mindedness of the absolutely simple being and instead militates against its mindedness. Finally, (...) I uncover two tensions between Trinitarianism and the Neo-Platonic proof. (shrink)

The aim of this essay is to show that Yann Martel’s Life of Pi can be read as illustrating what philosophers usually name as pragmatic arguments for religious belief. Ultimately, this seems to be the reason why, in the short prologue that accompanies the novel, Martel claims Life of Pi to be “a story to make you believe in God”. To put it briefly, these arguments claim that even conceding that the question of whether to believe that God exists or (...) that He does not exist cannot be decided upon the evidence we have, we are still justified to decide to believe in God because of the practical beneficial consequences this belief will bring to us. In Martel’s Life of Pi it is this kind of pragmatic reasoning that originates and what makes the “story with animals” preferable over the “story without animals.” I also point out that these arguments appear more convincing if they are not understood as referring to belief in the ordinary and common usage of the term, as the acceptance as being true the factual claim that the world is such that God does actually exist, but as referring to a subjective, non-truth-dependent way of understanding the world and of relating to it. I show that this is precisely the kind of conception of religious faith that is illustrated by the character of Pi through the novel. (shrink)

Traditional theistic arguments conclude that God exists. Pragmatic theistic arguments, by contrast, conclude that you ought to believe in God. The two most famous pragmatic theistic arguments are put forth by Blaise Pascal (1662) and William James (1896). Pragmatic arguments for theism can be summarized as follows: believing in God has significant benefits, and these benefits aren’t available for the unbeliever. Thus, you should believe in, or ‘wager on’, God. This article distinguishes between various kinds of theistic wagers, including finite (...) vs. infinite wagers, premortem vs. postmortem wagers, and doxastic vs. acceptance wagers. Then, we’ll turn to the epistemic-pragmatic distinction, and discusses the nuances of James’ argument, and how views like epistemic permissivism and epistemic consequentialism provide unique “hybrid” wagers. Finally, we’ll cover outstanding objections and responses. (shrink)

Among the many ontological questions the philosophy of religion endeavors to address, perhaps the most controversial is the existence of God. Unraveling this complex question has puzzled philosophers for ages and has kept the spark lit in this theological debate to this day. Along with arguments for—and against—God, there are topics which inevitably follow from such a debate, namely the divine attributes of God and divine action. This essay will briefly expand upon arguments for God’s existence evidenced by (...) some of the most notable theories and concepts about His attributes and how He relates to His creations, namely humans. In addition to assertions made by credible philosophers and theologians, the claims in this essay will also be informed by my own understanding of Christian faith and values. (shrink)

There are four main positions in the argument about whether God exists: atheism, theism, agnosticism, and scepticism. From an epistemological standpoint, scepticism is the most rational; even if a decisive argument which would settle the debate has not been discovered yet, one cannot exclude the possibility of finding it eventually. Agnosticism is too radical, but theism and atheism exceed the available data. However, from a practical standpoint, choosing theism or atheism seems to be more rational than scepticism ; (...) one of them is bound to be right, because there are only two possibilities, one of which has to be true: either God exists or not. (shrink)