Ontological Commitment

According to the Ontological Innocence Thesis (OIT), grounded entities are ontologically innocent relative to their full grounds. I argue that OIT entails a contradiction, and therefore must be discarded. My argument turns on the notion of “groundmates,” two or more numerically distinct entities that share at least one of their full grounds. I argue that, if OIT is true, then it is both the case that there are groundmates and that there are no groundmates. Therefore, so I conclude, OIT is (...) false. Moreover, once we have seen why OIT is false, only three heterodox views about reality's structure remain. So this paper’s second conclusion is that, even after we have discarded OIT, we are in for an additional surprise. (shrink)

This thesis inquires what it means to interpret non-relativistic quantum mechanics (QM), and the philosophical limits of this interpretation. In pursuit of a scientific-realist stance, a metametaphysical method is expanded and applied to evaluate rival interpretations of QM, based on the conceptual distinction between ontology and metaphysics, for objective theory choice in metaphysical discussions relating to QM. Three cases are examined, in which this metametaphysical method succeeds in indicating what are the wrong alternatives to interpret QM in metaphysical terms. The (...) first two cases failed in doing so due to different kinds of underdetermination. In the third case, unlike underdetermination, where there are many choices to be made, a “null-determination” is proposed where there may be no metaphysical choices in the available metaphysical literature. Considering what has been discussed, an agnostic philosophic position is adopted concerning the possibility of interpreting QM from a scientific-realistic point of view. (shrink)

Some metaphysicians believe that existence debates are easily resolved by trivial inferences from Moorean premises. This paper considers how the introduction of negative Moorean facts—negative existentials that command Moorean certainty—complicates this picture. In particular, it shows how such facts, when combined with certain plausible metaontological principles, generate a puzzle that commits the proponents of this method to a contradiction.

Many metaphysicians often appeal to Hume’s dictum (HD), according to which there are no necessary connections between distinct entities (or states of entities), in order to resist theories that commit us to such connections. Some have argued that HD is an unsupported dogma of metaphysics. But theories that commit us to necessary connections between distinct goings-on can also be resisted by invoking a normative twist on HD, which I call the Humean Solvent (HS): “Do not connect distinct entities (or states (...) of entities) beyond necessity”. HS is a principle of structural parsimony – assuming that a theory is structurally more parsimonious than another when the latter is committed to a more connected ontology than the former is. Just as Ockham’s ‘razor’ encourages us to cut down superfluous ontological commitments, the Humean ‘solvent’ encourages us to dissolve dispensable metaphysical glue: we ought not to glue elements of our ontology beyond necessity. HS has both a qualitative and a quantitative dimension: qualitatively, it encourages us to avoid using metaphysical glues that are unnecessarily strong, the strongest of which being metaphysically necessary connections; quantitatively, it encourages us not to metaphysically glue things that need no gluing. Thus, given HS, other things being equal, what is worst is a theory that entails that everything is metaphysically necessarily connected to anything else and what is best is a theory that leaves all things loose and separable. In this paper, I will first compare HD and HS as grounds for paradigmatic Humean doctrines in contemporary metaphysics, then I will argue that structural parsimony is neither a variety of ontological nor of ideological parsimony; finally, I will offer an argument for HS. (shrink)

There is a growing movement towards construing some classic debates in ontology as meaningless, either because the answers seem obvious or the debates seem intractable. In this paper, I respond to this movement. The response has three components: First, the members of the two sides of the ontological debates that dismissivists have targeted are using different quantifiers. Second, the austere ontologist is using a more fundamental quantifier than her opponent. Third, the austere ontologist’s more fundamental quantifier is a restriction of (...) her opponent’s quantifier. This response takes seriously the intuition that there is something wrong with the ontological disputes, but does not entail dismissivism. (shrink)

This paper concerns an epistemological objection against mathematical platonism, due to Hartry Field.The argument poses an explanatory challenge – the challenge to explain the reliability of our mathematical beliefs – which the platonist, it’s argued, cannot meet. Is the objection compelling? Philosophers disagree, but they also disagree on (and are sometimes very unclear about) how the objection should be understood. Here I distinguish some options, and highlight some gaps that need to be filled in on the potentially most compelling version (...) of the argument. (shrink)

For Francisco Suárez, beings of reason are non-existent objects that we can think about, objects like goat-stags and round squares. The first section of the fifty-fourth of Suárez’s Metaphysical Disputations is about the ontological status of beings of reason. Suárez’s view has been the subject of disagreement in the literature because he sometimes says that there are beings of reason, and he sometimes says there are not. In this paper, I argue for and explain an ontological pluralist reading of Suárez. (...) Ontological pluralism is the claim that there is more than one way of being. I distinguish between two varieties of ontological pluralism, strict and non-strict, and argue that Suárez endorsed the latter. In the contemporary literature, it is sometimes alleged that ontological pluralism is an idle hypothesis, unintelligible or philosophically vacuous. I argue that Suárez has a response to this objection in his argument against ontological monism. (shrink)

The purpose of this article is to support the logical incompatibility of the opposing views as a criterion for characterizing disagreements as genuinely metaphysical. That is, I intend to argue that a specific dispute is a metaphysical disagreement only when the conflicting views are governed by different logics. If correct, this criterion would not only help to separate merely verbal from genuine metaphysical debates, but it also would ground an argument against deflationism, guaranteeing the substantiality and relevance of metaphysics. I (...) intend to clarify the criterion, to present its basic foundations and commitments, to give some logical and metaphysical motivations for its adoption and some examples of its application. (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 paper elaborates distinctions between a core and a periphery in the ontological and the conceptual domain associated with natural language. The ontological core-periphery distinction is essential for natural language ontology and is the basis for the central thesis of my 2013 book Abstract Objects and the Semantics of Natural Language, namely that natural language permits reference to abstract objects in its periphery, but not its core.

Quine's views on ontology and naturalism are well-known but rarely considered in tandem. According to my interpretation the connection between them is vital. I read Quine as a global epistemic structuralist. Quine thought we only ever know objects qua solutions to puzzles about significant intersections in observations. Objects are always accessed descriptively, via their roles in our best theory. Quine's Kant lectures contain an early version of epistemic structuralism with uncharacteristic remarks about the mental. Here Quine embraces mitigated anomalous monism, (...) allowing introspection and the availability in principle of full physical descriptions of the perceptual states which get science off the ground. Later versions abandon these ideas. My epistemic-structural interpretation explains why. I argue first-personal introspective access to mental states is incompatible with global epistemic structuralism. (shrink)

Primitive, unanalysable grounding relations are considered by many to be indispensable constituents of the metaphysician’s toolkit. Yet, as a primitive ontological posit, grounding must earn its keep by explaining features of the world not explained by other tools already at our disposal. Those who defend grounding contend that grounding is required to play two interconnected roles: accounting for widespread intuitions regarding what is ontologically prior to what, and forming the backbone of a theory of metaphysical explanation, in much the same (...) way that causal relations have been thought to underpin theories of scientific explanation. This thesis undermines the need to posit grounding relations to perform either of these jobs. With regard to the first, it is argued that a pair of human psychological mechanisms—for which there is substantial empirical support—can provide a more theoretically virtuous explanation of why we have the intuitions that we do. With regard to the second, I begin by considering what we want from a theory of explanation, and go on to develop three attractive (yet grounding-free) theories of metaphysical explanation. I offer: i) a psychologistic theory that calls upon the aforementioned psychological mechanisms, as well as the modal relations of necessitation and supervenience, ii) a metaphysical variant of the deductive-nomological theory of scientific explanation, and iii) a metaphysical variant of the unificationist theory of scientific explanation. Furthermore, these theories draw upon mechanisms and relations (both logical and ontological) to which we are already committed. Thus, to posit grounding relations in order to explain our priority intuitions, or in order to develop a theory of metaphysical explanation, is ontologically profligate. I conclude that we should not posit relations of ground. (shrink)

In this comment on Misak’s Cambridge Pragmatism, I examine a case study—debate about the existence of free will—in order to explore residual tensions between Misak’s ‘truth-affirming,’ Peircean pragmatism, and mainstream analytic philosophy. I suggest that Misak’s Peirce makes a metaphysical commitment to the existence of rational self-control, and thereby to the existence of free will. I also suggest, however, that her ‘analytic pragmatism’ thus far offers few clues about how we should defend such a commitment from skeptical arguments emerging from (...) contemporary analytic metaphysics. I conclude that analytic pragmatists have more work to do in explaining pragmatism’s complex relationship with metaphysics, and defending its core commitments from skeptical threats. (shrink)

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ in this sense is often used by philosophers as a synonym of ‘metaphysics’ (a label meaning literally: ‘what comes after the Physics’), a term used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. But in recent years, in a development hardly noticed by philosophers, the (...) term ‘ontology’ has gained currency in the field of computer and information science, and in information-driven research in bioinformatics and related areas. We examine these new developments in applied ontology, and show what lessons they might have for both philosophers and information scientists. (shrink)

Quantifier variance faces a number of difficulties. In this paper we first formulate the view as holding that the meanings of the quantifiers may vary, and that languages using different quantifiers may be charitably translated into each other. We then object to the view on the basis of four claims: (i) quantifiers cannot vary their meaning extensionally by changing the domain of quantification; (ii) quantifiers cannot vary their meaning intensionally without collapsing into logical pluralism; (iii) quantifier variance is not an (...) ontological doctrine; (iv) quantifier variance is not compatible with charitable translation and as such is internally inconsistent. In light of these troubles, we recommend the dissolution of quantifier variance and suggest that the view be laid to rest. (shrink)

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)

Meta-metaphysics concerns the nature and methodology of metaphysics and metaphysical inquiry. The emergence of meta-metaphysics as a systematic area of study is relatively recent, going back to the late 1990s. But the issues pursued in meta-metaphysics are certainly not novel: an age old question about the nature of metaphysics is whether it is possible to obtain knowledge about metaphysical matters in the first place, and if it is, how this knowledge is obtained.

As analytic philosophy is becoming increasingly aware of and interested in its own history, the study of that field is broadening to include, not just its earliest beginnings, but also the mid-twentieth century. One of the towering figures of this epoch is W.V. Quine (1908-2000), champion of naturalism in philosophy of science, pioneer of mathematical logic, trying to unite an austerely physicalist theory of the world with the truths of mathematics, psychology, and linguistics. Quine's posthumous papers, notes, and drafts revealing (...) the development of his views in the forties have recently begun to be published, as well as careful philosophical studies of, for instance, the evolution of his key doctrine that mathematical and logical truth are continuous with, not divorced from, the truths of natural science. But one central text has remained unexplored: Quine's Portuguese-language book on logic, his 'farewell for now' to the discipline as he embarked on an assignment in the Navy in WWII. Anglophone philosophers have neglected this book because they could not read it. Jointly with colleagues, I have completed the first full English translation of this book. In this accompanying paper I draw out the main philosophical contributions Quine made in the book, placing them in their historical context and relating them to Quine's overall philosophical development during the period. Besides significant developments in the evolution of Quine's views on meaning and analyticity, I argue, this book is also driven by Quine's indebtedness to Russell and Whitehead, Tarski, and Frege, and contains crucial developments in his thinking on philosophy of logic and ontology. This includes early versions of some arguments from 'On What There Is', four-dimensionalism, and virtual set theory. (shrink)

A review of Jody Azzouni's "Ontology without Borders". Azzouni defends "ontological projectivism", a variety of ontological nihilism according to which "ontological borders" are not "worldly". I raise some questions about the view and about his master argument for it.

This paper gives a characterization of the ontology implicit in natural language and the entities it involves, situates natural language ontology within metaphysics, and responds to Chomskys' dismissal of externalist semantics.

© The Author 2017. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For Permissions, please email: journals.permissions@oup.com‘Carnap is not completely unknown to us’ comments Richard Creath in his contribution to this book. ‘We often know just enough to be baffled’. It will be no surprise to anyone when I say that this book will not unbaffle us. But it does give us a collection of rewarding papers that each wrestle with the legacy Carnap has (...) left us. The introduction contains a helpful summary of each paper, so rather than giving my own, I will trace one thread of argument that runs through a few of the papers.Perhaps the only feature of Carnap’s views that can be found throughout the book is his distinction between internal and external questions, according to which internal questions are good, external questions are bad and... (shrink)

There is a significant difference between the words `is' and `exists' that has either been overlooked or under-appreciated by many philosophers. This difference comes in sentences that express existential quantification using `is', `exists', or their cognates, such as, "There are cookies in the jar," or, "There exists a strange species of fish that nobody has studied yet." Phrases such as `there are' and `there exists' are existential quantifier expressions, since they're used to express existential quantification. The orthodox view of these (...) expressions is that they are, in the words of David K. Lewis, "entirely synonymous and interchangeable". This dissertation presents and argues for an anti-orthodox view of meaning of `there is' and `there exists'. The root of the difference in meaning between the two expressions is that `there is' turns out to be context-sensitive, on the model of demonstratives like `this' or `that', while `there exists' is invariant in its meaning. These views are motivated through the introduction of a notion called `ontological robustness', which helps us evaluate the level of ontological commitment in our assertions. The anti-orthodox view is defended over orthodoxy through holistic arguments that compare the virtues of each theory, including such metrics as how they fare in accounting for our stubborn desire to talk about and quantify over nonexistent objects. (shrink)

In this paper, I articulate and argue for a new truthmaker view of ontological commitment, which I call the “General Truthmaker View”: when one affirms a sentence, one is ontologically committed to there being something that makes true the proposition expressed by the sentence. This view comes apart from Quinean orthodoxy in that we are not ontologically committed to the things over which we quantify, and it comes apart from extant truthmaker views of ontological commitment in that we are not (...) ontologically committed to the truthmakers of our sentences. (shrink)

The aim of natural language ontology is to uncover the ontological categories and structures that are implicit in the use of natural language, that is, that a speaker accepts when using a language. This article aims to clarify what exactly the subject matter of natural language ontology is, what sorts of linguistic data it should take into account, how natural language ontology relates to other branches of metaphysics, in what ways natural language ontology is important, and what may be distinctive (...) of the ontological categories and structures reflected in natural language. (shrink)

Can the abstract entities be designated? While the empiricists usually took the positive answer to this question as the first step toward Platonism, in his ``Empiricism, Semantics, and Ontology’’ [Carnap 1950], Carnap tried to make a reconciliation between the language referring to abstract entities on the one hand, and empiricism on the other. In this paper, firstly, I show that the ingenuity of Carnap’s approach notwithstanding, it is prone to criticism from different aspects. But I also show how, even without (...) leaving the empiricist research program, the shortcomings could be amended. Following Carnap’s 1950 outset, and adding some apparently untasteful (Meinongian) ingredients, I will sketch a refined way for dealing with the problem of existence of abstract entities within the framework of the philosophy of empiricism. (shrink)

In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal semantics from an (...) ontological perspective. In the rest of the paper, I develop rigorously and put into practice such a method, especially concerning the interpretation of second-order quantification. I will define the notion of ontological framework: it is a set-theoretical structure from which one can construct semantics whose ontological commitments correspond exactly to a given ontological view. I will define five ontological frameworks corresponding respectively to: (i) predicate nominalism, (ii) resemblance nominalism, (iii) armstrongian realism, (iv) platonic realism, and (v) tropism. From those different frameworks, I will construct different semantics for first-order and second-order languages. Notably I will present different kinds of nominalist semantics for second-order languages, showing thus that we can perfectly quantify over properties and relations while being ontologically committed only to individuals. I will show in what extent those semantics differ from each other; it will make clear how the disagreements between the ontological views extend from ontology to logic, and thus why endorsing an ontological view should have an impact on the kind of logic one should use. (shrink)

It is widely held that there is a problem of talking about or otherwise representing things that not exist. But what exactly is this problem? This paper presents a formulation of the problem in terms of the conflict between the fact that there are truths about non-existent things and the fact that truths must be answerable to reality, how things are. Given this, the problem of singular negative existential statements is no longer the central or most difficult aspect of the (...) problem of non-existence, despite what some philosophers say. (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.

The problem with ontological commitment is that when we symbolize the statements that we make about what 'exists' or what is 'real', they do not always translate to exactly that which we intend to express. In this essay, I explore the relation between 'Reality' and how we describe reality. I evaluate the accounts of three prominent philosophers on the topic, address their shortcomings, and introduce my own account; which I call "The Natural Definition of Reality".

Divergências sobre o que existe são tão básicas que tendem a dificultar ou até bloquear o diálogo entre os antagonistas. As várias disputas entre crentes e ateus, ou realistas e nominalistas são apenas dois tipos de exemplos. Interessado em contribuir para a inteligibilidade do debate sobre ontologia, em 1939 W. V. Quine iniciou uma série de trabalhos em que apresenta a noção de compromisso ontológico e propõe um critério supostamente objetivo para identificar as condições exatas em que um discurso teórico (...) sinaliza uma suposição de existência. Pretendo apresentar o conceito de compromisso ontológico e o critério quineano, apresentar e avaliar algumas das muitas críticas que o critério recebeu e situá-lo no contexto da filosofia de Quine. Como produto destas análises, espero contribuir para a reflexão sobre a relevância e o lugar filosófico da noção de compromisso ontológico. (shrink)

'Ontology and Metaontology: A Contemporary Guide' is a clear and accessible survey of ontology, focussing on the most recent trends in the discipline. -/- Divided into parts, the first half characterizes metaontology: the discourse on the methodology of ontological inquiry, covering the main concepts, tools, and methods of the discipline, exploring the notions of being and existence, ontological commitment, paraphrase strategies, fictionalist strategies, and other metaontological questions. The second half considers a series of case studies, introducing and familiarizing the reader (...) with concrete examples of the latest research in the field. The basic sub-fields of ontology are covered here via an accessible and captivating exposition: events, properties, universals, abstract objects, possible worlds, material beings, mereology, fictional objects. -/- The guide's modular structure allows for a flexible approach to the subject, making it suitable for both undergraduates and postgraduates looking to better understand and apply the exciting developments and debates taking place in ontology today. (shrink)

To a first approximation, ontology is concerned with what exists, metaontology with what it means to say that something exists. So understood, metaontology has been dominated by three views: (i) existence as a substantive first-order property that some things have and some do not, (ii) existence as a formal first-order property that everything has, and (iii) existence as a second-order property of existents’ distinctive properties. Each of these faces well-documented difficulties. In this chapter, I want to expound a fourth theoretical (...) option, which unfortunately has remained ‘under the radar.’ This is Franz Brentano’s view, according to which to say that X exists is not to attribute a property at all (first- or second-order), but to say that the correct attitude to take toward X is that of accepting or believing in it. (shrink)

Recent attempts to answer ontological questions through conceptual analysis have been controversial. Still, it seems reasonable to assume that if the existence of certain things analytically follows from sentences we already accept, then there is no further ontological commitment involved in affirming the existence of those things. More generally, it is plausible that whenever a sentence analytically entails another, the conjunction of those sentences requires nothing more of the world for its truth than the former sentence alone. In his ‘Analyticity (...) and Ontology’, Louis deRosset tries to produce counterexamples to these principles by means of linguistic stipulations. I aim to show where his arguments go wrong. (shrink)

A plurality or plural object is a single object that is also many, and pluralitism is the thesis that there is such an object. This paper argues that pluralitism and closely related theses (e.g., the many-one identity thesis and the composition as identity thesis) violate logic. To do so, it formulates an approach to the logic and semantics of plural constructions that results in plural logic and relates treatments of plural constructions to accounts of natural number. And it gives a (...) critical examination of Frege’s views of numbers and plural constructions, and sketches the view of plural constructions as devices for talking about the many (as such), and an account of natural numbers as properties of a special kind, plural properties. (shrink)

The notion of existence is a very puzzling one philosophically. Often philosophers have appealed to linguistic properties of sentences stating existence. However, the appeal to linguistic intuitions has generally not been systematic and without serious regard of relevant issues in linguistic semantics. This paper has two aims. On the one hand, it will look at statements of existence from a systematic linguistic point of view, in order to try to clarify what the actual semantics of such statements in fact is. (...) On the other hand, it will explore what sort of ontology such statements reflect. The first aim is one of linguistic semantics; the second aim is one of descriptive metaphysics. Philosophically, existence statements appear to reflect the distinction between endurance and perdurance as well as particular notions of abstract states and of kinds. Linguistically, statements of existence involve a particular way of drawing the distinction between eventive and stative verbs and between individual-level and stage-level predicates as well as a particular approach to the semantics of bare plurals and mass nouns. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (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)

This volume brings together new work on the logic and ontology of plurality and a range of recent articles exploring novel applications to natural language semantics. The contributions in this volume in particular investigate and extend new perspectives presented by plural logic and non-standard mereology and explore their applications to a range of natural language phenomena. Contributions by P. Aquaviva, A. Arapinis, M. Carrara, P. McKay, F. Moltmann, O. Linnebo, A. Oliver and T. Smiley, T. Scaltsas, P. Simons, and B.-Y. (...) Yi . (shrink)

In this chapter, I examine Lewis's ideas about ontological innocence, ontological commitment and double-counting, in his discussion of composition as identity in Parts of Classes. I attempt to understand these primarily as epistemic or methodological claims: how far can we get down this route without adopting radical metaphysical theses about composition as identity?

/Analyticity theorists/, as I will call them, endorse the /doctrine of analyticity in ontology/: if some truth P analytically entails the existence of certain things, then a theory that contains P but does not claim that those things exist is no more ontologically parsimonious than a theory that also claims that they exist. Suppose, for instance, that the existence of a table in a certain location is analytically entailed by the existence and features of certain particles in that location. The (...) doctrine implies that the table's existence requires nothing more of the world than that those particles exist and bear the features in question. Analyticity theorists have alleged that this idea may be used to defend controversial existence claims against a battery of objections. I argue that this style of defense fails, because the doctrine faces counter-examples. An existence claim may be analytically entailed by some truth and still report a substantial further fact. (shrink)

Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification theory, too, with (...) its residue of existentially loaded theorems and patterns of inference, has been claimed to suffer from a defect of logical purity. The law of non-contradiction rules out certain circumstances as impossible—circumstances in which a statement is both true and false, or perhaps circumstances where something both is and is not the case. Is this to be regarded as a further ontological bias? (shrink)

So-called mass nouns, however precisely they are defined, are in any case a subset of non-count nouns. Count nouns are either singular or plural; to be non-count is hence to be neither singular nor plural. This is not, as such, a metaphysically significant contrast: 'pieces of furniture' is plural whereas 'furniture' itself is non-count. This contrast is simply between 'the many / few' and 'the much / little' - between counting and measuring. However not all non-count nouns are, like 'furniture', (...) semantically atomic - 'wine' and 'water' are not. And here there are serious difficulties in the assignment of a range of values for variables, in a formal representation of quantified sentences involving such non-atomic non-count nouns. (shrink)

Consider the kinds of macroscopic concrete objects that common sense and the sciences allege to exist: tables, raindrops, tectonic plates, galaxies, and the rest. Are there any such things? Opinions differ. Ontological liberals say they do; ontological radicals say they don't. Liberalism seems favored by its plausible acquiescence to the dictates of common sense abetted by science; radicalism by its ontological parsimony. Priority theorists claim we can have the virtues of both views. They hold that tables, raindrops, etc., exist, but (...) they aren't fundamental. The ontological liberal's ontology provides the correct inventory of existent individuals. The ontological radical's more restricted ontology provides the correct inventory of fundamental individuals. The priority theorist claims that the derivative individuals are "no addition in being" to the fundamental ones, so we can have our cake and eat it too. It would be nice if priority theorists were right. In this paper I argue, with regret, that they are not. One upshot is that the sort of explanations which underwrite the priority theorist's distinction between fundamental and derivative individuals do not mitigate our ontological commitments. Another is that we still have to choose between the charms of liberalism and radicalism. (shrink)