Verificationism and theology

One of the most radical challenges to religious belief in the twentieth century came not from arguments that God does not exist but from the claim that the sentence "God exists" is literally meaningless — that it fails to assert anything at all. This challenge emerged from logical positivism, a philosophical movement centred on the Vienna Circle in the 1920s and 1930s, which held that the meaning of a proposition is exhausted by its method of empirical verification.^{5, 12} If a statement cannot in principle be verified or falsified by sensory experience, it is not merely unproven but devoid of cognitive content — neither true nor false, but nonsensical. Applied to theology, this principle threatened to render the entire enterprise of religious language vacuous before any argument about God's existence could even begin.^{1, 13}

The verification principle

The verification principle received its most influential English-language formulation in A. J. Ayer's Language, Truth and Logic, published in 1936 when Ayer was only twenty-five years old. Drawing on the ideas of Moritz Schlick, Rudolf Carnap, and other members of the Vienna Circle, Ayer divided all genuine propositions into two categories: analytic propositions, which are true by definition and logically necessary (such as "all bachelors are unmarried men"), and synthetic propositions, which make claims about the empirical world and are meaningful only if some possible sensory experience would count for or against their truth.¹ Any putative statement that falls into neither category — one that is neither analytically true nor empirically verifiable — is classified as a "pseudo-proposition," a string of words that has the grammatical form of an assertion but lacks cognitive meaning.^{1, 5}

Ayer applied this framework directly to theology. The statement "God exists" is not an analytic truth (its denial is not self-contradictory), and no conceivable observation could verify it, because the theistic God is typically defined as a being who transcends the empirical world. Similarly, no experience could verify claims about God's goodness, omnipotence, or creative activity, since believers characteristically maintain these claims regardless of what happens in the world. Ayer concluded that religious assertions are neither true nor false but literally without meaning — a position more devastating than atheism, since the atheist at least treats "God exists" as a meaningful claim that happens to be false.^{1, 13}

Ayer acknowledged difficulties with the strong version of the verification principle and revised it in the 1946 second edition of Language, Truth and Logic. The original "strong" criterion demanded that a proposition be conclusively verifiable by experience; the revised "weak" criterion required only that some observation be relevant to determining the proposition's truth or probability. This liberalisation was intended to accommodate scientific statements about unobserved entities (such as atoms or distant galaxies) while still excluding metaphysics and theology.² However, repeated attempts to formulate the criterion precisely enough to exclude metaphysics without also excluding legitimate science proved unsuccessful, a problem that would eventually contribute to the decline of positivism itself.^{11, 13}

Flew and the falsification challenge

In 1950, Antony Flew recast the positivist challenge in terms drawn not from verification but from falsification, influenced by Karl Popper's philosophy of science, which held that the distinguishing mark of a scientific theory is not its verifiability but its falsifiability — its vulnerability to being shown wrong by observation.^{3, 6} In his essay "Theology and Falsification," originally presented at a meeting of the Socratic Club at Oxford, Flew posed a deceptively simple question: what would have to occur, or to have occurred, to constitute a disproof of the existence of God, or of the love of God?³

Flew illustrated his challenge with John Wisdom's parable of the gardener. Two explorers discover a clearing in the jungle containing both flowers and weeds. One claims that a gardener tends the plot; the other disagrees. They watch, set up barriers, employ bloodhounds, and use electric fences, but no gardener is ever detected. The believer continues to insist that an invisible, intangible, eternally elusive gardener tends the garden. Flew asked: "Just how does what you call an invisible, intangible, eternally elusive gardener differ from an imaginary gardener or even from no gardener at all?"³

The force of Flew's challenge was that religious believers seem willing to qualify their assertions indefinitely in the face of counter-evidence. When confronted with suffering, the believer does not abandon the claim that God loves humanity but qualifies it: God's love is "not a merely human love," or "it works in mysterious ways," or "the suffering is permitted for a greater good." Each qualification drains the original assertion of content, and Flew contended that the claim dies "the death of a thousand qualifications," eroded beyond recognition until it no longer asserts anything at all.^{3, 4}

The university debate: Hare and Mitchell

Flew's essay was published alongside responses from R. M. Hare and Basil Mitchell in what became one of the most famous exchanges in twentieth-century philosophy of religion. Both accepted the force of Flew's challenge but offered different accounts of how religious language might survive it.⁴

Hare conceded that religious assertions are not falsifiable empirical claims but argued that they are nonetheless meaningful. He introduced the concept of a blik — a basic interpretive framework or orientation toward the world that is not itself empirically testable but that governs how one interprets experience. Hare illustrated this with the parable of a paranoid student who believes that all university dons are plotting to murder him. No amount of counter-evidence — kindly behaviour, helpful tutorials, sympathetic conversations — can dissuade him, because he interprets everything through his blik. Hare's point was not that the student is right but that everyone has bliks, that bliks matter enormously for how one lives, and that some bliks are sane while others are insane. Religious belief, on this account, functions as a blik rather than as an empirical hypothesis: it is a way of seeing the world that shapes all experience without being derivable from experience.^{4, 14}

Mitchell took a different approach. He agreed with Flew that religious assertions make genuine claims about reality and that evidence counts against them, particularly the problem of evil. But he argued that the believer is not guilty of vacuous qualification: rather, the believer has committed to a claim — that God is good — on the basis of certain experiences (personal encounter, revelation, religious testimony) and reasonably maintains that commitment even in the face of apparently contrary evidence, just as one might continue to trust a friend accused of wrongdoing if one has strong prior grounds for trust. Mitchell compared the believer to a member of a resistance movement during wartime who has met a stranger claiming to be the leader of the resistance. Sometimes the stranger's actions seem to support this claim; sometimes they seem to contradict it. But the partisan's trust is not blind: it is a principled commitment that takes counter-evidence seriously while maintaining that the balance of evidence, when all is considered, favours the original assessment.^{4, 17}

Swinburne's response

Richard Swinburne mounted a more systematic philosophical defence of the meaningfulness of religious language. In The Coherence of Theism (1977), Swinburne argued that statements about God are meaningful because they are analogous to other perfectly intelligible existential claims. The sentence "there exists a person without a body who is omnipotent, omniscient, and perfectly good" is composed of terms that are individually meaningful and combined according to the rules of grammar and logic; the resulting proposition makes a clear claim that could in principle be true or false.⁷ Alvin Plantinga had earlier reached a similar conclusion in God and Other Minds (1967), arguing that belief in God is no less rational than belief in other minds — another existential claim that is not directly verifiable but that virtually everyone accepts as meaningful.¹⁰

Swinburne also challenged the falsification criterion directly. He distinguished between straightforwardly falsifiable claims and what he called "existential hypotheses" — claims about the existence of an entity with certain characteristics. Such hypotheses are not directly falsifiable by a single observation but can be assessed by the cumulative weight of evidence. The claim that there is a God who created and sustains the universe generates probabilistic expectations: one would expect order, intelligibility, conscious beings, moral experience, and perhaps religious experience. The presence of these features does not conclusively prove God's existence, and the presence of evil does not conclusively disprove it, but the total evidence can render the hypothesis more or less probable.^{8, 9} Swinburne thus relocated religious claims from the domain of strict verifiability or falsifiability into the domain of Bayesian probability, where evidence raises or lowers the probability of a hypothesis without ever providing deductive certainty.⁸

The decline of verificationism

The verification principle faced devastating internal criticisms that ultimately contributed to its abandonment as a criterion of meaning. The most fundamental objection was that the principle appears to be self-refuting: the statement "a proposition is meaningful only if it is either analytic or empirically verifiable" is itself neither analytic nor empirically verifiable, and so by its own criterion it is meaningless.^{11, 18} Ayer and other positivists attempted various responses — classifying the principle as a proposal about the use of language, a methodological recommendation, or a higher-order analytic truth — but none achieved wide acceptance.^{2, 13}

W. V. O. Quine's "Two Dogmas of Empiricism" (1951) struck at the analytic-synthetic distinction that was foundational to the positivist programme, arguing that the boundary between analytic and synthetic statements is not sharp and that the meaning of any individual sentence cannot be isolated from the web of beliefs in which it is embedded.¹¹ This holistic view of meaning undermined the positivist assumption that individual propositions can be assessed for verifiability one at a time. Combined with the persistent failure to formulate a version of the verification principle that was neither too narrow (excluding legitimate science) nor too broad (admitting metaphysics), these criticisms led to the gradual dissolution of logical positivism as a coherent philosophical programme by the 1960s and 1970s.^{11, 13}

The collapse of verificationism did not, however, leave theology unscathed. The challenges posed by Ayer and Flew sharpened the philosophical discussion of religious language in ways that persisted long after the verification principle itself was abandoned. Flew's falsification challenge, in particular, continues to be anthologized and debated as a classic statement of the difficulty religious believers face in specifying the empirical content of their claims.^{14, 17} The exchange forced theologians and philosophers of religion to articulate more carefully what religious statements mean, how they relate to evidence, and whether they function as empirical hypotheses, existential commitments, or something else entirely. In this sense, verificationism's most lasting contribution to the philosophy of religion was not its answer but its question: if the existence of God makes no observable difference, what exactly is being asserted when someone says that God exists?^{15, 16, 18}