Plain Background    Philosopher Pix

General Bibliography of Ontology

This article is about ontology in philosophy. Ontology is a study of conceptions of reality and the nature of being. In philosophy, ontology (from the Greek genitive of being part of and science, study, theory) is the study of being or existence and forms the basic subject matter of metaphysics. It seeks to describe or posit the basic categories and relationships of being or existence to define entities and types of entities within its framework.

Some philosophers, notably of the Platonic school, contend that all nouns refer to entities. Other philosophers contend that some nouns do not name entities but provide a kind of shorthand way of referring to a collection (of either objects or events). In this latter view, mind, instead of referring to an entity, refers to a collection of mental events experienced by a person; society refers to a collection of persons with some shared interactions, and geometry refers to a collection of a specific kind of intellectual activity.

Some basic questions

Ontology has one basic question: "What exists?" Different philosophers provide different answers to this question.

One common approach is to divide the extant entities into groups called "categories." However, these lists of categories are also quite different from one another. It is in this latter sense that ontology is applied to such fields as theology, information science and artificial intelligence.

Further examples of ontological questions include:

What is existence? Is existence a property? What does it mean to say something does not exist? Is existence properly a predicate? Are sentences expressing the existence or non-existence of something properly called propositions?

What is a physical object? Can one give an account of what it means to say that a physical object exists?

What could it mean to say that non-physical objects (such as times, numbers, souls, or deities) exist?

What constitutes the identity of an object? When does an object go out of existence, as opposed to changing?

What features are essential, as opposed to merely accidental, attributes of a given object? What are an object’s properties or relations and how are they related to the object itself?

Why are we here? Why does anything exist, rather than nothingness? (Though, according to some, these questions may be more in the realm of cosmology.)


Fundamental ontological concepts include:


In metaphysics, a universal is a type, a property, or a relation. The noun universal contrasts with individual, while the adjective universal contrasts with particular or sometimes with concrete. The latter meaning, however, may be confusing since Hegelian and neo-Hegelian (e.g. British idealist) philosophies speak of concrete universals. Some ancient philosophers have held the notion that universal questions exist for all, or most humans, everywhere, and throughout history. Some of these universal questions are: What exists? What can we know? What should we do? What is after death?

The problem of universals is an ancient problem in metaphysics concerning the nature of universals, or whether they exist. Complications which arise include the implications of language use and the complexity of relating language to ontological theory.Most ontological frameworks do not consider classes to be universals, although some prominent philosophers do, such as John Bigelow.


Substance is a core concept of ontology and metaphysics. Indeed, philosophies may be divided into monist philosophies, and dualist or pluralist philosophies. Monistic views, often associated with immanence, hold that there is only one substance, sometimes called God or Being. Dualist and pluralist views hold that two or more types of substances do exist, and that these can be placed in an ontological hierarchy. Platonism or Aristotelianism considers that there are various substances, while stoicism and Spinoza hold that there is only one substance.

Early history of ontology

The concept of ontology is generally thought to have originated in early Greece. Before Socrates, questions of being, stasis and change occupied Parmenides and Heraclitus. Parmenides is associated with the view that being must be affirmed and non-being avoided and denied. This is also expressed by Parmenides in the dictum "It is, namely, being." Parmenides denied that there is any real change in the universe, and Heraclitus is diammetrically opposed to Parmenides in his affirmation of change as the ultimate nature of things.

After Socrates, ontology was very important for Plato and Aristotle. While the etymology is Greek, the oldest extant record of the word itself is the Latin form ontologia, which appeared in 1606, in the work Ogdoas Scholastica by Jacob Lorhard (Lorhardus) and in 1613 in the Lexicon philosophicum by (Goclenius). The first occurrence in English of "ontology" as recorded by the OED appears in Bailey’s dictionary of 1721, which defines ontology as ’an Account of being in the Abstract’. However its appearance in a dictionary indicates it was in use already at that time. It is likely the word was first used in its Latin form by philosophers based on the Latin roots, which themselves are based on the Greek.

Students of Aristotle first used the word ’metaphysica’ (literally "after the physics" because these works were placed after his works on physics) to refer to the work their teacher described as "the science of being qua being." The word ’qua’ means ’in the capacity of’. According to this theory, then, ontology is the science of being inasmuch as it is being, or the study of beings insofar as they exist. Take anything you can find in the world, and look at it, not as a puppy or a slice of pizza or a folding chair or a president, but just as something that is. More precisely, ontology concerns determining what categories of being are fundamental and asks whether, and in what sense, the items in those categories can be said to "be."

Ontological questions have also been raised and debated by thinkers in the ancient civilizations of India and China, in some cases perhaps predating the Greek thinkers who have become associated with the concept.

Subject, relationship, object

"What exists," "What is," "What am I," "What is describing this to me," all exemplify questions about being, and highlight the most basic problems in ontology: finding a subject, a relationship, and an object to talk about. During the Enlightenment the view of René Descartes that "cogito ergo sum" ("I think therefore I am") had generally prevailed, although Descartes himself did not believe the question worthy of any deep investigation. However, Descartes was very religious in his philosophy, and indeed argued that "cogito ergo sum" proved the existence of God. Later theorists would note the existence of the "Cartesian Other"-asking "who is reading that sentence about thinking and being?"-and generally concluded that it must be God.

This answer, however, became increasingly unsatisfactory in the 20th century as the philosophy of mathematics and the philosophy of science and even particle physics explored some of the most fundamental barriers to knowledge about being. Sociological theorists, most notably George Herbert Mead and Erving Goffman, saw the Cartesian Other as a "Generalized Other," the imaginary audience that individuals use when thinking about the self. The Cartesian Other was also used by Freud, who saw the superego as an abstract regulatory force.

Body and environment

Schools of subjectivism, objectivism and relativism existed at various times in the 20th century, and the postmodernists and body philosophers tried to reframe all these questions in terms of bodies taking some specific action in an environment. This relied to a great degree on insights derived from scientific research into animals taking instinctive action in natural and artificial settings-as studied by biology, ecology, and cognitive science.

The processes by which bodies related to environments became of great concern, and the idea of being itself became difficult to really define. What did people mean when they said "A is B," "A must be B," "A was B."..? Some linguists advocated dropping the verb "to be" from the English language, leaving "E Prime," supposedly less prone to bad abstractions. Others, primarily philosophers, tried to dig into the word and its usage. Heidegger attempted to distinguish being and existence.

Anselm’s Ontological Argument for the existence of God

Ontological arguments are arguments, for the conclusion that God exists, from premises which are supposed to derive from some source other than observation of the world-e.g., from reason alone. In other words, ontological arguments are arguments from nothing but analytic, a priori and necessary premises to the conclusion that God exists. The first, and best-known, ontological argument was proposed by St. Anselm of Canterbury in the 11th century A.D. In the seventeenth century, René Descartes defended a family of similar arguments.

Issues of an ontological nature become of concern regarding discussions about possible descriptions of God. Anselm’s description of God is of "that of which nothing greater can be conceived." Anselm argues the ’a priori’ argument for the existence of God, stating that if God is "that of which nothing greater can be conceived," he would have to exist for this description to be correct. Something which exists is greater than that which is imagined. God would necessarily exist, according to Anselm, as we could not possibly imagine something to be greater than God, for that would be imagining a virtual impossibility. Anselm argues that since things which exist are greater than those which are imagined, God must exist for his description to be accurate.

The counter-argument states that just because one cannot think of something greater than God does not mean that there is nothing greater, except by arbitrary definition: "God = That which nothing greater can be conceived." This is a circular argument, using a definition that limits the possible answers (thus limiting God, which is then problematic); the cognitive powers of mind transcend actual reality all the time (contrary to the concept that something real is greater than something imagined). One might also take the stance that God is something that is beyond Conception; World Religions in common practice define their God(s) as: without beginning or end, or Not Born, and therefore, Not Mortal.

Being and non-being

Many forms of existentialism regard being as a fundamental central concept. Heidegger had much to say on the matter of being. The verb to be has many different meanings in different contexts and can therefore be rather ambiguous. Because "to be" has so many different meanings, there are, accordingly, many different ways of being.

Descartes argues that God is a ’supremely perfect being’ and that existence is a perfection so therefore God must exist. This also links to Descartes cogito ergo sum ’I think therefore I am’ stating that we are thinking things and therefore exist in some unarguable form.


The first formal development of this notion within philosophy began with the pre-Socratic Heraclitus, where he posited agon ("strife of opposites") as the ontological basis of all reality in terms of this endless transformative conflict, which was later contrasted and dominated by the Parmenidean, or Platonic, notion of Being, until more recent philosophers began a reversion of this trend.

Notably and the first to make such an advocation since Heraclitus was the nineteenth century German philosopher Friedrich Nietzsche, who used the expression "the innocence of becoming," a fundamental element of his philosophical thought grounded in the "will to power as pathos," as a means to describe the aesthetic qualities of existence, which pervades his thinking, including but not limited to ideas such as his "Dionysian world," "eternal recurrence," "amor fati," and "decadence." It was with this a-teleological view that he attempted to disgregate all views pertaining to the human condition, where "thingness" is ultimately characterized as a mere "hypothesis" in Nietzsche’s phrase, and such a view, pertaining to the "inequality" of all "things," carries deep implications for ethics and the nature of knowledge.

Likewise, in his Logic, Hegel uses Becoming as a mediating force in his dialectical model of ontology. In this model, Being is, on the one hand, opposing to Non-Being and, on the other hand, "is the same as Non-Being." Becoming acts therefore as the process by which Being comes into itself, or "becoming is the unity of being and not-being."

Process philosophy

Main article: Process philosophy Process philosophy as developed by Alfred North Whitehead (1861-1947) and Charles Hartshorne (1897-2000) is a school of thought which maintains that reality is always in a process of "becoming."

Social science

Social scientists adopt one of four main ontological approaches: realism (the idea that facts are out there just waiting to be discovered), empiricism (the idea that we can observe the world and evaluate those observations in relation to facts), positivism (which focuses on the observations themselves, attentive more to claims about facts than to facts themselves), and postmodernism (which holds that facts are fluid and elusive, so that we should focus only on our observational claims).

Prominent ontologists

Anselm of Canterbury 
Thomas Aquinas 
David Malet Armstrong 
Alain Badiou 
Gustav Bergmann 
Patricia Churchland 
Paul Churchland 
Gilles Deleuze 
René Descartes 
Jean Gebser 
Georg Wilhelm Friedrich Hegel 
Martin Heidegger 
Edmund Husserl 
Roman Ingarden 
Saul Kripke 
Gottfried Leibniz 
Friedrich Nietzsche 
William of Ockham 
Hilary Putnam 
W. V. Quine 
Bertrand Russell 
Gilbert Ryle 
Jean-Paul Sartre 
John Duns Scotus 
Barry Smith 
Baruch Spinoza 
P. F. Strawson 
Pierre Teilhard de Chardin 
Ludwig Wittgenstein

See also

Applied Ontology 
Category of being 
Counterpart theory 
Foundation ontology 
Mereological essentialism 
Modal logic 
Multimedia Web Ontology Language 
Personal Taxonomy 
Ontological argument 
Ontological security 
Ontological perfection 
Philosophy of science 
Philosophy of space and time 
Philosophy of mathematics 
Ship of Theseus