This paper traces the development of Quine's ontological ideas throughout his early logical work in the period before 1948. It shows that his ontological criterion critically depends on this work in logic. The use of quantifiers as logical primitives and the introduction of general variables in 1936, the search for adequate comprehension axioms, and problems with proper classes, all forced Quine to consider ontological questions. I also show that Quine's rejection of intensional entities goes back to (...) his generalisation of Principia Mathematica in 1932. (shrink)

For Quine, the ontological commitments of a discourse are what fall under its (objectual) quantifiers. The recent literature, however, is beginning to move away from this picture. There are direct challenges to Quine's criterion, and there are also attempts to provide alternatives. Azzouni suggests that the ontological commitments of a discourse should be determined by an existence predicate instead. The availability of this alternative forces an adjudication between Qune's criterion and the predicate approach to ontological (...) commitment. I argue that to adjudicate between these criteria for ontological commitment, we need first to adjudicate between criteria for what exists. (shrink)

European Journal of Philosophy, EarlyView.

This paper resolves the problems raised by Israel Scheffler and Noam Chomsky against Quine’s criterion of ontological commitment. I call Scheffler’s and Chomsky’s problems as (1) the problem of inexorable ontological commitments and (2) the problem of false existential inferences. I extend their problems to a third one, which is called as the problem of extended inexorable ontological commitments to rival entities. In order to present the third problem, two ontological disputes are considered: Russell–Meinong (...) dispute from the context of the referential theory of meaning and David Lewis–Meinong dispute from the context of modal metaphysics. In order to work out a resolution to these three problems, I emphasize the distinction between meta-ontology/meta-theory and object theory. Then, it is explained that there is a functional difference between Quine’s criterion of ontological commitments (meta-theory) and the object theories to which this criterion is applied. Here, considering the functional difference, I introduce different kinds of commitments: direct commitments and indirect commitments. Using Strawson’s views on the notion of presupposition, the distinction between direct commitments and indirect commitments is characterized further. Employing this distinction, I resolve the problem of inexorable ontological commitment to the entities, the problem of false existential inferences and the problems of extended inexorable ontological commitment to the rival entities. (shrink)

Externalism holds that the content of our utterances and thoughts are determined partly by the environment. Here, I offer an argument which suggests that externalism is incompatible with a natural view about ontological commitment--namely, the Quinean view that such commitments are fixed by the range of the variables in your theory. The idea in brief is that if Oscar mistakenly believes that water = XYZ, the externalist ontologically commits Oscar to two waterish kinds, whereas the Quinean commits him to (...) one such kind (albeit a metaphysically impossible kind). The penultimate section addresses a variety of objections to the argument. (shrink)

Quine's views on indispensability arguments in mathematics are scrutinised. A weak indispensability argument is distinguished from a strong indispensability thesis. The weak argument is the combination of the criterion of ontological commitment, holism and a mild naturalism. It is used to refute nominalism. Quine's strong indispensability thesis claims that one should consider all and only the mathematical entities that are really indispensable. Quine has little support for this thesis. This is even clearer if one takes into account Maddy's (...) critique of Quine's strong indispensability thesis. Maddy's critique does not refute Quine's weak indispensability argument. We are left with a weak and almost unassailable indispensability argument. (shrink)

The standard argument for the existence of distinctively mathematical objects like numbers has two main premises: some mathematical claims are true, and the truth of those claims requires the existence of distinctively mathematical objects. Most nominalists deny. Those who deny typically reject Quine’s criterion of ontological commitment. I target a different assumption in a standard type of semantic argument for. Benacerraf’s semantic argument, for example, relies on the claim that two sentences, one about numbers and the other (...) about cities, have the same grammatical form. He makes this claim on the grounds that the two sentences are superficially similar. I argue that these grounds are not sufficient. Other sentences with the same superficial form appear to have different grammatical forms. I offer two plausible interpretations of Benacerraf’s number sentence that make use of plural quantification. These interpretations appear not to incur ontological commitments to distinctively mathematical objects, even assuming Quine’s criterion. Such interpretations open a new, plural strategy for the mathematical nominalist. (shrink)

Gary Ostertag: Quine and Russell: The chapter provides a selective overview of themes common to Russell and Quine, focusing on Russell's theory of descriptions and the notion of contextual definition. It begins by discussing Russell and Quine on modality, along the way highlighting the following topics: how C.I. Lewis's metalinguistic understanding of the modal operators shaped the subsequent debate about modality – in particular, how it rendered the very idea of de re modality unintelligible; how Quine's inattention to matters of (...) scope led him to conclude, somewhat misleadingly, that he had derived a modal paradox; how the failure of the reductionist program provided the basis for a challenge to a cornerstone of the understanding of modality – the idea of analytic truth. I then turn to Russell and Quine on the semantics of attitude reports, where the issue of scope takes center stage again. A final section discusses Russell's influence in the shaping of Quine's ontological criterion. (shrink)

Analytic theologians seem to unreservedly prioritize a realist view in the way they approach theological dogmas. I have previously argued that this particular type of realist methodological approach is inconsistent with the Islamic tradition. I demonstrated that this inconsistency lies between two primary theses which constitute realism and an absolutely transcendent and ineffable God of the Islamic tradition. I had established how each of these theses proved responsible, in different ways, for divesting the Islamic God of His absolute transcendence. In (...) this paper I determine why this is the case. I primarily seek to explicate the underlying reason for why metaphysical (theological) realism proves to be responsible for stripping the Islamic God of His absolute transcendence. This would involve being able to stipulate, somewhat accurately, the precise source of the accentuated inconsistency between metaphysical (theological) realism and the Islamic understanding of an absolutely transcendent and ineffable God. The exact source of this inconsistency, I shall argue, is grounded in Quine’s ontological theses, which underlie much of what metaphysical realism imports into the domain of analytic theology. (shrink)

My aim has been to adapt Quine's criterion of the ontological commitment of theories couched in standard quantificational idiom to a much broader class of theories by focusing on the set-theoretic structure of the models of those theories. For standard first-order theories, the two criteria coincide on simple entities. Divergences appear as they are applied to higher-order theories and as composite entities are taken into account. In support of the extended criterion, I appeal to its fruits in (...) treating the various examples considered above and to the healthy intuitions of the non-noneists among us. Don't O(m) and E(m) comprise just the things we should have though existed according to a particular interpretation m of a language or a theory? Whatever the answer (and it will hardly be unanimous), I hope to have pointed the way towards a recognition of ontology as a worthwhile branch of modern theory. (shrink)

This paper elaborates on the relation between Quine’s notion of ontological commitment and his philosophy of science. I distinguish and present Quine’s solutions to two problems of existence, a semantic problem, roughly amounting to asking how existence can be expressed within a certain language, and an epistemological problem, roughly amounting to how the members of the scientific community can decide which theories are warranted. The gap between these problems is filled by noticing that existence is equated by (...) Quine with reference, and that the principle of context imposes the epistemological primacy of truth over reference. Truth, in its turn, albeit given a purely semantic account along the lines of Tarski, is coextensive with the notion of warranted belief. (shrink)

Quine claimed that to be is is to be a value of a bound variable. In the paper we assume that this claim contains an important philosophical insight and investigate its background. It is argued that there are two dimensions involved in Quine’s slogan: (i) the distinction between existing and non-existing objects and (ii) the question of the systematic ambiguity of being that can be traced back to Aristotle. At the first sight it is tempting to construe Quine’s (...) criterion according to the first dimension. In this light it appears as an anti-Meinongian device and the Russelian roots of Quine’s philosophy make this interpretation prima facie plausible. However, it is argued that it is the anti-Aristotelian line which is dominant in Quine’s philosophy, and which is ontologically much more interesting. (shrink)

One of the philosophical uses of Dedekind’s categoricity theorem for Peano Arithmetic is to provide support for semantic realism. To this end, the logical framework in which the proof of the theorem is conducted becomes highly significant. I examine different proposals regarding these logical frameworks and focus on the philosophical benefits of adopting open-ended schemas in contrast to second order logic as the logical medium of the proof. I investigate Pederson and Rossberg’s critique of the ontological advantages of open-ended (...) arithmetic when it comes to establishing the categoricity of Peano Arithmetic and show that the critique is highly problematic. I argue that Pederson and Rossberg’s ontological criterion deliver the bizarre result that certain first order subsystems of Peano Arithmetic have a second order ontology. As a consequence, the application of the ontological criterion proposed by Pederson and Rossberg assigns a certain type of ontology to a theory, and a different, richer, ontology to one of its subtheories. (shrink)

In this paper, I develop a criticism to a method for metaontology, namely, the idea that a discourse’s or theory’s ontological commitments can be read off its sentences’ truth- conditions. Firstly, I will put forward this idea’s basis and, secondly, I will present the way Quine subscribed to it. However, I distinguish between two readings of Quine’s famous ontological criterion, and I center the focus on the one currently dubbed “ontological minimalism”, a kind of modern (...) Ockhamism applied to the mentioned metaontological view. I show that this view has a certain application via Quinean thesis of reference inscrutability but that it is not possible to press that application any further and, in particular, not for the ambitious metaontological task some authors try to employ. The conclusion may sound promising: having shown the impossibility of a semantic ontological criterion, intentionalist or subjectivist ones should be explored. (shrink)

Much of the ontology made in the analytic tradition of philosophy nowadays is founded on some of Quine’s proposals. His naturalism and the binding between existence and quantification are respectively two of his very influential metaphilosophical and methodological theses. Nevertheless, many of his specific claims are quite controversial and contemporaneously have few followers. Some of them are: (a) his rejection of higher-order logic; (b) his resistance in accepting the intensionality of ontological commitments; (c) his rejection of first-order modal (...) logic; and (d) his rejection of the distinction between analytic and synthetic statements. I intend to argue that these controversial negative claims are just interconnected consequences of those much more accepted and apparently less harmful metaphilosophical and methodological theses, and that the glue linking all these consequences to its causes is the notion of extensionality. (shrink)

This chapter contains sections titled: Abstract Introduction The Inscrutability of Objectual Reference Empiricism, Naturalism, and Provincialism References.

I trace the principles known as the indiscernibility of identicals, "Leibniz's Law", and the principle of substitutivity, beginning with Aristotle, through Leibniz, Frege, and Russell, and culminating in Quine. I argue that the indiscernibility of identicals is an ontological principle and the principle of substitutivity is a linguistic principle. I discuss the relations and conflations of the principles and various attempts to defend the principle of substitutivity from apparent counter-examples, focussing on Quine's attempt to use the principle as a (...) criterion for referential and non-referential occurrences of singular terms. I find Quine's acount ambivalent and counter-intuitive, yet I think his insight that pronouns or variables are paradigmatic of reference is significant. With that as a cue, I suggest an analysis of all singular terms into a counting device and an identifying component. I argue, finally, that the principle of substitutivity holds fundamentally for the counting element, and only "by courtesy" for unanalyzed singular terms. (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)

I argue that a certain kind of naturalist approach to social ontology is likely to be both philosophically fruitful and relevant to empirical social science. The kind of naturalism I employ might be called contextualism, which emphasizes the constant presence of assumed background knowledge, is suspicious of general inference rules and all or nothing claims about the ontology of the social sciences, and argues that Quine’s quantificational criterion for ontological commitment has to be supplemented with local interpretations (...) and arguments about what specific social science research is committed to. I look at three case studies employing this perspective, one on agent based models and individualism, a second on the reality of social class, and a third on the reality of race. In all three cases work is first needed to clarifying what empirical social science is claiming, what ontology or ontologies it seems to presuppose, and then description of the kinds of evidence that supports its commitments. (shrink)

A detailed analysis of Quine's paper on ontologicalreduction shows that the proxy-function requirement, in hischaracterization of the concept of ontological reduction,is superfluous for blocking Pythagoreism and inappropriate for a generalblockade of ontological monism.

Disagreement over what exists is so fundamental that it tends to hinder or even to block dialogue among disputants. The various controversies between believers and atheists, or realists and nominalists, are only two kinds of examples. Interested in contributing to the intelligibility of the debate on ontology, in 1939 Willard van Orman Quine began a series of works which introduces the notion of ontological commitment and proposes an allegedly objective criterion to identify the exact conditions under which a (...) theoretical discourse signals an assumption of existence. I intend to present the concept of ontological commitment and the Quinean criterion, to expose and evaluate some of the many criticisms to which the criterion has subject and to situate it in the context of Quine’s philosophy. As a product of such analyses, I hope to contribute to the discussion on the application and relevance of the notion of ontological commitment. (shrink)

The most influential philosopher in the analytic tradition of his time, Willard Van Orman Quine changed the way we think about language and its relation to the world. His rejection of the analytic/synthetic distinction, his scepticism about modal logic and essentialism, his celebrated theme of the indeterminacy of translation, and his advocacy of naturalism have challenged key assumptions of the prevailing orthodoxy and helped shape the development of much of recent philosophy.This introduction to Quine's philosophical ideas provides philosophers, students, and (...) generalists with an authoritative analysis of Quine's lasting contributions to philosophy. The major themes covered include the adaptation of the language of modern logic to formulate a criterion of ontological commitment; Quine's own ontological commitments; Duhemian-Holistic empiricism and the attendant rejection of a priori knowledge; the nature and grounds of logical truth; Quine's criticisms of such notions as meaning, synonymy, analyticity, and necessity; the conjecture of the indeterminacy of translation; modal logic; propositional attitudes; and Quine's work on naturalized epistemology.Quine's ideas throughout are contrasted with more traditional views, as well as with contemporaries such as Frege, Russell, Carnap, Davidson, Field, Kripke, and Chomsky, enabling the reader to grasp a clear sense of the place of Quine's views in twentieth-century philosophy and the important criticisms of them. (shrink)

In his late philosophy, Quine generalized the structuralist view in the philosophy of mathematics that mathematical theories are indifferent to the ontology we choose for them. According to his ‘global structuralism’, the choice of objects does not matter to any scientific theory. In the literature, this doctrine is mainly understood as an epistemological thesis claiming that the empirical evidence for a theory does not depend on the choice of its objects. The present paper proposes a new interpretation suggested by (...) class='Hi'>Quine’s recently published Kant Lectures from 1980 according to which his global structuralism is a semantic thesis that belongs to his theory of ontological reduction. It claims that a theory can always be reformulated in such a way that its truth does not presuppose the existence of the original objects, but only of some objects that can be considered as their proxies. Quine derives this claim from the principle of the semantic primacy of sentences, which is supposed to license the ontological reductions he uses to establish his global structuralism. It is argued that these reductions do not actually work because they do not account for some hidden ontological commitments that are not detected by his criterion of ontological commitment. (shrink)

The main goal of this paper is to work out Quine's account of explication. Quine does not provide a general account but considers a paradigmatic example which does not fit other examples he claims to be explications. Besides working out Quine's account of explication and explaining this tension, I show how it connects to other notions such as paraphrase and ontological commitment. Furthermore, I relate Quinean explication to Carnap's conception and argue that Quinean explication is much narrower because its (...) main purpose is to be a criterion of theory choice. (shrink)

The aim of the paper is to evaluate the usefulness of W.V.O. Quine's criterion for establishing the ontological commitments of a theory. At the outset, Quine's conception is reconstructed. It is argued that Quine does not provide a particularly clear exposition of the procedure of establishing ontological commitments. It is further maintained that - on a persuasive interpretation - one should distinguish several concepts associated with Quine's conception. These are: ontology, domain tolerated by an ontology, ontological (...) commitments type 1 (categorical), ontological commitments type 2 (individual). Then, the procedure itself is reconstructed. It is argued that it consists of three stages: (1) the reduction of the analyzed theory to so-called basic existential propositions; (2) the paraphrase of the basic existential propositions into the formulae of the I order logic; (3) the reconstruction of the ontology presupposed by the given theory as well as of the ontological commitments type 1 and type 2. The final part of the paper contains three objections against Quine's conception. It is argued, first, that it is impossible to reconstruct the ontology presupposed by the given theory as it requires that the same or a richer ontology is already in use. Second, Quine's procedure is based on a vicious circle: one needs to know the ontological commitments in order to reconstruct them. Third, if one assumes that Quine's procedure is applicable to uninterpreted theories, it is impossible to determine the domain of these theories. The conclusion of the paper is that Quine's criterion seem useless. (shrink)

We aim to show from a new perspective that Quine’s ontological relativity, based largely on his so-called “proxy-function argument”, falls short of being a rigorously coherent philosophical conception, as it exhibits significant formal defects. This new perspective enables exposing the shortcomings of Quine's position and suggests a possible reformulation of the original position. Moreover, we argue that his ontological relativity is inconsistent with the empirical data associated with some of our best physical theories, such as quantum mechanics. (...) We refer to fundamental concepts of philosophy and the foundations of mathematics in order to clarify our critique of Quine’s position concerning the relation between formalized theories and both what we can know about the real world and how we come to know it. (shrink)

This paper aims at discussing the usage by Davidson as to events of Quine's criterion of ontological commitment. According to Davidson, we are ontologically committed to the existence of events as individuals as we employ literally terms such as ‘Caesar’s death’, for instance. Davidson extends this analysis to actions as well, since actions are human events. One of the consequences of this view is that psychology deals with individual events in a non-lawful way. An alternative view is here (...) proposed, based on a complementary criterion, namely ontological density, according to which from the point of view of a given theory, we can always distinguish between events (or phenomena) and individuals (entities) among the overall occurrences described by the theory. Some consequences of this alternative view of psychology as a science dealing lawfully with general human events are also explored here. (shrink)

Contemporary logicians sometimes discuss questions like ‘What criterion is there for deciding whether a portion of language or a theory is committed to the existence of anything?’, ‘Does mathematics require us to countenance or tolerate abstract entities?’. In the course of these discussions ancient problems about universals reappear in a new dress. Quine, for one, would agree that it is not by our use of general terms that we commit ourselves to the existence of anything, for general terms like (...) ‘red’ and ‘five’ are not names. Nor does the use of names commit one to corresponding entities, for we sometimes use a name non–designatively. “Names,” as Quine says, “are in fact altogether immaterial to the onto–logical issue.” Quine argues that there is only one way in which we can find out what entities a theory commits us to. Given that the theory is expressed in the symbolism of quantification theory, we discover what entities the theory is committed to by examining what entities have to be values of our bound variables if the statements made in the theory are to be true. “To be is purely and simply to be the value of a variable”. I want to argue in this paper that Quine’s criterion of ontological commitment cannot distinguish genuine from bogus ontological commitment and is therefore inadequate. (shrink)

Our experience of objects is very rich. We perceive objects as possessing individuation conditions. This, however, is a projection of our senses and thinking. Azzouni shows the resulting austere metaphysics tames many ancient philosophical problems about constitution, as well as contemporary puzzles about reductionism.

In a number of essays published over the last decade or so, W. V. Quine has made some interesting suggestions concerning the ontology of theories. If I understand him correctly, one of his principal objects has been to formulate a criterion by means of which one can correctly decide what are the ontological commitments of any given theory. My aim in this paper is to reveal what I think are inadequacies in Quine's criterion and to indicate the (...) direction in which a proper formulation lies. (shrink)

Huw Price has argued that naturalistic philosophy inevitably leads to a deflationary approach to ontological questions. In this paper, I rebut these arguments. A more substantive, less language-focused approach to metaphysics remains open to naturalists. However, rebutting one of Price’s main arguments requires rejecting Quine’s criterion of ontological commitment. So, even though Price’s argument is unsound, it reveals that naturalists cannot rest content with broadly Quinean, “mainstream metaphysics,” which, I suggest, naturalists also have independent reasons to (...) reject. (shrink)

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)

In considering the possibility that the fundamental particles of matter might violate Leibniz's Principle, one is confronted with logical proofs that the Principle is a Theorem of Logic. This paper shows that the proof of that theorem is not universal enough to encompass entities that might not be unique, and also strongly suggests that photons, for example, do violate Leibniz's Principle. It also shows that the existence of non-individuals would imply the breakdown of Quine's criterion of ontological commitment.

According to Frege, the introduction of a new sort of abstract object is methodologically sound only if its identity conditions have been satisfactorily explained. Ironically, this ontological restriction has come to be known by Quine's criticism of Frege's intensional semantics, as the precept "No entity without identity." The aim of the paper is to reconstruct Frege's methodology of the introduction of abstract objects in detail, and to defend it against the more restrictive methodology underlying Quine's criticism of the recognition (...) of intensional objects. The main thesis is that Quine's criterion of non-circularity for the satisfactory individuation of abstract objects must be rejected. (shrink)

Quine's essay, “Ontological Relativity” [2] has brought about not a little confusion and disagreement. What is Quine's doctrine, and what are his arguments for it? The following paragraphs search for an answer. First a word about my aims. I will avoid adding to the already extensive discussion of Quine's older thesis of the indeterminacy of translation. Instead, where connections between the old and new doctrines become apparent, I will focus on the connections themselves and their repercussions for ontological (...) relativity. (shrink)

W. V. Quine has been interpreted as a contemporary adaption of the American pragmatist movement that originated with Peirce, James and Dewey. While pragmatism plays some role in Quine's views on theory choice in science and ontology, I argue that this is insufficient for classifying his work with the early pragmatists or with recent revivals of pragmatism.

A general meta-logical theory is developed by considering ontological disputes in the systems of metaphysics. The usefulness of this general meta-logical theory is demonstrated by considering the case of the ontological dispute between the metaphysical systems of Lewis’ Modal Realism and Terence Parsons’ Meinongianism. Using Quine’s criterion of ontological commitments and his views on ontological disagreement, three principles of metalogic is formulated. Based on the three principles of metalogic, the notions of independent variable and (...) dependent variable are introduced. Then, the ontological dispute between Lewis’ Modal Realism and Terence Parsons’ Meinongianism are restated in the light of the principles of metalogic. After the restatement, Independent variable and dependent variables are fixed in both Lewis’ Modal Realism and Terence Parsons’ Meinongianism to resolve the dispute. Subsequently, a new variety of quantifiers are introduced which is known as functionally isomorphic quantifiers to provide a formal representation of the resolution of the dispute. The specific functionally isomorphic quantifier which is developed in this work is known as st-quantifier. It is indicated that how st-quantifier which is one of the functionally isomorphic quantifiers can function like existential quantifier. It is also shown that there is some kind of inconsistency which is unavoidable in stating the ontological disagreement and therefore, paraconsistent logic is a requirement in stating the ontological disputes. (shrink)

Quinean Ontological Naturalism addresses the question “What is there?” Advocates of the view maintain that we can answer this question by applying Quine’s criterion of ontological commitment to our best scientific theories. In this paper, I discuss two major objections that are commonly offered to this view, what I call the “Paraphrase Objection” and “First Philosophy Objection”. I argue that these objections arise from a common uncharitable characterization of the Quinean Ontological Naturalist’s project that fails (...) to distinguish two distinct roles for Quine’s Criterion, a descriptive role and a normative role. The objections target the descriptive role, but only the normative role is important to Quinean Ontological Naturalism. (shrink)

This dissertation focuses on the question of whether or not we can adjudicate between competing criteria for what exists. A criterion for what exists provides the necessary and sufficient conditions for what sorts of entities are real. It tells us which property, or which set of properties, an entity must possess to count as existing. Example: an entity exists if and only if it has causal powers. ;My thesis, in this project, is that we are not in a position (...) to adjudicate between competing criteria for what exists. A criterion for what exists is philosophical bedrock, and it isn't possible for us to slide any justification underneath it. ;The first chapters of the dissertation focus on four candidate criteria for what exists: the causal criterion , the criterion of causal explanation , the criterion of best explanation , and the criterion of indispensability . My purpose is not to defend any of these criteria, nor to work out what exactly falls under them, but to get a good statement of each criterion, so that we have a set of possible candidates to adjudicate between. ;I then move to defend my main thesis. To this end, I examine four groups of arguments that might be used to defend a criterion for what exists: arguments from Quine's criterion, epistemic arguments, inductive arguments, and metaphysical arguments. I then try to show that each type of argument has to fail. (shrink)

This volume consists of the first of the John Dewey Lectures delivered under the auspices of Columbia University's Philosophy Department as well as other essays by the author. Intended to clarify the meaning of the philosophical doctrines propounded by Professor Quine in 'Word and Objects', the essays included herein both support and expand those doctrines.

Peter van Inwagen has long claimed that he doesn’t understand substitutional quantification and that the notion is, in fact, meaningless. Van Inwagen identifies the source of his bewilderment as an inability to understand the proposition expressed by a simple sentence like “,” where “$\Sigma$” is the existential quantifier understood substitutionally. I should think that the proposition expressed by this sentence is the same as that expressed by “.” So what’s the problem? The problem, I suggest, is that van Inwagen takes (...) traditional existential quantification to be ontologically committing and substitutional quantification to be ontologically noncommitting, which requires that the two quantifiers have different meanings—but no different meaning for the substitutional quantifier is forthcoming. What van Inwagen fails to appreciate is that substitutional quantification is directed at a criterion of ontological commitment, namely, W. V. O. Quine’s, which is quite different from van Inwagen’s criterion. Substitutional quantification successfully avoids the commitments Quine’s criterion would engender but has the same commitments as existential quantification given van Inwagen’s criterion. The question, then, is whether the existential quantifier is ontologically committing, as van Inwagen believes. The answer to that question will depend on whether the ordinary language “there is/are,” which is codified by the existential quantifier, is ontologically committing. There are good reasons to doubt that it is. (shrink)

This chapter contains sections titled: What are Actions? What Are the Identity Conditions of Actions? Agents and their Powers References Further reading.

Can Quine’s criterion for ontological commitment be comparatively applied across different logics? If so, how? Cross-logical evaluations of discourses are central to contemporary philosophy of mathematics and metaphysics. The focus here is on the influential and important arguments of George Boolos and David Lewis that second-order logic and plural quantification don’t incur additional ontological commitments over and above those incurred by first-order quantifiers. These arguments are challenged by the exhibition of a technical tool—the truncation-model construction of (...) notational equivalents—that compares the ontological role and increased expressive strength of non-first-order ideology to first-order ideology. (shrink)

This paper reviews the structure of standard quantum mechanics, introducing the basics of the von Neumann-Dirac axiomatic formulation as well as the well-known Copenhagen interpretation. We review also the major conceptual difficulties arising from this theory, first and foremost, the well-known measurement problem. The main aim of this essay is to show the possibility to solve the conundrums affecting quantum mechanics via the methodology provided by the primitive ontology approach. Using Bohmian mechanics as an example, the paper argues for a (...) realist attitude towards quantum theory. In the second place, it discusses the Quinean criterion for ontology and its limits when it comes to quantum physics, arguing that the primitive ontology programme should be considered as an improvement on Quine’s method in determining the ontological commitments of a theory. (shrink)

This study asserts that W.V.O. Quine’s eliminative philosophical gaze into mereological composition affects inevitably his interpretations of composition theories of ontology. To investigate Quine’s property monism from the account of modal eliminativism, I applied to his solution for the paradoxes of de re modalities’ . Because of its vital role to figure out how dispositions are encountered by Quine, it was significantly noted that the realm of de re modalities doesn’t include contingent and impossible inferences about things. Therefore, (...) for him, all the intrinsic forces and elements of entities such as powers and causal or teleological dispositions for ontology demand to be seen necessarily as bound variables from a monist perspective. Although his denial of analyticity and the elimination of dispositional field of ontology, S. Mumford criticizes the monist perspective of Quine’s paradoxical approach to superveniences. Because superveniences create problems while determining type-type identities from a monist mereological perspective. It is observed that Quine faces with a reduction again in terms of his dispositional monism despite his critiques to repulse vagueness from the ontology in his well-known article Two Dogmas of Empiricism. -/- . (shrink)