This chapter discusses ontological commitment to properties, understood as ontological correlates of predicates. We examine the issue in four metaontological settings, beginning with an influential Quinean paradigm on which ontology concerns what there is. We argue that this naturally but not inevitably avoids ontological commitment to properties. Our remaining three settings correspond to the most prominent departures from the Quinean paradigm. Firstly, we enrich the Quinean paradigm with a primitive, non-quantificational notion of existence. Ontology then concerns what exists. We argue (...) that this strengthens the Quinean case against ontological commitment to properties while also newly distinguishing between stronger and weaker forms of nominalism. Secondly, we enrich the Quinean paradigm with the ideology of fundamentality. Ontology then centrally concerns what’s fundamental. We argue that this leaves ontological commitment to properties wide open although Bradleyan regress threatens. Thirdly, we enrich the Quinean paradigm with primitive higher-order quantifiers. Ontology then expands to concern what there higher-order is and what there first-order is. We argue that this naturally but not inevitably incurs ontological commitment to properties. (shrink)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

This is a slightly opinionated review of three main factions in metaontology: Quineans, Carnapians, and Meinongians. Emphasis is given to the last camp, as the metaontological aspect of Meinongianism has been underappreciated. The final section then offers some general remarks about the legitimacy of ontology, touching on ideas I have developed in other publications.

In this paper I argue that there are some sentences whose truth makes no demands on the world, being trivially true in that their truth-conditions are trivially met. I argue that this does not amount to their truth-conditions being met necessarily: we need a non-modal understanding of the notion of the demands the truth of a sentence makes, lest we be blinded to certain conceptual possibilities. I defend the claim that the truths of pure mathematics and set theory are trivially (...) true, and hence accepting their truth brings no ontological commitment; I further defend the claim that the truths of applied mathematics and set theory do not demand the existence of numbers or sets. While the notion of a demand must not be reduced to anything modal, I nonetheless argue that sentences that are trivially true must also be necessary, lest we violate a very weak version of the principle that truth depends on the world. I further argue that all necessary truths are trivially true, lest we admit unexplained necessities. I end by showing one important consequence of this: I argue that if there are truthmakers for intrinsic predications, they must be states of affairs rather than tropes. (shrink)

Nominalists need some account of correctness for sentences committed to the existence of abstract objects. This paper proposes a new statement of such conditions specifically for properties. The account builds on an earlier proposal of mine, but avoids the counter-examples against the latter pointed out by Thomas Schindler, particularly, the sentence ‘There are inexpressible properties’. I argue that the new proposal is independently motivated and more faithful to the spirit of the kind of error-theoretic nominalism that the original proposal was (...) part of. Along the way, I also propose novel treatments of Arthur Pap’s and W.V.O. Quine’s notoriously hard-to-paraphrase sentences about abstracta. (shrink)

This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

In this paper I argue that inconsistencies in scientific theories may arise from the type of causality relation they—tacitly or explicitly—embody. All these seemingly different causality relations can be subsumed under a general strategy developed to defeat the paradoxes which inevitably occur in our experience of the real. With respect to this, scientific theories are just a subclass of the larger class of metaphysical theories, construed as theories that attempt to explain a (part of) the world consistently. All metaphysical theories (...) share a common structural backbone specificially designed to defeat paradoxes, their often wildly diverging ontological claims notwithstanding. This common structure shapes the procedures which govern the invention of ideas in the context of such theories, by codifying some onto-logical a priori assumptions regarding the consistency of reality into its bare conceptual framework. Causality plays a key rôle here, because it implies conservation of identity, itself a far from simple notion. It imposes strong demands on the universalising power of the theories concerned. These demands are often met by the introduction of a metalevel which encompasses the notions of ‘system’ and ‘lawful behaviour’. In classical mechanics, the division between universal and particular leaves its traces in the separate treatment of cinematics and dynamics. The fundamental backbone’s specific gestalt thus functions as a theory’s individual signature and paves the way to a comparative historical approach towards their study. An important part of my paper therefore explores the strong connections between paradoxes as they appear and are dealt with in ancient philosophy and their re-appearance in early modern natural philosophy and science. This analysis is applied to the mechanical theories of Newton and Leibniz, with some surprising results. (shrink)

Philosophers often aim to demonstrate that the things we ordinarily think and say can be reconciled with our considered beliefs about the world. To this end, many philosophers try to paraphrase ordinary language claims by finding equivalent sentences that are less misleading. For instance, though we know that there is no British family that is the average one, we want to say that the average British family has 1.8 children, and we might do that by paraphrasing this claim as: there (...) are nearly twice as many British children as British families. This article aims to introduce and distinguish different paraphrase strategies, sketch their role in metaphysical debates and highlight some crucial questions that proponents of such strategies face. (shrink)

Some philosophers say that a whole is “nothing over and above” its parts. Most also take general extensilonal mereology to be treating wholes as “nothing over and above” their parts. It is not always clear, however, what exactly is meant by the phrase “nothing over and above.” Nor is it obvious why the phrase is associated with mereology, and what purpose it serves there. In the words of Peter Van Inwagen : “This slippery phrase has had a lot of employment (...) in philosophy, but what it means is never explained by its employers.” This paper sheds light on the various senses in which one might hold that a whole is “nothing over and above” its parts, and on how these senses are related both to each other and to mereology. (shrink)

Lewis famously argued that mereology is ontologically innocent. Many who have considered this claim believe he was mistaken. Mereology is not innocent, because its acceptance entails the acceptance of sums, new objects that were not previously part of one’s ontology. This argument, the argument from ontological parsimony, has two versions: a qualitative and a quantitative one. I argue that the defender of mereology can neutralize both arguments by holding that, given mereology, a commitment to the parts of an object is (...) not an extra ontological commitment, made in addition to the commitment to the object; and that if the parts of an object are ‘ontologically innocent’, then sums cannot fail to be innocent either. (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Recent defenders of this view—such as Kris McDaniel and Jason Turner—have taken these ways of being to be best captured by semantically primitive quantifier expressions ranging over different domains. They have thus endorsed, what I shall call, quantificational pluralism. I argue that this focus on quantification is a mistake. For, on this view, a quantificational structure—or a quantifier for short—will be whatever part or aspect of reality’s structure (...) that a quantifier expression carves out and reflects. But if quantificational pluralism is true, then a quantifier should be more natural than its corresponding domain; and since it does not appear to be the case that a quantifier is more natural than its corresponding domain, quantificational pluralism does not appear to be true. Thus, I claim, an ontological pluralist should not be a quantificational pluralist. (shrink)

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments to a theory. Given (...) this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

This essay is a study of ontological commitment, focused on the special case of arithmetical discourse. It tries to get clear about what would be involved in a defense of the claim that arithmetical assertions are ontologically innocent and about why ontological innocence matters. The essay proceeds by questioning traditional assumptions about the connection between the objects that are used to specify the truth-conditions of a sentence, on the one hand, and the objects whose existence is required in order for (...) the truth-conditions thereby specified to be satisfied, on the other. This allows one to set forth an assignment of truth-conditions to arithmetical sentences whereby nothing is required of the world in order for the truth-conditions of a truth of pure arithmetic to be satisfied. The essay then argues that such an assignment can be used to account for the a priori knowability of certain arithmetical truths. (shrink)

There is renewed interest in questions of ontology in various fields, as there has been in biosemiotics. But for umwelt theory, ontology needs to be approached in particular ways, in order to avoid it from being yet another “philosophy of access”, part and parcel of the epistemology-ontology dyad, where “ontology” is the leftover of epistemology, or any sort of subjective constitution of things. The article engages in philosophical considerations about what kinds of assumptions and preliminary considerations should be made for (...) a semiosic ontology that was multiple, relational, and irreducible, with the principle goal being to engage with some terminological issues at the meeting point of ontology and umwelt theory. Ontography is proposed as a name for a low-key descriptive engagement with non-human umwelts considered as “worldings”, and maieutics as a particular attitude, or ethos, for the practical situation of direct inaccessibility of nonhuman umwelts. Parallels are drawn with the ontological turn in anthropology, which has also successfully engaged with alterity. A comparative study of umwelts should consider the ontological self-determination of the nonhuman other. (shrink)

It is widely assumed that if ontological disputes turn out to be verbal they ought to be dismissed. I dissociate the semantic question concerning the verbalness of ontological disputes from the pragmatic question on whether they ought to be dismissed. I argue that in the context of ontological disputes ontologists ought to be taken to communicate views with conflicting ontological commitments even if it turns out that on the correct view of semantics they fail to literally-express their disagreement. I argue, (...) that is, against dismissing ontological disputes on grounds of verbalness. This serves to discharge the ongoing debate on the verbalness of ontological disputes from the metaontological consequences typically associated with it. (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)

Quine says that ontology is about what there is, suggesting that to be ontologically committed to Fs is to be committed to accepting a sentence which existentially quantifies over Fs. Kit Fine argues that this gets the logical form of some ontological theses wrong. Fine is right that some ontological theses cannot be rendered simply as ‘There are Fs’. But the root of the problem has yet to be recognized, either by Fine or by his critics. Sometimes to adopt an (...) ontological thesis is not merely to commit yourself to there being at least one F; it is to take a stand on which Fs there are. Once we recognize the ‘particularity’ of these ontological theses, we can adequately express them within the confines of a Quinean approach to ontology and ontological commitment. (shrink)

According to Composition as Identity, a whole is distinct from each of its parts individually, but identical to all of them taken together. It is sometimes claimed that, if you accept CAI, then your belief in a whole is ‘ontologically innocent’ with respect to your belief in its parts. This claim is false. But the defender of CAI can claim a different advantage for her view. Following Agustín Rayo, I distinguish ontology from plethology. I then show that CAI allows us (...) to introduce an interesting notion of ‘plethological innocence’ which would otherwise collapse into the notion of ‘ontological innocence’, and that CAI renders belief in composite objects plethologically innocent. (shrink)

In this paper, I address a series of arguments recently put forward by Cappelen Review of Philosophy and Psychology 8: 743–762 to the effect that philosophers should not do formal semantics or be concerned with the “minutiae of natural language semantics”. He offers two paths for accessing his ideas. I argue that his arguments fail in favour of the first and cast some doubt on the second in so doing. I then proffer an alternative conception of why exactly philosophers should (...) continue to do formal linguistics which includes both semantics and syntax. (shrink)

In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to linguistic (...) phenomena. The final aim of the paper is directed at proposing a novel account of the syntax–semantics interface while shedding light on empty categories, semantically null forms, underspecified content and compositionality as a whole. (shrink)

In this paper I take second order-quantification to be a sui generis form of quantification, irreducible to first-order quantification, and I examine the implications of doing so for the debate over the existence of properties. Nicholas K. Jones has argued that adding sui generis second-order quantification to our ideology is enough to establish that properties exist. I argue that Jones does not settle the question of whether there are properties because—like other ontological questions—it is first-order. Then I examine three of (...) the main arguments for the existence of properties. I conclude that sui generis second-order quantification defeats the “one over many” argument and that, coupled with second-order predication, it also defeats the reference and quantification arguments. (shrink)

The proper evaluation of a theory's virtues seems to require taking into account what the theory is indirectly or implicitly committed to, in addition to what it explicitly says. Most extant proposals for criteria of theory choice in the literature spell out the relevant notion of implicit commitment via some notion of entailment. I show that such criteria behave implausibly in application to theories that differ over matters of entailment. A recent defence by Howard Peacock of such a criterion against (...) this objection is examined and rejected. I go on to a develop a better proposal on which, roughly speaking, a theory is counted committed to a claim if and only if its best fully explicit extension is explicitly committed to the claim. Such extensions in turn are evaluated by ordinary standards of theory choice adapted to the case of theories assumed to articulate their intended content in a fully explicit fashion. (shrink)

This paper defends a new version of truthmaker non-maximalism. The central feature of the view is the notion of a default truth-value. I offer a novel explanation for default truth-values and use it to motivate a general approach to the relation between truth-value and ontology, which I call truth-value-maker theory. According to this view, some propositions are false unless made true, whereas others are true unless made false. A consequence of the theory is that negative existential truths need no truthmakers (...) and that positive existential falsehoods need no falsemakers. (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 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)

In Parts of Classes David Lewis argued that mereology is ‘ontologically innocent’, mereological notions not incurring additional ontological commitments. Unfortunately, though, Lewis’s argument for this is not fully spelled out. Here we use some formal results concerning translations between formal languages to argue for the ontological innocence of mereology directly.

The prevailing approach to the problem of the ontological status of mathematical entities such as numbers and sets is to ask in what sense it is legitimate to ascribe a reference to abstract singular terms; those expressions of our language which, taken at face value, denote abstract objects. On the basis of this approach, neo‐Fregean Abstractionists such as Hale and Wright have argued that abstract singular terms may be taken to effect genuine reference towards objects, whereas nominalists such as Field (...) have asserted that these apparent ontological commitments should not be taken at face value. In this article I argue for an intermediate position which upholds the legitimacy of ascribing a reference to abstract singular terms in an attenuated sense relative to the more robust ascription of reference applicable to names denoting concrete entities. In so doing I seek to clear up some confusions regarding the ramifications of such a thin notion of reference for ontological claims about mathematical objects. (shrink)

According to ontological nihilism there are, fundamentally, no individuals. Both natural languages and standard predicate logic, however, appear to be committed to a picture of the world as containing individual objects. This leads to what I call the \emph{expressibility challenge} for ontological nihilism: what language can the ontological nihilist use to express her account of how matters fundamentally stand? One promising suggestion is for the nihilist to use a form of \emph{predicate functorese}, a language developed by Quine. This proposal faces (...) a difficult objection, according to which any theory in predicate functorese will be a notational variant of the corresponding theory stated in standard predicate logic. Jason Turner (2011) has provided the most detailed and convincing version of this objection. In the present paper, I argue that Turner's case for the notational variance thesis relies on a faulty metasemantic principle and, consequently, that an objection long thought devastating is in fact misguided. (shrink)

In this paper I further elucidate and defend a metaontological position that allows you to have a minimal ontology without embracing an error-theory of ordinary talk. On this view 'there are Fs' can be strictly and literally true without bringing an ontological commitment to Fs. Instead of a sentence S committing you to the things that must be amongst the values of the variables if it is true, I argue that S commits you to the things that must exist as (...) truthmakers for S if it is true. I rebut some recent objections that have been levelled against this metaontological view. (shrink)

I here defend a theory consisting of four claims about ‘property’ and properties, and argue that they form a coherent whole that can solve various serious problems. The claims are (1): ‘property’ is defined by the principles (PR): ‘F-ness/Being F/etc. is a property of x iff F’ and (PA): ‘F-ness/Being F/etc. is a property’; (2) the function of ‘property’ is to increase the expressive power of English, roughly by mimicking quantification into predicate position; (3) property talk should be understood at (...) face value: apparent commitments are real and our apparently literal use of ‘property’ is really literal; (4) there are no properties. In virtue of (1)–(2), this is a deflationist theory and in virtue of (3)–(4), it is an error theory. (1) is fleshed out as a claim about understanding conditions, and it is argued at length, and by going through a number of examples, that it satisfies a crucial constraint on meaning claims: all facts about ‘property’ can be explained, together with auxiliary facts, on its basis. Once claim (1) has been expanded upon, I argue that the combination of (1)–(3) provides the means for handling several problems: they help giving a happy-face solution to what I call the paradox of abstraction , they form part of a plausible account of the correctness of committive sentences, and, most importantly, they help respond to various indispensability arguments against nominalism. (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)

This thesis aims to bring methodological issues in the debate about the nature of fictional characters to the fore. I show how the arguments fictional realists have offered in favour of their views rely on crucial ‘metaontological’ assumptions about what ontological questions are and how they should be answered. In addition to casting doubt on some of the more orthodox approaches to ontological inquiry, my positive goal is to deploy an independently motivated metaontology to defend a novel version of fictional (...) anti-realism. On the view I develop and defend, the central task we face is that of explaining truths concerning fictional characters, where the relevant notion of explanation is distinctively metaphysical in character. Fictional anti-realism emerges as the plausible thesis that truths about fictional entities can be completely explained in terms of the existence and features of other things. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

The basic question of ontology is “What exists?”. The basic question of metaontology is: are there objective answers to the basic question of ontology? Here ontological realists say yes, and ontological anti-realists say no. (Compare: The basic question of ethics is “What is right?”. The basic question of metaethics is: are there objective answers to the basic question of ethics? Here moral realists say yes, and moral anti-realists say no.) For example, the ontologist may ask: Do numbers exist? The Platonist (...) says yes, and the nominalist says no. The metaontologist may ask: is there an objective fact of the matter about whether numbers exist? The ontological realist says yes, and the ontological anti-realist says no. Likewise, the ontologist may ask: Given two distinct entities, when does a mereological sum of those entities exist? The universalist says always, while the nihilist says never. The metaontologist may ask: is there an objective fact of the matter about whether the mereological sum of two distinct entities exists? The ontological realist says yes, and the ontological anti-realist says no. Ontological realism is often traced to Quine (1948), who held that we can determine what exists by seeing which entities are endorsed by our best scientific theory of the world. In recent years, the practice of ontology has often presupposed an ever-stronger ontological realism, and strong versions of ontological realism have received explicit statements by Fine (this volume), Sider (2001; this volume), van Inwagen (1998; this volume), and others. (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?

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

Abstract: Friends of plural logic—like Oliver & Smiley (2001), Rayo (2002), Yi (2005), and McKay (2006)—have argued that a semantics of plurals based on mereological sums would be too weak, and they have adduced several examples in favor of their claim. However, they have not considered various possible counter-arguments. So how convincing are their own arguments? We show that several of them are easily answered, while some others are more problematic. Overall, the case against mereological singularism—the idea that mereological sums (...) can serve as the semantic values of plurals—turns out to be much less strong than what it is usually presented to be. (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)

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)

I develop a technique for specifying truth-conditions.

Plural Logic is an extension of First-Order Logic with plural terms and quantifiers. When its plural terms are interpreted as denoting more than one object at once, Plural Logic is usually taken to be ontologically innocent: plural quantifiers do not require a domain of their own, but range plurally over the first-order domain of quantification. Given that Plural Logic is equi-interpretable with Monadic Second-Order Logic, it gives us its expressive power at the low ontological cost of a first-order language. This (...) makes it a valuable tool in various areas of philosophy. Some authors believe that Plural Logic can be extended into an even more expressive logic, Higher-Level Plural Logic, by adding higher-level plural terms and quantifiers to it. The basic idea is that second-level plurals stand to plurals like plurals stand to singulars. Allegedly, Higher-Level Plural Logic enjoys the expressive power of type theory while, again, committing us only to the austere ontology of a first-order language. Were this really the case, Higher-Level Plural Logic would be a very useful tool, extending and strengthening some of the applications of Plural Logic. However, while the notions of plural reference and quantification enjoy widespread acceptance today, their higher-level counterparts have been received with scepticism. The main objection raised against them is that higher-level plural reference is unintelligible. This has been argued, among others, on the grounds that there are no higher-level plurals in natural language and that, if there were any, they could be eliminated. In this thesis, after introducing the debate on plurals in Chapters 1 and 2, I turn to defending the legitimacy of the notion of higher-level plural reference. To this end, in Chapter 3, I present and elucidate the notion. Next, in Chapter 4, I show that some natural languages clearly contain these expressions and that they do so in an ineliminable manner. Finally, in Chapters 5 and 6, I develop a semantics for higher-level plurals that employs only devices previously well-understood by English speakers. To finish, in Chapter 7, I describe an application of Higher-level Plural Logic: a strengthening of the neo-Fregean programme. After describing my proposal, I turn to the issue of the logical status of this formalism and defend an optimistic take on the matter. (shrink)

I am a realist of a metaphysical stripe. I believe in an immense realm of "modal" and "abstract" entities, of entities that are neither part of, nor stand in any causal relation to, the actual, concrete world. For starters: I believe in possible worlds and individuals; in propositions, properties, and relations (both abundantly and sparsely conceived); in mathematical objects and structures; and in sets (or classes) of whatever I believe in. Call these sorts of entity, and the reality they comprise, (...) metaphysical. In contrast, call the actual, concrete entities, and the reality they comprise, physical. Physical and metaphysical reality together comprise all that there is. In this paper, it is not my aim to defend realism about any particular metaphysical sort of entity. Rather, I ask quite generally whether and how any brand of realism about metaphysical sorts of entity could be justified? (shrink)

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)