Ontology

Ontology
In metaphysics, ontology is the philosophical

study of being, as well as related concepts such as
existence, becoming, and reality.
Ontology addresses questions like how entities are

grouped into categories and which of these entities
exist on the most fundamental level. Ontologists
often try to determine what the categories or
highest kinds are and how they form a system of
categories that encompasses the classification of
all entities. Commonly proposed categories
include substances, properties, relations, states of
affairs, and events. These categories are
characterized by fundamental ontological
concepts, including particularity and universality, An illustration of Cartesian materialism, which argues
abstractness and concreteness, or possibility and that it is possible to find the content of conscious
necessity. Of special interest is the concept of experience moment by moment in the mind.
ontological dependence, which determines Materialism in general, arguing that matter is the
whether the entities of a category exist on the most fundamental 'substance', is an influential perspective on
fundamental level. Disagreements within ontology ontology.
are often about whether entities belonging to a
certain category exist and, if so, how they are
related to other entities.[1]
When used as a countable noun, the words ontology and ontologies refer not to the science of being but to
theories within the science of being. Ontological theories can be divided into various types according to
their theoretical commitments. Monocategorical ontologies hold that there is only one basic category, but
polycategorical ontologies rejected this view. Hierarchical ontologies assert that some entities exist on a
more fundamental level and that other entities depend on them. Flat ontologies, on the other hand, deny
such a privileged status to any entity.
Etymology
The compound word ontology ('study of being') combines
onto- (Greek: ὄν, on;[note 1] gen. ὄντος, ontos, 'being' or 'that which is') and
-logia (-λογία, 'logical discourse').[2][3]
While the etymology is Greek, the oldest extant records of the word itself is a Neo-Latin form ontologia,
which 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,[4] came in 1664
through Archelogia philosophica nova... by Gideon Harvey.[5] The word was first used, in its Latin form,
by philosophers, and based on the Latin roots (and in turn on the Greek ones).
Overview
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] One problem with this answer
is that it excludes abstract objects. Another explicit but little accepted answer can be found in Berkeley's
slogan that "to be is to be perceived".[8] 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.[9] 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][10] 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][10] 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.[9] Different ontologists often disagree on whether
a certain category has any members at all or whether a given category is fundamental.[10]
Particulars and universals
Particulars or individuals are usually contrasted with universals.[11][12] Universals concern features that can
be exemplified by various different particulars.[13] 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.[10] 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][13] 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.[10] Realists are divided among themselves as to
whether universals can exist independently of being exemplified by something ("ante res") or not ("in
rebus").[14] 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).[10]
Abstract and concrete
Many philosophers agree that there is an exclusive and exhaustive distinction between concrete objects and
abstract objects.[10] Some philosophers consider this to be the most general division of being.[15] Examples
of concrete objects include plants, human beings and planets while things like numbers, sets and
propositions are abstract objects.[16] 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.[17][18]
Ontological dependence
An entity ontologically depends on another entity if the first entity cannot exist without the second entity.
Ontologically independent entities, on the other hand, can exist all by themselves.[19] For example, the
surface of an apple cannot exist without the apple and so depends on it ontologically.[20] 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.[21] 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.[21][10] Rigid dependence concerns the dependence on one specific entity, as
the surface of an apple depends on its specific apple.[22] 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 does not depend on any specific charged particle.[21] 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.[21]
Identity
Identity is a basic ontological concept that is often expressed by the word "same".[10][23] 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).[10] Two
qualitatively identical things are often said to be indiscernible. The two senses of sameness are linked by
two principles: the principle of indiscernibility of identicals and the principle of identity of indiscernibles.
The principle of indiscernibility of identicals is uncontroversial and states that if two entities are numerically
identical with each other then they exactly resemble each other.[23] The principle of identity of
indiscernibles, on the other hand, is more controversial in making the converse claim that if two entities
exactly resemble each other then they must be numerically identical.[23] This entails that "no two distinct
things exactly resemble each other".[24] A well-known counterexample comes from Max Black, who
describes a symmetrical universe consisting of only two spheres with the same features.[25] Black argues
that the two spheres are indiscernible but not identical, thereby constituting a violation of the principle of
identity of indiscernibles.[26]
The problem of identity over time concerns the question of persistence: whether or in what sense two
objects at different times can be numerically identical. This is usually referred to as diachronic identity in
contrast to synchronic identity.[23][27] The statement that "[t]he table in the next room is identical with the
one you purchased last year" asserts diachronic identity between the table now and the table then.[27] A
famous example of a denial of diachronic identity comes from Heraclitus, who argues that it is impossible
to step into the same river twice because of the changes that occurred in-between.[23][28] The traditional
position on the problem of persistence is endurantism, the thesis that diachronic identity in a strict sense is
possible. One problem with this position is that it seems to violate the principle of indiscernibility of
identicals: the object may have undergone changes in the meantime resulting in it being discernible from
itself.[10] Perdurantism or four-dimensionalism is an alternative approach holding that diachronic identity is
possible only in a loose sense: while the two objects differ from each other strictly speaking, they are both
temporal parts that belong to the same temporally extended whole.[10][29] Perdurantism avoids many
philosophical problems plaguing endurantism, but endurantism seems to be more in touch with how we
ordinarily conceive diachronic identity.[27][28]
Modality
Modality concerns the concepts of possibility, actuality and necessity. In contemporary discourse, these
concepts are often defined in terms of possible worlds.[10] A possible world is a complete way how things
could have been.[30] The actual world is one possible world among others: things could have been different
from what 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.[31] Actualists and possibilists disagree on the
ontological status of possible worlds.[10] 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.[32]
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.[32]
Another important issue in this field concerns the distinction between contingent and necessary beings.[10]
Contingent beings are beings whose existence is possible but not necessary. Necessary beings, on the other
hand, could not have failed to exist.[33][34] It has been suggested that this distinction is the highest division
of being.[10][35]
Substances
The category of substances has played a central role in many ontological theories throughout the history of
philosophy.[36][37] "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.[36][6] Being
ontologically independent, substances can play the role of fundamental entities in the ontological
hierarchy.[21][37] 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][36] Another
defining feature often attributed to substances is their ability to undergo changes. Changes involve
something existing before, during and after the change. They can be described in terms of a persisting
substance gaining or losing properties, or of matter changing its form.[36] 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 substance can survive a change of accidental properties but it cannot lose its essential properties, which
constitute its nature.[37][38]
Properties and relations
The category of properties consists of entities that can be exemplified by other entities, e.g. by
substances.[39] Properties characterize their bearers, they express what their bearer is like.[6] For example,
the red color and the round shape of an apple are properties of this apple. Various ways have been
suggested concerning how to conceive properties themselves and their relation to substances.[10] The
traditionally dominant view is that properties are universals that inhere in their bearers.[6] As universals,
they can be shared by different substances. Nominalists, on the other hand, deny that universals exist.[13]
Some nominalists try to account for properties in terms of resemblance relations or class membership.[10]
Another alternative for nominalists is to conceptualize properties as simple particulars, so-called tropes.[6]
This position entails that both the apple and its redness are particulars. Different apples may still exactly
resemble each other concerning their color, but they do not share the same particular property on this view:
the two color-tropes are numerically distinct.[13] Another important question for any theory of properties is
how to conceive the relation between a bearer and its properties.[10] Substratum theorists hold that there is
some kind of substance, substratum or bare particular that acts as bearer.[40] Bundle theory is an alternative
view that does away with a substratum altogether: objects are taken to be just a bundle of properties.[37][41]
They are held together not by a substratum but by the so-called compresence-relation responsible for the
bundling. Both substratum theory and bundle theory can be combined with conceptualizing properties as
universals or as particulars.[40]
An important distinction among properties is between categorical and dispositional properties.[6][42]

Categorical properties concern what something is like, e.g. what qualities it has. Dispositional properties, on
the other hand, involve what powers something has, what it is able to do, even if it is not actually doing
it.[6] For example, the shape of a sugar cube is a categorical property while its tendency to dissolve in water
is a dispositional property. For many properties there is a lack of consensus as to how they should be
classified, for example, whether colors are categorical or dispositional properties.[43][44] Categoricalism is
the thesis that on a fundamental level there are only categorical properties, that dispositional properties are
either non-existent or dependent on categorical properties. Dispositionalism is the opposite theory, giving
ontological primacy to dispositional properties.[43][42] Between these two extremes, there are dualists who
allow both categorical and dispositional properties in their ontology.[39]
Relations are ways in which things, the relata, stand to each other.[6][45] Relations are in many ways similar
to properties in that both characterize the things they apply to. Properties are sometimes treated as a special
case of relations involving only one relatum.[39] Central for ontology is the distinction between internal and
external relations.[46] A relation is internal if it is fully determined by the features of its relata.[47] For
example, an apple and a tomato stand in the internal relation of similarity to each other because they are
both red.[48] Some philosophers have inferred from this that internal relations do not have a proper
ontological status since they can be reduced to intrinsic properties.[46][49] External relations, on the other
hand, are not fixed by the features of their relata. For example, a book stands in an external relation to a
table by lying on top of it. But this is not determined by the book's or the table's features like their color,
their shape, etc.[46]
States of affairs and events
States of affairs are complex entities, in contrast to substances and properties, which are usually conceived
as simple.[6][50] Complex entities are built up from or constituted by other entities. Atomic states of affairs
are constituted by one particular and one property exemplified by this particular.[10][51] For example, the
state of affairs that Socrates is wise is constituted by the particular "Socrates" and the property "wise".
Relational states of affairs involve several particulars and a relation connecting them. States of affairs that
obtain are also referred to as facts.[51] It is controversial which ontological status should be ascribed to
states of affairs that do not obtain.[10] States of affairs have been prominent in 20th-century ontology as
various theories were proposed to describe the world as composed of states of affairs.[6][52][53] It is often
held that states of affairs play the role of truthmakers: judgments or assertions are true because the
corresponding state of affairs obtains.[51][54]
Events take place in time, they are sometimes thought of as involving a change in the form of acquiring or
losing a property, like the lawn's becoming dry.[55] But on a liberal view, the retaining of a property without
any change may also count as an event, e.g. the lawn's staying wet.[55][56] Some philosophers see events as
universals that can repeat at different times, but the more dominant view is that events are particulars and
therefore non-repeatable.[56] Some events are complex in that they are composed of a sequence of events,
often referred to as a process.[57] But even simple events can be conceived as complex entities involving an
object, a time and the property exemplified by the object at this time.[58][59] So-called process philosophy
or process ontology ascribes ontological primacy to changes and processes as opposed to the emphasis on
static being in the traditionally dominant substance metaphysics.[60][61]
Reality of things
The word 'real' is derived from the Latin word res, which is often translated as 'thing'. The word 'thing' is
often used in ontological discourse as if it had a presupposed meaning, not needing an explicit
philosophical definition because it belongs to ordinary language. Nevertheless, what is a thing and what is
real or substantial are concerns of ontology.[22][62][63][64][65] Different views are held about this. Plato
proposed that underlying, and constituting the real basis of, the concretely experienced world are 'forms' or
'ideas', which today are generally regarded as high abstractions. In earlier days, philosophers used the term
'realism' to refer to Plato's belief that his 'forms' are 'real'; nowadays, the term 'realism' often has an almost
opposite meaning, so that Plato's belief is sometimes called 'idealism'.[66] Philosophers debate whether
entities such as tables and chairs, lions and tigers, philosophical doctrines, numbers, truth, and beauty, are to
be regarded as 'things', or as something or nothing 'real'.
Types of ontologies
Ontological theories can be divided into various types according to their theoretical commitments. Particular
ontological theories or types of theories are often referred to as "ontologies" (singular or plural). This usage
contrasts with the meaning of "ontology" (only singular) as a branch of philosophy: the science of being in
general.[67][68]
Flat vs polycategorical vs hierarchical
One way to divide ontologies is by the number of basic categories they use. Monocategorical or one
category ontologies hold that there is only one basic category while polycategorical ontologies imply that
there are several distinct basic categories.[69][70][71] Another way to divide ontologies is through the notion
of ontological hierarchy. Hierarchical ontologies assert that some entities exist on a more fundamental level
and that other entities depend on them. Flat ontologies, on the other hand, deny such a privileged status to
any entities.[72][73] Jonathan Schaffer provides an overview of these positions by distinguishing between
flat ontologies (non-hierarchical), sorted ontologies (polycategorical non-hierarchical) and ordered
ontologies (polycategorical hierarchical).[74]
Flat ontologies are only interested in the difference between existence and non-existence. They are flat
because each flat ontology can be represented by a simple set containing all the entities to which this
ontology is committed. An influential exposition[75] of this approach comes from Willard Van Orman
Quine which is why it has been referred to as the Quinean approach to meta-ontology.[74][76] This outlook
does not deny that the existing entities can be further subdivided and may stand in various relations to each
other. These issues are questions for the more specific sciences, but they do not belong to ontology in the
Quinean sense.
Polycategorical ontologies are concerned with the categories of being. Each polycategorical ontology
posits a number of categories. These categories are exclusive and exhaustive: every existing entity belongs
to exactly one category.[74] A recent example of a polycategorical ontology is E.J. Lowe's four-category-
ontology.[77] The four categories are object, kind, mode and attribute. The fourfold structure is based on
two distinctions. The first distinction is between substantial entities (objects and kinds) and non-substantial
entities (modes and attributes). The second distinction is between particular entities (objects and modes) and
universal entities (kinds and attributes). Reality is built up through the interplay of entities belonging to
different categories: particular entities instantiate universal entities, and non-substantial entities characterize
substantial entities.[77][78]
Hierarchical ontologies are interested in the degree of fundamentality of the entities they posit. Their main
goal is to figure out which entities are fundamental and how the non-fundamental entities depend on them.
The concept of fundamentality is usually defined in terms of metaphysical grounding.[79] Fundamental
entities are different from non-fundamental entities because they are not grounded in other entities.[74][80]
For example, it is sometimes held that elementary particles are more fundamental than the macroscopic
objects (like chairs and tables) they compose. This is a claim about the grounding-relation between
microscopic and macroscopic objects. Schaffer's priority monism is a recent form of a hierarchical ontology.
He holds that on the most fundamental level there exists only one thing: the world as a whole. This thesis
does not deny our common-sense intuition that the distinct objects we encounter in our everyday affairs like
cars or other people exist. It only denies that these objects have the most fundamental form of existence.[81]
An example of a hierarchical ontology in continental philosophy comes from Nicolai Hartmann. He asserts
that reality is made up of four levels: the inanimate, the biological, the psychological and the spiritual.[82]
These levels form a hierarchy in the sense that the higher levels depend on the lower levels while the lower
levels are indifferent to the higher levels.[83]
Thing ontologies vs fact ontologies
Thing ontologies and fact ontologies are one-category-ontologies: they both hold that all fundamental
entities belong to the same category. They disagree on whether this category is the category of things or of
facts.[84][85][86] A slogan for fact ontologies comes from Ludwig Wittgenstein: "The world is the totality of
facts, not of things".[87]
One difficulty in characterizing this dispute is to elucidate what things and facts are, and how they differ
from each other. Things are commonly contrasted with the properties and relations they instantiate.[88]
Facts, on the other hand, are often characterized as having these things and the properties/relations as their
constituents.[89] This is reflected in a rough linguistic characterization of this difference where the subjects
and objects of an assertion refer to things while the assertion as a whole refers to a fact.[90]
Reism is one form of thing ontology.[91] Franz Brentano developed a version of reism in his later
philosophy. He held that only concrete particular things exist. Things can exist in two forms: either as
spatio-temporal bodies or as temporal souls. Brentano was aware of the fact that many common-sense
expressions seem to refer to entities that do not have a place in his ontology, like properties or intentional
objects. This is why he developed a method to paraphrase these expressions in order to avoid these
ontological commitments.[91]
D. M. Armstrong is a well-known defender of fact ontology. He and his followers refer to facts as states of
affairs.[89] States of affairs are the basic building blocks of his ontology: they have particulars and
universals as their constituents but they are primary in relation to particulars and universals. States of affairs
have ontologically independent existence while "[u]npropertied particulars and uninstantiated universals are
false abstractions".[89]
Constituent ontologies vs blob theories

Constituent ontologies and blob theories, sometimes referred to as relational ontologies, are concerned with
the internal structure of objects. Constituent ontologies hold that objects have an internal structure made up
of constituents. This is denied by blob theories: they contend that objects are structureless
"blobs".[88][69][92]
Bundle theories are examples of constituent ontologies. Bundle theorists assert that an object is nothing but
the properties it "has". On this account, a regular apple could be characterized as a bundle of redness,
roundness, sweetness, etc. Defenders of bundle theory disagree on the nature of the bundled properties.
Some affirm that these properties are universals while others contend that they are particulars, so-called
"tropes".[88][93]
Class nominalism, on the other hand, is a form of blob theory. Class nominalists hold that properties are
classes of things. To instantiate a property is merely to be a member of the corresponding class. So
properties are not constituents of the objects that have them.[88][94]
Information science and natural sciences
In information science ontologies are classified in various ways, using criteria such as the degree of
abstraction and field of application:[95]
1. Upper ontology: concepts supporting development of an ontology, meta-ontology.

2. Domain ontology: concepts relevant to a particular topic, domain of discourse, or area of
interest, for example, to information technology or to computer languages, or to particular
branches of science.
3. Interface ontology: concepts relevant to the juncture of two disciplines.
4. Process ontology: inputs, outputs, constraints, sequencing information, involved in business
or engineering processes.
In the biomedical sciences, ontologies have been used to create terminologies for various aspects of living
organism or medical applications. A prominent example is the gene ontology, but many other ontologies
exist, e.g. for anatomical terms or physiology.[96] Standards have been established to maintain and organize
biological ontologies under the OBO (Open Biological Ontologies) project.[96]
History
Ancient Greek
In the Greek philosophical tradition, Parmenides was among the first to propose an ontological
characterization of the fundamental nature of existence. In the prologue (or proem) to On Nature, he
describes two views of existence. Initially, nothing comes from nothing, thus existence is eternal. This
posits that existence is what may be conceived of by thought, created, or possessed. Hence, there may be
neither void nor vacuum; and true reality neither may come into being nor vanish from existence. Rather,
the entirety of creation is eternal, uniform, and immutable, though not infinite (Parmenides characterized its
shape as that of a perfect sphere). Parmenides thus posits that change, as perceived in everyday experience,
is illusory.
Opposite to the Eleatic monism of Parmenides is the pluralistic conception of being. In the 5th century BC,
Anaxagoras and Leucippus replaced[97] the reality of being (unique and unchanging) with that of
becoming, therefore by a more fundamental and elementary ontic plurality. This thesis originated in the
Hellenic world, stated in two different ways by Anaxagoras and by
Leucippus. The first theory dealt with "seeds" (which Aristotle referred
to as "homeomeries") of the various substances. The second was the
atomistic theory,[98] which dealt with reality as based on the vacuum,
the atoms and their intrinsic movement in it.[99]
The materialist atomism proposed by Leucippus was indeterminist, but

Democritus (c. 460 – c. 370 BC) subsequently developed it in a
deterministic way. Later (4th century BC), Epicurus took the original
atomism again as indeterministic. He saw reality as composed of an
infinity of indivisible, unchangeable corpuscles or atoms (from the
Greek atomon, lit. 'uncuttable'), but he gives weight to characterize
atoms whereas for Leucippus they are characterized by a "figure", an
"order" and a "position" in the cosmos.[100] Atoms are, besides,
creating the whole with the intrinsic movement in the vacuum, Parmenides was among the first
producing the diverse flux of being. Their movement is influenced by to propose an ontological
the parenklisis (Lucretius names it clinamen) and that is determined by characterization of the
chance. These ideas foreshadowed the understanding of traditional fundamental nature of reality.
physics until the advent of 20th-century theories on the nature of
atoms.[101]
Plato developed the distinction between true reality and illusion, in arguing that what is real are eternal and
unchanging forms or ideas (a precursor to universals), of which things experienced in sensation are at best
merely copies, and real only in so far as they copy ("partake of") such forms. In general, Plato presumes
that all nouns (e.g., "beauty") refer to real entities, whether sensible bodies or insensible forms. Hence, in
The Sophist, Plato argues that being is a form in which all existent things participate and which they have in
common (though it is unclear whether "Being" is intended in the sense of existence, copula, or identity);
and argues, against Parmenides, that forms must exist not only of being, but also of Negation and of non-
being (or Difference).
In his Categories, Aristotle (384–322 BCE) identifies ten possible kinds of things that may be the subject or
the predicate of a proposition. For Aristotle there are four different ontological dimensions:[102]
1. according to the various categories or ways of addressing a being as such

2. according to its truth or falsity (e.g. fake gold, counterfeit money)
3. whether it exists in and of itself or simply 'comes along' by accident
4. according to its potency, movement (energy) or finished presence (Metaphysics Book
Theta).
Hindu philosophy
Ontology features in the Samkhya school of Hindu philosophy from the first millennium BCE.[103]
Samkhya philosophy regards the universe as consisting of two independent realities: puruṣa (pure,
contentless consciousness) and prakṛti (matter). The substance dualism between puruṣa and prakṛti is
similar but not identical to the substance dualism between mind and body that, following the works of
Descartes, has been central to many disputes in the Western philosophical tradition.[104]: 8 45 Samkhya sees
the mind as being the subtle part of prakṛti. It is made up of three faculties: the sense mind (manas), the
intellect (buddhi), and the ego (ahaṁkāra). These faculties perform various functions but are by themselves
unable to produce consciousness, which belongs to a distinct ontological category and for which puruṣa
alone is responsible.[105][104] The Yoga school agrees with Samkhya philosophy on the fundamental
dualism between puruṣa and prakṛti but it differs from Samkhya's atheistic position by incorporating the
concept of a "personal, yet essentially inactive, deity" or "personal god" (Ishvara).[106][107][108][109] These
two schools stand in contrast to Advaita Vedanta, which adheres to non-duality by revealing that the
apparent plurality of things is an illusion (Maya) hiding the true oneness of reality at its most fundamental
level (Brahman).[110][111]
Medieval
Medieval ontology was strongly influenced by Aristotle's teachings. The thinkers of this period often relied
on Aristotelian categories like substance, act and potency or matter and form to formulate their own
theories. Important ontologists in this epoch include Avicenna, Thomas Aquinas, Duns Scotus and William
of Ockham.[112][113][114]
According to Avicenna's interpretation of Greek Aristotelian and Platonist ontological doctrines in medieval
metaphysics, being is either necessary, contingent qua possible, or impossible. Necessary being is that
which cannot but be, since its non-being would entail a contradiction. Contingent qua possible being is
neither necessary nor impossible for it to be or not to be. It is ontologically neutral, and is brought from
potential existing into actual existence by way of a cause that is external to its essence. Its being is
borrowed – unlike the necessary existent, which is self-subsisting and impossible not to be. As for the
impossible, it necessarily does not exist, and the affirmation of its being would involve a contradiction.[115]
Fundamental to Thomas Aquinas's ontology is his distinction between essence and existence: all entities are
conceived as composites of essence and existence.[116][117][118] The essence of a thing is what this thing is
like, it signifies the definition of this thing.[119] God has a special status since He is the only entity whose
essence is identical to its existence. But for all other, finite entities there is a real distinction between essence
and existence.[120] This distinction shows itself, for example, in our ability to understand the essence of
something without knowing about its existence.[121] Aquinas conceives of existence as an act of being that
actualizes the potency given by the essence. Different things have different essences, which impose
different limits on the corresponding act of being.[116] The paradigm examples of essence-existence-
composites are material substances like cats or trees. Aquinas incorporates Aristotle's distinction between
matter and form by holding that the essence of material things, as opposed to the essence of immaterial
things like angels, is the composition of their matter and form.[116][122] So, for example, the essence of a
marble statue would be the composition of the marble (its matter) and the shape it has (its form). Form is
universal since substances made of different matter can have the same form. The forms of a substance may
be divided into substantial and accidental forms. A substance can survive a change of an accidental form
but ceases to exist upon a change of a substantial form.[116]
Modern
Ontology is increasingly seen as a separate domain of philosophy in the modern period.[114][123] Many
ontological theories of this period were rationalistic in the sense that they saw ontology largely as a
deductive discipline that starts from a small set of first principles or axioms, a position best exemplified by
Baruch Spinoza and Christian Wolff. This rationalism in metaphysics and ontology was strongly opposed
by Immanuel Kant, who insisted that many claims arrived at this way are to be dismissed since they go
beyond any possible experience that could justify them.[124][125]
René Descartes' ontological distinction between mind and body has been one of the most influential parts
of his philosophy.[126][125] On his view, minds are thinking things while bodies are extended things.
Thought and extension are two attributes that each come in various modes of being. Modes of thinking
include judgments, doubts, volitions, sensations and emotions while the shapes of material things are modes
of extension.[127] Modes come with a lower degree of reality since they depend for their existence on a
substance.[128] Substances, on the other hand, can exist on their own.[127] Descartes' substance dualism
asserts that every finite substance is either a thinking substance or an extended substance.[129][130] This
position does not entail that minds and bodies actually are separated from each other, which would defy the
intuition that we both have a body and a mind. Instead, it implies that minds and bodies can, at least in
principle, be separated, since they are distinct substances and therefore are capable of independent
existence.[126][131] A longstanding problem for substance dualism since its inception has been to explain
how minds and bodies can causally interact with each other, as they apparently do, when a volition causes
an arm to move or when light falling on the retina causes a visual impression.[126]
Baruch Spinoza is well-known for his substance monism: the thesis that only one substance
exists.[132][125] He refers to this substance as "God or Nature", emphasizing both his pantheism and his
naturalism.[133] This substance has an infinite amount of attributes, which he defines as "what the intellect
perceives of substance as constituting its essence".[134] Of these attributes, only two are accessible to the
human mind: thought and extension. Modes are properties of a substance that follow from its attributes and
therefore have only a dependent form of existence.[135] Spinoza sees everyday-things like rocks, cats or
ourselves as mere modes and thereby opposes the traditional Aristotelian and Cartesian conception of
categorizing them as substances.[136] Modes compose deterministic systems in which the different modes
are linked to each other as cause and effect.[132] Each deterministic system corresponds to one attribute:
one for extended things, one for thinking things, etc. Causal relations only happen within a system while
the different systems run in parallel without causally interacting with each other.[136] Spinoza calls the
system of modes Natura naturata ("nature natured") and opposes it to Natura naturans ("nature naturing"),
the attributes responsible for the modes.[137] Everything in Spinoza's system is necessary: there are no
contingent entities. This is so since the attributes are themselves necessary and since the system of modes
follows from them.[132]
Christian Wolff defines ontology as the science of being in general. He sees it as a part of metaphysics
besides cosmology, psychology and natural theology.[138][139][140] According to Wolff, it is a deductive
science, knowable a priori and based on two fundamental principles: the principle of non-contradiction ("it
cannot happen that the same thing is and is not") and the principle of sufficient reason ("nothing exists
without a sufficient reason for why it exists rather than does not exist").[138][125] Beings are defined by
their determinations or predicates, which cannot involve a contradiction. Determinates come in 3 types:
essentialia, attributes, and modes.[138] Essentialia define the nature of a being and are therefore necessary
properties of this being. Attributes are determinations that follow from essentialia and are equally necessary,
in contrast to modes, which are merely contingent. Wolff conceives existence as just one determination
among others, which a being may lack.[139] Ontology is interested in being at large, not just in actual being.
But all beings, whether actually existing or not, have a sufficient reason.[124] The sufficient reason for
things without actual existence consists in all the determinations that make up the essential nature of this
thing. Wolff refers to this as a "reason of being" and contrasts it with a "reason of becoming", which
explains why some things have actual existence.[139]
Arthur Schopenhauer was a proponent of metaphysical voluntarism:[141] he regards will as the underlying
and ultimate reality.[142] Reality as a whole consists only of one will, which is equated with the Kantian
thing-in-itself. Like the Kantian thing-in-itself, the will exists outside space and time. But, unlike the
Kantian thing-in-itself, the will has an experiential component to it: it comes in the form of striving,
desiring, feeling, etc.[143][144] The manifold of things we encounter in our everyday experiences, like trees
or cars, are mere appearances that lack existence independent of the observer. Schopenhauer describes them
as objectivations of the will. These objectivations happen in different "steps", which correspond to the
platonic forms.[145] All objectivations are grounded in the will. This grounding is governed by the
principium individuationis, which enables a manifold of individual things spread out in space and time to be
grounded in the one will.[146]
20th century
Dominant approaches to ontology in the 20th century were phenomenology, linguistic analysis and
naturalism. Phenomenological ontology, as exemplified by Edmund Husserl and Martin Heidegger, relies
for its method on the description of experience. Linguistic analysis assigns to language a central role for
ontology, as seen, for example, in Rudolf Carnap's thesis that the truth value of existence-claims depends
on the linguistic framework in which they are made. Naturalism gives a prominent position to the natural
sciences for the purpose of finding and evaluating ontological claims. This position is exemplified by
Quine's method of ontology, which involves analyzing the ontological commitments of scientific
theories.[125][114]
Edmund Husserl sees ontology as a science of essences.[114] Sciences of essences are contrasted with
factual sciences: the former are knowable a priori and provide the foundation for the later, which are
knowable a posteriori.[125][147] Ontology as a science of essences is not interested in actual facts, but in the
essences themselves, whether they have instances or not.[148] Husserl distinguishes between formal
ontology, which investigates the essence of objectivity in general,[149] and regional ontologies, which study
regional essences that are shared by all entities belonging to the region.[114] Regions correspond to the
highest genera of concrete entities: material nature, personal consciousness and interpersonal spirit.[150][151]
Husserl's method for studying ontology and sciences of essence in general is called eidetic variation.[147] It
involves imagining an object of the kind under investigation and varying its features.[152] The changed
feature is inessential to this kind if the object can survive its change, otherwise it belongs to the kind's
essence. For example, a triangle remains a triangle if one of its sides is extended but it ceases to be a
triangle if a fourth side is added. Regional ontology involves applying this method to the essences
corresponding to the highest genera.[153]
Central to Martin Heidegger's philosophy is the notion of ontological difference: the difference between
being as such and specific entities.[154][155] He accuses the philosophical tradition of being forgetful of this
distinction, which has led to the mistake of understanding being as such as a kind of ultimate entity, for
example as "idea, energeia, substance, monad or will to power".[154][114][156] Heidegger tries to rectify this
mistake in his own "fundamental ontology" by focusing on the meaning of being instead, a project which is
akin to contemporary meta-ontology.[157][158] One method to achieve this is by studying the human being,
or Dasein, in Heidegger's terminology.[125] The reason for this is that we already have a pre-ontological
understanding of being that shapes how we experience the world. Phenomenology can be used to make
this implicit understanding explicit, but it has to be accompanied by hermeneutics in order to avoid the
distortions due to the forgetfulness of being.[154] In his later philosophy, Heidegger attempted to reconstruct
the "history of being" in order to show how the different epochs in the history of philosophy were
dominated by different conceptions of being.[159] His goal is to retrieve the original experience of being
present in the early Greek thought that was covered up by later philosophers.[156]
Nicolai Hartmann is a 20th-century philosopher within the continental tradition of philosophy. He interprets
ontology as Aristotle's science of being qua being: the science of the most general characteristics of entities,
usually referred to as categories, and the relations between them.[160][161][162] According to Hartmann, the
most general categories are moments of being (existence and essence), modes of being (reality and ideality)
and modalities of being (possibility, actuality and necessity). Every entity has both existence and
essence.[163] Reality and ideality, by contrast, are two disjunctive categories: every entity is either real or
ideal. Ideal entities are universal, returnable and always existing while real entities are individual, unique
and destructible.[164] Among the ideal entities are mathematical objects and values.[165] The modalities of
being are divided into the absolute modalities (actuality and non-actuality) and the relative modalities
(possibility, impossibility and necessity). The relative modalities are relative in the sense that they depend
on the absolute modalities: something is possible, impossible or necessary because something else is actual.
Hartmann asserts that reality is made up of four levels (inanimate, biological, psychological and spiritual)
that form a hierarchy.[82][83]
Rudolf Carnap proposed that the truth value of ontological statements about the existence of entities
depends on the linguistic framework in which these statements are made: they are internal to the
framework.[1][114] As such, they are often trivial in that it just depends on the rules and definitions within
this framework. For example, it follows analytically from the rules and definitions within the mathematical
framework that numbers exist.[166] The problem Carnap saw with traditional ontologists is that they try to
make framework-independent or external statements about what really is the case.[125][167] Such
statements are at best pragmatic considerations about which framework to choose and at worst outright
meaningless, according to Carnap.[168] For example, there is no matter of fact as to whether realism or
idealism is true, their truth depends on the adopted framework.[169] The job of philosophers is not to
discover which things exist by themselves but "conceptual engineering": to create interesting frameworks
and to explore the consequences of adopting them.[166][1] The choice of framework is guided by practical
considerations like expedience or fruitfulness since there is no framework-independent notion of truth.[170]
The notion of ontological commitment plays a central role in Willard Van Orman Quine's contributions to
ontology.[171][172] A theory is ontologically committed to an entity if that entity must exist in order for the
theory to be true.[173] Quine proposed that the best way to determine this is by translating the theory in
question into first-order predicate logic. Of special interest in this translation are the logical constants known
as existential quantifiers, whose meaning corresponds to expressions like "there exists..." or "for some...".
They are used to bind the variables in the expression following the quantifier.[174] The ontological
commitments of the theory then correspond to the variables bound by existential quantifiers.[175] This
approach is summed up by Quine's famous dictum that "[t]o be is to be the value of a variable".[176] This
method by itself is not sufficient for ontology since it depends on a theory in order to result in ontological
commitments. Quine proposed that we should base our ontology on our best scientific theory.[173] Various
followers of Quine's method chose to apply it to different fields, for example to "everyday conceptions
expressed in natural language".[177][178]
Other ontological topics
Ontological formations
The concept of ontological formations refers to formations of social relations understood as dominant ways
of living. Temporal, spatial, corporeal, epistemological, and performative relations are taken to be central to
understanding a dominant formation. That is, a particular ontological formation is based on how ontological
categories of time, space, embodiment, knowing and performing are lived—objectively and subjectively.
Different ontological formations include the customary (including the tribal), the traditional, the modern,
and the postmodern. The concept was first introduced by Paul James in 2006, together with a series of
writers including Damian Grenfell and Manfred Steger.[179]
In the engaged theory approach, ontological formations are seen as layered and intersecting rather than
singular formations. They are 'formations of being'. This approach avoids the usual problems of a Great
Divide being posited between the modern and the pre-modern. From a philosophical distinction concerning
different formations of being, the concept then provides a way of translating into practical understandings
concerning how humans might design cities and communities that live creatively across different
ontological formations, for example cities that are not completely dominated by modern valences of spatial
configuration. Here the work of Tony Fry is important.[180]
Ontology of fictional characters
According to Edward N. Zalta, the ontology of fiction analyses such sentences as:[181]
'Nero worshipped (the god) Mars;'

'Mars, the god, does not exist;' and
'Eliza Doolittle, in George Bernard Shaw's Pygmalion, is a flower girl.'
According to Amie L. Thomasson, fictional discourse can be of four sorts:
Uttered within works of fiction;

Philosophical exercises such as 'Captain Marvel does not exist';
Treating fictional characters as if they were 'real', such as 'Superman can leap tall buildings;'
and
Discourse about works of fiction, such as 'Professor Higgins was created by George Bernard
Shaw'.[182]
Jeremy Bentham distinguished three kinds of entities:[183]
the real: those that can be perceived, or can be inferred from perception.
the fictitious: abstractions that referred to perceptible things.
the fabulous: those that can be found only in the imagination, where the word 'exist' applies
to such only in the sense that they do not really exist.
Francis Herbert Bradley thought that real things exist respectively at particular times and places. He
recognised several kinds of entity:[184]
the genuinely historical;

the fictional;
the real;
the merely imagined;
the existent; and
the non-existent.
Alexius Meinong would put fictional entities into the category which he called subsistence.[185] This
category contains objects that neither exist spatially or non-spatially. However, they do have properties. The
properties are given to these objects in the way they are said to be described. For example, we can talk
about the tall unicorn even though the tall unicorn does not exist. We can say the unicorn is in fact tall
because this follows from the properties in which the object is characterized.[185]
Ontological and epistemological certainty
René Descartes, with cogito, ergo sum (je pense donc je suis, "I think, therefore I am"), argued that a
person's thinking agency, his res cogitans, as distinct from his material body, his res extensa, is something
that we can know exists with epistemological certainty. Descartes argued further that this knowledge could
lead to a proof of the certainty of the existence of God, using the ontological argument that had been
formulated first by Anselm of Canterbury.[186]
Body and environment, questioning the meaning of being
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,[187]
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, mostly philosophers, tried to dig into the
word and its usage. Martin Heidegger distinguished human being as existence from the being of things in
the world. Heidegger proposes that our way of being human and the way the world is for us are cast
historically through a fundamental ontological questioning. These fundamental ontological categories
provide the basis for communication in an age: a horizon of unspoken and seemingly unquestionable
background meanings, such as human beings understood unquestioningly as subjects and other entities
understood unquestioningly as objects. Because these basic ontological meanings both generate and are
regenerated in everyday interactions, the locus of our way of being in a historical epoch is the
communicative event of language in use.[188] For Heidegger, however, communication in the first place is
not among human beings, but language itself shapes up in response to questioning (the inexhaustible
meaning of) being.[189] Even the focus of traditional ontology on the 'whatness' or quidditas of beings in
their substantial, standing presence can be shifted to pose the question of the 'whoness' of human being
itself.[190]
Ontology and language
Some philosophers suggest that the question of "What is?" is (at least in part) an issue of usage rather than a
question about facts.[191] This perspective is conveyed by an analogy made by Donald Davidson: Suppose
a person refers to a 'cup' as a 'chair' and makes some comments pertinent to a cup, but uses the word 'chair'
consistently throughout instead of 'cup'. One might readily catch on that this person simply calls a 'cup' a
'chair' and the oddity is explained.[192] Analogously, if we find people asserting 'there are' such-and-such,
and we do not ourselves think that 'such-and-such' exist, we might conclude that these people are not nuts
(Davidson calls this assumption 'charity'), they simply use 'there are' differently than we do. The question of
What is? is at least partly a topic in the philosophy of language, and is not entirely about ontology
itself.[193] This viewpoint has been expressed by Eli Hirsch.[194][195]
Hirsch interprets Hilary Putnam as asserting that different concepts of "the existence of something" can be
correct.[195] This position does not contradict the view that some things do exist, but points out that
different 'languages' will have different rules about assigning this property.[195][196] How to determine the
'fitness' of a 'language' to the world then becomes a subject for investigation.
Common to all Indo-European copula languages is the double use of the verb "to be" in both stating that
entity X exists ("X is.") as well as stating that X has a property ("X is P"). It is sometimes argued that a
third use is also distinct, stating that X is a member of a class ("X is a C"). In other language families these
roles may have completely different verbs and are less likely to be confused with one another. For example
they might say something like "the car has redness" rather than "the car is red." Hence any discussion of
"being" in Indo-European language philosophy may need to make distinctions between these senses.
Ontology and human geography
In human geography there are two types of ontology: small "o" which accounts for the practical orientation,
describing functions of being a part of the group, thought to oversimplify and ignore key activities. The
other "o", or big "O", systematically, logically, and rationally describes the essential characteristics and
universal traits. This concept relates closely to Plato's view that the human mind can only perceive a bigger
world if they continue to live within the confines of their "caves". However, in spite of the differences,
ontology relies on the symbolic agreements among members. That said, ontology is crucial for the
axiomatic language frameworks.[197]
Anthropology
The topic of ontology has received increased attention in anthropology since the 1990s. This is sometimes
termed the "ontological turn".[198] This type of inquiry is focused on how people from different cultures
experience and understand the nature of being. Specific interest in this regard has been given to the
ontological outlook of indigenous people and how their outlook tends to differ from a more Western
perspective.[198][199] As an example of this contrast, it has been argued that various indigenous
communities ascribe intentionality to non-human entities, like plants, forests, or rivers. This outlook is
known as animism.[200]
Reality and actuality
According to Alfred N. Whitehead, for ontology, it is useful to distinguish the terms 'reality' and 'actuality'.
In this view, an 'actual entity' has a philosophical status of fundamental ontological priority, while a 'real
entity' is one which may be actual, or may derive its reality from its logical relation to some actual entity or
entities. For example, an occasion in the life of Socrates is an actual entity. But Socrates' being a man does
not make 'man' an actual entity, because it refers indeterminately to many actual entities, such as several
occasions in the life of Socrates, and also to several occasions in the lives of Alcibiades, and of others. But
the notion of man is real; it derives its reality from its reference to those many actual occasions, each of
which is an actual entity. An actual occasion is a concrete entity, while terms such as 'man' are abstractions
from many concrete relevant entities.
According to Whitehead, an actual entity must earn its philosophical status of fundamental ontological
priority by satisfying several philosophical criteria, as follows:
There is no going behind an actual entity, to find something more fundamental in fact or in
efficacy. This criterion is to be regarded as expressing an axiom, or postulated distinguished
doctrine.
An actual entity must be completely determinate in the sense that there may be no confusion
about its identity that would allow it to be confounded with another actual entity. In this sense
an actual entity is completely concrete, with no potential to be something other than itself. It
is what it is. It is a source of potentiality for the creation of other actual entities, of which it
may be said to be a part cause. Likewise it is the concretion or realization of potentialities of
other actual entities which are its partial causes.
Causation between actual entities is essential to their actuality. Consequently, for
Whitehead, each actual entity has its distinct and definite extension in physical Minkowski
space, and so is uniquely identifiable. A description in Minkowski space supports
descriptions in time and space for particular observers.
It is part of the aim of the philosophy of such an ontology as Whitehead's that the actual
entities should be all alike, qua actual entities; they should all satisfy a single definite set of
well stated ontological criteria of actuality.
Whitehead proposed that his notion of an occasion of experience satisfies the criteria for its status as the
philosophically preferred definition of an actual entity. From a purely logical point of view, each occasion
of experience has in full measure the characters of both objective and subjective reality. Subjectivity and
objectivity refer to different aspects of an occasion of experience, and in no way do they exclude each
other.[201]
Examples of other philosophical proposals or candidates as actual entities, in this view, are Aristotle's
'substances', Leibniz' monads, and Descartes' res verae, and the more modern 'states of affairs'. Aristotle's
substances, such as Socrates, have behind them as more fundamental the 'primary substances', and in this
sense do not satisfy Whitehead's criteria. Whitehead is not happy with Leibniz' monads as actual entities
because they are "windowless" and do not cause each other. 'States of affairs' are often not closely defined,
often without specific mention of extension in physical Minkowski space; they are therefore not necessarily
processes of becoming, but may be as their name suggests, simply static states in some sense. States of
affairs are contingent on particulars, and therefore have something behind them.[202] One summary of the
Whiteheadian actual entity is that it is a process of becoming. Another summary, referring to its causal
linkage to other actual entities, is that it is "all window", in contrast with Leibniz' windowless monads.
This view allows philosophical entities other than actual entities to really exist, but not as fundamentally
and primarily factual or causally efficacious; they have existence as abstractions, with reality only derived
from their reference to actual entities. A Whiteheadian actual entity has a unique and completely definite
place and time. Whiteheadian abstractions are not so tightly defined in time and place, and in the extreme,
some are timeless and placeless, or 'eternal' entities. All abstractions have logical or conceptual rather than
efficacious existence; their lack of definite time does not make them unreal if they refer to actual entities.
Whitehead calls this 'the ontological principle'.
Microcosmic ontology
There is an established and long philosophical history of the concept of atoms as microscopic physical
objects. They are far too small to be visible to the naked eye. It was as recent as the nineteenth century that
precise estimates of the sizes of putative physical atoms began to become plausible. Almost direct empirical
observation of atomic effects was due to the theoretical investigation of Brownian motion by Albert
Einstein in the very early twentieth century. But even then, the real existence of atoms was debated by
some. Such debate might be labeled 'microcosmic ontology'. Here the word 'microcosm' is used to indicate
a physical world of small entities, such as for example atoms.[203]
Subatomic particles are usually considered to be much smaller than atoms. Their real or actual existence
may be very difficult to demonstrate empirically.[204] A distinction is sometimes drawn between actual and
virtual subatomic particles. Reasonably, one may ask, in what sense, if any, do virtual particles exist as
physical entities? For atomic and subatomic particles, difficult questions arise, such as do they possess a
precise position, or a precise momentum? A question that continues to be controversial is "to what kind of
physical thing, if any, does the quantum mechanical wave function refer?"[65]
Ontological argument
In the Western Christian tradition, in his 1078 work Proslogion, Anselm of Canterbury proposed what is
known as 'the ontological argument' for the existence of God.[note 2] Anselm defined God as "that than
which nothing greater can be thought", and argued that this being must exist in the mind, even in the mind
of the person who denies the existence of God. He suggested that, if the greatest possible being exists in the
mind, it must also exist in reality. If it only exists in the mind, then an even greater being must be possible—
one which exists both in the mind and in reality. Therefore, this greatest possible being must exist in reality.
Seventeenth century French philosopher René Descartes deployed a similar argument. Descartes published
several variations of his argument, each of which centred on the idea that God's existence is immediately
inferable from a "clear and distinct" idea of a supremely perfect being. In the early eighteenth century,
Gottfried Leibniz augmented Descartes's ideas in an attempt to prove that a "supremely perfect" being is a
coherent concept. Norman Malcolm revived the ontological argument in 1960 when he located a second,
stronger ontological argument in Anselm's work; Alvin Plantinga challenged this argument and proposed an
alternative, based on modal logic. Attempts have also been made to validate Anselm's proof using an
automated theorem prover.[206]
More recently, Kurt Gödel proposed a formal argument for God's existence. Other arguments for God's
existence have been advanced, including those made by Islamic philosophers Mulla Sadra[207] and Allama
Tabatabai.[208]
Hintikka's locution for existence
Jaakko Hintikka puts the view that a useful explication of the notion of existence is in the words "one can
find," implicitly in some world or universe of discourse.[209]
See also
Applied ontology
Entity – Something that exists in some identified universe of discourse
Hauntology – Derrida's portmanteau of haunting and ontology
Notes
1. ὄν is the present-tense participle of the verb εἰμί (eimí, 'to be' or 'I am').
2. "There are three main periods in the history of ontological arguments. The first was in 11th
century, when St. Anselm of Canterbury came up with the first ontological argument."[205]
References
1. Hofweber, Thomas (2020). "Logic and Ontology" (https://plato.stanford.edu/entries/logic-onto
logy/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford
University. Retrieved 23 December 2020.
2. "ontology" (https://www.etymonline.com/word/ontology). Online Etymology Dictionary.
3. εἰμί (https://www.perseus.tufts.edu/hopper/text?doc=Perseus:text:1999.04.0057:entry=ei)mi/
1). Liddell, Henry George; Scott, Robert; A Greek–English Lexicon at the Perseus Project
4. "ontology (https://www.oxfordlearnersdictionaries.com/us/definition/english/ontology?q=onto
logy)." Oxford Advanced Learner's Dictionary. Oxford University Press (2008)
5. Harvey, Gideon. 1663. Archelogia philosophica nova, or, New Principles of Philosophy.
Containing Philosophy in General, Metaphysicks or Ontology, Dynamilogy or a Discourse of
Power, Religio Philosophi or Natural Theology, Physicks or Natural philosophy (http://name.
umdl.umich.edu/A43008.0001.001). London: J.H.
6. Borchert, Donald (2006). "Ontology". Macmillan Encyclopedia of Philosophy, 2nd Edition (htt
ps://philpapers.org/rec/MONMEO-3). Macmillan.
7. Sandkühler, Hans Jörg (2010). "Ontologie: 2.1 Antike". Enzyklopädie Philosophie (https://me
iner.de/enzyklopadie-philosophie.html). Meiner. "Nach einer berühmten Formulierung von
Aristoteles (384-322 v. Chr.), der zwar wie auch Platon nicht den Ausdruck ›O.‹ verwendet,
sich jedoch der Sache nach in seiner ›ersten Philosophie‹ ausführlich damit befasst, lässt
sich O. charakterisieren als die Untersuchung des Seienden als Seiendem (to on he on)."
8. Flage, Daniel E. "Berkeley, George" (https://iep.utm.edu/berkeley/). Internet Encyclopedia of
Philosophy. Retrieved 4 January 2021.
9. Thomasson, Amie (2019). "Categories" (https://plato.stanford.edu/entries/categories/). The
Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University.
Retrieved 4 January 2021.
10. Sandkühler, Hans Jörg (2010). "Ontologie: 4 Aktuelle Debatten und Gesamtentwürfe".
Enzyklopädie Philosophie (https://meiner.de/enzyklopadie-philosophie.html). Meiner.
11. Honderich, Ted (2005). "particulars and non-particulars". The Oxford Companion to
Philosophy (https://philpapers.org/rec/HONTOC-2). Oxford University Press.
12. Craig, Edward (1996). "Particulars". Routledge Encyclopedia of Philosophy (https://philpape
rs.org/rec/BEAREO). Routledge.
13. MacLeod, Mary C. "Universals" (https://iep.utm.edu/universa/). Internet Encyclopedia of
14. The Editors of Encyclopaedia Britannica. "Realism - Universals" (https://www.britannica.co
m/topic/realism-philosophy/Universals). Encyclopedia Britannica. Retrieved 4 January 2021.
{{cite web}}: |last1= has generic name (help)
15. Honderich, Ted (2005). "Ontology". The Oxford Companion to Philosophy (https://philpapers.
org/rec/HONTOC-2). Oxford University Press.
16. Rosen, Gideon (2020). "Abstract Objects" (https://plato.stanford.edu/entries/abstract-object
s/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford
University. Retrieved 4 January 2021.
17. Honderich, Ted (2005). "abstract entities". The Oxford Companion to Philosophy (https://phil
papers.org/rec/HONTOC-2). Oxford University Press.
18. Craig, Edward (1996). "Abstract objects". Routledge Encyclopedia of Philosophy (https://phil
papers.org/rec/BEAREO). Routledge.
19. Sandkühler, Hans Jörg (2010). "Ontologie: 4.2.3 Ontologische Unabhängigkeit. Ganz grob
gesagt versteht man unter existenzieller oder ontologischer (im Gegensatz z.B. zu logischer)
Unabhängigkeit die Fähigkeit, ›alleine zu existieren‹.". Enzyklopädie Philosophie (https://me
iner.de/enzyklopadie-philosophie.html). Meiner.
20. Varzi, Achille (2015). "Boundary" (https://plato.stanford.edu/entries/boundary/). The Stanford
Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Retrieved
4 January 2021.
21. Tahko, Tuomas E.; Lowe, E. Jonathan (2020). "Ontological Dependence" (https://plato.stanfo
rd.edu/entries/dependence-ontological/). The Stanford Encyclopedia of Philosophy.
Metaphysics Research Lab, Stanford University. Retrieved 4 January 2021.
22. Erices, Gonzalo Nuñez (2019). "Boundaries and Things. A Metaphysical Study of the
Brentano-Chisholm Theory" (https://philpapers.org/rec/ERIBAT). Kriterion: Journal of
Philosophy. 33 (2): 15–48. doi:10.1515/krt-2019-330203 (https://doi.org/10.1515%2Fkrt-201
9-330203). S2CID 245494576 (https://api.semanticscholar.org/CorpusID:245494576).
23. Noonan, Harold; Curtis, Ben (2018). "Identity" (https://plato.stanford.edu/entries/identity/).
The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University.
24. Forrest, Peter (2020). "The Identity of Indiscernibles" (https://plato.stanford.edu/entries/identit
y-indiscernible/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab,
Stanford University. Retrieved 20 January 2021.
25. Black, Max (1952). "The Identity of Indiscernibles" (https://philpapers.org/rec/BLATIO-5).
Mind. 61 (242): 153–164. doi:10.1093/mind/LXI.242.153 (https://doi.org/10.1093%2Fmind%2
FLXI.242.153).
26. Cowling, Sam (2015). "Non-Qualitative Properties" (https://philpapers.org/rec/COWNP).
Erkenntnis. 80 (2): 275–301. doi:10.1007/s10670-014-9626-9 (https://doi.org/10.1007%2Fs1
0670-014-9626-9). S2CID 122265064 (https://api.semanticscholar.org/CorpusID:12226506
4).
27. Gallois, Andre (2016). "Identity Over Time" (https://plato.stanford.edu/entries/identity-time/).
28. Costa, Damiano. "Persistence in Time" (https://iep.utm.edu/per-time/). Internet Encyclopedia
of Philosophy. Retrieved 23 January 2021.
29. Hawley, Katherine (2020). "Temporal Parts" (https://plato.stanford.edu/entries/temporal-part
s/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford
30. Laan, David A. Vander (1997). "The Ontology of Impossible Worlds" (https://philpapers.org/r
ec/VANTOO). Notre Dame Journal of Formal Logic. 38 (4): 597–620.
doi:10.1305/ndjfl/1039540772 (https://doi.org/10.1305%2Fndjfl%2F1039540772).
31. Menzel, Christopher (2017). "Possible Worlds" (https://plato.stanford.edu/entries/possible-w
orlds/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford
32. Parent, Ted. "Modal Metaphysics" (https://iep.utm.edu/mod-meta/). Internet Encyclopedia of
33. Davidson, Matthew (2019). "God and Other Necessary Beings" (https://plato.stanford.edu/en
tries/god-necessary-being/). The Stanford Encyclopedia of Philosophy. Metaphysics
Research Lab, Stanford University. Retrieved 5 January 2021.
34. Reichenbach, Bruce (2019). "Cosmological Argument" (https://plato.stanford.edu/entries/cos
mological-argument/). The Stanford Encyclopedia of Philosophy. Metaphysics Research
Lab, Stanford University. Retrieved 6 January 2021.
35. "Contingent" (https://www.newadvent.org/cathen/04331a.htm). www.newadvent.org.
CATHOLIC ENCYCLOPEDIA. Retrieved 5 January 2021.
36. Kim, Jaegwon; Sosa, Ernest; Rosenkrantz, Gary S. (1994). "substance". A Companion to
Metaphysics (https://philpapers.org/rec/KIMACT-9). Wiley-Blackwell.
37. Robinson, Howard (2020). "Substance" (https://plato.stanford.edu/entries/substance/). The
38. Robertson Ishii, Teresa; Atkins, Philip (2020). "Essential vs. Accidental Properties" (https://pl
ato.stanford.edu/entries/essential-accidental/). The Stanford Encyclopedia of Philosophy.
Metaphysics Research Lab, Stanford University.
39. Orilia, Francesco; Paolini Paoletti, Michele (2020). "Properties" (https://plato.stanford.edu/en
tries/properties/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab,
Stanford University.
40. Benovsky, Jiri (2008). "The Bundle Theory and the Substratum Theory: Deadly Enemies or
Twin Brothers?" (https://philpapers.org/rec/BENTBT-2). Philosophical Studies. 141 (2): 175–
190. doi:10.1007/s11098-007-9158-0 (https://doi.org/10.1007%2Fs11098-007-9158-0).
S2CID 18712931 (https://api.semanticscholar.org/CorpusID:18712931).
41. Rodriguez-Pereyra, Gonzalo (2004). "The Bundle Theory is Compatible with Distinct but
Indiscernible Particulars" (https://philpapers.org/rec/ERETBT). Analysis. 64 (1): 72–81.
doi:10.1093/analys/64.1.72 (https://doi.org/10.1093%2Fanalys%2F64.1.72).
42. Kriegel, Uriah (2019). "Introverted Metaphysics: How We Get Our Grip on the Ultimate
Nature of Objects, Properties, and Causation" (https://philpapers.org/rec/KRIIMH).
Metaphilosophy. 50 (5): 688–707. doi:10.1111/meta.12391 (https://doi.org/10.1111%2Fmeta.
12391). S2CID 211938090 (https://api.semanticscholar.org/CorpusID:211938090).
43. Choi, Sungho; Fara, Michael (2018). "Dispositions" (https://plato.stanford.edu/entries/disposi
tions/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford
University.
44. Rubenstein, Eric M. "Color" (https://iep.utm.edu/color/). Internet Encyclopedia of Philosophy.
45. Honderich, Ted (2005). "relations". The Oxford Companion to Philosophy (https://philpapers.
org/rec/HONTOC-2). Oxford University Press.
46. MacBride, Fraser (2020). "Relations" (https://plato.stanford.edu/entries/relations/). The
47. Honderich, Ted (2005). "relations, the nature of". The Oxford Companion to Philosophy (http
s://philpapers.org/rec/HONTOC-2). Oxford University Press.
48. Allen, Sophie. "Properties" (https://iep.utm.edu/properties/). Internet Encyclopedia of
49. Borchert, Donald (2006). "Relations, Internal and External". Macmillan Encyclopedia of
Philosophy, 2nd Edition (https://philpapers.org/rec/BORMEO). Macmillan.
50. Meinertsen, Bo R. (2018). Metaphysics of States of Affairs: Truthmaking, Universals, and a
Farewell to Bradley's Regress (https://philpapers.org/rec/MEIMOS-2). Springer Singapore.
p. 1.
51. Textor, Mark (2020). "States of Affairs" (https://plato.stanford.edu/entries/states-of-affairs/).
52. Wittgenstein, Ludwig; Colombo, G. C. M.; Russell, Bertrand (1922). Tractatus Logico-
Philosophicus (https://philpapers.org/rec/WITTL-14). Fratelli Bocca.
53. Armstrong, D. M. (1996). A World of States of Affairs (https://philpapers.org/rec/ARMAWO-3).
Cambridge University Press.
54. Asay, Jamin. "Truthmaker Theory" (https://iep.utm.edu/truth-ma/). Internet Encyclopedia of
55. Honderich, Ted (2005). "events". The Oxford Companion to Philosophy (https://philpapers.or
g/rec/HONTOC-2). Oxford University Press.
56. Kim, Jaegwon; Sosa, Ernest; Rosenkrantz, Gary S. (1994). "event theory". A Companion to
Metaphysics (https://philpapers.org/rec/KIMACT-9). Wiley-Blackwell.
57. Craig, Edward (1996). "processes". Routledge Encyclopedia of Philosophy (https://philpaper
s.org/rec/BEAREO). Routledge.
58. Audi, Robert (1999). "event". The Cambridge Dictionary of Philosophy (https://philpapers.or
g/rec/AUDTCD-2). Cambridge University Press.
59. Schneider, Susan. "Events" (https://iep.utm.edu/events/). Internet Encyclopedia of
Philosophy.
60. Seibt, Johanna (2020). "Process Philosophy" (https://plato.stanford.edu/entries/process-phil
osophy/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford
61. Hustwit, J. R. "Process Philosophy" (https://iep.utm.edu/processp/). Internet Encyclopedia of
62. Thomasson, A.L. (2007). Ordinary Objects, Oxford University Press, New York,
ISBN 9780195319910, p. 7: "I argue that while there are various ways of addressing
questions about what ‘things’ exist, ..."
63. Sandkühler, Hans Jörg (2010). "Zweifel, methodischer: 2 Zur Begriffs- und
Problemgeschichte. ›reale Dinge (entia realia)‹". Enzyklopädie Philosophie (https://meiner.d
e/enzyklopadie-philosophie.html). Meiner.
64. Eddington, A.S. (1928). The Nature of the Physical World: The Gifford Lectures 1927,
Macmillan, London, New York, reprinted 1929 p. ix: "... it is the distinctive characteristic of a
"thing" to have this substantiality."
65. Isham, C. J. 1995. Lectures on Quantum Theory: Mathematical and Structural Foundations.
London: Imperial College Press. ISBN 1-86094-000-5. pp. 63–7.
66. Hale, B (2009). "Realism and antirealism about abstract entities", pp. 65–73 in Jaegwon
Kim, Ernest Sosa, and Gary S. Rosenkrantz, A Companion to Metaphysics, 2nd edition,
Wiley–Blackwell, Chichester UK, ISBN 9781405152983.1
67. Simons, Peter (2009). "Ontology Meets Ontologies: Philosophers as Healers" (https://philpa
pers.org/rec/SMIOMO). Metascience. 18 (3): 469–473. doi:10.1007/s11016-009-9308-4 (http
s://doi.org/10.1007%2Fs11016-009-9308-4). S2CID 170379747 (https://api.semanticscholar.
org/CorpusID:170379747).
68. "Ontology" (https://www.merriam-webster.com/dictionary/ontology). www.merriam-
webster.com. Retrieved 16 February 2021.
69. Inwagen, Peter van (2011). "Relational Vs. Constituent Ontologies" (https://philpapers.org/re
c/VANRVC). Philosophical Perspectives. 25 (1): 389–405. doi:10.1111/j.1520-
8583.2011.00221.x (https://doi.org/10.1111%2Fj.1520-8583.2011.00221.x).
70. Paul, L. A. (2017). "A One Category Ontology". Being, Freedom, and Method: Themes From
the Philosophy of Peter van Inwagen (https://philpapers.org/rec/PAUAOC-4). Oxford
University Press.
71. Thomasson, Amie (2019). "Categories" (https://plato.stanford.edu/entries/categories/). The
Retrieved 27 December 2020.
72. Brassier, Ray (2015). "Deleveling: Against 'Flat Ontologies' ". Under Influence -
Philosophical Festival Drift (2014) (https://philpapers.org/rec/BRADAF). Omnia. pp. 64–80.
73. Epstein, Brian (2018). "Social Ontology" (https://plato.stanford.edu/entries/social-ontology/).
Retrieved 27 November 2020.
74. Jonathan Schaffer (2009). "On What Grounds What Metametaphysics" (http://www.jonathans
chaffer.org/grounds.pdf) (PDF). In Chalmers; Manley; Wasserman (eds.). Metametaphysics.
Oxford University Press. pp. 347–83. ISBN 978-0199546046.
75. Quine, Willard V. (1948). "On What There Is" (https://philpapers.org/rec/QUIOWT-11).
Review of Metaphysics. 2 (1): 21–38.
76. Bricker, Phillip (2016). "Ontological Commitment" (https://plato.stanford.edu/entries/ontologic
al-commitment/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab,
77. Lowe, E. J.; Lowe, Edward Joseph (2006). "2. The Four-Category Ontology and its Rivals".
The Four-Category Ontology: A Metaphysical Foundation for Natural Science (https://books.
google.com/books?id=s7ISDAAAQBAJ). Clarendon Press. ISBN 978-0-19-925439-2.
78. Miller, J. T. M. "Lowe, Edward Jonathan" (https://iep.utm.edu/lowe-ej/). Internet Encyclopedia
of Philosophy.
79. Tahko, Tuomas E. (2018). "Fundamentality" (https://plato.stanford.edu/entries/fundamentalit
y/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford
University.
80. Mehta, Neil (2017). "Can Grounding Characterize Fundamentality?" (https://philpapers.org/r
ec/NEICGC). Analysis. 77 (1): 74–79. doi:10.1093/analys/anx044 (https://doi.org/10.1093%2
Fanalys%2Fanx044).
81. Schaffer, Jonathan (1 January 2010). "Monism: The Priority of the Whole" (https://read.dukeu
press.edu/the-philosophical-review/article-abstract/119/1/31/2871/Monism-The-Priority-of-th
e-Whole). The Philosophical Review. 119 (1): 31–76. doi:10.1215/00318108-2009-025 (http
s://doi.org/10.1215%2F00318108-2009-025). ISSN 0031-8108 (https://www.worldcat.org/iss
n/0031-8108).
82. Poli, Roberto (2017). "Nicolai Hartmann" (https://plato.stanford.edu/entries/nicolai-hartmann/
#LeveReal). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab,
83. Hartmann, Nicolai (March 2012). "9 Dependence and Autonomy in the Hierarchy of Strata".
New Ways of Ontology (https://books.google.com/books?id=4PyJfVZn-rcC). Transaction
Publishers. ISBN 978-1-4128-4704-9.
84. Bergmann, Gustav (1960). "Ineffability, Ontology, and Method" (https://philpapers.org/rec/BE
RIOA). Philosophical Review. 69 (1): 18–40. doi:10.2307/2182265 (https://doi.org/10.2307%
2F2182265). JSTOR 2182265 (https://www.jstor.org/stable/2182265).
85. Rosenkrantz, Gary S. (2018). "Of Facts and Things" (https://philpapers.org/rec/ROSOFA).
International Journal of Philosophical Studies. 26 (5): 679–700.
doi:10.1080/09672559.2018.1542277 (https://doi.org/10.1080%2F09672559.2018.154227
7). S2CID 149893677 (https://api.semanticscholar.org/CorpusID:149893677).
86. Esfeld, Michael. " 'Thing' and 'Non-Thing' Ontologies". The Routledge Handbook of
Metametaphysics (https://philpapers.org/rec/ESFTAN).
87. Wittgenstein, Ludwig (2001). Tractatus Logico-philosophicus. Routledge. p. 5.
88. Rettler, Bradley; Bailey, Andrew M. (2017). "Object" (https://plato.stanford.edu/entries/objec
t/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford
University.
89. Armstrong, D. M. (29 July 2010). "4. States of Affairs". Sketch for a Systematic Metaphysics
(https://books.google.com/books?id=pbGI46EoQKEC). OUP Oxford. ISBN 978-0-19-
161542-9.
90. Skyrms, Brian (1981). "Tractarian Nominalism" (https://philpapers.org/rec/SKYTN).
Philosophical Studies. 40 (2): 199–206. doi:10.1007/BF00353791 (https://doi.org/10.1007%
2FBF00353791). S2CID 170360466 (https://api.semanticscholar.org/CorpusID:170360466).
91. Woleński, Jan (2020), "Reism" (https://plato.stanford.edu/archives/sum2020/entries/reism/),
in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Summer 2020 ed.),
Metaphysics Research Lab, Stanford University, retrieved 2021-07-28
92. Vallicella, William F. (2002). "III THE 'NO DIFFERENCE' THEORY". A Paradigm Theory of
Existence: Onto-Theology Vindicated (https://philpapers.org/rec/VALAPT-2). Kluwer
Academic Publishers. p. 88.
93. Robinson, Howard (2020). "Substance" (https://plato.stanford.edu/entries/substance/#BundT
heoVersSubsThinPart). The Stanford Encyclopedia of Philosophy. Metaphysics Research
Lab, Stanford University.
94. Rodriguez-Pereyra, Gonzalo (2019). "Nominalism in Metaphysics" (https://plato.stanford.ed
u/entries/nominalism-metaphysics/#NomAboUni). The Stanford Encyclopedia of
Philosophy. Metaphysics Research Lab, Stanford University.
95. Petrov, Vesselin (2011). "Chapter VI: Process ontology in the context of applied philosophy"
(https://books.google.com/books?id=bA_5CzzqkEMC&pg=PA137). In Vesselin Petrov (ed.).
Ontological Landscapes: Recent Thought on Conceptual Interfaces Between Science and
Philosophy. Ontos Verlag. pp. 137ff. ISBN 978-3-86838-107-8.
96. Bard, Jonathan B. L.; Rhee, Seung Y. (March 2004). "Ontologies in biology: design,
applications and future challenges" (https://www.nature.com/articles/nrg1295). Nature
Reviews Genetics. 5 (3): 213–222. doi:10.1038/nrg1295 (https://doi.org/10.1038%2Fnrg129
5). ISSN 1471-0064 (https://www.worldcat.org/issn/1471-0064). PMID 14970823 (https://pub
med.ncbi.nlm.nih.gov/14970823). S2CID 10618089 (https://api.semanticscholar.org/CorpusI
D:10618089).
97. Graham, Daniel W. 2006. Explaining the Cosmos: The Ionian Tradition of Scientific
Philosophy. Princeton: Princeton University Press. ISBN 9780691125404. Lay summary (htt
ps://press.princeton.edu/books/hardcover/9780691125404/explaining-the-cosmos).
98. "Ancient Atomism (Stanford Encyclopedia of Philosophy)" (http://plato.stanford.edu/entries/at
omism-ancient/). Plato.stanford.edu. Retrieved 2010-02-21.
99. Lloyd, G. E. R. (2006). Leucippus and Democritus. In D. M. Borchert (Ed.), Encyclopedia of
philosophy (2nd ed., Vol. 5, pp. 297–303). Macmillan Reference USA.
100. Aristotle, Metaphysics, I, 4, 985
101. Lawson, Clive; Latsis, John Spiro; Martins, Nuno, eds. (2007). Contributions to Social
Ontology (https://books.google.com/books?id=j5YEviKRlyIC). Routledge Studies in Critical
Realism. London: Routledge (published 2013). ISBN 9781136016066. Retrieved 3 Mar
2019.
102. Studtmann, Paul (2007-09-07). "Aristotle's Categories" (https://stanford.library.sydney.edu.a
u/entries/aristotle-categories/#FouFolDiv).
103. Larson, G. J., R. S. Bhattacharya, and K. Potter, eds. 2014. "Samkhya." Pp. 3–11 in The
Encyclopedia of Indian Philosophies 4. Princeton University Press. ISBN 978-0-691-60441-
1.
104. Schweizer, Paul (1993). "Mind/Consciousness Dualism in Sankhya-Yoga Philosophy" (http
s://philpapers.org/rec/SCHMDI). Philosophy and Phenomenological Research. 53 (4): 845–
859. doi:10.2307/2108256 (https://doi.org/10.2307%2F2108256). JSTOR 2108256 (https://w
ww.jstor.org/stable/2108256).
105. Ruzsa, Ferenc. "Sankhya" (https://iep.utm.edu/sankhya/). Internet Encyclopedia of
Philosophy. Retrieved 11 December 2020.
106. Mikel Burley (2012), Classical Samkhya and Yoga – An Indian Metaphysics of Experience,
Routledge, ISBN 978-0-415-64887-5, page 39-41
107. Lloyd Pflueger, Person Purity and Power in Yogasutra, in Theory and Practice of Yoga
(Editor: Knut Jacobsen), Motilal Banarsidass, ISBN 978-8120832329, pages 38-39
108. Kovoor T. Behanan (2002), Yoga: Its Scientific Basis, Dover, ISBN 978-0-486-41792-9,
pages 56-58
109. Bryant, Edwin. "Yoga Sutras of Patanjali" (https://iep.utm.edu/yoga/). Internet Encyclopedia
of Philosophy. Retrieved 11 December 2020.
110. Menon, Sangeetha. "Vedanta, Advaita" (https://iep.utm.edu/adv-veda/). Internet
Encyclopedia of Philosophy. Retrieved 11 December 2020.
111. Ranganathan, Shyam. "Hindu Philosophy" (https://iep.utm.edu/hindu-ph/). Internet
112. Gracia, Jorge; Newton, Lloyd (2016). "Medieval Theories of the Categories" (https://plato.sta
nford.edu/entries/medieval-categories/). The Stanford Encyclopedia of Philosophy.
Metaphysics Research Lab, Stanford University. Retrieved 1 January 2021.
113. Brower, Jeffrey (2018). "Medieval Theories of Relations" (https://plato.stanford.edu/entries/re
lations-medieval/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab,
Stanford University. Retrieved 1 January 2021.
114. Dahlstrom, D. O. (2004). "Ontology". New Catholic Encyclopedia (https://www.encyclopedia.
com/philosophy-and-religion/philosophy/philosophy-terms-and-concepts/ontology). Gale.
115. Nader El-Bizri, 'Ibn Sina and Essentialism, Review of Metaphysics, Vol. 54 (2001), pp. 753–
778.
116. Kerr, Gaven. "Aquinas: Metaphysics" (https://iep.utm.edu/aq-meta/). Internet Encyclopedia of
117. Brown, Christopher M. "Thomas Aquinas" (https://iep.utm.edu/aquinas/). Internet
118. Magee, Joseph (9 February 2020). "Ontology" (https://aquinasonline.com/ontology/).
Thomistic Philosophy Page. Retrieved 18 December 2020.
119. Magee, Joseph (4 February 2020). "Essence and Existence" (https://aquinasonline.com/ess
ence-and-existence/). Thomistic Philosophy Page. Retrieved 18 December 2020.
120. Craig, Edward (1996). "Aquinas, Thomas". Routledge Encyclopedia of Philosophy (https://p
hilpapers.org/rec/BEAREO). Routledge.
121. Borchert, Donald (2006). "Thomas Aquinas, St.". Macmillan Encyclopedia of Philosophy,
2nd Edition (https://philpapers.org/rec/MONMEO-3). Macmillan.
122. McInerny, Ralph; O'Callaghan, John (2018). "Saint Thomas Aquinas" (https://plato.stanford.e
du/entries/aquinas/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab,
Stanford University. Retrieved 18 December 2020.
123. Jaroszyski, Piotr (2018). "Summary of Part 2". Metaphysics or Ontology? (https://philpapers.
org/rec/JARMOO). Brill.
124. Borchert, Donald (2006). "Ontology, History of". Macmillan Encyclopedia of Philosophy, 2nd
Edition (https://philpapers.org/rec/MONMEO-3). Macmillan.
125. Sandkühler, Hans Jörg (2010). "Ontologie: 2 Zur Begriffs- und Problemgeschichte".
Enzyklopädie Philosophie (https://meiner.de/enzyklopadie-philosophie.html). Meiner.
126. Skirry, Justin. "Descartes, Rene: Mind-Body Distinction" (https://iep.utm.edu/descmind/).
Internet Encyclopedia of Philosophy. Retrieved 19 December 2020.
127. Smith, Kurt (2018). "Descartes' Theory of Ideas" (https://plato.stanford.edu/entries/descartes-
ideas/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford
University.
128. Nelson, Alan (1997). "Introduction: Descartes's Ontology" (https://philpapers.org/rec/NELIDO
-3). Topoi. 16 (2): 103–109. doi:10.1023/A:1005877628327 (https://doi.org/10.1023%2FA%3
A1005877628327). S2CID 170986842 (https://api.semanticscholar.org/CorpusID:17098684
2).
129. Rodriguez-Pereyra, Gonzalo (2008). "Descartes's Substance Dualism and His
Independence Conception of Substance" (https://philpapers.org/rec/RODDSD). Journal of
the History of Philosophy. 46 (1): 69–89. doi:10.1353/hph.2008.1827 (https://doi.org/10.135
3%2Fhph.2008.1827). S2CID 201736234 (https://api.semanticscholar.org/CorpusID:201736
234).
130. Robinson, Howard (2020). "Dualism" (https://plato.stanford.edu/entries/dualism/). The
131. Craig, Edward (1996). "Descartes, René". Routledge Encyclopedia of Philosophy (https://ph
ilpapers.org/rec/BEAREO). Routledge.
132. Dutton, Blake D. "Spinoza, Benedict De" (https://iep.utm.edu/spinoza/). Internet
133. Mander, William (2020). "Pantheism" (https://plato.stanford.edu/entries/pantheism/). The
Retrieved 21 December 2020.
134. Shein, Noa (2018). "Spinoza's Theory of Attributes" (https://plato.stanford.edu/entries/spinoz
a-attributes/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab,
135. Viljanen, Valtteri (2009). "Spinoza's Ontology". The Cambridge Companion to Spinoza's
Ethics (https://philpapers.org/rec/VILSO). Cambridge University Press. pp. 56–78.
136. Waller, Jason. "Spinoza, Benedict de: Metaphysics" (https://iep.utm.edu/spinoz-m/). Internet
137. Craig, Edward (1996). "Spinoza, Benedict de (1632-77)". Routledge Encyclopedia of
Philosophy (https://philpapers.org/rec/BEAREO). Routledge.
138. Craig, Edward (1996). "Wolff, Christian". Routledge Encyclopedia of Philosophy (https://phil
139. Hettche, Matt; Dyck, Corey (2019). "Christian Wolff" (https://plato.stanford.edu/entries/wolff-c
hristian/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford
140. Wolff, Christian (1963). Preliminary Discourse on Philosophy in General (https://philpapers.o
rg/rec/WOLPDO-2). Indianapolis: Bobbs-Merrill. pp. 45–6.
141. The Editors of Encyclopaedia Britannica. "Voluntarism" (https://www.britannica.com/topic/vol
untarism-philosophy). Encyclopedia Britannica. Retrieved 21 November 2020. {{cite
encyclopedia}}: |last1= has generic name (help)
142. Ortegat, P.; Walker, L. J. "Voluntarism". New Catholic Encyclopedia Volume 14 (https://www.
encyclopedia.com/religion/encyclopedias-almanacs-transcripts-and-maps/voluntarism).
p. 582.
143. Wicks, Robert (2019). "Arthur Schopenhauer" (https://plato.stanford.edu/entries/schopenhau
er/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford
University. Retrieved 21 November 2020.
144. Young, Julian (2005). "3. Metaphysics: The World as Will". Schopenhauer (https://philpaper
s.org/rec/YOUS). Routledge.
145. Frauenstädt, Julius (1871). "Objektivation". Schopenhauer-Lexikon. Ein Philosophisches
Wörterbuch, Nach Arthur Schopenhauers Sämmtlichen Schriften Und Handschriftlichem
Nachlass (http://www.schopenhauers-kosmos.de/Objektivation). F. A. Brockhaus.
146. Kastrup, Bernardo (31 July 2020). "10. Individuality and dissociation". Decoding
Schopenhauer's Metaphysics: The Key to Understanding How It Solves the Hard Problem of
Consciousness and the Paradoxes of Quantum Mechanics (https://books.google.com/book
s?id=-jDtDwAAQBAJ). John Hunt Publishing. ISBN 978-1-78904-427-0.
147. Gander, Hans-Helmuth (2009). "Ontologie". Husserl Lexikon (https://philpapers.org/rec/GAN
HL). Wissenschaftliche Buchgesellschaft.
148. Føllesdal, Dagfinn (2006). "Husserl's Reductions and the Role They Play in His
Phenomenology". A Companion to Phenomenology and Existentialism (https://onlinelibrary.
wiley.com/doi/10.1002/9780470996508.ch8). John Wiley & Sons, Ltd. pp. 105–114.
doi:10.1002/9780470996508.ch8 (https://doi.org/10.1002%2F9780470996508.ch8).
ISBN 978-0-470-99650-8.
149. Drummond, John J. (2009). "Formal ontology". Historical Dictionary of Husserl's Philosophy
(https://philpapers.org/rec/DRUHDO). Scarecrow Press.
150. Poli, Roberto (1993). "Husserl's Conception of Formal Ontology". History and Philosophy of
Logic. 14: 1–14. doi:10.1080/01445349308837207 (https://doi.org/10.1080%2F0144534930
8837207).
151. Moran, Dermot; Cohen, Joseph (2012). "Regional ontology". The Husserl Dictionary (https://
philpapers.org/rec/MORTHD). Continuum.
152. Drummond, John J. (2009). "Eidetic variation". Historical Dictionary of Husserl's Philosophy
(https://philpapers.org/rec/DRUHDO). Scarecrow Press.
153. Spear, Andrew D. "Husserl, Edmund: Intentionality and Intentional Content" (https://iep.utm.e
du/huss-int/). Internet Encyclopedia of Philosophy. Retrieved 22 December 2020.
154. Wheeler, Michael (2020). "Martin Heidegger" (https://plato.stanford.edu/entries/heidegger/).
155. Schalow, Frank (2010). "Ontological difference". Historical Dictionary of Heidegger's
Philosophy (https://philpapers.org/rec/SCHHDO-2). Scarecrow Press.
156. Korab-Karpowicz, W. J. "Heidegger, Martin" (https://iep.utm.edu/heidegge/). Internet
Encyclopedia of Philosophy.
157. Inwood, Michael (1999). "Ontology and fundamental ontology". A Heidegger Dictionary (http
s://philpapers.org/rec/INWAHD-3). Wiley-Blackwell.
158. Inwagen, Peter Van (1998). "Meta-Ontology" (https://philpapers.org/rec/VANM-3).
Erkenntnis. 48 (2–3): 233–50. doi:10.1023/A:1005323618026 (https://doi.org/10.1023%2F
A%3A1005323618026).
159. Inwood, Michael (1999). "History of being". A Heidegger Dictionary (https://philpapers.org/re
c/INWAHD-3). Wiley-Blackwell.
160. Hartmann, Nicolai (1935). "1. Kapitel. Die ontologische Grundfrage". Zur Grundlegung der
Ontologie (https://philpapers.org/rec/HARZGD-4). W. De Gruyter.
161. Aristotle; Reeve, C. D. C. (11 February 2016). "Book Epsilon". Metaphysics (https://books.go
ogle.com/books?id=prGgCwAAQBAJ). Hackett Publishing. ISBN 978-1-62466-441-0.
162. Spiegelberg, Herbert (1963). The Phenomenological Movement a Historical Introduction (htt
ps://philpapers.org/rec/SPITPM-6) (3rd ed.). M. Nijhoff. pp. 309–310.
163. Hartmann, Nicolai (1935). "12. Kapitel. Die Trennung von Dasein und Sosein". Zur
Grundlegung der Ontologie (https://philpapers.org/rec/HARZGD-4). W. De Gruyter.
164. Cicovacki, Predrag (2014). "I.3 Modifications of Being". The Analysis of Wonder: An
Introduction to the Philosophy of Nicolai Hartmann (https://books.google.com/books?id=IXn
HAgAAQBAJ). Bloomsbury Publishing USA. ISBN 978-1-62356-974-7.
165. Mohanty, J. N. (1997). "Chapter 3: Nicolai Hartmann's Phenomenological Ontology".
Phenomenology. Between Essentialism and Transcendental Philosophy. Northwestern
University Press.
166. Leitgeb, Hannes; Carus, André (2020). "Rudolf Carnap" (https://plato.stanford.edu/entries/ca
rnap/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford
167. Leitgeb, Hannes; Carus, André. "Rudolf Carnap > H. Tolerance, Metaphysics, and Meta-
Ontology (Stanford Encyclopedia of Philosophy" (https://plato.stanford.edu/entries/carnap/tol
erance-metaphysics.html). The Stanford Encyclopedia of Philosophy.
168. Murzi, Mauro. "Carnap, Rudolf" (https://iep.utm.edu/carnap/). Internet Encyclopedia of
169. Blatti, Stephan; Lapointe, Sandra (2016). "Introduction". Ontology After Carnap (https://philpa
pers.org/rec/SANOAC-5). Oxford University Press UK.
170. Craig, Edward (1996). "Carnap, Rudolf". Routledge Encyclopedia of Philosophy (https://phil
171. Craig, Edward (1996). "Ontological commitment". Routledge Encyclopedia of Philosophy (ht
tps://philpapers.org/rec/BEAREO). Routledge.
172. The Editors of Encyclopaedia Britannica. "Ontology" (https://www.britannica.com/topic/ontol
ogy-metaphysics). Encyclopedia Britannica. Retrieved 13 December 2020. {{cite
web}}: |last1= has generic name (help)
173. Bricker, Phillip (2016). "Ontological Commitment" (https://plato.stanford.edu/entries/ontologic
al-commitment/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab,
174. Magnus, P. D.; Ichikawa, Jonathan Jenkins (2020). "V. First-order logic". Forall X (https://phil
papers.org/rec/MAGFXU) (UBC ed.). Creative Commons: Attribution-ShareAlike 3.0.
175. Schaffer, Jonathan (2009). "On What Grounds What". Metametaphysics: New Essays on the
Foundations of Ontology (https://philpapers.org/rec/SCHOWG). Oxford University Press.
pp. 347–383.
176. Quine, Willard Van Orman (1948). "On What There Is" (https://philpapers.org/rec/QUIOWT-
7). Review of Metaphysics. 2 (5): 21–38.
177. Inwagen, Peter van (2004). "A Theory of Properties". Oxford Studies in Metaphysics, Volume
1 (https://philpapers.org/rec/VANATO-2). Clarendon Press. pp. 107–138.
178. Kapelner, Zsolt-kristof (2015). "3. Quinean Metaontology". Reconciling Quinean and neo-
Aristotelian Metaontology (http://www.etd.ceu.hu/2015/kapelner_zsolt-kristof.pdf) (PDF).
179. James, Paul (2006). Globalism, Nationalism, Tribalism: Bringing Theory Back In —Volume 2
of Towards a Theory of Abstract Community (https://www.academia.edu/1642214). London:
Sage Publications.
180. James, Paul (2014). "Urban Design in the Global South: Ontological Design in Practice" (htt
ps://www.academia.edu/9161853). In Tony Fry; Eleni Kalantidou (eds.). Design in the
Borderlands. London: Routledge.
181. Zalta, Edward N. 2009. "Fictional truth, objects, and characters." Pp. 267–69 in A
Companion to Metaphysics (2nd ed.), edited by J. Kim G. S. Rosenkrantz, and E. Sosa.
Chichester, UK: Wiley–Blackwell. ISBN 9781405152983. p. 267.
182. Thomasson, Amie L. (2009). "Fictional Entities" (https://uh.edu/~garson/Thomasson%20-%2
0Fictional%20Entities.pdf) (PDF). In Kim, Jaegwon; Sosa, Ernest; Rosenkrantz, Gary S.
(eds.). A Companion to Metaphysics (Second ed.). Wiley-Blackwell.
183. Harrison, R. (2009). Jeremy Bentham, p. 145 in A Companion to Metaphysics, ed. Kim, J.,
Rosenkrantz, G.S., Sosa, E., Wiley–Blackwell, Chichester UK, 2nd edition,
ISBN 9781405152983.
184. Stock, G. (2009). Francis Herbert Bradley, pp. 155–158 in A Companion to Metaphysics, ed.
Kim, J., Rosenkrantz, G.S., Sosa, E., Wiley–Blackwell, Chichester UK, 2nd edition,
ISBN 9781405152983, p. 157.
185. Kroon, Fred; Voltolini, Alberto (2018). "Fictional Entities" (https://plato.stanford.edu/archives/
win2018/entries/fictional-entities). In Zalta, Edward N. (ed.). The Stanford Encyclopedia of
Philosophy.
186. "Anselm: Ontological Argument for God's Existence" (https://www.iep.utm.edu/ont-arg/). IEP.
187. Smith, Barry. 2001. "Objects and Their Environments: From Aristotle to Ecological Ontology
(http://ontology.buffalo.edu/smith/articles/napflion.pdf)" The Life and Motion of
SocioEconomic Units (GIS data 8). London: Taylor & Francis. pp. 79–97.
188. Hyde, R. Bruce. "Listening Authentically: A Heideggerian Perspective on Interpersonal
Communication". In Interpretive Approaches to Interpersonal Communication, edited by
Kathryn Carter and Mick Presnell. State University of New York Press, 1994. ISBN 0-7914-
1847-2
189. Heidegger, Martin. 1971 [1959]. On the Way to Language. New York: Harper & Row.
original: 1959. Unterwegs zur Sprache Neske. Pfullingen.
190. Eldred, Michael. 2008. Social Ontology: Recasting Political Philosophy Through a
Phenomenology of Whoness (http://www.arte-fact.org/sclontlg.html). Frankfurt. ISBN 978-3-
938793-78-7. pp. xiv, 688.
191. Carvalko, Joseph (Summer 2005). Introduction to an Ontology of Intellectual Property. The
Scitech Lawyer, ABA.
192. Davidson, Donald (1974). "On the very idea of a conceptual scheme" (http://files.meetup.co
m/328570/davidson_on-the-very-idea.pdf) (PDF). Proceedings and Address of the American
Philosophical Association. 47: 5–20. Davidson refers to a 'ketch' and a 'yawl' (p. 18).
193. Kriegel, Uriah (2011). "Two defenses of common-sense ontology" (https://web.archive.org/w
eb/20181221041700/http://uriahkriegel.com/downloads/defenses.pdf) (PDF). Dialectica. 65
(2): 177–204. doi:10.1111/j.1746-8361.2011.01262.x (https://doi.org/10.1111%2Fj.1746-836
1.2011.01262.x). Archived from the original (http://www.uriahkriegel.com/downloads/defense
s.pdf) (PDF) on 2018-12-21. Retrieved 2013-04-27.
194. Hirsch, Eli. 2011. "Physical-object ontology, verbal disputes and common sense (https://boo
ks.google.com/books?id=iPRqtcjeHPsC&pg=PA144)." Pp. 144–77 in Quantifier Variance
and Realism: Essays in Metaontology. New York: Oxford University Press. ISBN 978-0-19-
973211-1. First published as "Physical-Object Ontology, Verbal Disputes, and Common
Sense (http://onlinelibrary.wiley.com/doi/10.1111/j.1933-1592.2005.tb00506.x/abstract)."
195. Hirsch, Eli. 2011. "Quantifier variance and realism (https://books.google.com/books?id=iPRq
tcjeHPsC&pg=PA68)." Pp. 68–95 in Quantifier Variance and Realism: Essays in
Metaontology. New York: Oxford University Press. ISBN 978-0-19-973211-1. First published
as "Quantifier variance and realism (http://onlinelibrary.wiley.com/doi/10.1111/j.1758-2237.2
002.tb00061.x/abstract)."
196. Hirsch, Eli (2004). "Sosa's Existential Relativism" (https://books.google.com/books?id=Moz8
OeX4w8AC&pg=PA224). In John Greco (ed.). Ernest Sosa and His Critics. Blackwell.
pp. 224–232. ISBN 978-0-470-75547-1.
197. Harvey, F. 2006. "Ontology. Pp. 341–43 in Encyclopedia of Human Geography, edited by B.
Warf. Thousand Oaks, CA: SAGE Publications.
198. Scott, Michael W. (2013). "The anthropology of ontology (religious science?)" (https://www.js
tor.org/stable/42001687). The Journal of the Royal Anthropological Institute. 19 (4): 859–
872. doi:10.1111/1467-9655.12067 (https://doi.org/10.1111%2F1467-9655.12067).
JSTOR 42001687 (https://www.jstor.org/stable/42001687). "Since roughly the 1990s, a
growing number of anthropologists have become interested in the study of ontology – the
investigation and theorization of diverse experiences and understandings of the nature of
being itself. This generally takes the form of ethnographic accounts of indigenous non-
Western modes and models of being, presented in more or less explicit contrast with
aspects of a Euro-American or modern ontology imputed to conventional anthropology."
199. Heywood, Paolo (2012). "Anthropology and What There Is: Reflections on 'Ontology' " (http
s://www.jstor.org/stable/43610895). The Cambridge Journal of Anthropology. 30 (1): 143–
151. doi:10.3167/ca.2012.300112 (https://doi.org/10.3167%2Fca.2012.300112). ISSN 0305-
7674 (https://www.worldcat.org/issn/0305-7674). JSTOR 43610895 (https://www.jstor.org/sta
ble/43610895).
200. Ludwig, David; Weiskopf, Daniel A. (September 2019). "Ethnoontology: Ways of world‐
building across cultures" (https://doi.org/10.1111%2Fphc3.12621). Philosophy Compass. 14
(9). doi:10.1111/phc3.12621 (https://doi.org/10.1111%2Fphc3.12621). S2CID 199516840 (ht
tps://api.semanticscholar.org/CorpusID:199516840). "Consider the animism debate.
Animists consider nonhuman entities (e.g., plants, forests, or rivers) as intentional actors
(Harvey, 2005). There is substantial evidence that animism is a widespread metaphysical
view. For example, the Nayaka people of South India consider not only certain animals but
also stones, hills, cups, and knives to be devaru: beings that stand in active, quasi-social
relationships with them (Bird-David, 1999). Devaru are aspects of a larger kin structure that
incorporates potential "partners" in the nonhuman world. In addition to these ethnographic
observations, there are intriguing cross-cultural similarities in animist ontologies. Indigenous
communities around the world tend to be much more permissive in their ascription of
intentionality than Western participants (Ojalehto, Douglas, & García, 2017)."
201. Whitehead, Alfred N. 1929. Process and Reality. Cambridge: Cambridge University Press.
passim.
202. Armstrong, D.M. (1997). A World of States of Affairs, Cambridge University Press,
Cambridge, ISBN 0-521-58064-1, p. 1.
203. "Definition of MICROCOSM" (https://www.merriam-webster.com/dictionary/microcosm).
www.merriam-webster.com. Retrieved 2022-09-13.
204. Kaiser, D. 1994. "Niels Bohr's legacy in contemporary particle physics." Pp. 257–268 in
Niels Bohr and Contemporary Philosophy, edited by J. Faye and H. J. Folse. Dordrecht, HL:
Springer. ISBN 978-90-481-4299-6. s. 4 ("Questions of ontology and particle physics
phenomenology"). pp. 262–64.
205. Szatkowski, Miroslaw, ed. 2012. Ontological Proofs Today. Ontos Verlag. p. 22.
206. Christoph Benzmuller and Bruno Woltzenlogel Paleo (2014) Automating Godel’s
Ontological Proof of God’s Existence with Higher-order Automated Theorem Provers (https://
page.mi.fu-berlin.de/cbenzmueller/papers/C40.pdf)
207. Mulla_Sadra Argument for the Existence of God: An Islamic Response to Hume and Kant (ht
tps://www.academia.edu/8187996/Mulla_Sadras_Seddiqin_Argument_for_the_Existence_o
f_God_An_Islamic_Response_to_Hume_and_Kant)
208. Allama Tabatabai A celebrated proof for the existence of God (fourteenth essay) (https://ww
w.iranicaonline.org/articles/tabatabai-mohammad-hosayn)
209. Hintikka, Jaakko. 1998. Paradigms for Language Theory and Other Essays. Dordrecht:
Springer Science+Business Media. ISBN 978-90-481-4930-8. p. 3.
External links
"Ontology" (https://en.wikisource.org/wiki/1911_Encyclop%C3%A6dia_Britannica/Ontolog
y). Encyclopædia Britannica. Vol. 20 (11th ed.). 1911. p. 118.
"Logic and Ontology" (https://plato.stanford.edu/entries/logic-ontology/) entry by Thomas
Hofweber in the Stanford Encyclopedia of Philosophy, October 11, 2017
Retrieved from "https://en.wikipedia.org/w/index.php?title=Ontology&oldid=1165826199"

Ontology

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Ontology

Uploaded by

Copyright:

Available Formats

Ontology

In metaphysics, ontology is the philosophical

Ontology addresses questions like how entities are

in 1606 in the Ogdoas Scholastica by Jacob Lorhard (Lorhardus), and

Particulars and universals

Abstract and concrete

Properties and relations

An important distinction among properties is between categorical and dispositional properties.[6][42]

States of affairs and events

Flat vs polycategorical vs hierarchical

Thing ontologies vs fact ontologies

Constituent ontologies vs blob theories

Information science and natural sciences

1. Upper ontology: concepts supporting development of an ontology, meta-ontology.

The materialist atomism proposed by Leucippus was indeterminist, but

1. according to the various categories or ways of addressing a being as such

Other ontological topics

Ontology of fictional characters

'Nero worshipped (the god) Mars;'

According to Amie L. Thomasson, fictional discourse can be of four sorts:

Uttered within works of fiction;

Jeremy Bentham distinguished three kinds of entities:[183]

the genuinely historical;

Ontological and epistemological certainty

Body and environment, questioning the meaning of being

Ontology and language

Ontology and human geography

Reality and actuality

Hintikka's locution for existence

Retrieved from "https://en.wikipedia.org/w/index.php?title=Ontology&oldid=1165826199"

You might also like