A Formal Justification of Agnosticism
by Bill Schultz
There has long been a trend among some strong atheists to savagely attack any who declare themselves to be agnostics. The usual mode of attack is to bifurcate the decision, claiming that if you fail to assert that God exists (and to thereby become a theist), the only other option available is to declare that you lack a belief in any God or gods, and that this is one of the accepted definitions for atheism. I have long opposed such people by asserting this argument to be a fallacious form of bifurcation.  Now, another carefully reasoned argument for the fallaciousness of this same argument has surfaced. This new argument is the subject of this brief essay. It argues that the rules of inference from Classical logic (meaning the logic as defined by Principia Mathematica by Whitehead and Russell) cannot be used in discourse about unexperienced truth values. As a direct consequence, the attempt at bifurcation is formally invalid.
The usual argument used by atheists to attempt to convince a nonatheist and nontheist to convert to atheism is that there are only two alternatives, either you believe that God exists or you do not believe that God exists. If you believe that God exists, you are a theist, and in the alternative, if you do not believe that God exists, you are an atheist. The atheist assumes that those are the only two options, and will sometimes badger an agnostic until and unless they assert their willingness to convert to atheism.
In the formal language of logic, the proposition that the atheist (described above) is advocating is this one, wherein G stands for "God exists"  :
The above is just based upon a restatement of the principle from Classical logic known as the Principle of the Excluded Middle. In Classical logic, this principle is seen as a tautology, which cannot be false. Accordingly, assertions based upon that principle have great force, at least for so long as Classical logic is seen as absolutely valid. But, as Floy Andrews has explained, in his essay The Principle of Excluded Middle Then And Now: Aristotle And Principia Mathematica:
The mention of Dummett and his definition of "realism" as the metaphysical underpinnings of Classical logic, as described above, serves to introduce my main thesis herein: that the argument advanced by atheists, above, is formally invalid, for the reasons explained by Dummett and his followers. This essay of mine is based upon a book length attack on "realism" and Classical logic: Language, Logic and Experience: The Case for Anti-Realism, by Michael Luntley, who is a proponant of Dummett's "antirealism" school of philosophy. I shall now summarize Luntley's argument from the referenced book.
A realist believes that P1 (the Principle of Excluded Middle, above) is valid and applies in all cases. In fact, the entire structure of Classical logic is based upon some version of that formulation, because (as Andrews suggests) "the three principles of Aristotelian Logic are clearly only interdefinitions in Classical logic." Thus, the Principle of the Excluded Middle, the Principle of Contradiction (that a thing may not be and not be at the same time), and the Principle of Identity (that a thing has an immutable nature and is thus always identical with itself) are all just themes and variations of the same underlying principle. The realist believes in the universal applicability of those principles. However, is the realist justified in that belief? The key insight of Luntley's book, above, is the idea that a failure to have any experience of some given element's truth value leaves that element logically undefined, and this undefined state cannot properly be treated in the way that classical logic treats it, as represented by P1, above. Andrews, in his essay, makes similar observations about contradictory propositions where some common element (the subject of both propositions) is logically false. An example of this would be the propositions that "God is good" and "God is not good" if the subject (God) does not exist. In that case, both propositions fail, and the Principle of the Excluded Middle falls with them.
Luntley extends his argument to invalidate the entire foundation of Classical logic, and along the way, P1 falls as well. I will now quickly run through Luntley's arguments. But before I do, I should first stop and explain a couple of terms that are used in the argument. The first term is "content." By "content" it is meant to refer generally to information, as opposed to "vehicle," which refers generally to the method by which information is stored or transmitted. This is based upon a definition from the philosophy of mind:
If I have a mental concept of a book (said concept being the "content" in this example), then my brain is the vehicle for containing that concept. There are strong arguments over whether or not "content" of this sort is objective or subjective in nature. The full range of this dispute is beyond the scope of this essay. However, given the recent discoveries in brain imaging which illuminate the human thought processes, I believe it is fair to say that for sure, the realist school accepts that a mental concept ("content") is objective in nature. In fact, when the content refers to a clearly perceivable (experienced) external object, then the objective status of the mental concept is difficult to deny. The question, then, lies within the distinctions drawn for content which is unperceived.
Luntley (on behalf of the antirealist school) accepts the idea that "content" is objective in nature. He represents this idea this way  :
However, Luntley claims that the fact that content can be objective without experiencing it does not flow naturally into the idea that truth can be objective without experiencing it. The realist asserts the opposite, this way  :
Luntley expresses the distinction between merely accepting the objectivity of content and the objectivity of the truth value in this way:
The concept of "a determinate fact of the matter" extends beyond what we might grasp with gradual change between one condition (such as "hirstute") to another condition (such as "bald"). What the realist worldview commits to is that no matter what are the descriptive or prescriptive conditions which comprise the particular content in question (such as, "John has exactly 10,384 hairs on his head), that content will always be precisely either true or false in the world external to the observer. The content of "John is bald" is falsified by finding at least one hair on John's head. The difficulty is in handling situations where the observation has not yet been made which would determine the truth or falsity of the content. This is what Andrews identifies as a problem which Aristotle himself recognized, as discussed in part B of the Andrews essay.
So, is it really true, as the realist believes, that there is always a determinate fact of the matter? There are at least some well proven examples where there is not. One of these might well be Gödel's Incompleteness Theorum, which asserts "that any consistent formal system powerful enough to contain arithmetic must contain at least one proposition whose truth or falsity cannot be proven within the system." In other words, no matter how you attempt to formalize a mathematical or logical proof, there will always be at least one "undecidable" proposition contained within said proof. However, the most obvious of all or those examples would appear to arise due to the Heisenberg Uncertainty Principle, which holds that both the position and the momentum of a subatomic particle cannot be determined precisely at the same time. You can make one into a determinate measure only at the cost of making the other into an indeterminate measure. Thus, this proves at least one notable (and broadly accepted) exception "to the idea that there is a determinate fact of the matter." And where an exception clearly exists, an allegedly universal law is clearly falsified. It is obvious that where the fact of the matter is unknown (by reason of its having not been experienced), then the fact of the matter might also be indeterminate, and thus the realist "idea that there is a determinate fact of the matter" cannot always be true. Any indeterminancy is incompatible with the required universal determinancy of the realist position. This circumstance falsifies a key foundation of Classical logic.
The implication of the above is that where we are dealing with empirical (real world) facts, Classical logic is invalid, because the foundation upon which it rests is destroyed by indeterminancy. Instead, in the empirical world, we must actually experience a truth before we can logically assert it. Luntley uses this concept to develop what he calls the manifestation constraint:
As Luntley himself notes, "the reference here to 'experience' is vague." For instance, what should we make of knowledge claims that come from others? For the claim to possess validity, there must be some person who has experienced the required "detectable difference," and then the knowledge claim ("content") may be relayed by any number of different means ("vehicles") until it is part of the knowledge of many other people. And frequently, the knowledge claim itself is really a hypothesis about a situation which has never been actually observed (such as claims about the "Big Bang" origin of the universe). But still, such claims are based upon the experiences of various scientific observers who analyze their observed facts in light of the currently popular theories to produce the relevant knowledge claims. These claims have a probability of truth that is based upon numerous factors which ought to be obvious to the serious student of the methodologies of science and information transfer between people. But there is nothing in this whole business that denies that these truth claims are an attempt to describe an observed (past tense) objective reality.
This is not really a new concept by any means. In fact, it can easily be argued that Thomas Henry Huxley's definition of agnosticsm anticipated Constraint C when Huxley defined agnosticism in this way:
Accordingly, the antirealist does not deny the existence of objective knowledge. However, only knowledge that satisfies constraint C (in some unspecified way) can properly qualify as an objective truth. And the agnosticism of Huxley, requiring "demonstrated or demonstrable" facts really requires substantially the same thing as does Constraint C. So then, Luntley develops the following:
Having run through Luntley's proof rather quickly (with some additions and rearrangements of my own), it should now be obvious that a proposition in the form of P1 is invalid when we are discussing matters of speculative (unexperienced) knowledge. The potential of false common terms and indeterminate results kicks the supports out from under the foundations of Classical logic and invalidates at least the three principals mentioned above. The end result of Luntley's investigation is to prove that these classical rules of inference cannot be used for philosophical discourse when the underlying facts are unobserved. This is a far reaching claim that few people will readily grasp. However, I would assert that a proof far stronger than what either Luntley or I have discussed can be constructed by a thoughtful philosopher because the groundwork has clearly been laid for just such a proof.
Professor Ted Drange developed a system of definitions  of what it means to be a theist, an atheist, an agnostic, and a noncognitivst. While I don't entirely agree with the system he presents, he does seemingly agree that P1, above, should not be used to force agnostics into the atheist camp. This is what certain advocates of the definition of atheism formulated by George Smith and Michael Martin have attempted, largely by relying upon P1.
However, as Luntley demonstrates, in the world of hypothetical (unexperienced) data, P1 is not supportable by valid rules of inference. Instead, if no knowledge of what is true or not true can reach the senses of the observer, then the observer cannot draw any inference at all. This is a proof of the need for agnosticism whenever the truth or falsity of any fact necessary to the conclusion cannot actually be determined because the data is lacking (nothing has been sensed). The atheists who attempt to apply P1 to force agnostics to declare themselves to be atheists are relying upon false logic that cannot be validly employed in the context for which it is invoked.
Accordingly, agnosticism is not only a valid choice for those of us who see insufficient evidence to decide the matter as to the truth or falsity of some particular God concept. Agnosticism is, in fact, the only valid choice in such circumstances under the rules of inference applicable to discourse based upon the evaluation of hypothetical (unexperienced) data.
I would like to thank Dean Stretton for his lengthy and detailed critique of an earlier version of this essay. His comments led to a considerable expansion and improvement from that earlier draft.
 See Language, Logic and Experience: The Case for Anti-Realism, by Michael Luntley, pp. 56-62, where this same proposition is treated generally.
 Ibid, pp. 3-4.
 Ibid, p. 4.
 Ibid, p. 29.
 Ibid, p. 46 et. seq.
The text of this essay is Copyright © 2001, by William A. Schultz. All Rights Reserved. Used by permission of the author.
|Top of Page|