Zero Is Indexed Absence

What zero reports, why nothing is not an object, and where correct indexing stops

Position and clarification note · mathematics, quantification, absence, ontology, and Relata-Indexed Objectivity

Andraž Đurič

Version 1 · July 2026

Abstract

Zero can seem paradoxical. Writing, thinking, or pointing to zero appears to turn nothing into something. Yet “there are zero coins on the table” can be straightforwardly true.

The paradox dissolves when levels are separated. The numeral 0 is a present symbol; zero is a determinate mathematical value; and, in its cardinal use, that value reports that no object in a specified domain satisfies a specified criterion. It neither names an object called nothing nor implies impossibility.

This essay compresses that standard structure into a claim: in its cardinal use, zero is indexed absence. Its contribution is not a new discovery about arithmetic but the compression and its placement inside Relata-Indexed Objectivity. The same analysis clarifies, without answering, “Why is there something rather than nothing?” It distinguishes ordinary absence, empty domains, the absence of concrete entities, absolute nothing, malformed questions, and well-formed questions whose answers remain unknown.

1. The apparent paradox

The thought begins with a genuine tension:

To have zero of something is still to specify something. To point at nothing is still to perform an act of pointing. How, then, can zero represent absence without turning absence into an object?

One temptation is to conclude that zero does not exist; another is to imagine that it names nothing itself. Both collapse levels. Writing 0 produces a symbol, thinking it produces a representational event, and mathematics assigns it a formal role. None of this adds an object called “nothing” to the counted domain.

A map of an empty room is not an empty map. A representation can be present while reporting non-instantiation at the level represented. The contradiction appears only when representation and target are forced onto one level.

2. What cardinal zero reports

Let D be a domain and P a criterion. The objects counted as Ps form the extension:

{x ∈ D : P(x)}

The cardinal claim that there are zero Ps in D is:

|{x ∈ D : P(x)}| = 0  ⇔  ¬∃x(x ∈ D ∧ P(x))

Let I contain the context needed for the count: the domain, criterion, and, where relevant, time, location, model, possible world, or measurement rule. Then:

NI(P) = |{x ∈ DI : PI(x)}|

NI(P) = 0 reports non-instantiation under that index, not free-floating “nothingness.” Frege expressed the underlying idea by assigning zero to a concept under which nothing falls. His ontology of numbers is not required here: an applied cardinal statement answers how many? only after the counted kind is fixed.

In its cardinal use, zero is indexed absence: a determinate value reporting that the extension of a specified predicate over a specified domain is empty.

Zero is not positive in the mathematical sense; it is neither positive nor negative. The intended word is determinate: a usable representational value with an exact formal role.

3. Four levels that must not be collapsed

The original puzzle contains at least four different candidates for “zero.”

1. The numeral: the inscription 0, which is a physical or digital token.
2. The number: the mathematical value or structural position represented by that numeral.
3. The extension: the collection of objects satisfying a criterion.
4. The target domain: the range of objects over which the criterion is evaluated.

A familiar set-theoretic illustration makes the index switch visible:

|∅| = 0    but    |{∅}| = 1

The empty set has zero members; a set whose sole member is the empty set has one. The counts answer different questions. Likewise, pointing to a symbol for absence adds a representational object at the meta-level without populating the represented extension.

This is the same discipline defended in Relata-Indexed Objectivity: a claim becomes assessable when its bearer, domain, relation, level, and frame are located closely enough for reality or the formal system to answer back.

4. Absence is not impossibility

The most important correction to the initial intuition is this:

Zero instances does not, by itself, mean impossible instances.

There may be zero coins on this table although one could be placed there. There are also zero square circles because the criterion is contradictory under ordinary Euclidean definitions. The counts agree; their modal standing does not.

• Contingent absence: nothing satisfies the criterion here and now, but something could.
• Nomological impossibility: nothing can satisfy it under the physical laws in force, although those laws could have differed.
• Logical or conceptual impossibility: nothing can satisfy the criterion given the logic and definitions in force.

Modality must be supplied separately. Thus “How many gods are there?” cannot be settled by reflection on zero. What counts as a god, the domain and evidential standard, and whether the question concerns actual, possible, necessary, physical, abstract, or culturally represented entities must be fixed first. Zero may then be the correct answer, but it supplies no independent argument for atheism, theism, possibility, or impossibility.

5. The slogan has a strict scope

“Zero is indexed absence” is a disciplined compression, not a complete definition of zero in every mathematical use.

Zero also functions as an additive identity, ordinal position, coordinate, zero vector, placeholder digit, and element in algebraic structures. A nonempty set can have measure zero; an event can have probability zero without being impossible. Reusing the symbol does not license movement between cardinality, measure, probability, algebra, and modality.

Scope condition. The present thesis concerns zero in its cardinal or applied counting role: zero Ps in an indexed domain. Other roles inherit their meaning from the mathematical structures in which zero operates and require their own analysis.

6. “Nothing” is not the name of an object

Ordinary grammar encourages reification: because nothing can occupy a noun-phrase position, it is easy to imagine a thing named Nothing. But “Nothing is in the room” can instead be analysed quantificationally:

¬∃x InTheRoom(x)

Russell made this strategy explicit: nothing need not denote a standalone entity for complete sentences containing it to be meaningful. Generalized-quantifier theory later widened the formal treatment.

Failure to refer to an object is not the same as failure to contribute to a meaningful, truth-evaluable sentence.

“There are no keys in the drawer” can be true because the relevant extension is empty, not because an absence-entity occupies the drawer. Yet a metaphysical question remains: what makes a negative existential true—the domain’s total state, a totality fact, incompatibilities, negative facts, or something else? Molnar’s survey shows that this truthmaker problem remains contested.

Quantifier analysis blocks reification; it does not automatically pay the truthmaker bill.

7. From local absence to absolute nothing

The word nothing can conceal at least four claims:

1. Empty extension: no object in a domain satisfies P.
2. Empty target domain: there are no objects in the domain being discussed.
3. No concrete entities: there are no physical or concrete objects, although abstract, modal, logical, or structural facts may remain.
4. Absolute nothing: no entities, properties, facts, laws, domains, possibilities, structures, or truths of any kind.

The first is routine mathematics. If the second means that the entire quantifier domain is empty, it requires a semantics permitting empty domains; standard first-order presentations usually stipulate a nonempty one. The third is the usual target of metaphysical nihilism. The fourth is hardest to formulate, because truth, possibility, a domain, model, or contrast may reintroduce structure at the meta-level.

A model of emptiness is still a model, but that fact about the representation does not prove its target impossible. Baldwin and Rodriguez-Pereyra defend subtraction arguments for a world without concrete objects; van Inwagen argues that an empty world, if possible, may have probability zero; Parfit separates why any universe exists from why this one does. The existence of the symbol 0 resolves none of these disputes.

8. “Why is there something rather than nothing?”

Leibniz’s apparently singular question branches under inspection:

• Why are there concrete physical entities rather than no concrete entities?
• Why does this universe obtain rather than another?
• Is an empty possible world coherent?
• Is some being, fact, law, or structure necessary?
• Does the totality of contingent reality require an explanation?
• What kind of explanation—causal, grounding, modal, contrastive, or selectional—is being requested?

Why does not always request an earlier cause. It may request antecedent conditions, a ground, a modal reason, a contrastive explanation, or a selection principle. Van Fraassen shows that why-questions vary with topic, contrast class, and relevance relation; Fine distinguishes grounding from ordinary causal production. “Why requires a prior state” is therefore too narrow to dismiss the ontological question.

Name the Relata still helps, but only when applied at the correct level. Here the items to name are not necessarily two object-like relata. They include:

• the target proposition and quantified domain;
• the contrast class and modal status of its alternatives;
• the requested explanatory relation;
• the background principles permitted in an answer.

The result may be a malformed reading or several coherent questions—some tractable, some disputed, and some beyond present methods.

Correct indexing does not guarantee an answer. It separates malformed questions from well-formed ones; among the well-formed, it separates those presently answerable from those whose answers remain unknown, underdetermined, or inaccessible.

9. A correction inside the Epistemic Forge corpus

Corpus correction. An earlier essay, The Metaphysical Audit, treated “Why is there something rather than nothing?” as a ghost partly because nothing has no referent and partly because why was treated as requiring a prior causal state. That verdict was too quick.

The warning against reifying nothingness or assuming an external cause of total reality remains valid. Two inferences do not: non-reference does not entail meaninglessness, and explanation is not exhausted by temporally prior causes.

Later papers had already retreated toward this position. Diagnosing Whether a Question Has a Domain treated the question as flagged; What It Proves and What It Bets narrowed the claim; Uniqueness Is a Selection Problem preserved several explanatory routes; and Relata-Indexed Objectivity allowed total-grounding questions to bottom out or change meaning without declaring them empty.

“Why is there something rather than nothing?” is not one question with one standing. It is a compressed family of questions. Some readings may be malformed; others are well formed and remain open.

This is the method working on its own corpus: not preventing error, but making it localizable and corrigible.

10. The diagnostic yield

The analysis blocks three slides:

1. From representation to object: because the numeral or concept exists, there must be an object corresponding to “nothing.”
2. From empty extension to impossibility: because the count is zero, the counted kind cannot exist.
3. From non-reference to nonsense: because nothing does not name an object, every sentence containing it is meaningless.

All three cross levels or change the index. The repair is short:

1. State what is being counted and specify its domain and membership criterion.
2. Add the relevant time, location, model, world, or evidential frame.
3. Separate actual emptiness from modal impossibility.
4. Separate the representation from the represented extension.
5. If asking why, name the contrast and explanatory relation.

The output need not be merely “solved” or “nonsense.” An audit can return:

• a determinate and answerable empirical or formal question;
• a family of questions hidden inside one sentence;
• a malformed reading with no stable truth conditions;
• a well-formed question that is underdetermined or presently unanswered;
• a foundation-edge question at which the requested explanatory structure may no longer apply.

Clarification earns its keep not by always dissolving a problem, but by identifying what kind remains.

11. Conclusion

Zero does not represent an object called nothing. In cardinal use, it reports that nothing in an indexed domain satisfies an indexed criterion. The symbol exists, the value is determinate, and the relevant extension has no members. These claims occupy different levels and can all be true.

Nor does zero imply impossibility. Actual absence, physical impossibility, logical contradiction, measure zero, and probability zero require different premises.

Zero is indexed absence.

More exactly: in its cardinal use, zero is a determinate value reporting that the extension of a specified predicate over a specified domain is empty.

This is not a new theorem. Its value within Epistemic Forge is architectural: one guardrail joining cardinality, quantification, level discipline, and Relata-Indexed Objectivity.

It clarifies the route from zero to nothing without completing it. “Why is there something rather than nothing?” survives as a family of questions whose domains, contrasts, modalities, and explanatory demands must be named one by one.

Correct indexing does not promise an answer. It tells us what we are asking.

Standing and limits of this essay

This is a position and clarification note, not a new result in mathematics or logic.

Established structure: cardinal zero reports an empty extension; number statements require a counted concept or criterion; negative quantification need not name a negative object; probability zero does not entail impossibility.

Familiar philosophical territory: the semantics of nothing, negative existentials, empty domains, empty possible worlds, contrastive explanation, metaphysical grounding, and the question of why anything exists.

Epistemic Forge contribution: the compression “zero is indexed absence”; its integration with Relata-Indexed Objectivity; the five-step diagnostic; and the explicit correction of an earlier overreach in the corpus.

Open debts: this essay does not settle the ontology of numbers, the best semantics for every use of nothing, the truthmakers of negative truths, the possibility of an absolutely empty world, or whether total reality has or requires an explanation.

References

1. Baldwin, Thomas (1996). “There Might Be Nothing.” Analysis, 56(4), 231–238. — subtraction argument for the possibility of a world without concrete objects. STANDARD / CONTESTED CONCLUSION
2. Barwise, Jon, and Robin Cooper (1981). “Generalized Quantifiers and Natural Language.” Linguistics and Philosophy, 4, 159–219. — formal treatment of natural-language quantifier expressions. STANDARD
3. Fine, Kit (2012). “Guide to Ground.” In Fabrice Correia and Benjamin Schnieder (eds.), Metaphysical Grounding. Cambridge University Press, 37–80. — grounding as a form of metaphysical explanation distinct from ordinary causation. STANDARD / PROGRAMMATIC
4. Frege, Gottlob (1884). The Foundations of Arithmetic, especially §§46–57, 68, and 74. — number statements as assertions involving concepts and zero as the number belonging to a concept under which nothing falls. PRIMARY / CANONICAL
5. Leibniz, G. W. (1714). “Principles of Nature and Grace, Based on Reason,” §7. — classical formulation of the question why there is something rather than nothing under the Principle of Sufficient Reason. PRIMARY / MODERNIZED TEXT
6. Molnar, George (2000). “Truthmakers for Negative Truths.” Australasian Journal of Philosophy, 78(1), 72–86. — the unresolved metaphysical problem of what makes negative claims true. STANDARD / CONTESTED
7. Parfit, Derek (1998). “Why Anything? Why This?” London Review of Books, 20(2–3); reprinted in Tim Crane and Katalin Farkas (eds.), Metaphysics: A Guide and Anthology (2004). Oxford University Press. — distinction between why any universe exists and why this universe obtains. PRIMARY / EXPLORATORY
8. Rodriguez-Pereyra, Gonzalo (1997). “There Might Be Nothing: The Subtraction Argument Improved.” Analysis, 57(3), 159–166. — refinement of the subtraction argument for metaphysical nihilism, understood as the possible absence of concrete objects. PRIMARY / CONTESTED CONCLUSION
9. Russell, Bertrand (1905). “On Denoting.” Mind, 14(56), 479–493. — quantificational analysis in which nothing need not denote an object in isolation for sentences containing it to be meaningful. PRIMARY / CANONICAL
10. van Fraassen, Bas C. (1980). The Scientific Image, “The Pragmatics of Explanation.” Oxford University Press. — why-questions as indexed by topic, contrast class, and relevance relation. STANDARD
11. van Inwagen, Peter, and E. J. Lowe (1996). “Why Is There Anything At All?” Aristotelian Society Supplementary Volume, 70(1), 95–120. — arguments over the possibility and probability of there being nothing. PRIMARY / CONTESTED

Verification key. “Primary” identifies an original source used for the relevant view. “Standard” identifies an established work or formal framework. “Contested” and “programmatic” mark conclusions or research programs that should not be treated as settled by citation alone. The references support the distinctions developed here; they do not jointly entail the Epistemic Forge synthesis.

Internal lineage

This note develops a bounded special case of Relata-Indexed Objectivity and narrows the diagnostic from Name the Relata: quantifiers need not refer to objects, so the method must sometimes identify a domain, predicate, contrast class, and explanatory relation rather than entity-like relata.

The Wizard’s Error Is Delocalization distinguishes representation, internal validity, and external correspondence; The Map Is Not the Itinerary separates representation from target; and Existence Literacy distinguishes kinds and levels of existence claims.

The essay also corrects the strongest treatment of the ontological question in The Metaphysical Audit and aligns it with the more cautious positions developed in Diagnosing Whether a Question Has a Domain, What It Proves and What It Bets, and Uniqueness Is a Selection Problem.

The contribution claimed here is synthetic and methodological, not priority over the mathematical or philosophical materials from which it is built.

Author: Andraž Đurič, Slovenia.

Developed through the Epistemic Forge corpus and dialogue with ChatGPT (OpenAI), with an adversarial literature and corpus review separating standard formal structure from original compression. The author retains responsibility for the claims, framing, synthesis, and final text. Contributions are assessed by their content rather than their origin.

License: CC BY 4.0.