# Ris3n's Refinement to Jay's Empty Set World Theory ## Intro Imagine the emptiest world there could possibly be. No stars, no atoms, no people, no space, no time. Is that world truly empty? No. Even there, 2 + 2 is still 4, and nothing can be both true and false at once. Those truths do not need any physical thing to hold. But a truth is always *about* something, and being about something is what thoughts do. Thoughts belong to minds. So even the emptiest world has a mind in it, a mind that is not made of anything physical and that could not have failed to exist. Now look at our world. The best physics says it has a finite past: it began, and time began with it. Something that began needs a cause. That cause cannot be a number or a law of logic, because those do not do anything. It cannot be physical, because physical things are part of what began. It has to be something that can act and is outside time. The mind we already found in the emptiest world fits exactly. So the "empty world" was never empty. It is the world where only God exists, and our universe is what happens when God chooses not to leave it that way. The Bible's first sentence says the same: "In the beginning God created the heavens and the earth." ## In full The argument began as a conditional proposed by Jay (@cantstopcouting on TikTok): if a world modelled by the empty set is possible, it could exist only conceptually, and a world that exists only as a concept is a world in which only God exists. Stated that way it faces two problems. First, an objection that an empty set is incoherent because a set with no members is no set. Second, a deeper tension: if a world containing absolutely nothing were possible, God would not exist necessarily, so the premise undercuts the conclusion. The refinement keeps the intuition and repairs the structure. It defines W0 as the world containing no contingent concrete objects, argues that necessary truths and their bearers (propositions and sets, the empty set among them) obtain even there, so absolute nothingness is impossible, and then argues on theistic conceptualist grounds that propositions and sets are mind-dependent, so a necessary, non-physical mind exists in every possible world. A second strand argues from the finite past of the physical universe, and the beginning of time with it, to a timeless, non-physical cause; abstract objects are causally inert and physical things are among the effects, so the cause is an agent, most simply identified with the necessary mind of the first strand. The conclusion is deductive in its first stage, given its premises, and partly abductive in its second, since the finite past is the best reading of the evidence rather than a theorem and the identification of the two minds rests on parsimony. [Genesis 1:1-2](/codex/genesis-1-1-2/) is not a premise, but it converges with the conclusion: creation is the beginning of time and of everything, and the "waste and void" of [Genesis 1:2](/codex/genesis-1-2/) is an unfinished creation, not nothingness, with the Spirit of God already present. ## Format note A **braided case** runs four kinds of reasoning on one argument instead of choosing one. A **deductive spine** of numbered premises carries the conclusion, so the argument is valid and every disagreement is forced onto a named premise. Each premise is held up by an **inductive strand** (the data that make it probable), an **abductive strand** (rival explanations compared on explanatory power, scope, simplicity and how ad hoc they are) and a **convergence** note (independent disciplines that reach the same premise). A **knot** checks that the strands are independent, a **likelihood ledger** states how much more expected each datum is on theism than on its rival, as honest qualitative ranges, and a **defeater gate** answers the strongest objection to the whole argument. See [The Lock and Key Argument](/codex/the-lock-and-key-argument/) for the exemplar. ## The original argument and its two problems **Jay's version.** If a world with nothing in it (a world modelled by the empty set) is possible, then it would exist only conceptually, and a conceptual world is one where only God exists. **Problem 1: "an empty set is incoherent."** The objection says a set is its members, so with no members there is no set. This is the weaker problem, because it is mistaken about sets. - Standard set theory (Zermelo-Fraenkel, ZF) includes an axiom stating that a set with no members exists, and the axiom of extensionality makes it unique: there is exactly one empty set, written ∅. - A set is a collection, not the things collected. An empty box is still a box. - Mathematics is built on it. In John von Neumann's construction of the numbers, 0 is ∅, 1 is {∅}, 2 is {∅, {∅}}, and so on. See [Zero and the Metaphysics of Nothing](/codex/zero-and-the-metaphysics-of-nothing/). **Problem 2: the world is not the empty set.** The real flaw was modelling the *world* as the empty set. The empty set is not a picture of an empty world; it is one of the things that still exists *in* the emptiest world. That turns the objection into the argument's best evidence: if even ∅ is there, the world is not empty. **Problem 3: the premise fights the conclusion.** If a world with *absolutely nothing* were possible, there would be a possible world without God, and God would not exist necessarily. So the refinement drops "an empty world is possible" as a load-bearing premise. It asks a different question: what is left in the *emptiest possible* world? The answer is God. ## The spine Let **W0** be the emptiest possible world: no contingent concrete things at all, no matter, energy, space, time or created minds. | # | Premise | |---|---| | **P1** | **Necessity.** Necessary truths (of logic and mathematics) hold in every possible world, including W0. | | **P2** | **Truth-bearers.** If a truth holds in a world, its truth-bearer (a proposition, or for set-theoretic truths a set) exists in that world. | | **P3** | **Mind-dependence.** Propositions and sets are mind-dependent: propositions are *about* things, and a set, the empty set included, is the extension of a concept. Aboutness and the application of concepts exist only as the thoughts of a mind. | | **C1** | **So a mind exists in every possible world, including W0.** Since W0 contains no contingent or physical thing, that mind is necessary and non-physical. Absolute nothingness is impossible. | | **P4** | **Finite past.** The physical universe has a finite past, and time began with it. | | **P5** | **Causation.** Whatever begins to exist has a cause. | | **P6** | **Elimination.** The cause of the physical universe is either an abstract object, a physical thing, or an agent. Abstract objects cause nothing, and physical things are among what began, so the cause is a timeless, non-physical agent. | | **P7** | **Parsimony.** A timeless, non-physical agent and a necessary, non-physical mind are not two posits but one: the simplest hypothesis identifies them. | | **C** | **Therefore there exists a necessary, non-physical, timeless, personal mind that holds every necessary truth and freely brought the universe into existence, which is what is meant by God. The emptiest possible world is the world where only God exists.** | **Validity.** C1 follows from P1 to P3: if necessary truths hold in W0, their bearers exist in W0, and those bearers depend on a mind, then a mind exists in W0; because W0 is arbitrary among the emptiest worlds and the premises are themselves necessary, the mind exists in every world. P4 and P5 give the universe a cause; P6 is a disjunctive syllogism that leaves an agent. P7 joins the two strands. C follows. **Strength of the conclusion.** Mixed, and stated plainly. Stage 1 (P1 to C1) is deductive: if its premises are true, a necessary mind exists. Stage 2 (P4 to P6) rests on P4, which is the best reading of the physical evidence, not a mathematical proof. P7 is an inference to the best explanation. The argument establishes a necessary mind with confidence relative to P3, and a creating, personal mind with the confidence the physics allows. ## P1, Necessary truths hold everywhere ### Inductive strand 1. **Logic is not optional.** Non-contradiction holds without exception; denying it uses it. See [Laws of Logic](/codex/laws-of-logic/). 2. **Mathematics is discovered, not voted on.** Different cultures with different notations reach the same results, and results proven on paper later describe physics (Eugene Wigner, "The Unreasonable Effectiveness of Mathematics in the Natural Sciences", 1960). See [Argument from Mathematical Truth](/codex/argument-from-mathematical-truth/). 3. **No physical precondition.** "2 + 2 = 4" did not become true at the Big Bang and will not become false at the heat death of the universe. ### Abductive strand | Explanation of P1's data | Explanatory power | Scope | Simplicity | Ad hoc? | |---|---|---|---|---| | Necessary truths are genuinely necessary | Explains universality and discovery | All of logic and mathematics | One posit | No | | Conventionalism (truths by definition) | Explains notation, not content | Weak: the same truths in every notation | Simple | Yes, about content | | Evolved heuristics, "true for us" | Explains belief, not truth | Weak on Wigner's data | Moderate | Yes | ### Convergence Logic, mathematics and modal metaphysics agree that necessary truths are true in every possible world; this is close to the definition of "necessary" in [Modal Logic](/codex/modal-logic/). Even metaphysical nihilists, who argue that there might have been no *concrete* objects (Thomas Baldwin, "There Might Be Nothing", *Analysis*, 1996), do not deny that logic would still hold. ### Objections and rebuttals 1. *"In an empty world there would be no truths, because there would be nothing to be true about."* **Rebuttal.** "There are no physical objects in W0" is itself a truth about W0. So is "2 + 2 = 4". An empty world with no truths cannot even be described. 2. *"Logic is just how human minds work."* **Rebuttal.** Then before humans there was no logic, and the early universe could have been both hot and not hot. No one believes that. ## P2, Truths need truth-bearers ### Inductive strand 1. **True is a property, and properties belong to things.** What is true is a proposition, the content that "snow is white" and "la nieve es blanca" share. 2. **Set theory makes existence claims.** "There is a set with no members" is a theorem of ZF. If it is necessarily true, ∅ exists in every world, W0 included. ### Abductive strand | Explanation | Explanatory power | Scope | Simplicity | Ad hoc? | |---|---|---|---|---| | Truths have bearers that exist where the truths hold | Explains why truth is about something | Universal | One principle | No | | Truth without bearers | No account of what is true | Unclear | Looks simple | Yes: a property with no subject | ### Convergence Philosophy of language (propositions as shared content), metaphysics (truthmaking) and mathematics (existence theorems) reach P2 independently. E. J. Lowe ("Metaphysical Nihilism and the Subtraction Argument", *Analysis*, 2002) argued that abstract objects exist necessarily, which is why even an otherwise empty world is not empty. ### Objections and rebuttals 1. *"Nominalism: numbers and propositions do not exist at all."* **Rebuttal.** Science cannot be stated without mathematics (the Quine-Putnam indispensability argument). If the nominalist calls mathematics a useful fiction, the fiction was true before any human told it, which needs explaining. At minimum the argument is conditional on realism about truth, which most philosophers of mathematics accept. ## P3, Truths and sets depend on a mind This premise is the battleground, and the argument stands or falls with it. ### Inductive strand 1. **Aboutness is the mark of the mental.** A proposition is about something; rocks and fields are not about anything. Franz Brentano made intentionality the defining feature of mental states (1874). 2. **A set is what falls under a concept.** Gottlob Frege defined 0 as the number belonging to the concept "not identical with itself" (*Foundations of Arithmetic*, 1884, section 74). The empty set is the extension of a concept nothing satisfies. Concepts are grasped, and grasping is mental. 3. **Collections need a collector.** Plantinga's "argument from collections" holds that a set is a collection, and collecting is something a mind does ("Two Dozen (or So) Theistic Arguments"; published in Jerry Walls and Trent Dougherty, eds., *Two Dozen (or so) Arguments for God*, 2018). 4. **Logic needs a thinker.** James Anderson and Greg Welty argue that the laws of logic are necessary truths about thoughts, so they require a necessarily existing mind ("The Lord of Non-Contradiction", *Philosophia Christi* 13.2, 2011). 5. **The tradition.** Augustine placed eternal truths in the mind of God (*On Free Choice of the Will*, book 2), and Leibniz called God's understanding "the region of eternal truths" (*Monadology* 43). ### Abductive strand | Explanation of necessary truth | Explanatory power | Scope | Simplicity | Ad hoc? | |---|---|---|---|---| | Theistic conceptualism: truths are thoughts of a necessary mind | Explains necessity, aboutness and our access | Logic, mathematics, modality | One posit | No | | Platonism: abstract objects exist without any mind | Explains necessity | Weak on aboutness and on how we know them (Paul Benacerraf, "Mathematical Truth", 1973) | Adds a mindless realm | Leaves access a mystery | | Human minds construct them | Explains our grasp | Fails before humans and in W0 | Simple | Yes | ### Convergence Philosophy of mind (intentionality), philosophy of mathematics (Frege, the access problem), and philosophical theology (Augustine, Leibniz, Plantinga, Welty's "theistic conceptual realism") arrive at P3 from different directions. ### Objections and rebuttals 1. *"Platonism: propositions just exist, no mind needed."* **Rebuttal.** Then something that is not a mind is about something, which nothing else in experience is. And Platonism cannot explain how causally inert objects are known by us. See the defeater gate. 2. *"Human minds are enough."* **Rebuttal.** Necessary truths held before humans existed and hold in W0, where there are no humans. Human minds are contingent; the truths are not. 3. *"Many minds, not one."* **Rebuttal.** The premises require at least one. Unity is argued separately, by simplicity; see the honest limits below. ## P4, The universe has a finite past (Planck and the beginning) ### Inductive strand 1. **Planck time is where physics stops, not where the universe started.** About 5.4 × 10⁻⁴⁴ seconds after the beginning, general relativity and quantum theory give conflicting answers and there is no tested theory of quantum gravity. The Planck era marks the limit of current knowledge, not an eternal past hiding behind it. 2. **The Borde-Guth-Vilenkin theorem.** Arvind Borde, Alan Guth and Alexander Vilenkin showed that any spacetime that has, on average, been expanding cannot be extended infinitely into the past ("Inflationary Spacetimes Are Incomplete in Past Directions", *Physical Review Letters* 90, 2003). See [Borde-Guth-Vilenkin Theorem](/codex/borde-guth-vilenkin-theorem/). 3. **The second law.** An infinitely old universe would have reached maximum entropy long ago; ours has not. See [Second Law of Thermodynamics](/codex/second-law-of-thermodynamics/). 4. **No-boundary models still have a finite past.** James Hartle and Stephen Hawking's proposal ("Wave Function of the Universe", *Physical Review D* 28, 1983) removes a sharp first instant, like the South Pole, which has nothing further south, but keeps a finite past. 5. **Time began with the universe.** In general relativity time is part of spacetime, so there was never a time at which the universe did not exist. Augustine reached the same conclusion: the world was made with time, not in time (*City of God* 11.6). ### Abductive strand | Explanation of the cosmological data | Explanatory power | Scope | Simplicity | Ad hoc? | |---|---|---|---|---| | The universe and time began | Explains expansion, entropy and the BGV boundary | Wide | One posit | No | | An eternal cyclic universe | Explains a "before" | Faces entropy build-up across cycles | Several posits | Needs a reset mechanism | | An eternal inflating multiverse | Explains fine-tuning by selection | BGV applies to it too | Many posits | Partly | ### Convergence Observational cosmology (expansion, the [Big Bang](/codex/big-bang/)), thermodynamics, and mathematical relativity (BGV) reach a finite past by three different methods. Theology reached it first: see [Creatio ex Nihilo](/codex/creatio-ex-nihilo/). ### Objections and rebuttals 1. *"BGV is a classical result and does not reach the Planck era."* **Rebuttal.** Granted, so do not claim proof. But every published model of the quantum era still has a finite past or needs special, unconfirmed assumptions to avoid one, and the second law points the same way independently. 2. *"The universe came from a quantum vacuum."* **Rebuttal.** A quantum vacuum has fields, energy and laws. It is something, not nothing. David Albert made the point in his review of Lawrence Krauss's *A Universe from Nothing* ("On the Origin of Everything", *New York Times*, 2012). Ask: a fluctuation *of what*? ## P5 and P6, The cause is a timeless, non-physical agent ### Inductive strand 1. **Nothing comes from nothing.** Every observed beginning has a cause; science is the search for them. See [Kalam Cosmological Argument](/codex/kalam-cosmological-argument/). 2. **Abstract objects do nothing.** The number 7 and the empty set cause no events. This is the standard definition of "abstract" in metaphysics. 3. **The cause cannot be physical.** Matter, energy, space and time are what began, so their cause is not among them. See [Argument from the Creation of Time](/codex/argument-from-the-creation-of-time/). 4. **Only agents start things without a prior physical trigger.** A free choice can bring about an effect that has a beginning. William Lane Craig's model: God is timeless without creation and in time with it (*Time and Eternity*, 2001). ### Abductive strand | Candidate cause | Can it act? | Outside time? | Verdict | |---|---|---|---| | Abstract objects (numbers, sets, propositions) | No | Yes | Fails: inert | | A physical prior state | Yes | No | Fails: part of what began | | A personal agent | Yes, by choosing | Can be | Survives | ### Convergence The elimination is shared by the classical cosmological tradition ([Contingency Argument](/codex/contingency-argument/), [Kalam Cosmological Argument](/codex/kalam-cosmological-argument/)) and by metaphysics of causation, which treats abstract objects as non-causal. ### Objections and rebuttals 1. *"Who caused God?"* **Rebuttal.** P5 covers things that begin. The mind of C1 is necessary and never began. 2. *"Causes need time, so a timeless cause is impossible."* **Rebuttal.** The first moment of time can be simultaneous with its cause; a cause need not come *before* its effect in time. 3. *"Quantum events have no causes."* **Rebuttal.** Quantum events happen inside a physical system with laws. They are not beginnings from nothing. ## P7, One mind, not two The timeless, non-physical agent of P6 and the necessary, non-physical mind of C1 share every attribute the argument has established. Positing two such beings when one explains everything multiplies entities without need. This is Ockham's razor, an inference to the best explanation, not a deduction, and it is marked as such. [Divine Simplicity](/codex/divine-simplicity/) and the [Contingency Argument](/codex/contingency-argument/) carry the case for unity further. ## The knot The two stages are independent. Stage 1 uses logic, mathematics and philosophy of mind, and would hold even if the universe were eternal. Stage 2 uses physical cosmology and would hold even if Platonism were true. A skeptic who defeats one stage still faces the other. They meet only at P7, which is where the identification is made, and it is counted once. ## The ledger Prior-agnostic: the ledger asks only how expected each datum is under each hypothesis. Ranges are qualitative judgments, argued above, not measurements. | Datum | How expected on theism | How expected on naturalism | Likelihood ratio (theism : naturalism) | Why | Independent of the rows above? | |---|---|---|---|---|---| | Necessary truths hold in every possible world | High | Moderate (naturalism can accept them as brute) | Slightly favours theism | Theism explains where they hold; naturalism lists them | Yes | | Truths are *about* things | High | Low | Strongly favours theism, perhaps 5:1 or more | Aboutness belongs to minds; naturalism has only mindless matter and inert abstracta | Partly (shares P1's subject matter) | | The universe had a beginning | High (creation is predicted) | Low to moderate | Favours theism, roughly 2:1 to 5:1 | A beginning is predicted by Genesis 1:1; naturalism must treat it as brute or postulate a prior physical state | Yes | | The beginning has no physical precursor | High | Low | Favours theism | Only a non-physical cause fits | Partly (depends on P4) | | Mathematics fits physics | High | Low | Favours theism | One mind behind truth and world predicts the fit | Partly (see [Mathematics Requires Christian Theism](/codex/mathematics-requires-christian-theism/)) | **Net.** The rows jointly favour theism, most strongly on aboutness and on the beginning. The ratios are not multiplied, because the partial overlaps are noted, and the case is stated no more strongly than the ranges allow. ## The defeater gate **Platonism.** The strongest objection says that abstract objects exist necessarily on their own, needing no mind. Then P3 fails: propositions and sets populate W0 without any thinker, and Stage 1 shows only that W0 is not empty, not that God is in it. This is a serious position, held by philosophers such as Frege himself. The reply has two parts. 1. **Platonism purchases mind-independence at a high price.** It posits objects that are about things without being minds, and that we somehow know without any causal contact (Benacerraf's problem, 1973). Theistic conceptualism explains both: truths are about things because they are thoughts, and we know them because the same mind made ours. 2. **Even if Platonism wins, Stage 2 survives.** Platonic objects cause nothing, so they cannot have produced the universe. The beginning of time still needs a timeless agent. The Platonist ends up with a mindless realm of truths *plus* a creating mind, which is more than the theist needs. What the gate concedes: if Platonism is true, Stage 1 alone no longer reaches God, and the argument rests on Stage 2 and P7. ## Concessions - *Grant:* the empty set is coherent, so "an empty set world" is not a contradiction. *Now collect:* the empty set exists in every world, so no world is empty. - *Grant:* physics cannot see past the Planck era. *Now collect:* then "it came from a quantum fluctuation" is not science either; it is a guess about the same territory, and it still assumes something rather than nothing. - *Grant:* the argument does not prove the Trinity. *Now collect:* it proves a necessary, personal, timeless Creator, which already rules out atheism, naturalism and every finite god. - *Grant:* P7 is an inference, not a deduction. *Now collect:* the alternative is two necessary, timeless, non-physical minds, which no one actually believes. ## Cheatsheet **The 30-second version (read aloud).** Picture the emptiest world possible: no matter, no space, no time. Is it really empty? No. Two plus two is still four there, and nothing can be true and false at once. Truths are about things, and only minds hold things that are about something. So even the emptiest world has a mind in it. Now our world: physics says it had a beginning, and time began with it. Numbers can't cause anything, and nothing physical existed yet. So the cause was a mind outside time. Same mind. The emptiest possible world is the world where only God exists. **Fast facts:** 1. The empty set is a standard object of set theory (ZF's axiom of the empty set); von Neumann built 0 as ∅. 2. Frege (1884): 0 is the number of the concept "not identical with itself." 3. Planck time: about 5.4 × 10⁻⁴⁴ seconds, the limit of current physics. 4. Borde, Guth and Vilenkin (2003): an expanding universe cannot be past-eternal. 5. Augustine (*City of God* 11.6): the world was made with time, not in time. **The closing line.** "Logic says even the emptiest world has a mind in it. Physics says our world had a beginning. The Bible's first sentence says both: in the beginning, God." ## Cross-examination ### Round 1, Is anything true in an empty world? - **Q:** In a world with no physical things, is it still true that 2 + 2 = 4? - **If they say yes:** then something exists there to be true. The world is not empty. - **If they say no:** then logic depends on matter, and before matter the universe could have been both hot and not hot. ### Round 2, Where do truths live? - **Q:** Can something that is not a mind be *about* something? - **If they say no:** then the truths of the empty world are held by a mind. - **If they say yes (Platonism):** ask how we know objects we cannot touch, and point to Stage 2. ### Round 3, What caused the beginning? - **Q:** Did the universe have a beginning? - **If they say yes:** a number cannot cause it and nothing physical yet existed; what is left? - **If they say no:** ask how they answer BGV and the second law. ### Dodge table | Dodge | What it concedes | Reply | |---|---|---| | "A quantum fluctuation did it." | Something preceded the universe | "A fluctuation of what? That's something, not nothing." | | "We just don't know what was before Planck time." | Physics can't settle it | "Agreed. Then you can't claim science rules out a Creator." | | "Math is just a human invention." | Math describes the world | "Then why did it describe the universe before any human existed?" | | "Who made God?" | Beginnings need causes | "God didn't begin. Only things that begin need a cause." | | "An empty set isn't a real set." | Sets are real if consistent | "Set theory says it is, and it's unique. That's the point: even ∅ is there." | ## Genesis, Planck time and the empty world The argument does not rest on Scripture, but Scripture says what the argument concludes. | Point in the argument | Scripture | |---|---| | Time and the universe begin together (P4) | In the beginning God created the heavens and the earth (Genesis 1:1, ASV). "The heavens and the earth" is a Hebrew way of saying everything, and *bara* (*bara*) in this form is used in the Bible only with God as its subject. | | The cause is outside time (P6) | Even from everlasting to everlasting, thou art God (Psalm 90:2, ASV) | | The cause is a mind that holds truth and makes all things (C1, P7) | In the beginning was the Word, and the Word was with God, and the Word was God (John 1:1, ASV); All things were made through him; and without him was not anything made that hath been made (John 1:3, ASV). *Logos* means both word and reason. See [Logos Christology](/codex/logos-christology/). | | Creation is from nothing, not from prior material (P6) | What is seen hath not been made out of things which appear (Hebrews 11:3, ASV); God calleth the things that are not, as though they were (Romans 4:17, ASV) | | Nothing holds together without God | He is before all things, and in him all things consist (Colossians 1:17, ASV) | **The void of [Genesis 1:2](/codex/genesis-1-2/) is not nothingness.** > And the earth was waste and void; and darkness was upon the face of the deep: and the Spirit of God moved upon the face of the waters. ([Genesis 1:2](/codex/genesis-1-2/), ASV) - "Waste" is *tohu* (Strong's H8414), used elsewhere of a desert wilderness ([Deuteronomy 32:10](/codex/deuteronomy-32-10/)). "Void" is *bohu* (H922), which occurs only three times, always paired with *tohu* ([Genesis 1:2](/codex/genesis-1-2/), [Isaiah 34:11](/codex/isaiah-34-11/), [Jeremiah 4:23](/codex/jeremiah-4-23/)). Together they mean unformed and unfilled. David Tsumura argues the phrase describes an unproductive, uninhabited earth, not chaos and not non-existence (*The Earth and the Waters in [Genesis 1](/codex/genesis-1/) and 2*, 1989; revised as *Creation and Destruction*, 2005). - The earth, the deep, the waters and darkness are already there. [Genesis 1:2](/codex/genesis-1-2/) describes a created world that is not yet finished, and the rest of the chapter answers both words: days 1 to 3 give it form, days 4 to 6 fill it. - So [Genesis 1:2](/codex/genesis-1-2/) is not W0. W0 corresponds to what is "before" [Genesis 1:1](/codex/genesis-1-1/), logically rather than in time: God alone. - Even the void had God in it: "the Spirit of God moved upon the face of the waters." That is the argument's conclusion in narrative form. There is no world, however empty, without God. - Planck time cannot reach this. Physics can trace the universe back toward its boundary, but the move from W0 to a universe is not an event inside history; it is the existence of history. Genesis places it exactly there, "in the beginning." ## Honest limits - **P3 carries Stage 1.** Serious philosophers reject theistic conceptualism. The gate shows what survives if they are right. - **P4 is the best reading of the evidence, not a theorem.** Say "the best physics says the past is finite," never "physics proves a beginning." - **The argument shows a necessary, personal Creator, not yet the Trinity.** Pair it with the historical case for the resurrection in the [Cumulative Case for Christian Theism](/codex/cumulative-case-for-christian-theism/). - **Unity rests on simplicity.** One mind is the simplest hypothesis; [Divine Simplicity](/codex/divine-simplicity/) argues further that a necessary being cannot be one of several. ## Live-cite kit **Scripture (ASV):** - In the beginning God created the heavens and the earth ([Genesis 1:1](/codex/genesis-1-1/), ASV) - And the earth was waste and void; and darkness was upon the face of the deep: and the Spirit of God moved upon the face of the waters ([Genesis 1:2](/codex/genesis-1-2/), ASV) - Before the mountains were brought forth, Or ever thou hadst formed the earth and the world, Even from everlasting to everlasting, thou art God ([Psalm 90:2](/codex/psalms-90-2/), ASV) - All things were made through him; and without him was not anything made that hath been made ([John 1:3](/codex/john-1-3/), ASV) - By faith we understand that the worlds have been framed by the word of God, so that what is seen hath not been made out of things which appear ([Hebrews 11:3](/codex/hebrews-11-3/), ASV) **Scholarly:** - Gottlob Frege, *The Foundations of Arithmetic* (1884), section 74: 0 as the number of the concept "not identical with itself." - Alvin Plantinga, "Two Dozen (or So) Theistic Arguments": the arguments from intentionality and from collections. - James Anderson and Greg Welty, "The Lord of Non-Contradiction", *Philosophia Christi* 13.2 (2011). - Borde, Guth and Vilenkin, *Physical Review Letters* 90 (2003): expanding spacetimes are past-incomplete. - Augustine, *City of God* 11.6: the world was made with time, not in time. **Aphorism:** "The emptiest world isn't empty. It's the world where only God is." ## Connection to Scripture - [Genesis 1:1](/codex/genesis-1-1/), the beginning of time and of everything. - [Genesis 1:2](/codex/genesis-1-2/), the unformed world with the Spirit already present. - [Psalm 90:2](/codex/psalms-90-2/), God before and beyond time. - [John 1:1-3](/codex/john-1-1-3/), the Logos through whom all things were made. - [Hebrews 11:3](/codex/hebrews-11-3/) and [Romans 4:17](/codex/romans-4-17/), creation not from prior material. - [Colossians 1:17](/codex/colossians-1-17/), all things holding together in Christ. - [John 5:26](/codex/john-5-26/) and [Acts 17:25](/codex/acts-17-25/), life underived, given to all. ## Scholarship Published academic works this page draws on, each matched to a publisher, index or library catalog record. - James N. Anderson, Greg Welty and Evangelical Philosophical Society, "The Lord of Noncontradiction: An Argument for God from Logic," *Philosophia Christi* 13 (2011). [doi:10.5840/pc201113229](https://doi.org/10.5840/pc201113229) - T. Baldwin, "There might be nothing," *Analysis* 56 (1996). [doi:10.1093/analys/56.4.231](https://doi.org/10.1093/analys/56.4.231) - Arvind Borde, Alan H. Guth and Alexander Vilenkin, "Inflationary Spacetimes Are Incomplete in Past Directions," *Physical Review Letters* 90 (2003). [doi:10.1103/physrevlett.90.151301](https://doi.org/10.1103/physrevlett.90.151301) [PubMed 12732026](https://pubmed.ncbi.nlm.nih.gov/12732026/) [open access](https://arxiv.org/pdf/gr-qc/0110012) - William Lane Craig, *Time and Eternity* (2001). [Open Library](https://openlibrary.org/works/OL21750810W) - J. B. Hartle and S. W. Hawking, "Wave function of the Universe," *Physical Review D* 28 (1983). [doi:10.1103/physrevd.28.2960](https://doi.org/10.1103/physrevd.28.2960) - E. J. Lowe, "Metaphysical nihilism and the subtraction argument," *Analysis* 62 (2002). [doi:10.1093/analys/62.1.62](https://doi.org/10.1093/analys/62.1.62) - Jerry L. Walls and Trent Dougherty, *Two Dozen (or so) Arguments for God* (2018). [Open Library](https://openlibrary.org/works/OL27718444W) - Eugene P. Wigner, "The unreasonable effectiveness of mathematics in the natural sciences. Richard courant lecture in mathematical sciences delivered at New York University, May 11, 1959," *Communications on Pure and Applied Mathematics* 13 (1960). [doi:10.1002/cpa.3160130102](https://doi.org/10.1002/cpa.3160130102) ## See also - [Ris3n Arguments](/codex/ris3n-arguments/), the hub of ris3n's original arguments - [Arguments](/codex/arguments/), the master index - [Argument from Mathematical Truth](/codex/argument-from-mathematical-truth/), the standard argument from necessary truths to a necessary mind, which Stage 1 builds on - [Zero and the Metaphysics of Nothing](/codex/zero-and-the-metaphysics-of-nothing/), why mathematical zero is not philosophical nothing - [Kalam Cosmological Argument](/codex/kalam-cosmological-argument/), the classical argument from the beginning of the universe - [Argument from the Creation of Time](/codex/argument-from-the-creation-of-time/), why the beginning of time needs a timeless cause - [Borde-Guth-Vilenkin Theorem](/codex/borde-guth-vilenkin-theorem/), the physics behind the finite past - [Creatio ex Nihilo](/codex/creatio-ex-nihilo/), the doctrine of creation from nothing - [Contingency Argument](/codex/contingency-argument/), the case for a necessary being - [Mathematics Requires Christian Theism](/codex/mathematics-requires-christian-theism/), the fit between mathematics and the world - [The Living Source Argument](/codex/the-living-source-argument/), a companion argument from the origin of life to an unembodied Mind ## Common questions this page answers **Q: Is a world with nothing in it possible?** Not if necessary truths hold in every world. Even a world with no matter, space or time still has logic and mathematics true in it, so something exists there. This argument holds that what exists there is a mind, which is God. **Q: Is the empty set incoherent because it has no members?** No. Standard set theory states that a set with no members exists and that there is exactly one. A set is a collection, not its members, much as an empty box is still a box. The empty set is so basic that mathematicians build the number 0 from it. **Q: What existed before Planck time?** Physics cannot say. The Planck era, about 5.4 × 10⁻⁴⁴ seconds after the beginning, is where current theories break down. That marks the limit of our knowledge, not proof of an eternal past, and the best evidence still points to a finite past with a beginning. **Q: Was there ever a moment when nothing physical existed?** No. Time is part of the physical universe, so there was no time before it. The "empty world" is logically prior to the universe, not earlier in time, which is why Augustine said the world was made with time, not in time. **Q: Was the void in [Genesis 1:2](/codex/genesis-1-2/) really emptiness?** No. "Waste and void" (*tohu* and *bohu*) means unformed and unfilled. The earth, the deep and the waters are already there, and the Spirit of God is moving over them. Creation from nothing is taught in [Genesis 1:1](/codex/genesis-1-1/), [John 1:3](/codex/john-1-3/) and [Hebrews 11:3](/codex/hebrews-11-3/); [Genesis 1:2](/codex/genesis-1-2/) describes the unfinished creation. **Q: How does the empty world argument point to God?** Truths hold even in the emptiest world, and truths are the kind of thing only a mind holds, so a necessary, non-physical mind exists. Separately, the universe began, and its cause must be outside time and able to act. The simplest explanation is that both are the same mind: God. **Q: Doesn't this argument just assume God exists?** No. Its premises concern logic, sets and physics, and each can be disputed on its own terms. The strongest objection, Platonism, denies that truths need a mind, but even granting it, the beginning of the universe still needs a personal cause.