This article concerns ontology in philosophy. For the concept in information science, see Ontology (information science). Not to be confused with the medical concepts of Oncology and Odontology. Parmenides was among the first to propose an ontological characterization of the fundamental nature of reality. Ontology (from the Greek ὄν, genitive ὄντος: "of being" (neuter participle of εἶναι: "to be") and -λογία, -logia: science, study, theory) is the philosophical study of the nature of being, existence or reality as such, as well as the basic categories of being and their relations. Traditionally listed as a part of the major branch of philosophy known as metaphysics, ontology deals with questions concerning what entities exist or can be said to exist, and how such entities can be grouped, related within a hierarchy, and subdivided according to similarities and differences. Contents 1 Overview 1.1 Some fundamental questions 1.2 Concepts 2 History of ontology 2.1 Etymology 2.2 Origins 2.2.1 Parmenides and Monism 2.2.2 Ontological pluralism 2.2.3 Plato 2.2.4 Aristotle 3 Other ontological topics 3.1 Ontological and epistemological certainty 3.2 Body and environment, questioning the meaning of being 4 Prominent ontologists 5 See also 6 References 7 External links Overview Ontology, in analytic philosophy, concerns the determining of whether some categories of being are fundamental and asks in what sense the items in those categories can be said to "be". It is the inquiry into being in so much as it is being, or into beings insofar as they exist—and not insofar as, for instance, particular facts obtained about them or particular properties related to them. For Aristotle there are four different ontological dimensions: i) according to the various categories or ways of addressing a being as such ii) according to its truth or falsity (e.g. fake gold, counterfeit money) iii) whether it exists in and of itself or simply 'comes along' by accident iv) according to its potency, movement (energy) or finished presence (Metaphysics Book Theta). Some philosophers, notably of the Platonic school, contend that all nouns (including abstract nouns) refer to existent entities. Other philosophers contend that nouns do not always name entities, but that some provide a kind of shorthand for reference to a collection of either objects or events. In this latter view, mind, instead of referring to an entity, refers to a collection of mental events experienced by a person; society refers to a collection of persons with some shared characteristics, and geometry refers to a collection of a specific kind of intellectual activity.1 Between these poles of realism and nominalism, there are also a variety of other positions; but any ontology must give an account of which words refer to entities, which do not, why, and what categories result. When one applies this process to nouns such as electrons, energy, contract, happiness, space, time, truth, causality, and God, ontology becomes fundamental to many branches of philosophy. Some fundamental questions

Principal questions of ontology are "What can be said to exist?", "Into what categories, if any, can we sort existing things?", "What are the meanings of being?", "What are the various modes of being of entities?". Various philosophers have provided different answers to these questions. One common approach is to divide the extant entities into groups called categories. Of course, such lists of categories differ widely from one another, and it is through the co-ordination of different categorical schemes that ontology relates to such fields as library science and artificial intelligence. Such an understanding of ontological categories, however, is merely taxonomic, classificatory. The categories are, properly speaking,citation needed the ways in which a being can be addressed simply as a being, such as what it is (its 'whatness', quidditas or essence), how it is (its 'howness' or qualitativeness), how much it is (quantitativeness), where it is, its relatedness to other beings, etc. Further examples of ontological questions include: Using the human nervous system as a representational medium, are there parts of the universe that are innately unknowable to us? What is existence, i.e. what does it mean for a being to be? Is existence a property? Is existence a genus or general class that is simply divided up by specific differences? Which entities, if any, are fundamental? Are all entities objects? How do the properties of an object relate to the object itself? What features are the essential, as opposed to merely accidental, attributes of a given object? How many levels of existence or ontological levels are there? And what constitutes a 'level'? What is a physical object? Can one give an account of what it means to say that a physical object exists? Can one give an account of what it means to say that a non-physical entity exists? What constitutes the identity of an object? When does an object go out of existence, as opposed to merely changing? Do beings exist other than in the modes of objectivity and subjectivity, i.e. is the subject/object split of modern philosophy inevitable? Concepts Essential ontological dichotomies include: Universals and Particulars Substance and Accident Abstract and Concrete objects Essence and Existence Determinism and Indeterminism History of ontology Etymology While the etymology is Greek, the oldest extant record of the word itself is the New Latin form ontologia, which appeared in 1606, in the work Ogdoas Scholastica by Jacob Lorhard (Lorhardus) and in 1613 in the Lexicon philosophicum by Rudolf Göckel (Goclenius); see classical compounds for this type of word formation. The first occurrence in English of "ontology" as recorded by the OED (Oxford English Dictionary, second edition, 1989) appears in Bailey’s dictionary of 1721, which defines ontology as ‘an Account of being in the Abstract’ - though, of course, such an entry indicates the term was already in use at the time. It is likely the word was first used in its Latin form by philosophers based on the Latin roots, which themselves are based on the Greek. The current on-line edition of the OED (Draft Revision September 2008) gives as first occurrence in English a work by Gideon Harvey (1636/7-1702): 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 - London, Thomson, 1663. Origins Parmenides and Monism This section may require cleanup to meet Wikipedia's quality standards. Please improve this section if you can. The talk page may contain suggestions. (February 2009)

Parmenides was among the first to propose an ontological characterization of the fundamental nature of reality. In his prologue or proem he describes two views of reality; initially that change is impossible, and therefore existence is eternal. Consequently our opinions about reality must often be false and deceitful. Most of western philosophy, and science - including the fundamental concepts of falsifiability and the conservation of energy - have emerged from this view. This posits that existence is what can be conceived of by thought, created, or possessed. Hence, there can be neither void nor vacuum; and true reality can neither come into being nor vanish from existence. Rather, the entirety of creation is eternal, uniform, and immutable, though not infinite (he characterized its shape as that of a perfect sphere). Parmenides thus posits that change, as perceived in everyday experience, is illusory. Everything that we can apprehend is but one part of a single entity. This idea somewhat anticipates the modern concept of an ultimate grand unification theory that finally explains all of reality in terms of one inter-related sub-atomic reality which applies to everything.citation needed Ontological pluralism Main article: Ontological pluralism This section may require cleanup to meet Wikipedia's quality standards. Please improve this section if you can. The talk page may contain suggestions. (February 2009) The opposite of eleatic monism is the pluralistic conception of Being. In the 5th century BC, Anaxagoras and Leucippus replaced 2 the reality of Being (unique and unchanging) with that of Becoming and therefore by a more fundamental and elementary ontic plurality. This thesis originated in the Greek-ion 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,3 which dealt with reality as based on the vacuum, the atoms and their intrinsic movement in it. The materialist Atomism proposed by Leucippus was indeterminist, but then developed by Democritus in a deterministic way. It was later (4th century BC) that the original atomism was taken again as indeterministic by Epicurus. He confirmed the reality as composed of an infinity of indivisible, unchangeable corpuscles or atoms (atomon, lit. ‘uncuttable’), but he gives weight to characterize atoms while for Leucippus they are characterized by a "figure", an "order" and a "position" in the cosmos.4 They are, besides, creating the whole with the intrinsic movement in the vacuum, producing the diverse flux of being. Their movement is influenced by the Parenklisis (Lucretius names it Clinamen) and that is determined by the chance. These ideas foreshadowed our understanding of traditional physics until the nature of atoms was discovered in the 20th century.citation needed Plato Plato developed this 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 (‘participate in’) 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). Aristotle

Ontology as an explicit discipline was inaugurated by Aristotle, in his Metaphysics, as the study of that which is common to all things which exist, and of the categorisation of the diverse senses in which things can and do exist. What exists, in so far as Aristotle concludes, are a plurality of independently existing substances – roughly, physical objects – on which the existence of other things, such as qualities or relations, may depend; and of which substances consist both of a form (e.g. a shape, pattern, or organisation), and of a matter formed (Hylomorphism). Disagreeing with Plato, who taught that frameworks or Forms have an existence of their own, Aristotle holds that universals do not have an existence over and above the particular things which instantiate them.- Other ontological topics Ontological and epistemological certainty This section may require cleanup to meet Wikipedia's quality standards. The specific problem is: hodge-podge & name-dropping -- topic seems to be the "self" - but, this is all mixed up with other topics. Please improve this section if you can. The talk page may contain suggestions. (June 2009) René Descartes, with "cogito ergo sum" or "I think, therefore I am", argued that "the self" 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. Certainty about the existence of "the self" and "the other", however, came under increasing criticism in the 20th century. Sociological theorists, most notably George Herbert Mead and Erving Goffman, saw the Cartesian Other as a "Generalized Other", the imaginary audience that individuals use when thinking about the self. According to Mead, "we do not assume there is a self to begin with. Self is not presupposed as a stuff out of which the world arises. Rather the self arises in the world" 56 The Cartesian Other was also used by Sigmund Freud, who saw the superego as an abstract regulatory force, and Émile Durkheim who viewed this as a psychologically manifested entity which represented God in society at large. Body and environment, questioning the meaning of being This section may require cleanup to meet Wikipedia's quality standards. The specific problem is: only 1 source? does it relate to ontology?. Please improve this section if you can. The talk page may contain suggestions. (September 2009) Schools of subjectivism, objectivism and relativism existed at various times in the 20th century, and the postmodernists and body philosophers tried to reframe all these questions in terms of bodies taking some specific action in an environment. This relied to a great degree on insights derived from scientific research into animals taking instinctive action in natural and artificial settings—as studied by biology, ecology, and cognitive science.

The processes by which bodies related to environments became of great concern, and the idea of being itself became difficult to really define. What did people mean when they said "A is B", "A must be B", "A was B"...? Some linguists advocated dropping the verb "to be" from the English language, leaving "E Prime", supposedly less prone to bad abstractions. Others, mostly philosophers, tried to dig into the word and its usage. 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 an historical epoch is the communicative event of language in use.5 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.7 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.8 Prominent ontologists Aquinas Aristotle David Malet Armstrong Alain Badiou Bernard Bolzano Franz Brentano Mario Bunge Rudolf Carnap Gilles Deleuze Jacques Derrida Rene Descartes Hans-Georg Gadamer Nicolai Hartmann Georg Wilhelm Friedrich Hegel Martin Heidegger Heraclitus Edmund Husserl Peter van Inwagen Immanuel Kant Gottfried Leibniz Leucippus David Kellogg Lewis E.J. Lowe Alexius Meinong Alfred North Whitehead William of Ockam Parmenides Charles Sanders Peirce Plato Ghazali Plotinus Proclus W. V. O. Quine Bertrand Russell Gilbert Ryle Jean-Paul Sartre Jonathan Schaffer Duns Scotus Theodore Sider Baruch Spinoza African Spir Ludwig Wittgenstein Dean Zimmerman See also Applied ontology Foundation ontology Geopolitical ontology Holism Mereology Meta-ontology Metamodeling Modal logic Nihilism Ontological paradox Philosophy of mathematics Philosophy of science Philosophy of space and time Physical ontology Quantum ontology Solipsism Speculative realism Structure and agency Taxonomy Upper ontology References ^ Griswold, Charles L. (2001). Platonic writings/Platonic readings. Penn State Press. p. 237. ISBN 0271021373. http://books.google.com/?id=XU5atV1nfukC&dq=platonic+writings+griswold&printsec=frontcover&q=.  ^ "Sample Chapter for Graham, D.W.: Explaining the Cosmos: The Ionian Tradition of Scientific Philosophy". Press.princeton.edu. http://press.princeton.edu/chapters/s8303.html. Retrieved 2010-02-21.  ^ "Ancient Atomism (Stanford Encyclopedia of Philosophy)". Plato.stanford.edu. http://plato.stanford.edu/entries/atomism-ancient/. Retrieved 2010-02-21.  ^ Aristotle, Metaphysics, I , 4, 985 ^ a b 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. ^ Mead, G. H. The individual and the social self: Unpublished work of George Herbert Mead (D. L. Miller, Ed.). Chicago: University of Chicago Press, 1982. (p. 107). ^ Heidegger, Martin, On the Way to Language Harper & Row, New York 1971. German edition: Unterwegs zur Sprache Neske, Pfullingen 1959. ^ Eldred, Michael, Social Ontology: Recasting Political Philosophy Through a Phenomenology of Whoness ontos, Frankfurt 2008 xiv + 688 pp. ISBN 978-3-938793-78-7 External links Look up ontology in Wiktionary, the free dictionary. Wikimedia Commons has media related to: Ontology John Symons, A Sketch of the History and Methodology of Ontology in the Analytic Tradition (DRAFT) Ontology. Its Theory and History from a Philosophical Perspective Logic and Ontology entry by Thomas Hofwebwer in the Stanford Encyclopedia of Philosophy Free Open access book: Paolo Valore (ed), Topics on General and Formal Ontology. International Ontology Congress  Links to related articles v · d · ePhilosophy Western philosophy · Eastern philosophy History Ancient

Buddhist · Chinese · Greek · Hellenistic · Indian (Hindu · Jain) · Persian Medieval Christian (Scholasticism) · Islamic (Early Islamic) · Jewish (Judeo-Islamic) Modern Empiricism · Rationalism Contemporary Analytic · Continental Lists Outline · Index · Schools · Glossary · Philosophers · Movements · Publications Branches Metaphysics · Epistemology · Logic · Ethics · Aesthetics Philosophy of Action · Art · Biology · Chemistry · Education · Economics · Engineering · Environment · Film · Geography · Information · Healthcare · History · Human nature · Humor · Language · Law · Literature · Mathematics · Mind · Music · Being · Philosophy · Physics · Politics · Psychology · Religion · Science · Social science · Technology · War Schools of thought Africana · Anarchism · Aristotelianism · Australian realism · Averroism · Avicennism · Classical liberalism · Critical theory · Cynicism · Deconstruction · Deism · Deontology · Dialectical materialism · Dualism · Egoism · Epicureanism · Epiphenomenalism · Existentialism · Feminism · Functionalism · Hedonism · Hegelianism · Hermeneutics · Humanism · Idealism · Kantianism · Kyoto School · Legal positivism · Logical positivism · Marxism · Materialism · Modernism · Monism · Naturalism · Neoplatonism · New Philosophers · Nihilism · Ordinary language · Particularism · Peripatetic · Phenomenology · Platonism · Posthumanism · Postmodernism · Post-structuralism · Pragmatism · Presocratic · Process · Solipsism · Realism · Relativism · Scholasticism · Skepticism · Stoicism · Structuralism · Thomism · Utilitarianism · more... Portal · Category · WikiProject · changes v · d · eMetaphysics Related articles Cosmology · Epistemology · Ontology · Teleology · Philosophy of psychology · Philosophy of mind · Philosophy of self · Philosophy of space and time · Axiology · Theoretical physics · meta- Concepts in metaphysics Action · Abstract object · Being · Category of being · Causality · Change · Choice · Concept · Cogito ergo sum · Embodied cognition · Entity · Essence · Existence · Experience · Form · Idea · Identity · Information · Insight · Intelligence · Intention · Matter · Memetics · Mind · Meaning · Mental representation · Modality · Motion · Necessity · Notion · Object · Pattern · Physical object · Perception · Principle · Properties · Qualia · Quality · Reality · Subject · Substance · Thought · Time · Truth · Type · Unity · Universal · Unobservable · Value · more ... Metaphysical theories

Anti-realism · Cartesian dualism · Free will · Liberty · Materialism · Meaning of life · Idealism · Existentialism · Essentialism · Libertarianism · Determinism · Naturalism · Monism · Platonic idealism · Hindu idealism · Phenomenalism · Nihilism · Realism · Physicalism · MOQ · Relativism · Scientific realism · Solipsism · Subjectivism · Substance theory · Type theory Metaphysicians Parmenides · Plato · Aristotle · Plotinus · Duns Scotus · Thomas Aquinas · René Descartes · John Locke · David Hume · Immanuel Kant · Isaac Newton · Arthur Schopenhauer · Baruch Spinoza · Georg W. F. Hegel · George Berkeley · Gottfried Leibniz · Henri Bergson · Friedrich Nietzsche · Charles Sanders Peirce · Ludwig Wittgenstein · Martin Heidegger · Alfred N. Whitehead · Bertrand Russell · Dorothy Emmet · G. E. Moore · Jean-Paul Sartre · Gilbert Ryle · Hilary Putnam · P. F. Strawson · R. G. Collingwood · Adolph Stöhr · Rudolf Carnap · Saul Kripke · Willard V. O. Quine · Donald Davidson · more ... Portal · Category · Task Force · Stubs · Discussion v · d · eLogic  Related articles Academic areas Argumentation theory · Axiology · Critical thinking · Computability theory · Formal semantics · History of logic · Informal logic · Logic in computer science · Mathematical logic · Mathematics · Metalogic · Metamathematics · Model theory · Philosophical logic · Philosophy · Philosophy of logic · Philosophy of mathematics · Proof theory · Set theory Foundational concepts Abduction · Analytic truth · Antinomy · A priori · Deduction · Definition · Description · Entailment · Induction · Inference · Logical consequence · Logical form · Logical implication · Logical truth · Name · Necessity · Meaning · Paradox · Possible world · Presupposition · Probability · Reason · Reasoning · Reference · Semantics · Statement · Substitution · Syntax · Truth · Truth value · Validity  Philosophical logic Critical thinking and Informal logic Analysis · Ambiguity · Belief · Credibility · Evidence · Explanation · Explanatory power · Fact · Fallacy · Inquiry · Opinion · Parsimony · Premise · Propaganda · Prudence · Reasoning · Relevance · Rhetoric · Rigor · Vagueness Theories of deduction Constructivism · Dialetheism · Fictionalism · Finitism · Formalism · Intuitionism · Logical atomism · Logicism · Nominalism · Platonic realism · Pragmatism · Realism  Metalogic and Metamathematics Cantor's theorem · Church's theorem · Church's thesis · Consistency · Effective method · Foundations of mathematics · Gödel's completeness theorem · Gödel's incompleteness theorems · Soundness · Completeness · Decidability · Interpretation · Löwenheim–Skolem theorem · Metatheorem · Satisfiability · Independence · Type–token distinction · Use–mention distinction ·  Mathematical logic General Formal language · Formation rule · Formal system · Deductive system · Formal proof · Formal semantics · Well-formed formula · Set · Element · Class · Classical logic · Axiom · Natural deduction · Rule of inference · Relation · Theorem · Logical consequence · Axiomatic system · Type theory · Symbol · Syntax · Theory Traditional logic Proposition · Inference · Argument · Validity · Cogency · Syllogism · Square of opposition · Venn diagram Propositional calculus and Boolean logic Boolean functions · Propositional calculus · Propositional formula · Logical connectives · Quantifiers · Truth tables Predicate First-order · Quantifiers · Predicate · Second-order · Monadic predicate calculus Set theory Set · Empty set · Enumeration · Extensionality · Finite set · Function · Subset · Power set · Countable set · Recursive set · Domain · Range · Ordered pair · Uncountable set Model theory Model · Interpretation · Non-standard model · Finite model theory · Truth value · Validity Proof theory Formal proof · Deductive system · Formal system · Theorem · Logical consequence · Rule of inference · Syntax Computability theory Recursion · Recursive set · Recursively enumerable set · Decision problem · Church–Turing thesis · Computable function · Primitive recursive function ·  Non-classical logic Modal logic Alethic · Axiologic · Deontic · Doxastic · Epistemic · Temporal Intuitionism

Intuitionistic logic · Constructive analysis · Heyting arithmetic · Intuitionistic type theory · Constructive set theory · Fuzzy logic Degree of truth · Fuzzy rule · Fuzzy set · Fuzzy finite element · Fuzzy set operations · Substructural logic Structural rule · Relevance logic · Linear logic Paraconsistent logic Dialetheism Description logic Ontology  · Ontology language http://en.wikipedia.org/w/index.php?title=Template:Logic&action=submit  Logicians Anderson · Aristotle · Averroes · Avicenna · Bain · Barwise · Bernays · Boole · Boolos · Cantor · Carnap · Church · Chrysippus · Curry · De Morgan · Frege · Geach · Gentzen · Gödel · Hilbert · Kleene · Kripke · Leibniz · Löwenheim · Peano · Peirce · Putnam · Quine · Russell · Schröder · Scotus · Skolem · Smullyan · Tarski · Turing · Whitehead · William of Ockham · Wittgenstein · Zermelo  Lists Topics Outline of logic · Index of logic articles · Mathematical logic · Boolean algebra · Set theory Other Logicians · Rules of inference · Paradoxes · Fallacies · Logic symbols Portal · Category · Outline · WikiProject · Talk · changes

Intuitionistic logic · Constructive analysis · Heyting arithmetic · Intuitionistic type theory · Constructive set theory · Fuzzy logic Degree of truth · Fuzzy rule · Fuzzy set · Fuzzy finite element · Fuzzy set operations · Substructural logic Structural rule · Relevance logic · Linear logic Paraconsistent logic Dialetheism Description logic Ontology  · Ontology language http://en.wikipedia.org/w/index.php?title=Template:Logic&action=submit  Logicians Anderson · Aristotle · Averroes · Avicenna · Bain · Barwise · Bernays · Boole · Boolos · Cantor · Carnap · Church · Chrysippus · Curry · De Morgan · Frege · Geach · Gentzen · Gödel · Hilbert · Kleene · Kripke · Leibniz · Löwenheim · Peano · Peirce · Putnam · Quine · Russell · Schröder · Scotus · Skolem · Smullyan · Tarski · Turing · Whitehead · William of Ockham · Wittgenstein · Zermelo  Lists Topics Outline of logic · Index of logic articles · Mathematical logic · Boolean algebra · Set theory Other Logicians · Rules of inference · Paradoxes · Fallacies · Logic symbols Portal · Category · Outline · WikiProject · Talk · changes

Intuitionistic logic · Constructive analysis · Heyting arithmetic · Intuitionistic type theory · Constructive set theory · Fuzzy logic Degree of truth · Fuzzy rule · Fuzzy set · Fuzzy finite element · Fuzzy set operations · Substructural logic Structural rule · Relevance logic · Linear logic Paraconsistent logic Dialetheism Description logic Ontology  · Ontology language http://en.wikipedia.org/w/index.php?title=Template:Logic&action=submit  Logicians Anderson · Aristotle · Averroes · Avicenna · Bain · Barwise · Bernays · Boole · Boolos · Cantor · Carnap · Church · Chrysippus · Curry · De Morgan · Frege · Geach · Gentzen · Gödel · Hilbert · Kleene · Kripke · Leibniz · Löwenheim · Peano · Peirce · Putnam · Quine · Russell · Schröder · Scotus · Skolem · Smullyan · Tarski · Turing · Whitehead · William of Ockham · Wittgenstein · Zermelo  Lists Topics Outline of logic · Index of logic articles · Mathematical logic · Boolean algebra · Set theory Other Logicians · Rules of inference · Paradoxes · Fallacies · Logic symbols Portal · Category · Outline · WikiProject · Talk · changes