Meta-ontology

Metaontology or meta-ontology is the study of the field of inquiry known as ontology.{{cite web |last1=Turner |first1=Jason |title=Metaontology |url=https://www.oxfordhandbooks.com/oso/viewentry/10.1093$002foxfordhb$002f9780199935314.001.0001$002foxfordhb-9780199935314-e-25 |website=Oxford Handbooks Online |language=en |date=3 August 2016}} The goal of meta-ontology is to clarify what ontology is about and how to interpret the meaning of ontological claims. Different meta-ontological theories disagree on what the goal of ontology is and whether a given issue or theory lies within the scope of ontology. There is no universal agreement whether meta-ontology is a separate field of inquiry besides ontology or whether it is just one branch of ontology.

Meta-ontological realists hold that there are objective answers to the basic questions of ontology. According to the Quinean approach, the goal of ontology is to determine what exists and what doesn't exist. The neo-Aristotelian approach asserts that the goal of ontology is to determine which entities are fundamental and how the non-fundamental entities depend on them. Meta-ontological anti-realists, on the other hand, deny that there are objective answers to the basic questions of ontology. One example of such an approach is Rudolf Carnap's thesis that the truth of existence-claims depends on the framework in which these claims are formulated.

The term "meta-ontology" is of recent origin. It was first coined in the francophone world by Alain Badiou, in his work 'Being and Event,' in which he proposes a philosophy of the event conditioned by axiomatic set theory.{{cite book |last1=Badiou |first1=Alain |url=https://www.seuil.com/ouvrage/l-etre-et-l-evenement-alain-badiou/9782020098625 |title=L'Être et l'évènement |date=1988 |publisher=Éd. du Seuil |location=Paris |isbn=2-02-009862-8 |access-date=8 July 2023}} Its first Anglo-American use can be found in the work of Peter van Inwagen, in which he analyzes Willard Van Orman Quine's critique of Rudolf Carnap's metaphysics, where Quine introduced a formal technique for determining the ontological commitments in a comparison of ontologies.

Relation to ontology

Thomas Hofweber, while acknowledging that the use of the term is controversial, suggests that meta-ontology constitutes a separate field of enquiry besides ontology as its metatheory, when understood in a strict sense. But ontology can also be construed more broadly as containing its metatheory. Advocates of the term seek to distinguish 'ontology', which investigates what there is, from 'meta'-ontology, which investigates what we are asking when we ask what there is.

The notion of ontological commitment is useful for elucidating the difference between ontology and meta-ontology. A theory is ontologically committed to an entity if that entity must exist in order for the theory to be true.{{cite web |last1=Bricker |first1=Phillip |title=Ontological Commitment |url=https://plato.stanford.edu/entries/ontological-commitment/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=13 December 2020 |date=2016}} Meta-ontology is interested in, among other things, what the ontological commitments of a given theory are.{{cite journal |last1=Smid |first1=Jeroen |date=2020 |title=The Logic behind Quine's Criterion of Ontological Commitment |journal=European Journal of Philosophy |language=en |volume=28 |issue=3 |pages=789–804 |doi=10.1111/ejop.12534 |issn=1468-0378 |doi-access=free}} For this inquiry it is not important whether the theory and its commitments are true or false. Ontology, on the other hand, is interested in, among other things, what entities exist, i.e. which ontological commitments are true.

Realism

The meta-ontological realist holds that there are objective answers to the basic questions of ontology.{{cite book |last1=Chalmers |first1=David |title=Metametaphysics: New Essays on the Foundations of Ontology |publisher=OUP Oxford |isbn=978-0-19-954604-6 |url=https://books.google.com/books?id=6nqzIi16CY0C |language=en |chapter=Ontological Anti-Realism|date=19 February 2009 }} Recent work in meta-ontological realism can be roughly divided into 2 approaches: the neo-Aristotelian approach and the Quinean approach.{{cite thesis |last1=Kapelner |first1=Zsolt Kristóf |title=Reconciling Quinean and Neo-Aristotelian Metaontology |date=2015 |chapter=Introduction}}

=Quinean approach=

According to the Quinean approach, the goal of ontology is to determine what exists and what doesn't exist. Quine himself developed a specific version of this approach relying on first-order logic and pre-existing scientific theories in order to answer existence-questions. It involves translating these theories into first-order logic formulas. Their ontological commitments are then read off from the existential quantifiers used in the formulas.

One idea behind this approach is that scientific theories are our best guess about what is true. But in order for them to be true there should be something there that makes them true: their truthmakers. The existential quantifiers act as a guide to truthmakers.{{cite thesis |last1=Kapelner |first1=Zsolt Kristóf |title=Reconciling Quinean and Neo-Aristotelian Metaontology |date=2015 |chapter=3. Quinean metaontology}}

Another approach to answering existence-questions is proposed by Amie L. Thomasson. Her easy approach to ontology differs from Quine's approach in that it relies on common sense instead of science. The approach is easy because it usually starts off from very trivial common-sense premises. For example, an easy argument for the existence of numbers in the philosophy of mathematics can be made in the following way. There are five books on the table. So the number of books on the table is five. Therefore numbers exist.{{cite book |last1=Thomasson |first1=Amie Lynn |title=Ontology Made Easy |year=2015 |publisher=Oxford University Press |isbn=978-0-19-938511-9 |pages=251–252 |url=https://books.google.com/books?id=5M2iBAAAQBAJ |language=en}} Thomasson's approach differs from Quine's not just concerning her commitment to common sense but also concerning her account of quantification.{{cite journal |last1=Marschall |first1=Benjamin |title=Easy Ontology, quantification, and realism |journal=Synthese |date=18 November 2019 |volume=198 |issue=7 |pages=6281–6295 |doi=10.1007/s11229-019-02463-8 |s2cid=208086679 |language=en |issn=1573-0964|doi-access=free }}

=Neo-Aristotelian approach=

According to the neo-Aristotelian approach, the goal of ontology is to determine which entities are fundamental and how the non-fundamental entities depend on them. The concept of fundamentality is usually defined in terms of metaphysical grounding. Fundamental entities are different from non-fundamental entities because they are not grounded in other entities. For example, it is sometimes held that elementary particles are more fundamental than the macroscopic objects (like chairs and tables) they compose. This is a claim about the grounding-relation between microscopic and macroscopic objects. A neo-Aristotelian would categorize this claim as an ontological claim.

Aristotle himself was also "neo-Aristotelian" in the sense that he held that entities from different ontological categories have different degrees of fundamentality. For example, substances have the highest degree of fundamentality because they exist in themselves. Properties, on the other hand, are less fundamental because they depend on substances for their existence.{{cite web |last1=Cohen |first1=S. Marc |title=Aristotle's Metaphysics |url=https://plato.stanford.edu/entries/aristotle-metaphysics/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |date=2020}}

Jonathan Schaffer's priority monism is a more recent form of neo-Aristotelian ontology. He holds that on the most fundamental level there exists only one thing: the world as a whole. This thesis doesn't deny our common-sense intuition that the distinct objects we encounter in our everyday affairs like cars or other people exist. It only denies that these objects have the most fundamental form of existence.{{cite journal |last1=Schaffer |first1=Jonathan |title=Monism: The Priority of the Whole |journal=The Philosophical Review |date=1 January 2010 |volume=119 |issue=1 |pages=31–76 |doi=10.1215/00318108-2009-025 |url=https://read.dukeupress.edu/the-philosophical-review/article-abstract/119/1/31/2871/Monism-The-Priority-of-the-Whole |language=en |issn=0031-8108}}

=Comparison=

According to Schaffer, an important difference between the two approaches is that the Quinean approach leads to a flat ontology while the neo-Aristotelian approach leads to an ordered ontology. In a flat ontology, there is no difference in fundamentality between the different objects: they are all on the same level. In an ordered ontology, on the other hand, the entities are part of a complex hierarchical structure with different levels. The higher levels of this structure are grounded in the more basic levels. Schaffer also distinguishes a third type of ontology which he calls sorted. Sorted ontologies classify entities into different exclusive ontological categories. But this classification doesn't entail any hierarchical relations between the entities of the different categories.

It has been argued that neo-Aristotelianism is not a genuine alternative to Quineanism. So theories in ontology may combine elements from both approaches without becoming inconsistent.

Anti-realism

The meta-ontological anti-realist holds that there are no objective answers to the basic questions of ontology. One example of such an approach is Rudolf Carnap's thesis that the truth of existence-claims depends on the framework in which these claims are formulated. The choice between frameworks is guided by pragmatic considerations but there is no definite fact about which framework is correct. Quine disagreed with his teacher Carnap on these points, which led to the Carnap-Quine debate. Amie L. Thomasson summarizes the disagreement underlying this debate with reference to the distinction "between existence questions asked using a linguistic framework and existence questions that are supposed to be asked somehow without being subject to those rules—asked, as Quine puts it 'before the adoption of the given language'." Carnap refers to this distinction as the internal–external distinction.

References

{{Reflist|refs=

{{cite book |title=Metametaphysics: New Essays on the Foundations of Ontology |editor1=David Chalmers |editor2=David Manley |editor3=Ryan Wasserman |url=https://books.google.com/books?id=6nqzIi16CY0C |isbn=978-0199546046 |publisher= Oxford University Press |year=2009}}

{{cite book |author=Hirsch, Eli |year=2003 |chapter=Chapter 3: Quantifier Variance and Realism |editor1=Ernest Sosa |editor2=Enrique Villanueva |title=Philosophical Issues: Realism and Relativism, a supplement to Nous |volume=12 |publisher= Blackwell |isbn=978-0-631-23384-8}} Reprinted in {{cite book |title=Quantifier Variance and Realism: Essays in Metaontology |author=Eli Hirsch |publisher=Oxford University Press |chapter=Chapter 5: Quantifier Variance and Realism |pages=68–95 |isbn=978-0199732111 |year=2011 |chapter-url=https://books.google.com/books?id=iPRqtcjeHPsC&pg=PA68}}

{{cite encyclopedia |author=Hofweber, Thomas |title=Logic and Ontology: Different conceptions of ontology |encyclopedia=The Stanford Encyclopedia of Philosophy (Spring 2013 Edition)|editor= Edward N. Zalta |url= http://plato.stanford.edu/archives/spr2013/entries/logic-ontology/#DifConOnt |date=Aug 30, 2011 |quote=The larger discipline of ontology can thus be seen as having four parts [of which one is] the study of meta-ontology, i.e. saying what task it is that the discipline of ontology should aim to accomplish, if any, how the questions it aims to answer should be understood, and with what methodology they can be answered.}}.

{{cite journal |title=Meta-ontology |author=Peter Van Inwagen |url=http://andrewmbailey.com/pvi/Meta-ontology.pdf |journal=Erkenntnis |volume=48 |issue=2/3 |pages=233–250 |year=1998 |doi=10.1023/a:1005323618026}}

{{cite book |chapter-url=https://books.google.com/books?id=kivYOG_0vmwC&pg=PA142 |page=142 |author=Peter van Inwagen |editor=Dean Zimmerman |publisher=Oxford University Press |year=2008 |isbn=978-0191562310 |title=Oxford Studies in Metaphysics : Volume 4 |chapter=Quine's 1946 lecture on nominalism |quote=Quine's lecture is not to be measured by its failure...Its value is to be found in its demonstration, by example, of the way in which an ontological project should be undertaken...Its value lies in its contributions to meta-ontology, not in its contributions to ontology.}}

{{cite book |author=Jonathan Schaffer |author-link=Jonathan Schaffer |chapter=On What Grounds What Metametaphysics |title=Metametaphysics |chapter-url=http://www.jonathanschaffer.org/grounds.pdf |editor=Chalmers |editor2=Manley |editor3=Wasserman |isbn=978-0199546046 |publisher=Oxford University Press |year=2009 |pages=347–83 }} Reprinted by Philosopher’s Annual 29, eds. Grim, Charlow, Gallow, and Herold; also reprinted in Metaphysics: An Anthology, 2nd edition, eds. Kim, Korman, and Sosa (2011), 73-96: Blackwell.) Contains an analysis of Quine and proposes that questions of existence are not fundamental.

{{cite journal |title=The science of being |author=Gary Rosenkrantz |journal=Erkenntnis |volume=48 |issue=2/3 |pages=251–255 |year=1998 |doi=10.1023/a:1005489810828|s2cid=123682406 }}

{{cite web |author=Amie L Thomasson |year=2013 |title=Carnap and the prospects for easy ontology |at=§1. Carnap's approach to existence questions |url=http://www.amiethomasson.org/papers%20to%20link/Carnap%20and%20prospects%20for%20easy%20ontology%20revised.docx |accessdate=2013-06-08 |url-status=dead |archiveurl=https://web.archive.org/web/20131220135908/http://www.amiethomasson.org/papers%20to%20link/Carnap%20and%20prospects%20for%20easy%20ontology%20revised.docx |archivedate=2013-12-20 }} In [http://philpapers.org/rec/BLAOAC Stephan Blatti & Sandra Lapointe (eds.), Ontology after Carnap (2016)] [http://www.amiethomasson.org/papers%20to%20link/Carnap%20and%20prospects%20for%20easy%20ontology%20revised.docx On-line version of Thomasson]

(Section 1 of this reference by Thomasson is summarizing and explaining "§2. Linguistic frameworks" of {{cite journal | title = Empiricism, Semantics, and Ontology | journal = Revue Internationale de Philosophie | year = 1950 | first = Rudolf | last = Carnap | volume = 4 | pages = 20–40 }} Reprinted in {{cite book | last1 = Carnap | first1 = Rudolf | title = Meaning and necessity: a study in semantics and modal logic | chapter = Supplement A. Empiricism, Semantics, and Ontology | edition = 2 | publisher = University of Chicago Press | year = 1956 | pages = 205–221}} — [http://intersci.ss.uci.edu/wiki/eBooks/BOOKS/Carnap/Empiricism,%20Semantics,%20and%20Ontology%20Carnap.pdf On-line version of Carnap] {{Webarchive|url=https://web.archive.org/web/20180219002918/http://intersci.ss.uci.edu/wiki/eBooks/BOOKS/Carnap/Empiricism,%20Semantics,%20and%20Ontology%20Carnap.pdf |date=2018-02-19 }}.)

}}

External links

[http://philpapers.org/browse/metaontology/ PhilPapers metaontology]
[http://philpapers.org/s/metaontology Scholarly papers on metaontology]
[http://consc.net/papers/ontology.pdf David Chalmers: Ontological Anti-Realism]
[https://web.archive.org/web/20111028135407/http://users.ox.ac.uk/~sfop0257/papers/Ontology.pdf Cian Dorr: What We Disagree About When We Disagree About Ontology]
{{cite SEP |url-id=logic-ontology |title=Logic and Ontology |last=Hofweber |first=Thomas}}
{{cite web |title=Meta-Ontology |url=https://www.inphoproject.org/taxonomy/2359 |work=InPho |publisher=Indiana Philosophy Ontology Project }} The connection of meta-ontology to various other facets of philosophy.

Category:Ontology

Category:Metaphilosophy