Names and Quantifiers: Is Nothing Something?

Core idea

Many inferences turn not on how sentences are joined but on what happens inside a sentence. Traditional grammar splits a simple sentence into a subject — what the sentence is about — and a predicate — what is said about it. "Annika fell asleep" is true if the object the subject names has the property the predicate expresses.

That story works for names like "Annika" or "Marcus", which refer to particular objects. It collapses for words like "someone", "everyone", and "nobody". These are quantifiers, and despite sitting in the grammatical subject slot, they do not name anything at all. Lewis Carroll's White King, told that Alice can "see nobody on the road", marvels at her eyesight — the joke being that "nobody" refers to no person, real or otherwise.

Why it matters

How quantifiers actually work

A situation is furnished with a stock of objects. A name picks out one of them. A quantifier instead makes a claim about the whole stock. "Someone is happy" is true if some object x in the collection is happy — the particular quantifier, written ∃x. "Everyone is happy" is true if every object x is happy — the universal quantifier, written ∀x. And "nobody is happy" needs no new symbol: it simply means it is not the case that someone is happy.

So "Marcus is happy" and "someone is happy" have the same surface grammar but radically different logical forms. Apparently simple grammatical structure can be deeply misleading — not every grammatical subject is a name.

The Cosmological Argument's hidden fallacy

This distinction is not pedantry. The Cosmological Argument for God runs: everything has a cause; the cause of everything cannot itself be physical; so it must be God. The flaw lies in "everything has a cause", which is ambiguous between two quantifier orderings.

Priest's argument: "Everything has a cause" can mean for every x there is some y that causes x, or there is some y that causes every x — and the second never follows from the first.

Compare: everyone has a mother, but there is no single person who is the mother of everyone. The argument quietly establishes the weak reading with talk of cars and illnesses, then helps itself to the strong reading to ask "what is that cause?" Swap quantifiers for names and the ambiguity vanishes — which may be exactly why it goes unnoticed.

Is nothing something after all?

Yet the tidy account wobbles. Consider a cosmos that began at a particular time: it "came into existence out of nothing". Read by the standard analysis, "out of nothing" would mean it did not come into existence out of something — but that is equally true of an eternal cosmos that never came into existence at all. The intended meaning is that it came into being from nothingness. Here "nothing" seems to behave like a thing. Perhaps the White King was not so foolish.

Key takeaways

Mental model

Copy sourceZoom

Practical application

When you meet a sentence containing "everything", "something", or "nobody", resist treating it like a name. Ask which quantifier is in play and, if there are two, in what order. The fallacy in many sweeping arguments is exactly an unannounced swap from "for each thing, some cause" to "some cause, for all things."

Example

A manager reports: "Every project has a reviewer." A board member then asks: "So who is the reviewer for all our projects?" The question smuggles in a quantifier swap. "Every project has a reviewer" only guarantees that each project is matched with some reviewer — possibly a different one each time. It does not establish that a single reviewer covers them all. Naming the reviewers would expose this instantly: "Project A's reviewer is Sam, Project B's is Lee" carries no temptation to conclude one person reviews everything.

Related lessons