ὄν

Ontology derives from Greek ὄν (on, genitive ὄντος, ontos), the present participle of the verb εἶναι (einai), 'to be.' The participial form means 'being' in the active-verbal sense — not 'existence' as an abstract noun but the ongoing act of being, being-in-process. The discipline of ontology (Greek ontos + logos, 'the study of being') was named by the German philosopher Rudolf Goclenius, who used the term 'ontologia' in 1613, though the philosophical questions it names are as old as philosophy itself. Pre-Socratic philosophers in the sixth and fifth centuries BCE were already asking what the ultimate stuff of reality was — water (Thales), the indeterminate (Anaximander), fire (Heraclitus), atoms (Democritus). These were ontological questions before the word existed: what is there? What kinds of things genuinely exist? What makes something real rather than apparent?

Aristotle's Metaphysics — the work that defined the Western ontological tradition — opens with the claim that 'there is a science which investigates being as being and the attributes which belong to this in virtue of its own nature.' This 'first philosophy' (later called metaphysics because Andronicus of Rhodes placed Aristotle's text 'after' the Physics in his edition) examines not any particular domain of being but being itself: what it means for anything whatsoever to be, what categories of being there are, what the relationship between substance and accident is, what unity and plurality amount to. Aristotle's Categories distinguished ten fundamental types of being — substance, quantity, quality, relation, place, time, position, state, action, affection — which structured ontological discussion in the Western tradition for nearly two thousand years.

Medieval scholastic ontology debated the problem of universals with extraordinary intensity. Do universal terms like 'horse,' 'justice,' or 'humanity' refer to real entities existing independently of individual things (realism), or are they merely names for groups of similar individuals (nominalism), or do they have some intermediate existence as mental concepts (conceptualism)? The debate between realism and nominalism, running from Plato through Aquinas to Ockham, shaped not only medieval philosophy but the subsequent development of modern science — nominalism's dissolution of universal forms contributed to the reorientation of natural philosophy toward the study of individuals and particular observations. Whether the categories of our thought track the categories of reality, or whether reality resists our categorical schemes, is the question that ontology never quite resolves.

Heidegger's Being and Time (1927) attempted to restart ontology from scratch by asking the 'question of Being' — not what kinds of beings there are but what Being itself means, what the 'is' in 'there is' amounts to. Heidegger argued that the history of Western philosophy had forgotten this question, treating Being as obvious and universal when it was in fact the most obscure and most important thing to think. His analysis of Dasein — human being-in-the-world — approached ontology through the structure of human existence itself: temporality, thrownness, care, death. Heidegger's opaque but influential work transformed the ontological project, insisting that Being could not be studied from outside, as an object of theoretical inquiry, but only from within the being that we already are.