Generally, either the study of being, or a particular theory of what there is (as in ‘Smith’s ontology contains classes but not propositions’, meaning that Smith believes there are such things as classes but not such things as propositions).

More specifically, part of the logical system underpinning the mereology of Polish logician Stanislaw Lesniewski (1886-1939). The system uses three types of names -proper names (‘Socrates’), common names (‘dog’), and fictitious names (‘Apollo’, ‘centaur’) – and elaborates the relations between a complex set of connectives that can be applied to them; for example, ‘is a’ (‘Socrates is a man’), ‘overlaps’ (‘Some cats are pets’), and so on.

The other part of Lesniewski’s logical system is called protothetic, a sort of generalization of the standard logic of propositions.

C Lejewski, ‘On Lesniewski’s Ontology’, Ratio (1958)


The compound word ontology (‘study of being’) combines

onto- (Greek: ὄνon[note 1] gen. ὄντοςontos, ‘being’ or ‘that which is’) and
-logia (-λογία, ‘logical discourse’).[1][2]

While the etymology is Greek, the oldest extant records of the word itself, the New Latin form ontologia appeared

in 1606 in the Ogdoas Scholastica by Jacob Lorhard (Lorhardus), and
in 1613 in the Lexicon philosophicum by Rudolf Göckel (Goclenius).

The first occurrence in English of ontology, as recorded by the Oxford English Dictionary,[3] came in 1664 through Archelogia philosophica nova… by Gideon Harvey[4] The word was first used, in its Latin form, by philosophers, and based on the Latin roots (and in turn on the Greek ones).

Gottfried Wilhelm Leibniz is the only one of the great philosophers of that century to have used the term ontology.[5]


Ontology is closely associated with Aristotle’s question of ‘being qua being’: the question of what all entities in the widest sense have in common.[6][7] The Eleatic principle is one answer to this question: it states that being is inextricably tied to causation, that “Power is the mark of Being”.[6] This answer assigns fully real, concrete, or factual existence to actual singular particular processes, events, or natural objects, in the ordinary world, as distinct from abstractions, generalities, and fictions, which it regards as conceptually or perceptually contingent, imagined or derived from reality.[8][9] A contrasting but little accepted answer can be found in Berkeley’s slogan that “to be is to be perceived”.[10] Intimately related but not identical to the question of ‘being qua being’ is the problem of categories.[6] Categories are usually seen as the highest kinds or genera.[11] A system of categories provides a classification of entities that is exclusive and exhaustive: every entity belongs to exactly one category. Various such classifications have been proposed, they often include categories for substances, properties, relations, states of affairs or events.[6][7] At the core of the differentiation between categories are various fundamental ontological concepts and distinctions, for example, the concepts of particularity and universality, of abstractness and concreteness, of ontological dependence, of identity and of modality.[6][7] These concepts are sometimes treated as categories themselves, are used to explain the difference between categories or play other central roles for characterizing different ontological theories. Within ontology, there is a lack of general consensus concerning how the different categories are to be defined.[11] Different ontologists often disagree on whether a certain category has any members at all or whether a given category is fundamental.[7]

Particulars and universals

Particulars or individuals are usually contrasted with universals.[12][13] Universals concern features that can be exemplified by various different particulars.[14] For example, a tomato and a strawberry are two particulars that exemplify the universal redness. Universals can be present at various distinct locations in space at the same time while particulars are restricted to one location at a time. Furthermore, universals can be fully present at different times, which is why they are sometimes referred to as repeatables in contrast to non-repeatable particulars.[7] The so-called problem of universals is the problem to explain how different things can agree in their features, e.g. how a tomato and a strawberry can both be red.[6][14] Realists about universals believe that there are universals. They can solve the problem of universals by explaining the commonality through a universal shared by both entities.[7] Realists are divided among themselves as to whether universals can exist independently of being exemplified by something (“ante res”) or not (“in rebus”).[15] Nominalists, on the other hand, deny that there are universals. They have to resort to other notions to explain how a feature can be common to several entities, for example, by positing either fundamental resemblance-relations between the entities (resemblance nominalism) or a shared membership to a common natural class (class nominalism).[7]

Abstract and concrete

Many philosophers agree that there is an exclusive and exhaustive distinction between concrete objects and abstract objects.[7] Some philosophers consider this to be the most general division of being.[16] Examples of concrete objects include plants, human beings and planets while things like numbers, sets and propositions are abstract objects.[17] But despite the general agreement concerning the paradigm cases, there is less consensus as to what the characteristic marks of concreteness and abstractness are. Popular suggestions include defining the distinction in terms of the difference between (1) existence inside or outside space-time, (2) having causes and effects or not and (3) having contingent or necessary existence.[18][19]

Ontological dependence

An entity ontologically depends on another entity if the first entity can’t exist without the second entity. Ontologically independent entities, on the other hand, can exist all by themselves.[20] For example, the surface of an apple can’t exist without the apple and so depends on it ontologically.[21] Entities often characterized as ontologically dependent include properties, which depend on their bearers, and boundaries, which depend on the entity they demarcate from its surroundings.[22] As these examples suggest, ontological dependence is to be distinguished from causal dependence, in which an effect depends for its existence on a cause. It is often important to draw a distinction between two types of ontological dependence: rigid and generic.[22][7] Rigid dependence concerns the dependence on one specific entity, as the surface of an apple depends on its specific apple.[23] Generic dependence, on the other hand, involves a weaker form of dependence, on merely a certain type of entity. For example, electricity generically depends on there being charged particles, but it doesn’t depend on any specific charged particle.[22] Dependence-relations are relevant to ontology since it is often held that ontologically dependent entities have a less robust form of being. This way a hierarchy is introduced into the world that brings with it the distinction between more and less fundamental entities.[22]


Identity is a basic ontological concept that is often expressed by the word “same”.[7][24] It is important to distinguish between qualitative identity and numerical identity. For example, consider two children with identical bicycles engaged in a race while their mother is watching. The two children have the same bicycle in one sense (qualitative identity) and the same mother in another sense (numerical identity).[7] Two qualitatively identical things are often said to be indiscernible. The two senses of identity are linked by two principles: the principle of indiscernibility of identicals, which holds that numerical identity entails qualitative identity, and the principle of identity of indiscernibles, which states that qualitative identity entails numerical identity. Of these two principles, only the former is generally accepted while the latter remains controversial.[24][7]


Modality concerns the concepts of possibility, actuality and necessity. In contemporary discourse, these concepts are often defined in terms of possible worlds.[7] A possible world is a complete way how things could have been.[25] The actual world is one possible world among others: things could have been different than they actually are. A proposition is possibly true if there is at least one possible world in which it is true; it is necessarily true if it is true in all possible worlds.[26] Actualists and possibilists disagree on the ontological status of possible worlds.[7] Actualists hold that reality is at its core actual and that possible worlds should be understood in terms of actual entities, for example, as fictions or as sets of sentences.[27] Possibilists, on the other hand, assign to possible worlds the same fundamental ontological status as to the actual world. This is a form of modal realism, holding that reality has irreducibly modal features.[27] Another important issue in this field concerns the distinction between contingent and necessary beings.[7] Contingent beings are beings whose existence is possible but not necessary. Necessary beings, on the other hand, couldn’t have failed to exist.[28][29] It has been suggested that this distinction is the highest division of being.[7][30]


The category of substances has played a central role in many ontological theories throughout the history of philosophy.[31][32] “Substance” is a technical term within philosophy not to be confused with the more common usage in the sense of chemical substances like gold or sulfur. Various definitions have been given but among the most common features ascribed to substances in the philosophical sense is that they are particulars that are ontologically independent: they are able to exist all by themselves.[31][6] Being ontologically independent, substances can play the role of fundamental entities in the ontological hierarchy.[22][32] If ‘ontological independence’ is defined as including causal independence then only self-caused entities, like Spinoza’s God, can be substances. With a specifically ontological definition of ‘independence’, many everyday objects like books or cats may qualify as substances.[6][31] Another defining feature often attributed to substances is their ability to undergo changes. Changes involve something existing beforeduring and after the change. They can be described in terms of a persisting substance gaining or losing properties, or of matter changing its form.[31] From this perspective, the ripening of a tomato may be described as a change in which the tomato loses its greenness and gains its redness. It is sometimes held that a substance can have a property in two ways: essentially and accidentally. A substances can survive a change of accidental properties but it cannot lose its essential properties, which constitute its nature.

4 thoughts on “Ontology

  1. Hortencia Tekulve says:

    Wow that was unusual. I just wrote an extremely long comment but after I clicked submit my comment didn’t appear. Grrrr… well I’m not writing all that over again. Regardless, just wanted to say great blog!

Leave a Reply

Your email address will not be published. Required fields are marked *