(Originally published on 1 September 2023; revised version published on 7 September 2023; revised again on 10 September 2023.)
1: Introduction
“Performative" or "pragmatic inconsistency arguments” attempt to show that some action with respect to some proposition is inconsistent with the proposition. You will sometimes hear people call such propositions “self-defeating,” but that isn’t technically accurate. It isn’t the proposition itself which is self-defeating; it is taking some action with respect to the proposition -- like asserting, believing, or defending it – which is self-defeating. For example, consider the proposition, “It is impossible to know anything.” It is logically possible that the proposition is true, but it is logically inconsistent to know that proposition is true. If you somehow knew that it was true, then you would know that it is false. That’s an example of a performative or pragmatic inconsistency argument.
Here are some other examples of propositions which lend themselves nicely to performative or pragmatic inconsistency arguments:
- "I do not exist."
- "I am dead."
- "I cannot assert or communicate anything."
- "I cannot talk."
- "I don't intend to be understood at all."
All of the above examples involve a first-person ("I") statement, but I'm not sure if a performative or pragmatic inconsistency must be a first-person statement. I'll leave that aside.
2: Exposition
Does atheism involve a pragmatic inconsistency? Before I can discuss this, I first need to define my terms. The word "atheism" is polysemous: it has multiple legitimate meanings. By "metaphysical atheism," I mean the proposition, "God does not exist." By "psychological atheism," I mean the psychological state in which a person lacks the belief that God exists. This post is about metaphysical, not psychological, atheism. For brevity, in the remainder of the post, I will use "atheism" to mean only metaphysical atheism.
According to some thinkers, the action of asserting the truth of atheism is a pragmatic inconsistency. For example, the late Christian philosopher Greg Bahnsen once said:
It's standard fare these days to point out that a universal negative cannot be proven in an a posteriori fashion. On the basis of experience, how could I prove universally there is no God? [...] God might be on the back side of the fourth moon of Jupiter. Since I haven't examined the back side of the fourth moon of Jupiter, it's at least possible that God exists and I haven't encountered him yet. So to say that there is no God is a very strong claim. Atheists usually get hammered about that, that they're claiming too much. In fact, in order to say 'there is no God,' ... you would have to be omniscient. But if you were omniscient, you would be God. Therefore, the only person who could say 'there is no God' is God. God would not deny Himself. So no one can say there is no God.[1]
This suggests the following argument, which I call the "unprovability of universal negatives argument."
(1) The only way to prove a universal negative in an a posteriori fashion is to exhaustively search for all possible sources of evidence of a thing and find no evidence.
(2) But it is impossible for finite, mortal beings to conduct such a search.
Therefore:
(3) It is impossible for finite, mortal beings to prove a universal negative in an a posteriori fashion.
Defenders of the "unprovability of atheism argument" add two additional steps:
(4) The proposition, "God does not exist," is a universal negative.
From (3) and (4), it follows that:
(5) It is impossible for finite, mortal beings to prove, "God does not exist," in an a posteriori fashion.
In the passage quoted above, however, Bahnsen suggests another argument which adds onto the first five steps. Atheism entails that there is no God, but the action of claiming to know that atheism is true presupposes that the person making that assertion has God-like knowledge. So we have:
(6) The action of claiming to know, "God does not exist," presupposes that the speaker is God.
From (5) and (6), it follows that:
(7) If a finite, moral being claims to know, "God does not exist," then it is true that God does not exist and it is false that God does not exist.
From (7) and the Law of Noncontradiction, it follows that:
(8) Any claims made by a finite, mortal being to know, "God does not exist," on an a posteriori basis should not be accepted.
I shall call the inference from (5) - (7) the "pragmatic inconsistency of knowing atheism" argument.
3: Assessment
I shall argue that both the unprovability of atheism argument and the related pragmatic inconsistency of atheism arguments are unsound.
3.1: The Unprovability of Atheism Argument
Here, again, is the unprovability of atheism argument.
(3) It is impossible for finite, mortal beings to prove a universal negative in an a posteriori fashion.
(4) The proposition, "God does not exist," is a universal negative.
Therefore:
(5) It is impossible for finite, mortal beings to prove, "God does not exist," in an a posteriori fashion.
One immediate problem with this argument is its name. From the fact, if it is a fact, that it is impossible for finite, mortal beings to prove atheism in an a posteriori fashion, it does not follow that it is impossible for such beings to prove atheism in a priori fashion. One or more internal inconsistency arguments against God's existence might be sound. But let that pass.
Some philosophers deny the truth of the second premise, (4). For example, in his famous debate with Frank Zindler, William Lane Craig argued as follows.
[...] the statement that God does not exist is not a universal negative; it’s a singular negative statement. Certainly you can prove negative singular statements such as there is no planet between Venus and the Earth. You could provide arguments to show that a singular negative statement is true [...].[2]
Strictly speaking, the first quoted sentence is correct. Categorical propositions are propositions which assert or deny relationships between classes; universal negatives are categorical propositions which have the form, "No S are P." Atheism is not a universal negative in this strict sense. But the statement, "God does not exist," is the same as saying, "No (existing) thing is God." That restatement of atheism is a universal generalization; it is has the form, "There are no S's."[3] Therefore, a proponent of the unprovability of atheism argument might replace "universal negative" with "universal generalization" yielding the following revised version of the "unprovability of universal negatives argument," which gets renamed as the "unprovability of universal generalizations argument."
(1') The only way to prove a universal generalization in an a posteriori fashion is to exhaustively search for all possible sources of evidence of a thing and find no evidence.
(2) But it is impossible for finite, mortal beings to conduct such a search.
Therefore:
(3') It is impossible for finite, mortal beings to prove a universal generalization in an a posteriori fashion.
The "unprovability of atheism argument" would then become:
(4') The proposition, "God does not exist," is a universal generalization.
Therefore:
(5) It is impossible for finite, mortal beings to prove, "God does not exist," in an a posteriori fashion.
The meaning of the word "prove" is ambiguous, but the last two steps of the pragmatic inconsistency argument (steps 6 and 7) provide a clue. That argument targets not atheism, but what is sometimes called "gnostic atheism," the claim to know that God does not exist. This suggests that, at least for Bahnsen, to "prove" a universal generalization means to succeed in demonstrating that belief in the universal generalization can rise to the level of knowledge. So let's revise the first two arguments one more time.
The "unprovability of universal generalizations argument" gets renamed as the "unknowability of universal generalizations argument."
(1'') The only way to reasonably believe a negative universal generalization on an a posteriori basis is to exhaustively search for all possible sources of evidence of a thing and find no evidence.
(2) But it is impossible for finite, mortal beings to conduct such a search.
Therefore:
(3'') It is impossible for finite, mortal beings to reasonably believe a negative universal generalization in an a posteriori fashion.
Likewise, the "unprovability of atheism argument" becomes the "unknowability of atheism argument."
(4') The proposition, "God does not exist," is a negative universal generalization.
Therefore:
(5') It is impossible for finite, mortal beings to reasonably believe, "God does not exist," on an a posteriori basis.
Now consider the first two premises (steps 1'' and 2) in light of this clarification of "prove."
The second premise (step 2) is false. Purely on the basis of experience, one can know that at least some negative universal generalizations are true. Some objects or beings are defined in such a way that, if they exist, they exist at a specific location and at a specific time. For example, consider the title, "Seattle Seahawks Superbowl 60 Most Valuable Player (MVP)." Let "NO SEAHAWKS MVP" refer to the negative universal generalization, "The Seattle Seahawks Superbowl 60 MVP does not exist." If the Seattle Seahawks do not advance to Superbowl 60 (or if they advance but do not win), then NO SEAHAWKS MVP is true: the person described by that title does not exist. In that case, an "exhaustive search" doesn't require superhuman or supernatural abilities. One could reasonably believe NO SEAHAWKS MVP by simply watching Superbowl 60 or reading about it after the fact.
One might object that, even in my highly specified example, the inference to NO SEAHAWKS MVP isn't deductively valid; it is at least possible that there is a global media conspiracy to spread misinformation about the outcome of Superbowl 60, one's sensory organs are defective, or one is literally delusional and imagining sense data not received by one's sensory organs. This objection fails because one does not need absolute certainty to be reasonable in holding a belief. Even if one did not know NO SEAHAWKS MVP, one would still be reasonable in believing NO SEAHAWKS MVP. Contrary to what Bahnsen implies, a person can reasonably believe something they don't claim to know. For the same reason, Bahnsen has not given us a good reason to believe that the first premise (step 1'') is true.
A proponent of the unknowability of atheism argument might grant the above objections and concede that humans can reasonably believe at least some negative universal generalizations, while at the same time insist that there is something special about God such that humans cannot reasonably believe atheism. Here I think it is useful to follow Jeanine Diller in making a distinction between global and local versions of atheism.[4] "Global atheism" is the proposition, "God does not exist," for all concepts of God, including concepts of God which no one has yet even considered. In contrast, "local atheism" is the proposition, "God does not exist," for a specific concept of God. This distinction suggests two further versions of the "unknowability of atheism" argument.
I will call the first of these two versions the "unknowability of global atheism" argument.
(1*) The only way to reasonably believe global atheism on an a posteriori basis is to exhaustively search for all possible sources of evidence of God, for every possible concept of God, and find no evidence.
(2) But it is impossible for finite, mortal beings to conduct such a search.
Therefore:
(5*) It is impossible for finite, mortal beings to reasonably believe global atheism on an a posteriori basis.
The second version, of course, is the "unknowability of local atheism" argument.
(1**) The only way to reasonably believe local atheism on an a posteriori basis is to exhaustively search for all possible sources of evidence of God, for a single concept of God, and find no evidence.
(2) But it is impossible for finite, mortal beings to conduct such a search.
Therefore:
(5**) It is impossible for finite, mortal beings to reasonably believe local atheism on an a posteriori basis.
The first argument is, I believe, much more promising than the second. In light of the fact that there are surely legitimate concepts of "God" which no human has ever conceived, it is difficult to imagine how, on the basis of experience, one could be confident in the belief that all local theisms are false. In other words, in the context of global atheism, the second premise (step 2) seems to be true. Of course, the fact that I cannot conceive of such a justification does not rule out the possibility that one exists. But it seems unlikely that anyone in the year 2023 could reasonably believe global atheism is true. As John Schellenberg has persuasively argued, there are numerous signs of
human intellectual immaturity at the macro level, and we've seen enough evidence of it to say that maturity--the realization (or near realization) of a deep and wide understanding of reality--may yet be a long way off.[5]
Further support for Schellenberg's immaturity hypothesis comes from the work of Paul Draper. In a recent article, Draper explores the conjunction of "merotheism" (God is a proper part of nature) and "monopsychism" (there is exactly one mind or subject of consciousness). He calls this novel version of theism "panpsychotheism" (all-minds-[are]-God-ism).[6] The important point to notice here is that, although some of the greatest minds in history have thought about God, there is no indication that anyone else had thought of this view. All by itself, this single example is evidence that there are other conceptions of God which no one has previously conceived.
In contrast, I think the second argument fails and for essentially the same reason given earlier. At least some God concepts entail or make probable certain states of affairs which be confirmed or disconfirmed by experience. For example, suppose that, in honor of Richard Swinburne, we define a "Swinburne God" as
a being with most of the following properties: being a person without a body (that is, a spirit), present everywhere (that is, omnipresent), the creator of the universe, perfectly free, able to do anything (that is, omnipotent), knowing all things (that is, omniscient), perfectly good, a source of moral obligation, eternal, a necessary being, holy, and worthy of worship. [7]
Let "Swinburnian theism" be the proposition, "The Swinburne God exists." Swinburnian theism clearly entails other propositions; one does not need to know that one of those entailments is false in order to reasonably believe that one of those entailments (and, by extension, Swinburnian theism itself) is false.[8] This is why I think the second premise (step 2) of the "unknowability of local atheism" argument fails.
3.2: The Pragmatic Inconsistency of Believing Atheism Argument
In the last section, we saw that the unprovability of atheism argument is not successful, but can be at least partially repaired by transforming it into the unknowability of atheism argument. The conclusion of that argument is:
(5') It is impossible for finite, mortal beings to reasonably believe, "God does not exist," on an a posteriori basis.
Defenders of the pragmatic inconsistency argument should then revise the last three steps as follows.
(6') The action of reasonably believing, "God does not exist," presupposes that the speaker is God.
From (5') and (6'), it follows that:
(7') If a finite, mortal being reasonably believes, "God does not exist," on an a posteriori basis then it is true that God does not exist and it is false that God does not exist.
From (7') and the Law of Noncontradiction, it follows that:
(8') It is impossible for a finite, mortal being to reasonably believe, "God does not exist," on an a posteriori basis.
This argument fails for two reasons. First, its second premise, (6'), is false. Even if it is impossible for finite, mortal beings to reasonably believe atheism on an a posteriori basis, it does not follow that it is impossible for such beings to reasonably believe atheism on an a priori basis. One does not have to be omniscient in order to know, much less reasonably believe, that there is a successful a priori argument for local atheism.
For example, here is one schema for what I call an "internal inconsistency argument" for local atheism.
(9) If God existed, then He would have property P1.
(10) If God existed, then He would have property P2.
(11) Any being with property P1 would have some further property P3.
(12) Any being with property P2 would not have property P3.
(13) Therefore, it is impossible for any being to have properties P1 and P2. (from 11 and 12)
(14) Hence, it is impossible for God to exist. (from 9, 10 and 13)
The basic idea is to show that if God existed, then he would have two properties P1 and P2. The next step is to show that property P1 entails some third property P3, while property P2 entails the denial of property P3. Since it is impossible for any being both to have and not have P3, it follows that that being cannot exist. While it might or might not be the case that there are no successful arguments of this type for local atheism, it really doesn't matter one way or the other for the purpose of this post. The speaker does not need to be omniscient in order to know the truth of (9) - (12).
Second, the argument's conclusion, (8'), does not follow from (5') - (7'). (6') refers to the action of claiming to reasonably believe, "God does not exist," but does not specify that that knowledge is based upon an a posteriori basis.
As with the unknowability of atheism argument, let us now consider two versions of the pragmatic inconsistency argument based on the distinction between global and local atheism. The global version can be summarized as follows:
(5*) It is impossible for finite, mortal beings to reasonably believe global atheism on an a posteriori basis.
(6*) The action of reasonably believing global atheism presupposes that the speaker is God.
Therefore:
(7*) If a finite, mortal being reasonably believes global atheism on an a posteriori basis, then global atheism is true and global atheism is false.
Therefore:
(8*) It is impossible for a finite, mortal being to reasonably believe global atheism on an a posteriori basis.
There are two problems with this argument. The first is that it is invalid: (6*) refers to the action of claiming to reasonably believe global atheism but does not specify that that knowledge is based upon an a posteriori basis. It seems to me that this objection could be avoided by revising the argument again as follows:
(5**) It is impossible for finite, mortal beings to reasonably believe global atheism.
(6**) The action of reasonably believing global atheism presupposes that the speaker is God.
Therefore:
(7**) If a finite, mortal being reasonably believes global atheism, then global atheism is true and global atheism is false.
Therefore:
(8**) It is impossible for a finite, mortal being to reasonably believe global atheism.
That solves the problem identified by the first objection, but brings into sharper focus the second objection. Even if we assume that premise (5**) can be adequately defended, premise (6**) does not seem to be true. If premise (5**) is true, then it seems that the action of claiming to reasonably believe global atheism presupposes that the speaker has knowledge which greatly exceeds that of any human being in history. But "has knowledge which greatly exceeds that of any human being in history" is not a sufficient condition for being God. First, it's far from obvious that such knowledge requires omniscience, and many conceptions of God posit an omniscient being, not just a really smart being. Second, even if the speaker's actions did presuppose that the speaker is omniscient, being omniscient is not a sufficient condition for being God. It is at least conceivable that there exists an omniscient being which does not have any of the other attributes typically associated with God, such as omnipotence, moral perfection, eternity, aseity, sovereignty, immutability, necessity, etc.
I don't know how Bahnsen would respond to this objection. Perhaps Bahnsen could show that the speaker's actions require such a superhuman degree of knowledge that the speaker's actions presuppose that the speaker is not necessarily God, but at least a supernatural being. Since metaphysical naturalism rules out the existence of any supernatural beings, not just God, the argument could then be transformed into a pragmatic inconsistency argument against believing metaphysical naturalism.
Now consider the local version of the pragmatic inconsistency argument, which can be summarized as follows:
(5#) It is impossible for finite, mortal beings to reasonably believe local atheism on an a posteriori basis.
(6#) The action of reasonably believing local atheism presupposes that the speaker is God.
Therefore:
(7#) If a finite, mortal being reasonably believes global atheism on an a posteriori basis, then global atheism is true and global atheism is false.
Therefore:
(8#) It is impossible for a finite, mortal being to reasonably believe local atheism on an a posteriori basis.
This argument suffers from the same defects as its global counterpart. Unlike the global pragmatic inconsistency argument, however, I am doubtful that the second premise, in this case (6#), can be repaired by replacing "God" with "supernatural being." For ordinary human knowledge is all that is needed to reasonably believe that some local theisms are false. Thus, the action of claiming to reasonably believe local atheism does not appear to be a pragmatic inconsistency, at least not in any sense related to the issues discussed in this post.
4: Conclusion
In this post, I have considered two arguments: the unprovability of atheism argument and the pragmatic inconsistency of knowing atheism argument. The unprovability of atheism argument is best and most charitably understood as the unknowability of atheism argument, which has two versions. The unknowability of global atheism argument seems promising, but the unknowability of local atheism argument fails. For at least some concepts of "God," one can reasonably believe that local atheism is true. Finally, the pragmatic inconsistency argument fails because one does not need to be superhuman, much less omniscient, in order to reasonably believe the truth of the premises of an internal inconsistency argument. Perhaps there is a successful global pragmatic inconsistency argument (against the action of believing naturalism), but the local pragmatic inconsistency argument seems hopeless.[9]
Notes
[1] “Michael Martin Under the Microscope” audiocassette, tape 3.
[2] William Lane Craig, “Second Rebuttal Speech” Atheism vs. Christianity (January 1993), https://www.reasonablefaith.org/media/debates/atheism-vs.-christianity
[3] Thanks to Paul Draper for helping me to see this clearly.
[4] Diller, J. "Global and local atheisms." Int J Philos Relig 79, 7–18 (2016). https://doi.org/10.1007/s11153-015-9550-1
[5] J.L. Schellenberg, Progressive Atheism: How Moral Evolution Changes the God Debate (New York: Bloombsury, 2019), p. 50.
[6] Paul Draper, "Panpsychotheism." In Current Controversies in Philosophy of Religion (New York: Routledge, 1990), pp. 160-177.
[7] Richard Swinburne, The Coherence of Theism (2nd ed., New York: Oxford University Press, 2016), p. 1.
[8] For an example of such an argument, see Paul Draper's formulation and defense of his "Decisive Evidence Argument" in Draper, Paul, "Atheism and Agnosticism", The Stanford Encyclopedia of Philosophy (Summer 2022 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/sum2022/entries/atheism-agnosticism/>.
[9] Thanks to Paul Draper for some very helpful conversations which significantly improved the quality of this post. Any errors are, of course, solely my responsibility.