The Question of Being: Heidegger's Challenge
Every page of this section has asked what there is. Heidegger's charge is that this is not ontology at all, and that the question ontology was supposed to ask has not been posed since Plato.
The challenge belongs here rather than among the inventory disputes because it does not offer a rival list. It denies that the list was ever the point.
The ontological difference
The founding distinction is between beings (Seiendes) — entities, whatever they are: tables, numbers, people — and Being (Sein), which is what it is for an entity to be.
The claim is that these are categorially different, so that Being is never itself a being. Any inquiry that answers "what is Being?" by naming something — a supreme entity, a substance, a substratum, matter — has confused the two. Heidegger's name for the tradition's condition is the forgetfulness of Being: it has catalogued beings with great sophistication while never re-opening the question of the sense of Being itself.
Why this is a meta-ontological objection
The relevance to this section is precise. Quine's criterion tells us how to count entities given an understanding of what "is" means. It does not supply that understanding; it presupposes it. And on Heidegger's diagnosis, the understanding it silently presupposes is one particular sense of being — the being of the occurrent object, present-at-hand, available for inspection and predication.
So the criterion is an exact instrument applied without asking what it measures. Sections A through K would be, in his terminology, ontic — concerned with entities — or at best regional ontology, working out the categories of some domain. Fundamental ontology, the inquiry into Being as such, has not begun.
This is structurally the same move Carnap makes: both say the metaphysician's question is malformed rather than false. They differ in what they conclude. Carnap says drop it; Heidegger says it is the only question worth asking, and we have never asked it properly.
Method: the analytic of Dasein
If the question is the sense of Being, one must start where that sense is already operative. Dasein — the entity we ourselves are — is distinguished by the fact that in its very being, its being is an issue for it. It operates with a vague, pre-theoretical understanding of Being in everything it does, and Being and Time proceeds by making that understanding explicit.
Two clarifications matter for reading the project correctly. The existential analytic is not philosophical anthropology: Dasein is examined as the place where the Being-question is accessible, not because human beings are metaphysically special. And the method is phenomenological-hermeneutic — describe the structures of engaged existence, interpret the understanding implicit in them — rather than regimentation into canonical notation. No amount of logical form will surface something that was never a matter of what is asserted.
The one argument with direct bite
The equipment analysis is where the challenge stops being programmatic and becomes an argument this section must answer.
Heidegger distinguishes readiness-to-hand (Zuhandenheit) — the hammer as encountered in use, defined by its place in a whole of purposes and equipment, transparent in skilled activity — from presence-at-hand (Vorhandenheit) — the hammer as an occurrent object with properties, available for detached inspection.
The claim is that presence-at-hand is derivative. It surfaces when engaged coping breaks down: the hammer is too heavy, or missing, or broken, and only then does it show up as a thing with properties standing over against us.
The consequence for this section is sharp. Presence-at-hand is exactly the substance-with-attributes model that the problem of universals, bundle theory, trope theory, and the whole category scheme presuppose as their starting point. If Heidegger is right, that model is an artifact of a derivative and privative stance — what things look like when we have stopped using them — projected onto reality as its basic structure.
This is a genealogical debunking argument, and it should be assessed as one. It does not show the substance model is false; it offers an explanation of why we find it obvious that does not appeal to its truth. That is the same form as the debunking arguments against ordinary-object beliefs, and it is open to the same replies — most obviously, that an account of how we came to a belief leaves the belief's truth untouched, and that the analysis of breakdown presupposes the equipment had properties all along.
Existentialia and the fork with Frege
A second structural claim: Dasein is not to be described by the categories that apply to things. Its characteristics — being-in-the-world, thrownness, projection, being-towards-death — are existentialia, and applying object-categories to Dasein is a category mistake. "The essence of Dasein lies in its existence." The consequences for the ontology of persons are direct: animalism, bundle theory, and the four-dimensional worm are all attempts to fit Dasein into a scheme built for occurrent things.
The most tractable point of contact, though, concerns existence itself. Heidegger and Frege agree on Kant's negative claim: existence is not a property of individuals. They then draw opposite conclusions.
- Frege: existence is univocal and quantificational. One sense, one quantifier, and differences among existents are differences in their natures.
- Heidegger: there are plural ways of being — equipment is differently from how Dasein is, differently from how numbers are — and the question of what unifies these senses is the Seinsfrage.
That second branch has an analytic descendant. Ontological pluralism (McDaniel, Turner) formalises plural ways of being as several restricted quantifiers, each perfectly natural, and McDaniel takes the thesis explicitly from Heidegger. It is developed on the existence and being page, and it is the one place where the two traditions are demonstrably arguing about the same thing.
Carnap's attack
The historical episode is worth recording because it explains why this material is absent from most analytic ontology.
In "Überwindung der Metaphysik durch logische Analyse der Sprache" (1932), Carnap used Heidegger's das Nichts selbst nichtet — "the nothing itself nothings" — as his showcase example of a metaphysical pseudo-statement: grammatically well-formed, logically malformed, and therefore literally meaningless. His diagnosis was that "nothing" is a quantificational device that metaphysics had mistaken for a name.
The exchange is the founding moment of the analytic–continental split. It also reveals what the internal/external distinction was aimed at: Carnap's target was not the philosophy of mathematics but exactly this — an inquiry claiming to ask about Being from outside all frameworks.
Honest limits
The challenge should not be overstated:
- No inventory. Heidegger will not tell you whether there are numbers, universals, or mereological sums. Those are regional-ontic questions, answerable only after fundamental ontology — which was not completed.
- The book is a torso. Division III, which was to establish time as the horizon for the understanding of Being, was never published. What exists is the preparatory analytic.
- No shared method. Truthmakers, parsimony arguments, and regimentation have no role, so there is little the two traditions can jointly assess.
- Heidegger abandoned the label. He came to regard "ontology" as too contaminated by the metaphysics he was trying to overcome.
Where this sits
This is the status question pressed from outside the analytic tradition, and it is the one challenge in the section that targets the framing rather than the answers. The deflationists say the disputes are empty; Heidegger says they are derivative — real enough as far as they go, and not what was to be investigated.
The section's response, offered without confidence, is twofold. The equipment argument is a genuine argument and has been treated as one above. The broader charge that the Being-question was never posed is harder to engage, because it is unclear what would count as answering it — and that unclarity is either the profundity of the question or, as Carnap thought, the sign that there is none.