Consider the hole in a piece of Swiss cheese. We count holes, measure them, compare their sizes, and speak of them moving as the cheese is sliced. Yet a hole appears to be precisely where the cheese is not. What kind of entity could a hole be?

This question, far from being a philosophical curiosity, opens onto fundamental issues in ontology. If holes exist, they belong to a peculiar category: immaterial particulars dependent on the material objects that host them. If they do not exist, we must explain why our talk of holes is so successful in tracking features of the world.

The metaphysics of holes provides a controlled laboratory for examining negative entities more generally. Shadows, cracks, surfaces, edges, and absences all share the suspicious feature of being characterized by what is missing rather than what is present. How we resolve the puzzle of holes shapes what we say about the entire family of negative entities.

In their influential 1970 dialogue, David and Stephanie Lewis propose a reductive strategy. Holes, they argue, can be identified with hole-linings—the material parts of objects that surround the apparent absence. A hole in a piece of cheese just is the cheese-stuff bordering the cavity, considered under a particular description.

The motivation is ontological economy. If we can paraphrase all true sentences about holes into sentences about hole-linings, we avoid commitment to immaterial particulars. The hole is large because its lining is large; the hole is circular because its lining is circular; two holes are distinct because their linings are distinct. The reduction appears systematic.

Yet the proposal faces serious objections. Holes have properties their linings lack: a hole can be empty, but its lining cannot. A hole's shape is concave, while its lining is convex. Most tellingly, holes seem located where the lining is not—in the cavity itself. The identification threatens to change the subject rather than analyze it.

The deeper question is methodological: when does paraphrase constitute genuine ontological reduction, and when does it merely redirect attention? If holes have intrinsic properties incompatible with their linings, identification fails by Leibniz's Law, however convenient the reduction would be.

Takeaway

Ontological reduction succeeds only when the reducing entity genuinely bears all the properties of the reduced entity. Paraphrase that systematically loses information is translation, not analysis.

Roberto Casati and Achille Varzi defend a realist alternative. Holes are genuine particulars—spatially located, countable, persisting through time—but immaterial. They are ontologically dependent on their hosts (no hole without a host) yet numerically distinct from them.

On this view, a hole occupies a region of space without filling it with matter. It has a precise shape, determined by the boundary its host provides. It can be modified: enlarged, deepened, partially filled. It can be perceived directly—we genuinely see holes, not merely infer them from the visible material around them.

This ontology accepts a new category: immaterial particulars that are not abstract objects. Unlike numbers or propositions, holes are in space and time. Unlike material objects, they have no mass and no constituent matter. They occupy a previously unrecognized niche in the ontological landscape, distinguishing themselves from both concreta and abstracta.

The cost is theoretical: we must admit dependent entities whose existence conditions involve negative facts about their hosts. The benefit is descriptive adequacy: we say what we mean about holes, predicate properties literally, and respect the phenomenology of perception. Whether this trade favors realism depends on one's tolerance for ontological proliferation.

Takeaway

Ontology need not be exhausted by the material and the abstract. The category of immaterial particulars suggests that location in space-time does not require being made of stuff.

The dispute over holes generalizes. Shadows are spatially located absences of light. Cracks are absences of material continuity. Silences punctuate sound. Each invites the same dilemma: reduce to the positive features that bound them, or admit a new ontological category of negative entities.

This connects to the truthmaker problem. What in the world makes it true that there is no elephant in this room? Truthmaker maximalists demand an entity—perhaps a totality fact, a negative state of affairs, or an absence—whose existence grounds the truth. Anti-maximalists deny such truthmakers are needed, accepting that some truths float free of positive ontology.

The position one takes on holes constrains one's broader negative ontology. If holes are real immaterial particulars, then shadows, lacks, and absences may also be. If holes reduce away, similar reductions should handle the family. Consistency demands a unified treatment, even if our pre-theoretical intuitions about different cases pull in different directions.

Notice what is at stake: the structure of our ontological inventory. A world containing genuine absences is metaphysically richer—and stranger—than a world containing only positive entities. The choice between these pictures cannot be settled by linguistic analysis alone; it requires substantive commitments about what existence itself involves.

Takeaway

Every theory of negative entities forces a choice between ontological parsimony and descriptive adequacy. There is no neutral ground from which to count what is missing.

The metaphysics of holes is not the trivial topic it first appears. It probes the boundaries between material and immaterial, positive and negative, dependent and independent existence. The answers we give shape our broader ontological commitments in ways that extend far beyond cheese and doughnuts.

Whether we follow the Lewises in reducing holes to their linings or join Casati and Varzi in admitting them as sui generis particulars, we are making fundamental choices about what counts as real. Neither position is without cost.

Perhaps the lesson is this: the world's structure is articulated not only by what is present but by how presence and absence interlock. Taking holes seriously means taking the architecture of negation itself as a subject of inquiry.