stringtranslate.com

Ontology

Ontology is the philosophical study of being. As one of the most fundamental concepts, being encompasses all of reality and every entity within it. To articulate the basic structure of being, ontology examines what all entities have in common and how they are divided into fundamental classes, known as categories. An influential distinction is between particular and universal entities. Particulars are unique, non-repeatable entities, like the person Socrates. Universals are general, repeatable entities, like the color green. Another contrast is between concrete objects existing in space and time, like a tree, and abstract objects existing outside space and time, like the number 7. Systems of categories aim to provide a comprehensive inventory of reality, employing categories such as substance, property, relation, state of affairs, and event.

Ontologists disagree about which entities exist on the most basic level. Platonic realism asserts that universals have objective existence. Conceptualism says that universals only exist in the mind while nominalism denies their existence. There are similar disputes about mathematical objects, unobservable objects assumed by scientific theories, and moral facts. Materialism says that, fundamentally, there is only matter while dualism asserts that mind and matter are independent principles. According to some ontologists, there are no objective answers to ontological questions but only perspectives shaped by different linguistic practices.

Ontology uses diverse methods of inquiry. They include the analysis of concepts and experience, the use of intuitions and thought experiments, and the integration of findings from natural science. Applied ontology employs ontological theories and principles to study entities belonging to a specific area. It is of particular relevance to information and computer science, which develop conceptual frameworks of limited domains. These frameworks are used to store information in a structured way, such as a college database tracking academic activities. Ontology is closely related to metaphysics and relevant to the fields of logic, theology, and anthropology.

The origins of ontology lie in the ancient period with speculations about the nature of being and the source of the universe, including ancient Indian, Chinese, and Greek philosophy. In the modern period, philosophers conceived ontology as a distinct academic discipline and coined its name.

Definition

Ontology is the study of being. It is the branch of philosophy that investigates the nature of existence, the features all entities have in common, and how they are divided into basic categories of being.[1] It aims to discover the foundational building blocks of the world and characterize reality as a whole in its most general aspects.[a] In this regard, ontology contrasts with individual sciences like biology and astronomy, which restrict themselves to a limited domain of entities, such as living entities and celestial phenomena.[3] In some contexts, the term ontology refers not to the general study of being but to a specific ontological theory within this discipline. It can also mean a conceptual scheme or inventory of a particular domain.[4]

Ontology is closely related to metaphysics but the exact relation of these two disciplines is disputed. According to a traditionally influential characterization, metaphysics is the study of fundamental reality in the widest sense while ontology is the subdiscipline of metaphysics that restricts itself to the most general features of reality.[5] This view sees ontology as general metaphysics, which is to be distinguished from special metaphysics focused on more specific subject matters, like God, mind, and value.[6] A different conception understands ontology as a preliminary discipline that provides a complete inventory of reality while metaphysics examines the features and structure of the entities in this inventory.[7] Another conception says that metaphysics is about real being while ontology examines possible being or the concept of being.[8] It is not universally accepted that there is a clear boundary between metaphysics and ontology. Some philosophers use both terms as synonyms.[9]

The word ontology has its roots in the ancient Greek terms ὄντως (ontos, meaning being) and λογία (logia, meaning study of), literally, the study of being. The ancient Greeks did not use the term ontology, which was coined by philosophers in the 17th century.[10]

Basic concepts

Being

The scope of ontology covers diverse entities, including everyday objects, living beings, celestial bodies, ideas, numbers, and fictional creatures.

Being, or existence, is the main topic of ontology. It is one of the most general and fundamental concepts, encompassing the whole of reality and every entity within it.[b] In its widest sense, being only contrasts with non-being or nothingness.[12] It is controversial whether a more substantial analysis of the concept or meaning of being is possible.[13] One proposal understands being as a property possessed by every entity.[14] Critics of this view argue that an entity without being cannot have any properties, meaning that being cannot be a property since properties presuppose being.[15] A different suggestion says that all beings share a set of essential features. According to the Eleatic principle, "power is the mark of being", meaning that only entities with a causal influence truly exist.[16] According to a controversial proposal by philosopher George Berkeley, all existence is mental, expressed in his slogan "to be is to be perceived".[17]

Depending on the context, the term being is sometimes used with a more limited meaning to refer only to certain aspects of reality. In one sense, being is unchanging and impermanent and is distinguished from becoming, which implies change.[18] Another contrast is between being, as what truly exists, and phenomena, as what merely appears to exist.[19] In some contexts, being expresses the fact that something is while essence expresses its qualities or what it is like.[20]

Ontologists often divide being into fundamental classes or highest kinds, called categories of being.[21] Proposed categories include substance, property, relation, state of affairs, and event.[22] They can be used to provide systems of categories, which offer a comprehensive inventory of reality in which every entity belongs to exactly one category.[21] Some philosophers, like Aristotle, say that entities belonging to different categories exist in distinct ways. Others, like John Duns Scotus, insist that there are no differences in the mode of being, meaning that everything exists in the same way.[23] A related dispute is whether some entities have a higher degree of being than others, an idea already found in Plato's work. The more common view in contemporary philosophy is that a thing either exists or not with no intermediary states or degrees.[24]

The relation between being and non-being is a frequent topic in ontology. Influential issues include the status of nonexistent objects[25] and why there is something rather than nothing.[26]

Particulars and universals

The Taj Mahal is a particular entity while the color green is a universal entity.

A central distinction in ontology is between particular and universal entities. Particulars, also called individuals, are unique, non-repeatable entities, like Socrates, the Taj Mahal, and Mars.[27] Universals are general, repeatable entities, like the color green, the form circularity, and the virtue courage. Universals express aspects or features shared by particulars. For example, Mount Everest and Mount Fuji are particulars characterized by the universal mountain.[28]

Universals can take the form of properties or relations.[29][c] Properties express what entities are like. They are features or qualities possessed by an entity.[31] Properties are often divided into essential and accidental properties. A property is essential if an entity must have it; it is accidental if the entity can exist without it.[32] For instance, having three sides is an essential property of a triangle while being red is an accidental property.[33][d] Relations are ways how two or more entities stand to one another. Unlike properties, they apply to several entities and characterize them as a group.[35] For example, being a city is a property while being east of is a relation, as in "Kathmandu is a city" and "Kathmandu is east of New Delhi".[36] Relations are often divided into internal and external relations. Internal relations depend only on the properties of the objects they connect, like the relation of resemblance. External relations express characteristics that go beyond what the connected objects are like, such as spatial relations.[37]

Substances[e] play an important role in the history of ontology as the particular entities that underlie and support properties and relations. They are often considered the fundamental building blocks of reality that can exist on their own, while entities like properties and relations cannot exist without substances. Substances persist through changes as they acquire or lose properties. For example, when a tomato ripens, it loses the property green and acquires the property red.[39]

States of affairs are complex particular entities that have several other entities as their components. The state of affairs "Socrates is wise" has two components: the individual Socrates and the property wise. States of affairs that correspond to reality are called facts.[40][f] Facts are truthmakers of statements, meaning that whether a statement is true or false depends on the underlying facts.[42]

Events are particular entities[g] that occur in time, like the fall of the Berlin Wall and the first moon landing. They usually involve some kind of change, like the lawn becoming dry. In some cases, no change occurs, like the lawn staying wet.[44] Complex events, also called processes, are composed of a sequence of events.[45]

Concrete and abstract objects

Concrete objects are entities that exist in space and time, like a tree, a car, and a planet. They have causal powers and can affect each other, as is the case when a car hits a tree and both are deformed in the process. Abstract objects, by contrast, are outside space and time, like the number 7 and the set of integers. They lack causal powers and do not undergo changes.[46][h] It is controversial whether or in what sense abstract objects exist and how people can know about them.[48]

Concrete objects encountered in everyday life are complex entities composed of various parts. For example, a book is made up of two covers and pages between them. Each of these components is itself constituted of smaller parts, like molecules, atoms, and elementary particles.[49] Mereology studies the relation between parts and wholes. One position in mereology says that every collection of entities forms a whole. According to a different view, this is only the case for collections that fulfill certain requirements, for instance, that the entities in the collection touch one another.[50] The problem of material constitution asks whether or in what sense a whole should be considered a new object in addition to the collection of parts composing it.[51]

Abstract objects are closely related to fictional and intentional objects. Fictional objects are entities invented in works of fiction. They can be things, like the One Ring in J. R. R. Tolkien's book series The Lord of the Rings, and people, like the Monkey King in the novel Journey to the West.[52] Some philosophers say that fictional objects are one type of abstract object, existing outside space and time. Others understand them as artifacts that are created as the works of fiction are written.[53] Intentional objects are entities that exist within mental states, like perceptions, beliefs, and desires. For example, if a person thinks about the Loch Ness Monster then the Loch Ness Monster is the intentional object of this thought. People can think about existing and non-existing objects, making it difficult to assess the ontological status of intentional objects.[54]

Other concepts

Ontological dependence is a relation between entities. An entity depends ontologically on another entity if the first entity cannot exist without the second entity.[55] For instance, the surface of an apple cannot exist without the apple.[56] An entity is ontologically independent if it does not depend on anything else, meaning that it is fundamental and can exist on its own. Ontological dependence plays a central role in ontology and its attempt to describe reality on its most fundamental level.[57] It is closely related to metaphysical grounding, which is the relation between a ground and facts it explains.[58]

Photo of Willard Van Orman Quine
Willard Van Orman Quine used the concept of ontological commitments to analyze theories.

An ontological commitment of a person or a theory is an entity that exists according to them.[59] For instance, a person who believes in God has an ontological commitment to God.[60] Ontological commitments can be used to analyze which ontologies people explicitly defend or implicitly assume. They play a central role in contemporary metaphysics when trying to decide between competing theories. For example, the Quine–Putnam indispensability argument defends mathematical Platonism, asserting that numbers exist because the best scientific theories are ontologically committed to numbers.[61]

Possibility and necessity are further topics in ontology. Possibility describes what can be the case, as in "it is possible that extraterrestrial life exists". Necessity describes what must be the case, as in "it is necessary that three plus two equals five". Possibility and necessity contrast with actuality, which describes what is the case, as in "Doha is the capital of Qatar". Ontologists often use the concept of possible worlds to analyze possibility and necessity.[62] A possible world is a complete and consistent way how things could have been.[63] For example, Haruki Murakami was born in 1949 in the actual world but there are possible worlds in which he was born at a different date. Using this idea, possible world semantics says that a sentence is possibly true if it is true in at least one possible world. A sentence is necessarily true if it is true in all possible worlds.[64]

In ontology, identity means that two things are the same. Philosophers distinguish between qualitative and numerical identity. Two entities are qualitatively identical if they have exactly the same features, such as perfect identical twins. This is also called exact similarity and indiscernibility. Numerical identity, by contrast, means that there is only a single entity. For example, if Fatima is the mother of Leila and Hugo then Leila's mother is numerically identical to Hugo's mother.[65] Another distinction is between synchronic and diachronic identity. Synchronic identity relates an entity to itself at the same time. Diachronic identity relates an entity to itself at different times, as in "the woman who bore Leila three years ago is the same woman who bore Hugo this year".[66]

Branches

There are different and sometimes overlapping ways to divide ontology into branches. Pure ontology focuses on the most abstract topics associated with the concept and nature of being. It is not restricted to a specific domain of entities and studies existence and the structure of reality as a whole.[67] Pure ontology contrasts with applied ontology, also called domain ontology. Applied ontology examines the application of ontological theories and principles to specific disciplines and domains, often in the field of science.[68] It considers ontological problems in regard to specific entities such as matter, mind, numbers, God, and cultural artifacts.[69]

Social ontology, a major subfield of applied ontology, studies social kinds, like money, gender, society, and language. It aims to determine the nature and essential features of these concepts while also examining their mode of existence.[70] According to a common view, social kinds are useful constructions to describe the complexities of social life. This means that they are not pure fictions but, at the same time, lack the objective or mind-independent reality of natural phenomena like elementary particles, lions, and stars.[71] In the fields of computer science, information science, and knowledge representation, applied ontology is interested in the development of formal frameworks to encode and store information about a limited domain of entities in a structured way.[72] A related application in genetics is Gene Ontology, which is a comprehensive framework for the standardized representation of gene-related information across species and databases.[73]

Formal ontology is the study of objects in general while focusing on their abstract structures and features. It divides objects into different categories based on the forms they exemplify. Formal ontologists often rely on the tools of formal logic to express their findings in an abstract and general manner.[74][i] Formal ontology contrasts with material ontology, which distinguishes between different areas of objects and examines the features characteristic of a specific area.[76] Examples are ideal spatial beings in the area of geometry and living beings in the area of biology.[77]

Descriptive ontology aims to articulate the conceptual scheme underlying how people ordinarily think about the world. Prescriptive ontology departs from common conceptions of the structure of reality and seeks to formulate a new and better conceptualization.[78]

Another contrast is between analytic and speculative ontology. Analytic ontology examines the types and categories of being to determine what kinds of things could exist and what features they would have. Speculative ontology aims to determine which entities actually exist, for example, whether there are numbers or whether time is an illusion.[79]

Martin Heidegger proposed fundamental ontology to study the meaning of being.

Metaontology studies the underlying concepts, assumptions, and methods of ontology. Unlike other forms of ontology, it does not ask "what exists" but "what does it mean for something to exist" and "how can people determine what exists".[80] It is closely related to fundamental ontology, an approach developed by philosopher Martin Heidegger that seeks to uncover the meaning of being.[81]

Schools of thought

Realism and anti-realism

The term realism is used for various theories[j] that affirm that some kind of phenomenon is real or has mind-independent existence. Ontological realism is the view that there are objective facts about what exists and what the nature and categories of being are. Ontological realists do not make claims about what those facts are, for example, whether elementary particles exist. They merely state that there are mind-independent facts that determine which ontological theories are true.[83] This idea is denied by ontological anti-realists, also called ontological deflationists, who say that there are no substantive facts one way or the other.[84] According to philosopher Rudolf Carnap, for example, ontological statements are relative to language and depend on the ontological framework of the speaker. This means that there are no framework-independent ontological facts since different frameworks provide different views while there is no objectively right or wrong framework.[85]

Fresco showing Plato and Aristotle
Plato (left) and Aristotle (right) disagreed on whether universals can exist without matter.

In a more narrow sense, realism refers to the existence of certain types of entities.[86] Realists about universals say that universals have mind-independent existence. According to Platonic realists, universals exist not only independent of the mind but also independent of particular objects that exemplify them. This means that the universal red could exist by itself even if there were no red objects in the world. Aristotelian realism, also called moderate realism, rejects this idea and says that universals only exist as long as there are objects that exemplify them. Conceptualism, by contrast, is a form of anti-realism, stating that universals only exist in the mind as concepts that people use to understand and categorize the world. Nominalists defend a strong form of anti-realism by saying that universals have no existence. This means that the world is entirely composed of particular objects.[87]

Mathematical realism, a closely related view in the philosophy of mathematics, says that mathematical facts exist independently of human language, thought, and practices and are discovered rather than invented. According to mathematical Platonism, this is the case because of the existence of mathematical objects, like numbers and sets. Mathematical Platonists say that mathematical objects are as real as physical objects, like atoms and stars, even though they are not accessible to empirical observation.[88] Influential forms of mathematical anti-realism include conventionalism, which says that mathematical theories are trivially true simply by how mathematical terms are defined, and game formalism, which understands mathematics not as a theory of reality but as a game governed by rules of string manipulation.[89]

Modal realism is the theory that in addition to the actual world, there are countless possible worlds as real and concrete as the actual world. The primary difference is that the actual world is inhabited by us while other possible worlds are inhabited by our counterparts. Modal anti-realists reject this view and argue that possible worlds do not have concrete reality but exist in a different sense, for example, as abstract or fictional objects.[90]

Scientific realists say that the scientific description of the world is an accurate representation of reality.[k] It is of particular relevance in regard to things that cannot be directly observed by humans but are assumed to exist by scientific theories, like electrons, forces, and laws of nature. Scientific anti-realism says that scientific theories are not descriptions of reality but instruments to predict observations and the outcomes of experiments.[92]

Moral realists claim that there exist mind-independent moral facts. According to them, there are objective principles that determine which behavior is morally right. Moral anti-realists either claim that moral principles are subjective and differ between persons and cultures, a position known as moral relativism, or outright deny the existence of moral facts, a view referred to as moral nihilism.[93]

By number of categories

Monocategorical theories say that there is only one fundamental category, meaning that every single entity belongs to the same universal class.[94] For example, some forms of nominalism state that only concrete particulars exist while some forms of bundle theory state that only properties exist.[95] Polycategorical theories, by contrast, hold that there is more than one basic category, meaning that entities are divided into two or more fundamental classes. They take the form of systems of categories, which list the highest genera of being to provide a comprehensive inventory of everything.[96]

The closely related discussion between monism and dualism is about the most fundamental types that make up reality. According to monism, there is only one kind of thing or substance on the most basic level.[97] Materialism is an influential monist view; it says that everything is material. This means that mental phenomena, such as beliefs, emotions, and consciousness, either do not exist or exist as aspects of matter, like brain states. Idealists take the converse perspective, arguing that everything is mental. They may understand physical phenomena, like rocks, trees, and planets, as ideas or perceptions of conscious minds.[98] Neutral monism occupies a middle ground by saying that both mind and matter are derivative phenomena.[99] Dualists state that mind and matter exist as independent principles, either as distinct substances or different types of properties.[100] In a slightly different sense, monism contrasts with pluralism as a view not about the number of basic types but the number of entities. In this sense, monism is the controversial position that only a single all-encompassing entity exists in all of reality.[l] Pluralism is more commonly accepted and says that several distinct entities exist.[102]

By fundamental categories

The historically influential substance-attribute ontology is a polycategorical theory. It says that reality is at its most fundamental level made up of unanalyzable substances that are characterized by universals, such as the properties an individual substance has or relations that exist between substances.[103] The closely related to substratum theory says that each concrete object is made up of properties and a substratum. The difference is that the substratum is not characterized by properties: it is a featureless or bare particular that merely supports the properties.[104]

Various alternative ontological theories have been proposed that deny the role of substances as the foundational building blocks of reality.[105] Stuff ontologies say that the world is not populated by distinct entities but by continuous stuff that fills space. This stuff may take various forms and is often conceived as infinitely divisible.[106][m] According to process ontology, processes or events are the fundamental entities. This view usually emphasizes that nothing in reality is static, meaning that being is dynamic and characterized by constant change.[108] Bundle theories state that there are no regular objects but only bundles of co-present properties. For example, a lemon may be understood as a bundle that includes the properties yellow, sour, and round. According to traditional bundle theory, the bundled properties are universals, meaning that the same property may belong to several different bundles. According to trope bundle theory, properties are particular entities that belong to a single bundle.[109]

Some ontologies focus not on distinct objects but on interrelatedness. According to relationalism, all of reality is relational at its most fundamental level.[110][n] Ontic structural realism agrees with this basic idea and focuses on how these relations form complex structures. Some structural realists state that there is nothing but relations, meaning that individual objects do not exist. Others say that individual objects exist but depend on the structures in which they participate.[112] Fact ontologies present a different approach by focusing on how entities belonging to different categories come together to constitute the world. Facts, also known as states of affairs, are complex entities; for example, the fact that the Earth is a planet consists of the particular object the Earth and the property being a planet. Fact ontologies state that facts are the fundamental constituents of reality, meaning that objects, properties, and relations cannot exist on their own and only form part of reality to the extent that they participate in facts.[113][o]

In the history of philosophy, various ontological theories based on several fundamental categories have been proposed. One of the first theories of categories was suggested by Aristotle, whose system includes ten categories: substance, quantity, quality, relation, place, date, posture, state, action, and passion.[115] An early influential system of categories in Indian philosophy, first proposed in the Vaisheshika school, distinguishes between six categories: substance, quality, motion, universal, individuator, and inherence.[116] Immanuel Kant's transcendental idealism includes a system of twelve categories, which Kant saw as pure concepts of understanding. They are subdivided into four classes: quantity, quality, relation, and modality.[117] In more recent philosophy, theories of categories were developed by C. S. Peirce, Edmund Husserl, Samuel Alexander, Roderick Chisholm, and E. J. Lowe.[118]

Others

The dispute between constituent and relational ontologies[p] concerns the internal structure of concrete particular objects. Constituent ontologies say that objects have an internal structure with properties as their component parts. Bundle theories are an example of this position: they state that objects are bundles of properties. This view is rejected by relational ontologies, which say that objects have no internal structure, meaning that properties do not inhere in them but are externally related to them. According to one analogy, objects are like pin-cushions and properties are pins that can be stuck to objects and removed again without becoming a real part of objects. Relational ontologies are common in certain forms of nominalism that reject the existence of universal properties.[120]

Hierarchical ontologies state that the world is organized into levels. Entities on all levels are real but low-level entities are more fundamental than high-level entities. This means that they can exist without high-level entities while high-level entities cannot exist without low-level entities.[121] One hierarchical ontology says that elementary particles are more fundamental than the macroscopic objects they compose, like chairs and tables. Other hierarchical theories assert that substances are more fundamental than their properties and that nature is more fundamental than culture.[122] Flat ontologies, by contrast, deny that any entity has a privileged status, meaning that all entities exist on the same level. For them, the main question is only whether something exists rather than identifying the level at which it exists.[123][q]

The ontological theories of endurantism and perdurantism aim to explain how material objects persist through time. Endurantism is the view that material objects are three-dimensional entities that travel through time while being fully present in each moment. They remain the same even when they gain or lose properties as they change. Perdurantism is the view that material objects are four-dimensional entities that extend not just through space but also through time. This means that they are composed of temporal parts and, at any moment, only one part of them is present but not the others. According to perdurantists, change means that an earlier part exhibits different qualities than a later part. When a tree loses its leaves, for instance, there is an earlier temporal part with leaves and a later temporal part without leaves.[125]

Differential ontology is a poststructuralist approach interested in the relation between the concepts of identity and difference. It says that traditional ontology sees identity as the more basic term by first characterizing things in terms of their essential features and then elaborating differences based on this conception. Differential ontologists, by contrast, privilege difference and say that the identity of a thing is a secondary determination that depends on how this thing differs from other things.[126]

Object-oriented ontology belongs to the school of speculative realism and examines the nature and role of objects. It sees objects as the fundamental building blocks of reality. As a flat ontology, it denies that some entities have a more fundamental form of existence than others. It uses this idea to argue that objects exist independently of human thought and perception.[127]

Methods

Methods of ontology are ways of conducting ontological inquiry and deciding between competing theories. There is no single standard method; the diverse approaches are studied by metaontology.[128]

Conceptual analysis is a method to understand ontological concepts and clarify their meaning.[129] It proceeds by analyzing their component parts and the necessary and sufficient conditions under which a concept applies to an entity.[130] This information can help ontologists decide whether a certain type of entity, such as numbers, exists.[131] Eidetic variation is a related method in phenomenological ontology that aims to identify the essential features of different types of objects. Phenomenologists start by imagining an example of the investigated type. They proceed by varying the imagined features to determine which ones cannot be changed, meaning they are essential.[132][r] The transcendental method begins with a simple observation that a certain entity exists. In the following step, it studies the ontological repercussions of this observation by examining how it is possible or which conditions are required for this entity to exist.[134]

Another approach is based on intuitions in the form of non-inferential impressions about the correctness of general principles.[135] These principles can be used as the foundation on which an ontological system is built and expanded using deductive reasoning.[136] A further intuition-based method relies on thought experiments to evoke new intuitions. This happens by imagining a situation relevant to an ontological issue and then employing counterfactual thinking to assess the consequences of this situation.[137] For example, some ontologists examine the relation between mind and matter by imagining creatures identical to humans but without consciousness.[138]

Naturalistic methods rely on the insights of the natural sciences to determine what exists.[139] According to an influential approach by Willard Van Orman Quine, ontology can be conducted by analyzing[s] the ontological commitments of scientific theories. This method is based on the idea that scientific theories provide the most reliable description of reality and that their power can be harnessed by investigating the ontological assumptions underlying them.[141]

Portrait of William of Ockham
William of Ockham proposed Ockham's Razor, a principle to decide between competing theories.

Principles of theory choice offer guidelines for assessing the advantages and disadvantages of ontological theories rather than guiding their construction.[142] The principle of Ockham's Razor says that simple theories are preferable.[143] A theory can be simple in different respects, for example, by using very few basic types or by describing the world with a small number of fundamental entities.[144] Ontologists are also interested in the explanatory power of theories and give preference to theories that can explain many observations.[145] A further factor is how close a theory is to common sense. Some ontologists use this principle as an argument against theories that are very different from how ordinary people think about the issue.[146]

In applied ontology, ontological engineering is the process of creating and refining conceptual models of specific domains.[147] Developing a new ontology from scratch involves various preparatory steps, such as delineating the scope of the domain one intends to model and specifying the purpose and use cases of the ontology. Once the foundational concepts within the area have been identified, ontology engineers proceed by defining them and characterizing the relations between them. This is usually done in a formal language to ensure precision and, in some cases, automatic computability. In the following review phase, the validity of the ontology is assessed using test data.[148] Various more specific instructions for how to carry out the different steps have been suggested. They include the Cyc method, Grüninger and Fox's methodology, and METHONTOLOGY.[149] In some cases, it is feasible to adapt a pre-existing ontology to fit a specific domain and purpose rather than creating a new one from scratch.[150]

Related fields

Ontology overlaps with many disciplines, including logic, the study of correct reasoning.[151] Ontologists often employ logical systems to express their insights, specifically in the field of formal ontology. Of particular interest to them is the existential quantifier (), which is used to express what exists. In first-order logic, for example, the formula states that dogs exist.[152] Some philosophers study ontology by examining the structure of thought and language, saying that they reflect the structure of being.[153] Doubts about the accuracy of natural language have led some ontologists to seek a new formal language, termed ontologese, for a better representation of the fundamental structure of reality.[154]

Ontologies are often used in information science to provide a conceptual scheme or inventory of a specific domain, making it possible to classify objects and formally represent information about them.[156] This is of specific interest to computer science, which builds databases to store this information and defines computational processes to automatically transform and use it.[157] For instance, to encode and store information about academic activities, a college database may use an ontology with categories such as person, teacher, student, and exam.[158] In some cases, it is necessary to exchange information belonging to different domains or to integrate databases using distinct ontologies. This can be achieved with the help of upper ontologies, which are not limited to one specific domain. They use general categories that apply to most or all domains, like Suggested Upper Merged Ontology and Basic Formal Ontology.[159]

Similar applications of ontology are found in various fields seeking to manage extensive information within a structured framework. Protein Ontology is a formal framework for the standardized representation of protein-related entities and their relationships.[160] Gene Ontology and Sequence Ontology serve a similar purpose in the field of genetics.[161] Environment Ontology is a knowledge representation focused on ecosystems and environmental processes.[162] Friend of a Friend provides a conceptual framework to represent relations between people and their interests and activities.[163]

The topic of ontology has received increased attention in anthropology since the 1990s, sometimes termed the "ontological turn".[164] This type of inquiry is focused on how people from different cultures experience and understand the nature of being. Specific interest has been given to the ontological outlook of Indigenous people and how it differs from a Western perspective.[165] 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[166] and is also found in Native American ontologies, which emphasize the interconnectedness of all living entities and the importance of balance and harmony with nature.[167]

Ontology is closely related to theology and its interest in the existence of God as an ultimate entity. The ontological argument, first proposed by Anselm of Canterbury, attempts to prove the existence of the divine. It defines God as the greatest conceivable being. From this definition it concludes that God must exist since God would not be the greatest conceivable being if God lacked existence.[168] Another overlap in the two disciplines is found in ontological theories that use God or an ultimate being as the foundational principle of reality. Heidegger criticized this approach, terming it ontotheology.[169]

History

Depiction of Kapila
Kapila was one of the founding fathers of the dualist school of Samkhya.[170]

The roots of ontology in ancient philosophy are speculations about the nature of being and the source of the universe. Discussions of the essence of reality are found in the Upanishads, ancient Indian scriptures dating from as early as 700 BCE. They say that the universe has a divine foundation and discuss in what sense ultimate reality is one or many.[171] Samkhya, the first orthodox school of Indian philosophy,[t] formulated an atheist dualist ontology based on the Upanishads, identifying pure consciousness and matter as its two foundational principles.[173] The later Vaisheshika school[u] proposed a comprehensive system of categories.[175] In ancient China, Laozi's (6th century BCE)[v] Taoism examines the underlying order of the universe, known as Tao, and how this order is shaped by the interaction of two basic forces, yin and yang.[177] The philosophical movement of Xuanxue emerged in the 3rd century CE and explored the relation between being and non-being.[178]

Starting in the 6th century BCE, Presocratic philosophers in ancient Greece aimed to provide rational explanations of the universe. They suggested that a first principle, such as water or fire, is the primal source of all things.[179] Parmenides (c. 515–450 BCE) is sometimes considered the founder of ontology because of his explicit discussion of the concepts of being and non-being.[180] Inspired by Presocratic philosophy, Plato (427–347 BCE) developed his theory of forms. It distinguishes between unchangeable perfect forms and matter, which has a lower degree of existence and imitates the forms.[181] Aristotle (384–322 BCE) suggested an elaborate system of categories that introduced the concept of substance as the primary kind of being.[182] The school of Neoplatonism arose in the 3rd century CE and proposed an ineffable source of everything, called the One, which is more basic than being itself.[183]

The problem of universals was an influential topic in medieval ontology. Boethius (477–524 CE) suggested that universals can exist not only in matter but also in the mind. This view inspired Peter Abelard (1079–1142 CE), who proposed that universals exist only in the mind.[184] Thomas Aquinas (1224–1274 CE) developed and refined fundamental ontological distinctions, such as the contrast between existence and essence, between substance and accidents, and between matter and form.[185] He also discussed the transcendentals, which are the most general properties or modes of being.[186] John Duns Scotus (1266–1308) argued that all entities, including God, exist in the same way and that each entity has a unique essence, called haecceity.[187] William of Ockham (c. 1287–1347 CE) proposed that one can decide between competing ontological theories by assessing which one uses the smallest number of elements, a principle known as Ockham's razor.[188]

Depiction of Zhu Xi
The Neo-Confucian philosopher Zhu Xi conceived the concept of li as the organizing principle of the universe.[189]

In Arabic-Persian philosophy, Avicenna (980–1037 CE) combined ontology with theology. He identified God as a necessary being that is the source of everything else, which only has contingent existence.[190] In 8th-century Indian philosophy, the school of Advaita Vedanta emerged. It says that only a single all-encompassing entity exists, stating that the impression of a plurality of distinct entities is an illusion.[191] Starting in the 13th century CE, the Navya-Nyāya school built on Vaisheshika ontology with a particular focus on the problem of non-existence and negation.[192] 9th-century China saw the emergence of Neo-Confucianism, which developed the idea that a rational principle, known as li, is the ground of being and order of the cosmos.[193]

René Descartes (1596–1650) formulated a dualist ontology at the beginning of the modern period. It distinguishes between mind and matter as distinct substances that causally interact.[194] Rejecting Descartes's dualism, Baruch Spinoza (1632–1677) proposed a monist ontology according to which there is only a single entity that is identical to God and nature.[195] Gottfried Wilhelm Leibniz (1646–1716), by contrast, said that the universe is made up of many simple substances, which are synchronized but do not interact with one another.[196] John Locke (1632–1704) proposed his substratum theory, which says that each object has a featureless substratum that supports the object's properties.[197] Christian Wolff (1679–1754) was influential in establishing ontology as a distinct discipline, delimiting its scope from other forms of metaphysical inquiry.[198] George Berkeley (1685–1753) developed an idealist ontology according to which material objects are ideas perceived by minds.[199]

Immanuel Kant (1724–1804) rejected the idea that humans can have direct knowledge of independently existing things and their nature, limiting knowledge to the field of appearances. For Kant, ontology does not study external things but provides a system of pure concepts of understanding.[200] Influenced by Kant's philosophy, Georg Wilhelm Friedrich Hegel (1770–1831) linked ontology and logic. He said that being and thought are identical and examined their foundational structures.[201] Arthur Schopenhauer (1788–1860) rejected Hegel's philosophy and proposed that the world is an expression of a blind and irrational will.[202] Francis Herbert Bradley (1846–1924) saw absolute spirit as the ultimate and all-encompassing reality[203] while denying that there are any external relations.[204]

At the beginning of the 20th century, Edmund Husserl (1859–1938) developed phenomenology and employed its method, the description of experience, to address ontological problems.[205] This idea inspired his student Martin Heidegger (1889–1976) to clarify the meaning of being by exploring the mode of human existence.[206] Jean-Paul Sartre responded to Heidegger's philosophy by examining the relation between being and nothingness from the perspective of human existence, freedom, and consciousness.[207] Based on the phenomenological method, Nicolai Hartmann (1882–1950) developed a complex hierarchical ontology that divides reality into four levels: inanimate, biological, psychological, and spiritual.[208]

Photo of Alexius Meinong
Alexius Meinong proposed that there are nonexistent objects.

Alexius Meinong (1853–1920) articulated a controversial ontological theory that includes nonexistent objects as part of being.[209] Arguing against this theory, Bertrand Russell (1872–1970) formulated a fact ontology known as logical atomism. This idea was further refined by the early Ludwig Wittgenstein (1889–1951) and inspired D. M. Armstrong's (1926–2014) ontology.[210] Alfred North Whitehead (1861–1947), by contrast, developed a process ontology.[211] Rudolf Carnap (1891–1970) questioned the objectivity of ontological theories by claiming that what exists depends on one's linguistic framework.[212] He had a strong influence on Willard Van Orman Quine (1908–2000), who analyzed the ontological commitments of scientific theories to solve ontological problems.[213] Quine's student David Lewis (1941–2001) formulated the position of modal realism, which says that possible worlds are as real and concrete as the actual world.[214] Since the end of the 20th century, interest in applied ontology has risen in computer and information science with the development of conceptual frameworks for specific domains.[215]

See also

References

Notes

  1. ^ This focus on general principles rather than specific entities is traditionally expressed in the characterization of ontology as the science of being qua being or being insofar as it is being.[2]
  2. ^ When used as a countable noun, a being is the same as an entity.[11]
  3. ^ This idea is opposed by trope theorists, who understand properties and relations as particular entities.[30]
  4. ^ Other influential distinctions are between intrinsic and extrinsic properties, between determinate or determinable properties, and between categorical and dispositional properties.[34]
  5. ^ The term substance has a specific meaning in philosophy distinct from ordinary language expressions such as chemical substance or substance abuse.[38]
  6. ^ David Armstrong and his followers use a different terminology that does not distinguish between states of affairs and facts.[41]
  7. ^ Some ontologists also use the term in a less common sense to refer to universals in the form of event types.[43]
  8. ^ The precise definition is disputed.[47]
  9. ^ The idea of formal ontology was first formulated by phenomenologist Edmund Husserl, who studied objects in general by relying on fundamental categories such as unity, plurality, state of affairs, part, and whole. He examined the relations between these categories and how they depend on one another.[75]
  10. ^ They are usually distinguished by combining them with a qualifier to express which type is meant, as in ontological realism, mathematical realism, and moral realism. The qualifiers are sometimes left out if the meaning is clear in the context.[82]
  11. ^ The exact definition of the term is disputed.[91]
  12. ^ According to some pantheists, this entity is God.[101]
  13. ^ This view contrasts with atomism, which states that the world is composed of discrete, indivisible units.[107]
  14. ^ For example, relationalism about spacetime says that space and time are nothing but relations. Spacetime substantivalists reject this view and state that spacetime is a distinct object rather than a relational structure between objects.[111]
  15. ^ This is expressed in a slogan by Ludwig Wittgenstein: "The world is the totality of facts, not of things".[114]
  16. ^ In this context, the term "relational ontology" has a slightly different meaning than the term "relationalism", which says that, at the most basic level, reality is made up of relations.[119]
  17. ^ Some flat ontologies allow that there are entities on higher levels but stipulate that they are reducible to the lowest level, meaning that they are no addition to being.[124]
  18. ^ For example, it is essential for a triangle to have three sides since it ceases to be a triangle if a fourth side is added.[133]
  19. ^ An essential step in Quine's analysis is to translate the theory into first-order logic to make its ontological assumptions explicit.[140]
  20. ^ Its initial ideas were developed in the 7th and 6th centuries BCE but it was not until 350 CE that it received its classical and systematic formulation.[172]
  21. ^ The founding text of the school was written 500–300 BCE and the first major commentary on it is dated 400 CE.[174]
  22. ^ The exact date is disputed and some theorists suggest a later date between the 4th and 3rd centuries BCE.[176]

Citations

  1. ^
    • Lowe 2005, p. 671
    • Campbell 2006, pp. 21–22
    • Craig 1998, Lead Section
  2. ^
    • Berto & Plebani 2015, p. 1
    • Shields 2014, pp. 279–282
  3. ^
    • Berto & Plebani 2015, pp. 1–3
    • Campbell 2006, pp. 21–22
    • Effingham 2013, § The Basics: Ontology
  4. ^
    • Simons 2009, pp. 469–470
    • Merriam-Webster 2024
    • Campbell 2006, pp. 21–22
  5. ^
    • Berto & Plebani 2015, pp. 3–4
    • Lowe 2005, p. 671
  6. ^
    • Van Inwagen, Sullivan & Bernstein 2023, § 1. The Word 'Metaphysics' and the Concept of Metaphysics
    • Craig 1998a, § 2. Specific Metaphysics
  7. ^
    • Berto & Plebani 2015, pp. 4–5
    • Tambassi 2022, p. 79
  8. ^ Jaroszyński 2018, p. 6
  9. ^
    • Berto & Plebani 2015, pp. 3, 5
    • Mulligan 2012, p. x
  10. ^
    • Berto & Plebani 2015, p. 1
    • Taliaferro & Marty 2018, p. 203
    • Hoad 1993, p. 323
  11. ^ Lowe 2005a, p. 84
  12. ^
    • MacIntyre 2006, p. 527
    • Jaroszyński 2023, pp. 254–255
    • Lowe 2005a, p. 84
    • Jacquette 2014, pp. 1–2, 12–13
  13. ^
    • MacIntyre 2006, pp. 528–529
    • Jacquette 2014, pp. 1–2, 12–13
  14. ^
    • MacIntyre 2006, pp. 528–529
    • Casati & Fujikawa, § 2b. Universalism
  15. ^
    • Nelson 2022, § 1. Frege and Russell: Existence Is Not a Property of Individuals
    • Casati & Fujikawa, § 1. Existence as a Second-Order Property and Its Relation to Quantification
  16. ^ Campbell 2006, p. 22
  17. ^
    • Van Inwagen 2024, p. 280
    • Deutscher 2021, p. 20
  18. ^
    • MacIntyre 2006, p. 527
    • Zhang 2011, p. 220
    • Hartmann 2012, pp. 46–47
  19. ^ MacIntyre 2006, p. 527
  20. ^
    • Lowe 2005a, p. 84
    • Ceylan 1993, p. 329
  21. ^ a b
    • Thomasson 2022, Lead Section
    • Loux & Crisp 2017, pp. 11–12
    • Wardy 1998, Lead Section
  22. ^
    • Campbell 2006, pp. 23–25
    • Hoffman & Rosenkrantz 2008, p. 26
  23. ^
    • Widder 2009, pp. 32–35
    • LaZella 2019, p. 17
  24. ^
    • Daly 2009, pp. 227–228
    • Van Inwagen 2023
    • Casati & Fujikawa, §3. How Many Ways of Being Existent?
    • Gibson 1998, pp. 5–8
  25. ^
    • Reicher 2022, lead section, §1. The Concept of a Nonexistent Object
    • Gibson 1998, p. 8
    • Yao 2014, p. 140
  26. ^
    • Lowe 2005b, p. 277
    • Casati & Fujikawa, Lead Section, §4. Why Is There Something Rather Than Nothing?
    • Sorensen 2023, Lead Section, §1. Why Is There Something Rather Than Nothing?
    • Pruss & Rasmussen 2018, pp. 4–5
  27. ^
    • Lowe 2005, p. 683
    • MacLeod & Rubenstein, Lead Section, § 1a. The Nature of Universals
    • Bigelow 1998, Lead Section
    • Campbell 2006, § Particularity and Individuality
    • Maurin 2019, Lead Section
  28. ^
    • MacLeod & Rubenstein, Lead Section
    • Bigelow 1998a, Lead Section
    • Cowling 2019, Lead Section
    • Loux & Crisp 2017, pp. 17–19
  29. ^
    • Campbell 2006, pp. 24–25
    • Bigelow 1998, Lead Section
  30. ^ Campbell 2006, p. 25
  31. ^
    • Campbell 2006, p. 24
    • Orilia & Paolini Paoletti 2022, Lead Section
  32. ^ Orilia & Paolini Paoletti 2022, § 1.7 Kinds of Properties
  33. ^ Vaidya & Wallner 2024, p. 473
  34. ^
    • Orilia & Paolini Paoletti 2022, § 1.7 Kinds of Properties, § 5.2. Essentially Categorical vs. Essentially Dispositional Properties
    • Marshall & Weatherson 2023, Lead Section
  35. ^
    • Sider 2010, p. 13
    • Bogen 2005, p. 798
    • MacBride 2020, lead section
    • Campbell 2006, p. 25
  36. ^ MacBride 2020, § 2. Eliminativism, External Relations and Bradley’s Regress
  37. ^
    • MacBride 2020, §1. Preliminary Distinctions
    • Heil 2009, p. 316
    • Armstrong 2010, pp. 24–25
  38. ^ O'Conaill 2022, p. 1
  39. ^
    • Campbell 2006, pp. 23–24
    • O'Conaill 2022, pp. 1–2, 12–13, 29
    • Robinson & Weir 2024, Lead Section
  40. ^
    • Campbell 2006, p. 25
    • Textor 2021, Lead Section
  41. ^ Textor 2021, Lead Section
  42. ^ Textor 2021, Lead Section
  43. ^ Mackie 2005, p. 272
  44. ^
    • Mackie 2005, p. 272
    • Campbell 2006, p. 25
  45. ^ Campbell 2006, p. 25
  46. ^
    • Mackie 1998, Lead Section
    • Falguera, Martínez-Vidal & Rosen 2022, lead section, § 1. Introduction
    • Faye 2013, pp. 89–91
    • Prior 2006, pp. 498–499
    • Oliver 2005, p. 3
  47. ^ Oliver 2005, p. 3
  48. ^
    • Oliver 2005, p. 3
    • Plebani 2013, p. 5
  49. ^
    • Cornell, Lead Section
    • Loux & Crisp 2017, pp. 250–251
    • Varzi 2019, Lead Section, § 1. 'Part' and Parthood
    • Cornell, Lead Section, § 2. The Special Composition Question
    • Tallant 2017, pp. 19–21
  50. ^
    • Loux & Crisp 2017, pp. 82–83
    • Cornell, Lead Section, § 2. The Special Composition Question
    • Brenner 2015, p. 1295
    • Tallant 2017, pp. 19–21, 23–24, 32–33
    • Cornell, Lead Section
  51. ^
    • Rea 1997, pp. xv–xvi
    • Korman 2021, Lead Section
  52. ^
    • Kroon & Voltolini 2023, Lead Section
    • Lamarque 1998, Lead Section
    • Prior 2006, p. 493
  53. ^
    • Kroon & Voltolini 2023, § 1. The Metaphysics of Fictional Entities
    • Lamarque 1998, § 3. Hospitable theories
  54. ^
    • Jacob 2023, 2. Intentional inexistence
    • Kriegel 2007, pp. 307–308
    • O’Madagain, § 2. Intentional Objects
  55. ^
    • Ney 2014, pp. 53–55
    • Fine 1995, pp. 269–270
  56. ^ Nuñez Erices 2019, pp. 15–16
  57. ^
    • Ney 2014, pp. 53–55
    • Fine 1995, pp. 269–270
  58. ^
    • Tahko & Lowe 2020, § 5. Ontological Dependence and Metaphysical Grounding
    • Ney 2014, pp. 53–55
  59. ^
    • Ney 2014, p. 31
    • Jubien 1998, Lead Section
  60. ^ Jubien 1998, Lead Section
  61. ^
    • Colyvan 2001, p. 23
    • Bangu 2012, pp. 26–27
    • Ney 2014, pp. 40–43
    • Van Inwagen, Sullivan & Bernstein 2023, § 4. The Methodology of Metaphysics
  62. ^
    • Parent, Lead Section
    • Loux & Crisp 2017, pp. 149–150
    • Koons & Pickavance 2015, pp. 154–155
    • Mumford 2012, § 8. What Is Possible?
  63. ^
    • Berto & Jago 2023, Lead Section
    • Pavel 1986, p. 50
  64. ^
    • Menzel 2023, Lead Section, § 1. Possible Worlds and Modal Logic
    • Kuhn 2010, p. 13
  65. ^
    • Kirwan 2005, pp. 417–418
    • Noonan & Curtis 2022, Lead Section
    • Kuhlmann 2010, pp. 1867–1867b
  66. ^
    • Gallois 2016, § 2.1 Diachronic and Synchronic Identity
    • Noonan & Curtis 2022, Lead Section, § 5. Identity Over Time
  67. ^
    • Jacquette 2014, pp. xi–xii
    • Sadegh-Zadeh 2011, p. 384
  68. ^
    • Jacquette 2014, pp. xi–xii
    • Smith & Klagges 2008, p. 21
    • Sadegh-Zadeh 2011, p. 384
  69. ^ Jacquette 2014, pp. xii–xiii
  70. ^
    • Epstein 2024, Lead Section
    • Tuomela, Hakli & Mäkelä 2020, § 1. Background to Social Ontology
  71. ^
    • Ney 2014, pp. 259–263
    • Rea 2021, pp. 185–186
  72. ^
    • Smith & Klagges 2008, p. 21
    • Goy & Magro 2014, pp. 7456–7457
    • Hawley 2016, pp. 168–170
  73. ^
    • Smith & Klagges 2008, pp. 35–36
    • Haritha et al. 2018, p. 489
  74. ^
    • Hennig 2008, pp. 43–44
    • Hakkarainen & Keinänen 2023, pp. 1–2
    • Albertazzi 1996, p. 199
  75. ^
    • Albertazzi 1996, pp. 199, 206
    • Hennig 2008, pp. 43–44
  76. ^
    • Albertazzi 1996, pp. 199–200
    • Poli & Simons 1996, pp. vii–viii
    • Hakkarainen & Keinänen 2023, p. 9
  77. ^ Hakkarainen & Keinänen 2023, p. 9
  78. ^
    • Berto & Plebani 2015, pp. 35–36
    • Phillips 1967, pp. 105–106
    • Haack 1979, pp. 361–362
  79. ^
    • Coggins 2010, p. 93
    • Lehrer 1993, p. xi
  80. ^
    • Berto & Plebani 2015, p. 2
    • Göhner & Steinbrink 2018, pp. 42, 52–53
  81. ^
    • Wheeler 2020, § 2.2.1 The Question
    • Schalow 2019, p. 139
  82. ^ Niiniluoto 2002, pp. 1–2, 21, 25–26, 28–29
  83. ^
    • Niiniluoto 2002, pp. 1–2, 21, 25–26
    • Chalmers 2009, pp. 77–78
    • Sider 2009, pp. 385–386
  84. ^
    • Chalmers 2009, pp. 77–78
    • Sider 2009, pp. 385–386
  85. ^
    • Chalmers 2009, p. 78
    • Hofweber 2023, § 4.4 Carnap’s rejection of ontology. (L1) meets (O4) and (the end of?) (O2)
  86. ^ Niiniluoto 2002, pp. 1–2, 21, 25–26, 28–29
  87. ^
    • MacLeod & Rubenstein, Lead Section, § 2. Versions of Realism, § 3. Versions of Anti-Realism
    • Bigelow 1998a, § 4. Nominalism and Realism
    • Loux & Crisp 2017, pp. 17–19, 45
    • Niiniluoto 2002, pp. 28–29
  88. ^
    • Blanchette 1998, Lead Section
    • Moore 1998, Lead Section
    • Balaguer 2009, p. 36
    • Linnebo 2024, Lead Section
  89. ^
    • Balaguer 2009, pp. 36, 44
    • Weir 2024, Lead Section
  90. ^
    • Borghini 2016, pp. 91–93
    • Chihara 2001, pp. 142–143
    • Parent, Lead section
  91. ^ Chakravartty 2017, § 1. What is Scientific Realism?
  92. ^
    • Chakravartty 2017, Lead Section, § 1. What is Scientific Realism?
    • Liston, Lead Section, § 6b. The Observable-Unobservable Distinction
    • Okasha 2016, pp. 54–55
  93. ^
    • DeLapp, Lead Section, § 4a. Moral Realisms, § 4b. Moral Relativisms
    • Sayre-McCord 2023a, Lead Section
    • Gowans 2021, Lead Section, § 2. Forms and Arguments
    • Westacott, Lead Section
    • Dreier 2007, pp. 240–241
  94. ^
    • Van Inwagen 2011, pp. 389–390
    • Paul 2017, pp. 32–33
    • Woznicki 2022, p. 97
  95. ^ Van Inwagen 2011, pp. 389–390
  96. ^
    • Van Inwagen 2011, pp. 389–390
    • Paul 2017, pp. 32–33
    • Woznicki 2022, p. 97
  97. ^
    • Schaffer 2018, Lead Section
    • Robinson 2023, § Lead Section
  98. ^
    • McLaughlin 1999, pp. 685–691
    • Kim 2005, p. 608
    • Sprigge 1998, Lead Section
  99. ^
    • Stubenberg & Wishon 2023, Lead Section; § 1.3 Mind and Matter Revisited
    • Griffin 1998
  100. ^
    • Calef, Lead Section
    • Robinson 2023, § Lead Section
  101. ^ Levine 2002, pp. 71–72, 84–85
  102. ^ Schaffer 2018, Lead Section
  103. ^
    • Paul 2017, p. 34
    • Robinson & Weir 2024, § Lead section
    • O'Conaill 2022, pp. 1–3
  104. ^
    • Paul 2017, pp. 34–35
    • Robinson & Weir 2024, § 3.2.2. The concept of substratum or 'thin particular'
  105. ^
    • O'Conaill 2022, pp. 52–53
    • Robinson & Weir 2024, § Lead section
  106. ^
    • O'Conaill 2022, p. 53
    • Esfeld 2020, pp. 464–465
  107. ^ Esfeld 2020, pp. 459–460
  108. ^
    • O'Conaill 2022, p. 53
    • Robinson & Weir 2024, § Lead section
    • Rescher 2000, pp. 5–6
  109. ^
    • Paul 2017, pp. 35–37
    • O'Conaill 2022, pp. 52–53
  110. ^
    • Heil 2009, p. 310
    • Runggaldier 2009, p. 248
    • Lupisella 2020, p. 70
  111. ^
    • Hoefer, Huggett & Read 2023, Lead Section
    • Benovsky 2016, pp. 19–20
    • Romero 2018, p. 135
  112. ^
    • Esfeld 2020, pp. 461–462
    • Ladyman 2023, § 4. Ontic Structural Realism (OSR)
  113. ^
    • Campbell 2006, p. 25, § States of affairs
    • Rosenkrantz 2018, pp. 1–4
    • Armstrong 2010, pp. 26–28
  114. ^ Wittgenstein 2001
  115. ^
    • Thomasson 2022, § 1.1 Aristotelian Realism
    • Studtmann 2024, § 2. The Ten-Fold Division
    • Wardy 1998, § 1. Categories in Aristotle
  116. ^
    • Westerhoff 2019, § Three important systems of categories: Vaiśeṣika
    • Kumar 2019, p. 34
  117. ^
    • Thomasson 2022, § 1.2 Kantian Conceptualism
    • Wardy 1998, § 1. Categories in Kant
  118. ^
    • Thomasson 2022, § 1.3 Husserlian Descriptivism, § 1.4 Contemporary Category Systems
    • Grim & Rescher 2023, p. 39
  119. ^
    • Rea 2021, pp. 104–105
    • Heil 2009, p. 310
    • Runggaldier 2009, p. 248
    • Lupisella 2020, p. 70
  120. ^
    • Rea 2021, pp. 104–105
    • Van Inwagen 2011, pp. 390–392
    • Koslicki 2018, p. 11
    • Rettler & Bailey 2023, § 3.2 What Objects Are
  121. ^
    • Houng 2012, pp. 106–110
    • Schaffer 2009, pp. 347–348, 354–356
    • Ceder 2018, § Flat ontology
  122. ^
    • Schaffer 2010, pp. 31, 44–45
    • Schaffer 2009, pp. 354–356
    • Ceder 2018, § Flat ontology
  123. ^
    • Houng 2012, pp. 106–110
    • Schaffer 2009, pp. 347–348, 354–356
    • Ceder 2018, § Flat ontology
  124. ^ Houng 2012, pp. 106–110
  125. ^
    • Miller 2018, Lead Section
    • Costa, Lead Section, § 1. Theories of Persistence
    • Simons 2013, p. 166
    • Hawley 2023, 3. Change and Temporal Parts
  126. ^
    • Cisney, Lead Section
    • Rae 2020, p. 33
    • Rae 2014, p. 86
  127. ^
    • Young 2021, pp. 83–84
    • Isrow 2022, p. 28
    • Neyrat 2020, p. 13
  128. ^
    • Effingham 2013, § Methodology: Metaontology
    • Berto & Plebani 2015, p. 2
  129. ^ Thomasson 2012, pp. 175–176
  130. ^
    • Garcia-Godinez 2023, pp. 189–192
    • Shaffer 2015, pp. 555–556
  131. ^ Garcia-Godinez 2023, pp. 186, 188–189
  132. ^
    • Drummond 2022, p. 75
    • Ryckman 2005, pp. 142–144
  133. ^ Spear, § 3. Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy: The Perceptual Noema
  134. ^
    • Gabriel 2011, pp. ix–x
    • Körner 1984, pp. 183–184
    • Pihlström 2009, pp. 60–61
  135. ^
    • Daly 2015, pp. 11–12
    • Berto & Plebani 2015, p. 35
  136. ^
    • Goldenbaum, Lead Section, § 1. The Geometrical Method
    • Leuenberger 2017, p. 57
  137. ^
    • Tahko 2015, pp. 177–178
    • Robinson 2004, pp. 537–538, 541–542
    • Brown & Fehige 2019, Lead Section
    • Goffi & Roux 2011, pp. 165, 168–169
  138. ^ Kirk 2023, Lead Section, § 2. Zombies and Physicalism
  139. ^
    • Berto & Plebani 2015, p. 3
    • Ney 2014, pp. 30–31
    • Van Inwagen, Sullivan & Bernstein 2023, § 4. The Methodology of Metaphysics
  140. ^
    • Ney 2014, pp. 40–41
    • Göhner & Steinbrink 2018, pp. 48
  141. ^
    • Ney 2014, pp. 37–38, 40–43
    • Van Inwagen, Sullivan & Bernstein 2023, § 4. The Methodology of Metaphysics
    • Vineberg 2013, p. 133
  142. ^
    • Effingham 2013, § Methodology: Theory choice
    • Göhner & Steinbrink 2018, pp. 57–58
  143. ^
    • Ney 2014, pp. 48–49
    • Jacquette 2014, pp. 207–208
  144. ^
    • Effingham 2013, § Methodology: Ontological parsimony
    • Brenner 2024, pp. 20–21
    • Göhner & Steinbrink 2018, p. 58
  145. ^
    • Effingham 2013, § Methodology: Ontological parsimony
    • Göhner & Steinbrink 2018, p. 59
  146. ^
    • Effingham 2013, § Methodology: Coherence with Intuitions
    • Berto & Plebani 2015, p. 35
  147. ^
    • Grenon 2008, p. 70
    • Gómez-Pérez, Fernández-López & Corcho 2006, pp. v, 195
    • Fernández-López & Gómez-Pérez 2002, p. 129
  148. ^
    • Kendall & McGuinness 2022, pp. 47–49
    • Gómez-Pérez, Fernández-López & Corcho 2006, pp. 109–110
  149. ^
    • Gómez-Pérez, Fernández-López & Corcho 2006, pp. 153, 195
    • Babkin & Ulitin 2024, p. 28
    • Fernández-López & Gómez-Pérez 2002, p. 129
  150. ^
    • Gómez-Pérez, Fernández-López & Corcho 2006, pp. 112–113
    • Fernández-López & Gómez-Pérez 2002, p. 129
  151. ^ Hofweber 2023, Lead Section, § 2.1 Different conceptions of logic
  152. ^
    • Cook 2009, pp. 112–113
    • Casati & Fujikawa, Lead Section, §1. Existence as a Second-Order Property and Its Relation to Quantification
    • Albertazzi 1996, p. 206
  153. ^ Hofweber 2023, § 4.6 The form of thought and the structure of reality. (L4) meets (O3)
  154. ^
    • Hofweber 2023, § 4.5 The fundamental language. (L1) meets (O4) and (the new beginning of?) (O2)
    • Hofweber 2021, p. 89
  155. ^ Heckmann 2006, p. 42
  156. ^
    • Goy & Magro 2014, pp. 7456–7457
    • Hawley 2016, pp. 168–170
  157. ^
    • Goy & Magro 2014, pp. 7456–7457
    • Hawley 2016, pp. 168–169
  158. ^ Goy & Magro 2014, p. 7457
  159. ^ Gopalakrishnan Nair 2014, p. 4594
  160. ^
    • Chicco & Masseroli 2018, pp. 832
    • Masseroli 2018, p. 814
  161. ^ Masseroli 2018, p. 814
  162. ^ Pouchard, Devarakon & Bransetter 2015, pp. 37–38
  163. ^ Yu 2014, pp. 357–359
  164. ^ Scott 2013, pp. 859–872
  165. ^
    • Scott 2013, pp. 859–872
    • Heywood 2012, pp. 143–151
  166. ^ Ludwig & Weiskopf 2019
  167. ^
    • Pack 2023, pp. 105–107, Animist Ontologies, Abstraction, and Slavery
    • Pack 2022, pp. 162–163
    • Sinclair 2022, p. 96, Righting Names: The Importance of Native American Philosophies of Naming for Environmental Justice
  168. ^
    • Grayling 2019, Anselm
    • Dehsen 2013, p. 10
  169. ^
    • Halteman 1998, Lead Section
    • Thomson 2011, p. 114
  170. ^ Ruzsa, § 1. History
  171. ^
    • Baird 2017, p. 5
    • Grayling 2019, § Indian Philosophy
  172. ^
    • Ruzsa, Lead Section
    • Grayling 2019, § Indian Philosophy
  173. ^
    • Lopez 2010, p. 1426
    • Ruzsa, Lead Section
    • Grayling 2019, § Indian Philosophy
  174. ^ Lopez 2010, p. 1426
  175. ^
    • Ambuel 1998, § 1. Categories
    • Lopez 2010, p. 1426
  176. ^
    • Dynes 2016, p. 60
    • Littlejohn, § 2. Classical Sources for Our Understanding of Daoism
  177. ^
    • Littlejohn, § 5. Fundamental Concepts in the Daodejing
    • Dynes 2016, pp. 60–61
  178. ^
    • Chai 2020, p. 19
    • Robinet 2013, Chongxuan
  179. ^
    • Graham, § 1. Presocratic Thought
    • Rée & Urmson 2004, pp. 308–309
  180. ^
    • Kahn 2009, p. 143
    • Graham, § 6.a. Parmenides
  181. ^
    • Hancock 2006, pp. 184–185
    • Hamlyn 2005, p. 590
    • Graham, § 3b. Metaphysics
  182. ^
    • Thomasson 2022, § 1.1 Aristotelian Realism
    • Studtmann 2024, § 2. The Ten-Fold Division
    • Wardy 1998, § 1. Categories in Aristotle
  183. ^
    • Halfwassen 2014, p. 185
    • Hancock 2006, pp. 187–188
    • Hamlyn 2005, pp. 590–591
    • Graham, § 5. Post-Hellenistic Thought
  184. ^
    • Hancock 2006, pp. 188–189
    • Grayling 2019, § Boethius, § Abelard
    • Marenbon 2009, p. 6
    • Sweeney 2016, pp. 10–11
  185. ^
    • Buren 2023, p. 53
    • Hancock 2006, p. 189
  186. ^
    • Aertsen 2009, p. 117
    • Goris & Aertsen 2019, § 4.1 The first model: God as the cause of transcendental being (Thomas Aquinas)
    • Kuhlmann 2010, p. 1859
  187. ^
    • Gilson 2018, § 1C Common Being, § 6C Unity of the Concrete
    • Williams 2022, § 2.3 Divine Infinity and the Doctrine of Univocity, § 3.3 Universals and Individuation
  188. ^
    • Hancock 2006, p. 190
    • Grayling 2019, § Ockham
    • Kuhlmann 2010, p. 1859b
  189. ^ Thompson 2021, § 4. Natural Philosophy
  190. ^ Lizzini 2021, § 2.1 Ontology and Theology, § 2.4 Univocacy of Being and Ontological Distinction
  191. ^
    • Grayling 2019, § Indian Philosophy
    • Perrett 2016, § The Medieval Period of Indian Philosophy
    • Dalal 2021, Lead Section, § 2.3 Two-Tiered Reality
  192. ^
    • Ambuel 1998, § 10. Nonexistence or absence
    • Bhattacharya 2013, p. 35
  193. ^
    • Berthrong, Lead Section, § 4. Traits, Themes and Motifs
    • Wu 2022, p. 56
    • Smart 2008, p. 99
  194. ^
    • Hamlyn 2005, p. 591
    • Dehsen 2013, p. 51
  195. ^
    • Hancock 2006, p. 190
    • Hamlyn 2005, p. 591
  196. ^
    • Hancock 2006, pp. 190–191
    • Hamlyn 2005, p. 591
    • Look 2020, § 4. Metaphysics: A Primer on Substance
    • Menzel 2023, 1. Possible Worlds and Modal Logic
  197. ^
    • Robinson & Weir 2024, § 2.5.1 Locke on 'pure substance in general'
    • Kuhlmann 2010, p. 1860b
  198. ^
    • Svare 2006, p. 15
    • Hettche & Dyck 2019, § 5. Metaphysics
  199. ^
    • Hancock 2006, p. 192
    • Hamlyn 2005, p. 591
  200. ^
    • Lorini 2015, pp. 71, 75–76
    • Grier 2022, § 1. Preliminary Remarks: The Rejection of Ontology (general metaphysics) and the Transcendental Analytic
  201. ^
    • Redding 2020, § 3.1.2 Science of Logic
    • Houlgate 2006, p. 117
  202. ^
    • Grayling 2019, § Schopenhauer
    • Janaway 1999, pp. 248–249
  203. ^
    • Hancock 2006, p. 193
    • Hamlyn 2005, p. 592
    • Grayling 2019, § Idealism
  204. ^ Johansson 2014, p. 226
  205. ^ Boedeker 2008, p. 156
  206. ^
    • Wheeler 2020, § 2.2.1 The Question
    • Schalow 2019, p. 139
  207. ^ Onof, Lead Section
  208. ^
    • Poli 2011, pp. 1, 11, 21–22
    • Peterson & Poli 2022, § 3. What is the Relationship between Thinking and Being?, § 5.2 Strata
  209. ^ Aspenson 2016, § 1.4 Essential Terms of Metaphysics: Ontology
  210. ^
    • Proops 2022, Lead Section
    • Klement 2019, Lead Section
    • Mumford 2003, p. 100
    • Loux & Crisp 2017, p. 148
  211. ^
    • Desmet & Irvine 2022, § 6. Metaphysics
    • Palmer 1998, p. 175
  212. ^
    • Chalmers 2009, p. 78
    • Hofweber 2023, § 4.4 Carnap’s rejection of ontology. (L1) meets (O4) and (the end of?) (O2)
  213. ^
    • Ney 2014, pp. 37–38, 40
    • Van Inwagen, Sullivan & Bernstein 2023, § 4. The Methodology of Metaphysics
  214. ^ Parent, § 2. Lewis' Realism
  215. ^
    • Guizzardi 2007, pp. 18–19
    • Sales & Guizzardi 2017, p. 28

Sources

External links