When two metaphysicians disagree about whether composite objects exist—whether there is, in addition to the particles arranged tablewise, a further entity called the table—are they engaged in a genuine dispute about reality, or are they merely speaking different languages while pretending to argue?

This is the guiding question of metametaphysics: the second-order inquiry into whether first-order metaphysical questions are themselves substantial. It asks not what exists, but whether disputes about existence have determinate, non-trivial answers, and what methodology could possibly settle them.

The stakes are considerable. If metaphysical disputes reduce to terminological choices, then much of contemporary ontology is an elaborate mistranslation exercise. If, however, some questions track objective features of reality's structure, then metaphysics recovers its ambition as the systematic investigation of the world's fundamental architecture. The following analysis examines three central positions in this debate.

The suspicion that metaphysicians talk past one another is not new, but it has been sharpened considerably in recent literature. The worry, in its precise form, is this: when the mereological universalist claims that any collection of objects composes a further object, and the nihilist denies this, they may not be contradicting one another at all. Each may be using exists or the existential quantifier in a subtly different sense, such that both claims come out true relative to their respective languages.

A dispute is merely verbal, on the standard analysis, when the disputants assign different meanings to a key term such that, once the meanings are made explicit, no genuine disagreement remains. The test, following Chalmers and others, is whether the parties can specify a neutral vocabulary in which their disagreement can be reformulated without residue.

Applying this test to composition disputes is instructive. The universalist and nihilist agree on the distribution of particles, their properties, and their spatial arrangements. They agree on all observational and predictive facts. What remains contested is whether, given this shared base, there is something more—a composite entity supervening on the arrangement.

If the additional claim reduces to a choice about how to count entities under a given quantifier meaning, the dispute may indeed be verbal. But if there is a further fact—about which quantifier meaning corresponds to reality's actual structure—then the appearance of verbal dispute dissolves. The diagnostic question becomes: is there such a further fact?

Takeaway

A dispute is verbal only if the disagreement fully dissolves in a neutral vocabulary. If a residue remains—some fact one party affirms and the other denies—the disagreement is substantive, however difficult to adjudicate.

Eli Hirsch has developed the most systematic defense of the deflationary position through his doctrine of quantifier variance. On this view, the existential quantifier admits of multiple equally legitimate interpretations, each yielding a coherent language with its own truth-conditions for existential claims. There is no privileged meaning of exists that reality itself selects.

The consequence is striking. When the universalist asserts "there exists a mereological sum of the Eiffel Tower and my left shoe," she speaks truly in her language. When the nihilist denies this, he speaks truly in his. Neither has misdescribed reality; they have described it under different quantificational conventions, much as one might measure in meters or feet.

Hirsch grounds this view in a principle of interpretive charity: given that both parties are competent speakers making judgments consistent within their frameworks, the best interpretation attributes to each a language in which their claims come out true. Metaphysical disputes thereby collapse into disputes about which language to speak—a pragmatic, not ontological, question.

The critical challenge is whether quantifier variance can be stated without self-undermining. To claim that multiple quantifier meanings are equally good presupposes some neutral standpoint from which to make the comparison. Yet articulating that standpoint seems to require exactly the sort of privileged quantification the view denies. Whether Hirsch can escape this reflexive difficulty remains contested.

Takeaway

If languages are freely chosen and equally adequate, ontology becomes translation. But the very ability to compare languages suggests some meta-level fact about their adequacy that pure variance cannot easily accommodate.

A powerful response to deflationism, developed most systematically by Theodore Sider, invokes the notion of structure or naturalness. Reality, on this view, has a fundamental structure independent of our descriptions. Some concepts—including some candidate meanings for the quantifier—carve nature at its joints, while others merely gerrymander.

The Lewisian heritage is explicit. Just as we distinguish green from grue not by mere convention but because green tracks a genuine similarity in nature, we may distinguish among candidate quantifier meanings by asking which corresponds to reality's actual logical structure. If existence has a most natural interpretation, then existential disputes conducted in that vocabulary are substantive.

This position preserves ontological ambition without denying the phenomenon deflationists identify. It concedes that many disputes may indeed be verbal, involving non-fundamental notions where multiple conventions serve equally well. But it maintains that at the fundamental level—where we ask what exists in the most joint-carving sense—the answers are determined by reality itself, not by our choice of language.

The methodological upshot is that metaphysical inquiry should be conducted in fundamental vocabulary and evaluated by theoretical virtues: simplicity, explanatory power, and fit with our best physics and logic. Metaphysics thereby resembles theoretical science in its ambitions, its methods, and its criteria of success, rather than descriptive linguistics.

Takeaway

Not every distinction is arbitrary. If reality has genuine joints, then the concepts that track them enjoy a metaphysical privilege our choices cannot revoke.

The metametaphysical debate reveals that the status of ontology is itself an ontological question. Whether existence disputes are substantive depends on whether reality possesses a fundamental structure that privileges certain quantificational vocabularies over others.

The deflationist and the joint-carving realist agree, importantly, on much of the surface phenomenology of dispute. They diverge on whether beneath that phenomenology lies a fact of the matter about which description reality prefers.

For the practicing metaphysician, the lesson is one of methodological self-consciousness: to conduct inquiry in vocabulary as fundamental as possible, and to remain alert to the possibility that some apparent disputes dissolve upon careful analysis, while others resist dissolution because they track structure the world itself imposes.