What happens when you add existence to the concept of something? Intuitively, it seems like you're saying something meaningful—that the thing is actually out there. But Kant argued that existence contributes nothing to what a thing is. A hundred real dollars, he insisted, contain not a coin more than a hundred merely possible dollars.

This idea—that existence is not a genuine predicate—is one of the most consequential claims in the history of metaphysics. It demolishes attempts to prove God's existence from pure concepts alone, and it reshapes how we think about the logical structure of reality. Yet it remains fiercely contested.

We're going to trace this insight from Kant's original formulation through Frege's logical refinement and into the contemporary resistance mounted by neo-Meinongians. What emerges is not just a debate about existence, but a fundamental question about the boundary between logic and metaphysics—between what our concepts contain and what the world delivers.

Kant's target was the ontological argument for God's existence—the claim that because we can conceive of a maximally perfect being, and because existence is a perfection, such a being must exist. The argument treats existence as one more property in the list of divine attributes: omnipotence, omniscience, and existence. Kant's objection strikes at this inclusion directly.

His central claim is that being is not a real predicate—not a determination of a thing. A real predicate enlarges or specifies a concept. When you say a ball is red, you add something to the concept of ball. But when you say the ball exists, you do not add a new feature to the ball itself. You instead posit the ball, with all its properties, as actually instantiated. The concept remains identical whether the object exists or not.

Consider Kant's famous example. A hundred real thalers do not contain the slightest coin more than a hundred possible thalers. The concept of a hundred thalers—their denomination, weight, metallic composition—is exactly the same regardless of whether they sit in your pocket or merely in your imagination. Existence makes a difference to your financial situation, certainly, but not to the content of the concept itself. The move from concept to reality is not a matter of adding a predicate.

The implication is devastating for the ontological argument. If existence cannot be included among the properties that define a concept, then you cannot derive existence analytically from any concept—not even the concept of a supremely perfect being. Existence must always be established by some connection to experience or empirical ground, never by mere conceptual analysis. The boundary between thought and reality cannot be crossed by logic alone.

Takeaway

Existence tells you that something is instantiated in reality, not what it is. It operates at a different level than ordinary properties like shape or colour—it positions a concept in the world rather than enriching its content.

Kant's insight was philosophically powerful but logically imprecise. It fell to Gottlob Frege—and later to Russell—to give it rigorous formal expression. Frege's key move was to treat existence not as a property of objects but as a second-order property of concepts. To say that unicorns do not exist is not to attribute a peculiar property (non-existence) to each unicorn. It is to say that the concept unicorn has no instances.

In the notation of predicate logic, existence becomes the existential quantifier: ∃x(Fx). This reads as "there is at least one thing that is F." Notice what has happened structurally. Existence is no longer predicated of an individual object a alongside its other properties. It is instead a claim about whether a concept is satisfied—whether something falls under it. The grammar of natural language misleads us; "tigers exist" looks parallel to "tigers are striped," but their logical forms are radically different.

This Fregean framework captures Kant's point with precision. Ordinary first-order predicates—being red, being massive, being triangular—attach to objects and characterize them. Existence, by contrast, attaches to concepts and tells us about their instantiation. It is a higher-order property. You cannot meaningfully add existence to the list of features that define an object, because existence operates at a different logical level entirely.

The Kantian-Fregean consensus became the default position in analytic philosophy throughout the twentieth century. It underwrites standard treatments of quantification in mathematical logic, shapes philosophical analyses of reference and ontological commitment, and continues to inform how most metaphysicians think about what it means for something to be real. To say that something exists is to say that reality includes at least one thing meeting a certain description—nothing more, nothing less.

Takeaway

Frege showed that existence is logically a property of concepts, not of objects. Saying 'electrons exist' tells you that the concept electron is instantiated—it doesn't add a feature to any particular electron.

Not everyone accepts the Kantian-Fregean consensus. Drawing on ideas from Alexius Meinong, a tradition of philosophers argues that we must distinguish between being in the broadest sense and existence as a narrower, genuine property. On this view, there are objects that have being—they are something—without existing. The golden mountain, the round square, Sherlock Holmes: these items have a kind of ontological standing even though they lack existence. Existence, then, is not redundant or second-order; it marks a real metaphysical distinction among objects.

Contemporary neo-Meinongians like Terence Parsons and Edward Zalta have developed sophisticated formal theories to make this position precise. In these frameworks, existence functions as a genuine first-order predicate—a property that some objects have and others lack. Nonexistent objects can bear properties, stand in relations, and serve as the targets of intentional attitudes. The sentence "Sherlock Holmes is a detective" is literally true of a nonexistent object, and existence is precisely what distinguishes Holmes from flesh-and-blood investigators.

The neo-Meinongian position has real strengths. It provides elegant treatments of fiction, intentionality, and negative existential statements. When we say "Pegasus does not exist," we seem to be saying something about Pegasus—attributing non-existence to it. The Fregean analysis, by contrast, must paraphrase this as a claim about the concept being Pegasus having no instances, which some find less natural and more revisionary than advertised.

Yet the view faces serious challenges. Admitting nonexistent objects into our ontology raises thorny questions about identity, counting, and logical coherence. How many nonexistent objects are there? What individuates them? Critics charge that the cure is worse than the disease—that accommodating a first-order existence predicate requires metaphysical commitments far more extravagant than the Kantian-Fregean alternative. The debate remains genuinely open, and the status of existence as a property continues to sit at the volatile intersection of logic, language, and metaphysics.

Takeaway

The Meinongian challenge reveals that the Kantian-Fregean view is not the inevitable conclusion of clear thinking—it is a substantive philosophical thesis with genuine competitors. Whether existence is a real property depends on what ontological costs you are willing to bear.

The question of whether existence is a real property sits at the foundation of metaphysics, logic, and the philosophy of religion. Kant showed that treating existence as an ordinary predicate leads to illicit conclusions. Frege gave that insight its sharpest formulation by relocating existence from objects to concepts.

Yet the neo-Meinongian tradition demonstrates that this consensus can be resisted with formal sophistication and philosophical motivation. The debate is not settled—it is structured.

What remains is a question you can carry with you: when you say something exists, are you describing what it is, or are you doing something else entirely—placing it in the world rather than characterizing it? The answer shapes everything downstream in metaphysics.