GOD EXAMINEDBible← Back to The ProofThese are not sermons. They are logical arguments with premises, inference rules, and conclusions — and the logic is valid. The only debates are about the premises.
Sixteen separate logical arguments for God's existence have been built over the last 800 years by mathematicians and philosophers at the world's leading universities -- and several have been checked by computers that have no feelings, no opinions, and no agenda. These are not inspirational speeches; they are step-by-step reasoning chains, like proving a math theorem. Imagine sixteen witnesses in a courtroom, each from a different country, who never met each other, all independently describing the same event: their agreement does not weaken the case -- it makes it overwhelming.
To reject these conclusions, you would need to show that the very idea of God contains a contradiction -- the way a "square circle" is impossible. Nobody has ever done this. When sixteen independent arguments from different centuries and traditions all arrive at the same answer, that is not coincidence -- it is convergence.
Expand any section below to go deeper.
Imagine a courtroom where the prosecution calls sixteen expert witnesses. They come from different countries, different centuries, and different academic disciplines. One is a mathematician. Another is a physicist. A third is a philosopher of language. A fourth is a computer scientist. They have never coordinated, never compared notes, and in many cases never even read each other's work. Yet when each takes the stand and presents their independent analysis, they all arrive at the same conclusion: a necessary, maximally great being exists. One expert witness could be mistaken. Two arriving at the same conclusion might be coincidence. But sixteen independent witnesses, using completely different methods of reasoning, converging on the same verdict -- that is not coincidence. That is a signal in the data.
Here is a second analogy. Think of sixteen different mapmakers, each given a different continent to survey. One maps Africa using satellite imagery. Another maps South America by walking every river. A third maps Europe by measuring coastlines. A fourth maps Asia using mathematical models of terrain. Each uses a different methodology, different tools, different starting assumptions. When they are finished, their maps are collected and placed side by side -- and every single map shows the same planet. The coastlines fit together. The ocean depths match. The mountain ranges align. No one coordinated the result. The convergence happened because they were all measuring the same underlying reality. That is what sixteen formal proofs of God's existence look like. Different starting axioms, different logical frameworks, different fields of expertise -- but the same conclusion, because the underlying reality is the same.
A third analogy comes from forensic science. When a crime lab analyzes evidence, they run multiple independent tests: DNA analysis, fingerprinting, ballistics, fiber analysis, digital forensics. Each test uses a different physical principle and a different methodology. If only one test points to the suspect, you have a lead. If all five tests independently identify the same person, you have a conviction. The formal proofs of God's existence are the intellectual equivalent of five, ten, sixteen independent forensic tests all pointing to the same suspect. Godel's modal logic is the DNA test. The Kalam cosmological argument backed by the BGV theorem is the ballistics report. Swinburne's Bayesian analysis is the statistical forensics. Plantinga's S5 modal argument is the fingerprint match. Each test is independent. Each uses different premises and different methods. Each points to the same conclusion. When sixteen independent tests converge, the rational response is not to dismiss them all but to follow the evidence where it leads.
Kurt Godel (1906–1978) is widely regarded as the greatest logician since Aristotle. He is best known for his incompleteness theorems, which proved that any consistent mathematical system contains truths it cannot prove. Late in his career, he developed a formal proof of God's existence using modal logic — the logic of possibility and necessity.
Step 1: Define a "positive property" as any property that is better to have than not to have — a property whose possession never diminishes a being. (Examples: power, knowledge, goodness.)
Step 2: Positive properties are logically consistent with each other. (Having power does not prevent having knowledge.)
Step 3: "Godlikeness" is defined as having ALL positive properties.
Step 4: If Godlikeness is even possible (not self-contradictory), then a Godlike being must exist in at least one possible world.
Step 5: In modal logic (system S5), anything that exists necessarily in one possible world exists necessarily in ALL possible worlds — including the actual world.
Conclusion: If it is even possible that God exists, then God necessarily exists.
Deep Dive The computer verification also revealed something unexpected: Godel's axioms entail "modal collapse" — the conclusion that everything that is true is necessarily true. This is a known issue. Subsequent modifications by Anderson (1990) and Bjordal (1999) resolve the modal collapse while preserving the core result. The point remains: the logical structure of the ontological argument is valid. The debate is entirely about whether the premises (especially the coherence of "positive properties") are correct — not about whether the conclusion follows.
Alvin Plantinga (b. 1932), widely considered the most important philosopher of religion in the 20th century, reformulated the ontological argument in a way that is simpler and more powerful than Godel's version.
Premise 1: It is possible that a maximally great being exists. (A maximally great being is one that is omnipotent, omniscient, and morally perfect in every possible world.)
Premise 2: If it is possible that a maximally great being exists, then a maximally great being exists in some possible world. (This is just the definition of "possible.")
Premise 3: If a maximally great being exists in some possible world, it exists in every possible world. (Because "maximal greatness" includes necessary existence — a being that might not exist is not maximally great.)
Premise 4: If a maximally great being exists in every possible world, it exists in the actual world.
Conclusion: A maximally great being exists.
The only way to block Plantinga's argument is to claim that maximal greatness is impossible — that the concept contains a hidden logical contradiction, like a "married bachelor." No one has demonstrated such a contradiction. The burden of proof is on the objector.
Think of possible worlds as rooms in an infinite hotel. A "maximally great being" is defined as a guest who, if they check into ANY room, they automatically check into EVERY room (that is part of what "maximally great" means -- necessary existence across all worlds). Now, the only question is: is there at least one room this guest could check into? If yes -- if there is even one possible world where this guest exists -- then by definition they are in ALL rooms, including yours. The entire debate reduces to: "Is there even one room?" To reject the argument, you must prove that there is NO room -- that the concept of this guest is self-contradictory, like a married bachelor or a square circle. No one has ever done this.
Why this matters for the average person: You do not need to understand modal logic to grasp the force of Plantinga's argument. The core insight is simple: if the idea of God is not self-contradictory, then God exists. Period. The burden is on the skeptic to show the contradiction. After 50+ years, no one has.
The tradition of formal proofs for God's existence spans over 800 years of sustained intellectual engagement. Anselm first proposed the ontological argument in 1078. Since then, it has been refined by Descartes (1641), Leibniz (1714), Godel (1970s, published posthumously), Plantinga (1974), and Rutten (2014). Each version addresses objections raised against previous versions. No other philosophical argument in history has been subjected to this level of sustained scrutiny. And in 800 years, no one has found a logical error. The premises have been debated -- vigorously, brilliantly, from every angle. But the logic is airtight.
The cosmological argument has an even longer history: Aristotle (4th century BC), al-Ghazali (11th century), Aquinas (13th century), Leibniz (17th century), and Craig (20th century). The Kalam version, backed by the BGV theorem (2003), has been called "the most discussed argument in the philosophy of religion in the last 30 years." Its premises are simple, its logic is valid, and its conclusion -- the universe had a cause -- is supported by mainstream physics.
The Bayesian approach (Swinburne, 1979-present) is the newest methodology, but Bayesian reasoning itself is the gold standard of modern inference -- used in medicine (diagnostic testing), law (evidence weighting), artificial intelligence (machine learning), and climate science. If Bayesian reasoning is good enough for diagnosing cancer and training neural networks, it is good enough for evaluating the evidence for God.
The Kalam argument is ancient (Islamic philosopher al-Ghazali, 11th century) but has been revived and defended with modern physics by William Lane Craig.
Premise 1: Everything that begins to exist has a cause.
Premise 2: The universe began to exist.
Conclusion: The universe has a cause.
In 2003, physicists Arvind Borde, Alan Guth, and Alexander Vilenkin proved the BGV theorem: any universe that has, on average, been expanding throughout its history must have a past space-time boundary — a beginning. This holds regardless of the physics of the early universe. It holds even in inflationary models, cyclic models, and multiverse scenarios.
"It is said that an argument is what convinces reasonable men and a proof is what it takes to convince even an unreasonable man. With the proof now in place, cosmologists can no longer hide behind the possibility of a past-eternal universe. There is no escape: they have to face the problem of a cosmic beginning." — Alexander Vilenkin, Many Worlds in One
If the universe began to exist, and everything that begins to exist has a cause, then the universe has a cause. That cause must be outside space and time (since it created space and time), immensely powerful (since it created all matter and energy), and must have chosen to create (since a timeless, changeless cause can only produce a temporal effect by an act of will — otherwise the effect would be co-eternal with the cause).
Premise 1 ("everything that begins to exist has a cause") is not merely common sense — it is metaphysically necessary. For something to begin to exist without a cause would mean it came from nothing. But nothing has no properties, no powers, no causal efficacy. Nothing cannot produce something for the same reason that zero multiplied by anything is zero. The idea that the universe popped into existence uncaused from literal nothing is not a scientific hypothesis — it is a metaphysical absurdity. Even quantum vacuum fluctuations are not "nothing" — they occur in a pre-existing quantum field governed by laws. The quantum vacuum is something, not nothing.
Premise 2 is supported by multiple independent lines of evidence. The BGV theorem (2003) is the strongest, but it is not the only one. The Second Law of Thermodynamics, the expanding universe (Hubble, 1929), and the cosmic microwave background radiation (Penzias and Wilson, 1965, Nobel Prize) all independently confirm that the universe had a beginning. No scientific model of a past-eternal universe has survived scrutiny. Every proposed loophole (cyclic models, quantum tunneling models, bouncing cosmologies) has been shown to require a beginning within its own framework.
If the universe (all matter, energy, space, and time) had a cause, that cause must be:
| Property | Why |
|---|---|
| Spaceless | It created space. It cannot be within the thing it created. |
| Timeless | It created time. It exists without temporal succession. |
| Immaterial | It created all matter and energy. It is not composed of what it produced. |
| Enormously powerful | It created the entire universe from nothing. |
| Personal (an agent with will) | A timeless, changeless cause can only produce a temporal effect by a free decision. An impersonal cause that exists timelessly would produce its effect timelessly — meaning the universe would be co-eternal with the cause. Since the universe began at a finite point, the cause chose to create at that point. Choice requires agency. |
These five properties — spaceless, timeless, immaterial, enormously powerful, and personal — are the classical attributes of God. The Kalam does not prove "the Christian God" specifically, but it proves a being with exactly the properties that Christians, Jews, and Muslims ascribe to God. The gap between "a spaceless, timeless, immaterial, enormously powerful, personal Creator" and "God" is vanishingly small.
Richard Swinburne (Oxford University) applies Bayesian probability — the same mathematical framework used in medicine, law, and AI — to the question of God's existence.
Swinburne does not rely on any single argument. Instead, he assigns prior and posterior probabilities to each line of evidence: cosmological fine-tuning, consciousness, moral experience, religious experience, the success of science (the universe is intelligible), and the evidence for miracles. He then calculates the cumulative probability using Bayes' theorem.
Swinburne concludes that P(God | all evidence combined) > 0.5 — that is, theism is more probable than not given the total evidence. His key insight is that no single argument needs to be decisive. Even if each line of evidence provides only modest support (say, 60-40), the cumulative weight of multiple independent lines pushes the probability above 50%.
What alternatives have been proposed, and why do they fail? Each competing explanation for 16 formal proofs of God's existence (overview) is examined on its own terms and shown to be insufficient. The alternatives are not straw men -- they are the strongest versions available. And each one falls short of the evidence.
| Objection | Formal proofs of God are just clever word games. You can prove anything if you define your terms the right way. These arguments convince no one who does not already believe. They are philosophy, not evidence. |
| Response | The logic of these proofs is valid -- meaning the conclusions follow necessarily from the premises. This is not a matter of opinion. Godel's proof was verified by a computer. Plantinga's argument uses S5 modal logic, which is uncontested. The Kalam argument's second premise is supported by a theorem in physics (BGV). "Word game" is not a rebuttal. If you want to reject these proofs, you must identify which specific premise is false and demonstrate why. |
| Counter | "Fine -- the logic is valid. But the premises are debatable. 'It is possible that a maximally great being exists' is not obviously true. You are smuggling the conclusion into the first premise." |
| Final | You are right that the debates are about premises, not logic. That is exactly how rational inquiry works. The question is: are the premises more plausible than their negations? For Plantinga: is it more plausible that maximal greatness is possible, or that it is impossible? No one has shown a logical contradiction in the concept. For Kalam: is it more plausible that the universe began to exist, or that it is past-eternal? The BGV theorem says it began. For Swinburne: is cumulative evidence a valid method? Every courtroom in the world says yes. These are not word games. They are the best tools human reason has for answering the most important question we can ask. Dismissing them without engaging the premises is not skepticism. It is intellectual avoidance. |
| Objection | If modal logic can prove God exists, it can prove anything exists. You could run the same argument for a "maximally great pizza" or a "maximally great island." Gaunilo made this objection against Anselm in 1078, and it still applies. The argument proves too much. |
| Response | The parody fails because "maximal greatness" includes necessary existence -- existence in every possible world. A pizza cannot exist in every possible world because a pizza is a contingent physical object that depends on ingredients, ovens, and hungry people. Maximal greatness is not "the best version of a category" -- it is a set of properties (omnipotence, omniscience, moral perfection, necessary existence) that form a coherent, non-contingent whole. The parody works only if you treat "maximally great" as a superlative adjective rather than a technical term in modal logic. It is not "the greatest X." It is "a being whose non-existence is impossible." |
| Counter | "But how do you know those properties are coherent? Maybe omnipotence and moral perfection contradict each other. An omnipotent being could do evil -- but a morally perfect being cannot. Isn't that a contradiction?" |
| Final | Omnipotence, properly understood, is the power to do anything logically possible. It does not include the power to do logically impossible things -- like creating a married bachelor or making 2+2=5. Doing evil would be a defect, not a power. A being that "cannot" do evil is not limited; it is maximally actualized. The inability to be defective is not a limitation -- it is perfection. Aquinas established this in the 13th century, and no philosopher has refuted the formulation. The coherence of maximal greatness has been defended for 800 years. The burden of proof is on the objector to demonstrate the contradiction, and after eight centuries, no one has. |
| Objection | Granting every formal proof, all you have demonstrated is a necessary, maximally great being. That could be the God of Islam, the Brahman of Hinduism, or an impersonal cosmic force. Nothing in these proofs points specifically to the God of Christianity -- the Trinity, the Incarnation, or Jesus Christ. |
| Response | Correct. The formal proofs establish the existence and attributes of God in general -- not the specific identity of God. That is by design. These proofs are Step 8 in a multi-step argument. Steps 1-4 (the historical case for Jesus and the resurrection) establish the historical identity. Steps 5-7 (autogenesis, MIP, unified law) establish the structural attributes. Step 9 (CTMU/Logos) establishes the precise structural match with John's Gospel. Steps 10-11 (faith works, Christianity unique) establish which religion's claims best match the established profile. The formal proofs provide one leg of a cumulative case. They were never intended to identify the Christian God in isolation. |
| Counter | "But that means the proofs alone do not get you to Christianity. You are relying on additional arguments that may be weaker." |
| Final | Every cumulative case works this way. A DNA test identifies a suspect's genetic profile but does not place them at the crime scene. A fingerprint places them at the scene but does not establish motive. Eyewitness testimony establishes motive but does not prove identity. No single piece of evidence convicts alone. The formal proofs establish that a necessary, maximally great being exists. The CTMU shows this being has the structure of the Logos. The historical evidence shows that the Logos entered history as Jesus of Nazareth. The cumulative case is stronger than any individual step -- that is the nature of convergent evidence. |
The following 16 scholars have published formal or rigorous arguments for God's existence, spanning logic, physics, mathematics, biology, and philosophy:
| # | Scholar | Field | Argument Type | Key Contribution |
|---|---|---|---|---|
| 1 | Kurt Godel | Mathematical Logic | Ontological (modal) | Formal modal proof; computer-verified 2013 |
| 2 | Christoph Benzmuller | Computer Science | Ontological (automated) | Machine verification of Godel's proof using LEO-II and Satallax |
| 3 | Alvin Plantinga | Philosophy | Modal ontological | If maximal greatness is possible, God necessarily exists (S5) |
| 4 | Chris Langan | Logic / Metaphysics | CTMU / Self-containment | Reality is a self-configuring language (SCSPL); God = mind of reality |
| 5 | Richard Swinburne | Philosophy (Oxford) | Bayesian cumulative | P(God | all evidence) > 50% via Bayes' theorem |
| 6 | William Lane Craig | Philosophy / Theology | Kalam cosmological | BGV theorem proves the universe began; cause must be personal |
| 7 | Robert Spitzer | Physics / Philosophy | Cosmological + fine-tuning | Four convergent proofs from physics and metaphysics |
| 8 | John Lennox | Mathematics (Oxford) | Inference to best explanation | Mathematical intelligibility of the universe implies a mind |
| 9 | William Dembski | Mathematics / Information | Specified complexity | Complex specified information requires an intelligent source |
| 10 | Stephen Meyer | Philosophy of Science | Biological information | DNA information content exceeds what natural processes produce |
| 11 | Edward Feser | Philosophy | Thomistic (Aristotelian) | Five Ways reformulated with modern metaphysics; act/potency |
| 12 | Alexander Pruss | Philosophy / Mathematics | Leibnizian cosmological | Principle of Sufficient Reason demands a necessary being |
| 13 | Robert Koons | Philosophy | Cosmological (causal) | Causal principle + composition yields a necessary first cause |
| 14 | David Berlinski | Mathematics / Philosophy | Critique of materialism | Mathematical arguments against the adequacy of naturalism |
| 15 | Robin Collins | Philosophy / Physics | Fine-tuning (probabilistic) | Likelihood ratio of fine-tuning on theism vs. atheism strongly favors theism |
| 16 | Emanuel Rutten | Philosophy | Modal-epistemic | If God's non-existence is not knowable, God exists (in S5) |
No single proof claims to establish every attribute of God. But taken together, the 16 proofs converge on a remarkably specific picture:
| Attribute | Established By |
|---|---|
| Existence | All 16 proofs |
| Necessity (cannot fail to exist) | Godel, Plantinga, Pruss, Koons, Feser |
| Timelessness (outside time) | Kalam (Craig), Spitzer, Feser |
| Spacelessness (immaterial) | Kalam, Feser, Spitzer |
| Omnipotence | Godel, Plantinga, Langan (CTMU), Feser |
| Omniscience | Godel, Plantinga, Langan (CTMU) |
| Moral perfection | Godel, Plantinga, Swinburne |
| Personhood (free agent) | Kalam, Swinburne, Lennox |
| Intelligence | Dembski, Meyer, Lennox, Langan, Feser |
| Uniqueness (only one God) | Feser, Pruss, Koons |
| Creator | Kalam, Collins, Spitzer, Pruss, Koons |
This is not a vague "higher power" or an impersonal force. The cumulative picture from 16 independent proofs is: a necessary, timeless, spaceless, immaterial, omnipotent, omniscient, morally perfect, personal, intelligent, unique Creator. That is the God of classical theism. That is the God described in Scripture.
What would disprove this? A claim that cannot be tested is not a claim -- it is a wish. Here is what would falsify the argument for 16 formal proofs of God's existence:
This evidence card does not stand alone. It connects to the other cards in the series, each reinforcing the others from independent directions. When multiple independent lines of evidence point to the same conclusion, the probability compounds -- it does not merely add.
The unified law -- max(∞P) -- is the empirical expression of what the formal proofs establish theoretically. The proofs show that a necessary, maximally great being exists. The unified law shows what that being's nature looks like in action: reality optimizes at every scale. The Principle of Least Action, Prigogine's dissipative structures, and Friston's Free Energy Principle are all empirical confirmations of the generative drive that the proofs identify as God's nature. Theory (proofs) and observation (unified law) converge on the same conclusion.
Robin Collins's probabilistic fine-tuning argument is one of the 16 proofs. But fine-tuning also supports the other 15 by providing empirical evidence for design. The cosmological constant tuned to 1 in 10120, Penrose's initial entropy at 1 in 1010123, and 922 independently constrained parameters are the quantitative backbone of the teleological arguments. Without fine-tuning data, the design proofs would be philosophical. With it, they are grounded in the hardest data in physics.
The CTMU (Step 9, Langan's proof, #4 in the table) provides the metaphysical framework that unifies all 16 proofs. It shows WHY a necessary being must have the attributes of omnipresence, omniscience, and omnipotence: because reality is a self-configuring, self-processing language, and the language that constitutes all of reality necessarily knows all of reality (omniscience), is present throughout all of reality (omnipresence), and writes all the rules of reality (omnipotence). The other 15 proofs establish THAT God exists; the CTMU establishes what God's structure must be.
If the 16 proofs establish that God is a necessary, personal, moral Creator, then Christianity's claim to be that Creator's self-revelation can be tested empirically. Step 10 shows that faith in this God produces measurable health benefits. Step 11 shows that Christianity's evidence profile is unique among world religions. The proofs provide the theoretical foundation; the health data and historical evidence provide the empirical confirmation. Together, they form a chain from abstract logic to concrete, measurable outcomes.
The formal proofs establish by logic what Scripture asserts by revelation. The convergence is specific:
| Proof Conclusion | Scripture Statement | Reference |
|---|---|---|
| A necessary being exists | "I AM WHO I AM" -- pure self-existence | Exodus 3:14 |
| The universe had a cause (Kalam) | "In the beginning God created the heavens and the earth" | Genesis 1:1 |
| God is omnipotent | "Is anything too hard for the LORD?" | Jeremiah 32:27 |
| God is omniscient | "Great is our Lord and mighty in power; his understanding has no limit" | Psalm 147:5 |
| God is morally perfect | "God is light; in him there is no darkness at all" | 1 John 1:5 |
| God is the creator | "Through him all things were made" | John 1:3 |
| God's existence is knowable from creation | "God's invisible qualities have been clearly seen, being understood from what has been made" | Romans 1:20 |
Logic and revelation converge. The proofs do not replace Scripture; they confirm it. Scripture does not replace the proofs; it anticipated them.