Ontology played a very large role in Quine’s philosophy and was one of his major preoccupations from the early 30’s to the end of his life. His work on ontology provided a basic framework for most of the discussions of ontology in analytic philosophy in the second half of the Twentieth Century. There are three main themes (and several sub-themes) that Quine developed in his work. The first is ontological commitment: What are the existential commitments of a theory? The second (...) is ontological reduction: How can an ontology be reduced to (or substituted by) another? And what is the most economical ontology that can be obtained for certain given purposes? The third is criteria of identity: When are entities of some kind (sets, properties, material objects, propositions, meanings, etc.) the same or different? In this paper I discuss Quine’s development of these three themes and some of the problems that were aised in connection with his work. (shrink)

1. 1. PROGRAM It will be our aim to reconstruct, with precision, certain views which have been traditionally associated with nominalism and to investigate problems arising from these views in the construction of interpreted formal systems. Several such systems are developed in accordance with the demand that the sentences of a system which is acceptable to a nominalist must not imply the existence of any entities other than individuals. Emphasis will be placed on the constructionist method of philosophical analysis. To (...) follow this method is to introduce the central notions of the subject-matter to be investigated into a system governed by exact rules. For example, the constructionist method of investigating the properties of geometric figures may consist in formulating a system of postulates and definitions which, together with the apparatus of formal logic, generates all necessary truths concerning geometric figures. Similarly, a constructionist analysis of the notion of an individual may take the form of an axiomatic theory whose provable assertions are just those which seem essential to the role played by the concept of an individual in system atic contexts. Such axiomatic theories gain in interest if they are supple mented by precise semantical rules specifying the denotation of all terms and the truth conditions of all sentences of the theory. (shrink)

I propose a way of thinking aboout content, and a related way of thinking about ontological commitment. (This is part of a series of four closely related papers. The other three are ‘On Specifying Truth-Conditions’, ‘An Actualist’s Guide to Quantifying In’ and ‘An Account of Possibility’.).

A collection of ten previously published essays on existence, nonexistence, empty names, fiction and myth, and free logic.

Quine’s criterion of theoretical ontological commitment is subject to a variety of interpretations, all of which save one yield incorrect verdicts. Moreover, the interpretation that yields correct verdicts is not what Quine meant. Instead the intended criterion unfairly imputes ontological commitments to theories that lack those commitments and fails to impute commitments to theories that have them. Insofar as Quine’s criterion is interpreted so that it yields only correct verdicts, it is trivial and of questionable utility. Moreover, the correct criterion (...) invokes analyticity, a notion that Quine spent most of his life tirelessly combating. This yields a dilemma for Quinean philosophy: Either his criterion of ontological commitment is incorrect, or else Quine is committed to a traditional philosophical notion that he emphatically rejected as disreputable. (shrink)

This paper defends two claims about the criterion of commitment of W.V.O Quine. The first claim is that the criterion can be made extensional. The second is that a proper formulation becomes an analytic truth. We spend a few preliminary sections clarifying our intended notion of ontological commitment. We will not go very far in our investigation of the criterion if we do not distinguish the things a theory postulates, what its adherents, or anybody else, believe in, and which of (...) these entities we have compelling reasons to accept. A look at [Quine 1953] shows that the criterion concerned the postulation of entities by theories, but it is often misread as an attempt to say something about either or. The core of the paper is an exposition of two formulations of the criterion. I first state a schema improving on that of [Scheffler and Chomsky 1959]. The second formulation is a single principle and construes commitment as a relation between theories and predicates: ontological commitment to the entities that satisfy a given predicate. Both criteria are extensional and are formulated for constructional systems, in the sense of [Carnap 1928] and [Goodman 1951], rather than for theories construed as interpreted sets of sentences. This solves a problem raised by [Halvorson 2019]. Their analyticity is substantiated by showing that their most controversial consequences are instances of Tarski’s Convention. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

There are two doctrines for which Quine is particularly well known: the doctrine of ontological commitment and the inscrutability thesis—the thesis that reference and quantification are inscrutable. At first glance, the two doctrines are squarely at odds. If there is no fact of the matter as to what our expressions refer to, then it would appear that no determinate commitments can be read off of our best theories. We argue here that the appearance of a clash between the two doctrines (...) is illusory. The reason that there is no real conflict is not simply that in determining our theories’ ontological commitments we naturally rely on our home language but also (and more importantly) that ontological commitment is not intimately tied to objectual quantification and a reference-first approach to language. Or so we will argue. We conclude with a new inscrutability argument which rests on the observation that the notion of objectual quantification, when properly cashed out, deflates. (shrink)

Quine’s general approach is to treat ontology as a matter of what a theory says there is. This turns ontology into a question of which existential statements are consequences of that theory. This approach is contrasted favourably with the view that takes ontological commitment as a relation to things. However within the broadly Quinean approach we can distinguish different accounts, differing as to the nature of the consequence relation best suited for determining those consequences. It is suggested that Quine’s own (...) narrowly formal account fails. Then a consideration of the necessitation approach championed by Jackson and Lewis shows that it does not do justice to the role of acknowledging consequences in determining rationality. I suggest that an approach which puts a priori consequence as the key relation does a better job. The task of spelling out the nature of a priori consequence is sketched, along with reasons to doubt the adequacy of the double indexing approach to analysing the a priori. The sorts of relations we can stand in to theories which allow us to inherit ontological commitments are touched on with a number of important philosophical strategies for introducing belief-like attitudes which nevertheless avoid ontological commitment. (shrink)

This paper consists of two parts. Part I contains a precise model-theoretic reconstruction of Quine's criterion for the ontological presuppositions of a theory. Two versions (K1), (K2) of the criterion are elaborated, (K2) being the more adequate one which is shown through a number of theorems for each version. Part II contains a critical discussion of (K2), in particular of the question wether (K2) is a criterion for ontological presuppositions, i.e. for entities existing independently of the theory. Its answer depends (...) on the meaning of the quantifiers used in (K2). It is shown that this meaning, contrary to Quine's opinion, does not commit one to the existence of entities. Quine's criterion is therefore not a criterion for ontological presuppositions of theories. If theories at all presuppose independently existing entities, then it is not by using the standard quantifiers of classical logic. One of the consequences of this result is that there is no need for a free logic, which is shown by discussing a system of Lambert and Meyer. Another consequence is that there is no problem about negative existentials. (shrink)

This paper reexamines an early article by Noam Chomsky and Israel Scheffler concerning the proper formulation and status of Quine's criterion for ontological commitment. ( What is Said to Be,' "Proceedings of the Aristotelian Society", 69, 1958-59; reprinted in Scheffler, "Inquiries".) Somewhat different formulations of the criterion are proposed and their implications explored. It is also argued that Chomsky and Scheffler's views may be seen to foreshadow and lead to some of Quine's later more radical doctrines regarding ontological commitment.

The structuralist conception of metaphysics holds that it aims to uncover the ultimate structure of reality and explain how the world's richness and variety are accounted for by that ultimate structure. On this conception, metaphysicians produce fundamental theories, the primitive, undefined expressions of which are supposed to 'carve reality at its joints', as it were. On this conception, ontological questions are understood as questions about what there is, where the existential quantifier 'there is' has a fundamental, joint-carving interpretation. Structuralist orthodoxy (...) holds that there is exactly one fundamental, joint-carving interpretation that an existential quantifier could have. This orthodox assumption could go wrong--either by there being too few fundamental-quantifier interpretations, or by there being too many. In this dissertation I examine the implications of these non-orthodox options. Someone who thinks there are too many fundamental-quantifier interpretations might think this means standard ontological debates are in some sense defective of 'merely verbal', or she might think instead that the different quantifiers show that there are different 'ways' or 'modes' of being. I argue that the first option runs into problems with a certain sort of realism about logic, but that there is no general problem with the second option, despite its longstanding bad philosophical reputation. I also argue that realism about logic gives us reason to think the dispute between someone who thinks there are many 'modes of being' in this sense and someone who thinks there is just one is not itself verbal. Finally, I turn to the case in which there are no fundamental quantifiers, arguing that it brings with it a host of theoretical problems we could avoid with quantifiers. (shrink)

At the heart of my pragmatic theory of truth and ontology is a view of the relation between language and reality which I term internal justification: a way of explaining how sentences may have truth-values which we cannot discover without invoking the need for the mystery of a correspondence relation. The epistemology upon which the theory depend~ is fallibilist and holistic ; places heavy reliance on modal idioms ; and leads to the conclusion that current versions of realism and anti-realism (...) are deficient. Just as my theory avoids the need for an epistemic 'given', it avoids the need for a metaphysical 'given' or 'joints'. I offer a view of the nature of philosophy and what it can properly achieve with respect to ontological questions ; since those views lead me to believe that philosophical discussion about what exists should be restricted to 'entities' discussed in non-philosophical contexts, my views on how we should understand claims made about the existence of middle-sized physical objects, theoretical entities in science, and abstract entities in mathematics, give the thesis a schematic completeness. My theory leads me to a conception of inquiry which defends the cognitive status of moral statements whilst being critical of Kantian and utilitarian approaches to morality. Chapter 1 explores the views of my closest philosophical allies: William James and Nelson Goodman. (shrink)