There was once a land inhabited by many tribes. For a long time, each of the tribes was isolated from all the rest. When they finally made contact, all were amazed to discover how similar they were to one another. All of them spoke languages with exactly the same syntax— that of English. Nevertheless, it soon became clear that there were systematic behavioral differences among the tribes. These differences were reflected in the tribespeoples’ reactions to..

In contemporary debates about ontology, one prominent skeptical view emphasizes the existence of different possible languages for doing ontology. Eli Hirsch, in recent years the most prominent proponent of a view like this, has defended the claim that “many familiar questions about the ontology of physical objects are merely verbal. Nothing is substantively at stake in these questions beyond the correct use of language” and the claim that “quantifier expressions can have different meaning in different languages”.1 Ted Sider, while critical (...) of the type of view Hirsch defends, has in many places prominently singled it out for critical discussion. In his (2001), he associates with Carnap the view that “different frameworks employ different semantic rules for the quantifiers”, and says that a theorist in Carnap’s tradition would say that the stuff-ontologist and the thing-ontologist have different “frameworks” and that “[W]ithin these frameworks there are answers to what there is, but any question about which framework is the right framework is metaphysical in the pejorative sense of being a pseudo-question”.2 In his (forthcoming), Sider discusses at length the view that disputants in ontological disputes use the same sentences with different meaning and hence in fact each speak the truth, and what he describes as the attendant view that “there are multiple candidate meanings for the quantifiers”.3 In his (2005), Cian Dorr critically discusses “the idea that there are many different possible languages which differ systematically in the truth-values they assign to general ontological claims”.4.. (shrink)

This paper argues for the thesis that, roughly put, it is impossible to talk about absolutely everything. To put the thesis more precisely, there is a particular sense in which, as a matter of semantics, quantifiers always range over domains that are in principle extensible, and so cannot count as really being ‘absolutely everything’. The paper presents an argument for this thesis, and considers some important objections to the argument and to the formulation of the thesis. The paper also offers (...) an assessment of just how implausible the thesis really is. It argues that the intuitions against the thesis come down to a few special cases, which can be given special treatment. Finally, the paper considers some metaphysical ideas that might surround the thesis. Particularly, it might be maintained that an important variety of realism is incompatible with the thesis. The paper argues that this is not the case. (shrink)

One puzzling feature of talk about properties, propositions and natural numbers is that statements that are explicitly about them can be introduced apparently without change of truth conditions from statements that don't mention them at all. Thus it seems that the existence of numbers, properties and propositions can be established`from nothing'. This metaphysical puzzle is tied to a series of syntactic and semantic puzzles about the relationship between ordinary, metaphysically innocent statements and their metaphysically loaded counterparts, statements that explicitly mention (...) numbers, properties and propositions, but nonetheless appear to be equivalent to the former. I argue that the standard solutions to the metaphysical puzzles make a mistaken assumption about the semantics of the loaded counterparts. Instead I propose a solution to the syntactic and semantic puzzles, and argue that this solution also gives us a new solution to the metaphysical puzzle. I argue that instead of containing more semantically singular terms that aim to refer to extra entities, the loaded counterparts are focus constructions. Their syntactic structure is in the service of presenting information with a focus, but not to refer to new entities. This will allow us to spell out Frege's metaphor of content carving. (shrink)

Ontology is the philosophical discipline that tries to find out what there is: what entities make up reality, what is the stuff the world is made from? Thus, ontology is part of metaphysics, and in fact it seems to be about half of all of metaphysics. It tries to establish what (kinds of) things there are, the other half tries to find out what the (general) properties of these things are and what (general) relations they have to each other. Settling (...) questions in ontology would bring with it major progress in metaphysics. And it would bring with it major progress in a variety of areas in philosophy outside of metaphysics as well. Many philosophical debates outside of metaphysics are quite directly influenced by how things turn out in ontology. Whether or not there are certain entities will give rise to quite different answers in various philosophical debates. I would like to very briefly describe three debates where ontological questions play a central role. These debates are either directly from metaphysics or from other areas of philosophy and they will be of central importance throughout this paper. (shrink)

Ontology is the philosophical discipline that tries to find out what there is: what entities make up reality, what is the stuff the world is made from? Thus, ontology is part of metaphysics, and in fact it seems to be about half of all of metaphysics. It tries to establish what (kinds of) things there are, the other half tries to find out what the (general) properties of these things are and what (general) relations they have to each other. Settling (...) questions in ontology would bring with it major progress in metaphysics. And it would bring with it major progress in a variety of areas in philosophy outside of metaphysics as well. Many philosophical debates outside of metaphysics are quite directly influenced by how things turn out in ontology. Whether or not there are certain entities will give rise to quite different answers in various philosophical debates. I would like to very briefly describe three debates where ontological questions play a central role. These debates are either directly from metaphysics or from other areas of philosophy and they will be of central importance throughout this paper. (shrink)

Ontology is the study of what there is, what kinds of things make up reality. Ontology seems to be a very difficult, rather speculative discipline. However, it is trivial to conclude that there are properties, propositions and numbers, starting from only necessarily true or analytic premises. This gives rise to a puzzle about how hard ontological questions are, and relates to a puzzle about how important they are. And it produces the ontologyobjectivity dilemma: either (certain) ontological questions can be trivially (...) answered using only uncontroversial premises, or the uncertainties of ontology are really a threat to the truth of basically everything we say or believe. The main aim of this dissertation is to resolve these puzzles and to shed some light on the discipline of ontology. I defend a view inspired by Carnap’s internal-external distinction about what there is, but one according to which both internal and external questions are fully factual and meaningful. In particular, I argue that the trivial arguments are valid, but they do not answer any ontological questions. Furthermore, I propose an account of the function of our talk about properties, propositions and natural numbers. According to this account our talk about them has no ontological presuppositions for its literal and objective truth. This avoids the ontology-objectivity dilemma, and solves the puzzles about ontology. To do this I look at quantification and noun phrases in general, and at their relation to ontology. I argue that quantifiers are semantically underspecified in a certain respect, and play two different roles in communication. I discuss the relation between syntactic form and information structure, the function of certain non-referential, non-quantificational noun phrases, the uses of bare number determiners, and how arithmetic truths are learned and taught. The more metaphysical issues discussed include: inexpressible properties, logicism about arithmetic, nominalism, Carnap’s view about ontology, the problem of universals, the relationship between ontology and objectivity, different projects within ontology, non-existent.... (shrink)

The semantics of noun phrases (NPs) is of crucial importance for both philosophy and linguistics. Throughout much of the history of the debate about the semantics of noun phrases there has been an implicit assumption about how they are to be understood. Basically, it is the assumption that NPs come only in two kinds. In this paper we would like to make that assumption explicit and discuss it and its status in the semantics of natural language. We will have a (...) look at how the assumption is to be understood more precisely, what its methodological status should be, whether it has been abandoned in recent work in semantics, and whether it should be abandoned in future work. To do all this, it’s best to start with some historical context. (shrink)

Quineans have taken the basic expression of ontological commitment to be an assertion of the form '' x '', assimilated to theEnglish ''there is something that is a ''. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantification is of a substitutional type apparently first proposed by (...) Geach. The ontological burden is borne by constant symbols, and truth is defined separately from reference. (shrink)

Terms such as ‘exist’, ‘actual’, etc., (hereafter, “ontic terms”) are recognized as having ontologically “innocent” or non-commissive uses, besides their commissive uses. (E.g., ‘Pegasus exists’ will be true when ‘exist’ is relativized to a world of Greek myth.) In this paper, I identify five different non-commissive uses for ontic terms, and along the way I attempt to define (by a kind of via negativa) the commissive use of an ontic term, focusing on ‘actual’ as my example. The problem, however, is (...) that the resulting definiens for the commissive use of ‘actual’ is itself equivocal between a commissive and a non-commissive reading, and thus I consider other proposals for defining the commissive use, including two proposals from David Lewis. Eventually, however, each proposal is found to be equivocal in the same way—and eventually I argue that it is impossible to define an ontic term unequivocally. However, this is not meant to overshadow that we can understand an ontic term univocally, in certain conversational contexts. I close by applying these observations to criteria of ontological commitment, and Realist/Anti-Realist debates. (shrink)

Eternalists say that non-present entities (for instance dinosaurs) exist; presentists say that they do not. But some sceptics deny that this debate is genuine, claiming that presentists simply represent eternalists' quantifiers over non-present entities in different notation. This scepticism may be refuted on purely logical grounds: one of the leading candidate ‘presentist quantifiers’ over non-present things has the inferential role of a quantifier. The dispute over whether non-present objects exist is as genuine and non-verbal as the dispute over whether there (...) is life on other planets. (shrink)

The question of the origin of polyadic expressivity is explored and the results are brought to bear on Bertrand Russell’s 1903 theory of denoting concepts, which is the main object of criticism in Russell’s ‘On Denoting’. It is shown that, appearances to the contrary notwithstanding, the background ontology of the earlier theory of denoting enables the full-blown expressive power of first-order polyadic quantification theory without any syntactic accommodation of scopal differences among denoting phrases such as ‘all F’, ‘every F’, and (...) ‘any F’ on the one hand, and ‘some F’ and ‘an F’ on the other. The case provides an especially vivid illustration of the general point that structural (or ideological) austerity can be paid for in the coin of ontological extravagance. (shrink)

As a theory of reasoning, logic has—or ought to have—nothing to do with metaphysics. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is precisely because of its metaphysical commitments that Aristotelian syllogistics, for example, was eventually deemed inadequate as a canon of pure logical reasoning. The inference from an A-form statement such as (1) All humans are mortal to the corresponding I-form statement, (2) Some humans are mortal, (...) is syllogistically valid. But it depends on the existence of humans beings and should not, therefore, count as valid as a matter of pure logic. (It depends on the existence of human beings because, in a world with no such beings, (2) would be false whereas (1) would be true, although vacuously.) Likewise, modern quantification theory1 has been found inadequate insofar as it sanctions as valid the inference from a universal statement such as (3) Everything is mortal to the corresponding existential statement (4) Something is mortal, whose truth-conditions, unlike those of (3), appear to clash with the metaphysical possibility that there is nothing at all. It also sanctions as valid the inference from (3) to any of its substitution instances, such as.. (shrink)

A thorough and closely argued examination of a central issue in philosophical logic, an issue which is shown to have profound implications for the philosophy oflanguage and much o metaphysics.

This paper investigates the claim that some truths are fundamentally or really true—and that others are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense, and may do essential theoretical work as a unified basis for distinguishing between ‘elite’ and ‘merely abundant’ properties, objects, and the like.

In this paper, the author analyzes critically some of the ideas found in Karel Lambert's recent book, Meinong and the Principle of Independence (Cambridge: Cambridge University Press, 1983). Lambert attempts to forge a link between the ideas of Meinong and the free logicians. The link comes in the form of a principle which, Lambert says, these philosophers adopt, namely, Mally's Principle of Independence, which Mally himself later abandoned. Instead of following Mally and attempting to formulate the principle in the material (...) mode as the claim that an object can have properties without having any sort of being, Lambert formulates the principle in the formal mode, as (something equivalent to) the rejection of the traditional constraint on the principle of predication. The principle of predication is that a formula of the form Fa' is true iff the general term F' is true of the object denoted by the object term a'. The traditional constraint on this predication principle is that for the sentence Fa' to be true, not only must the object term have a denotation, but it must also denote an object that has being. According to Lambert, the free logicians violate this constraint by suggesting that Fa' can be true even if the object term has no denotation, whereas Meinong violates this constraint by proposing Fa' can be true even when the object term denotes an object that has no being. Lambert then tries to `vindicate' the Principle of Independence, thereby justifying both the work of the free logicians and Meinong. (shrink)