The paper argues that the assumption that there are property designators, together with two theoretically innocent claims, leads to a puzzle, whose solution requires us to reject the position that all (canonical) property designators are rigid. But if we deny that all (canonical) property designators are rigid, then the natural next step is to reject an abundant conception of properties and with it the suggestion that properties are the semantic values of predicates.

This paper contributes to the debate over the so-called “easy argument for numbers”, an argument that uses evidence from natural language to support the metaphysically significant claim that numbers exist. It presents novel data showing that critical examples in the literature are ambiguous between two readings, contrary to previous assumptions. It then accounts for these data using independently motivated linguistic theory. The account developed rescues the easy argument from the primary challenges leveled against it in the literature and sets the (...) agenda for future work to determine whether or not the argument is valid. (shrink)

Hofweber (Ontology and the ambitions of metaphysics, Oxford University Press, 2016) argues for a thesis he calls “internalism” with respect to natural number discourse: no expressions purporting to refer to natural numbers in fact refer, and no apparent quantification over natural numbers actually involves quantification over natural numbers as objects. He argues that while internalism leaves open the question of whether other kinds of abstracta exist, it precludes the existence of natural numbers, thus establishing what he calls “restricted nominalism” about (...) natural numbers. We argue that Hofweber’s internalism fails to establish restricted nominalism. Not only is his primary argument for restricted nominalism invalid, the analysis of quantification proposed threatens to collapse internalism into either a traditional form of error theory or realism. (shrink)

It is a common assumption in the metaphysics of time that a commitment to presentism entails a commitment to serious presentism, the view that objects can exemplify properties or stand in relations only at times at which they exist. As a result, non-serious presentism is widely thought to be beyond the bounds for the card-carrying presentist in response to the problem of cross-temporal relations. In this paper, I challenge this general consensus by examining one common argument in favor of the (...) thesis that presentism entails serious presentism. The argument, I claim, begs the question against non-serious defenders in failing to account for their wider metaontological views concerning non-committal quantification. (shrink)

This book is about the idea that some true statements would have been true no matter how the world had turned out, while others could have been false. It develops and defends a version of the idea that we tell the difference between these two types of truths in part by reflecting on the meanings of words. It has often been thought that modal issues—issues about possibility and necessity—are related to issues about meaning. In this book, the author defends the (...) view that the analysis of meaning is not just a preliminary to answering modal questions in philosophy; it is not merely that before we can find out whether something is possible, we need to get clear on what we are talking about. Rather, clarity about meaning often brings with it answers to modal questions. In service of this view, the author analyzes the notion of necessity and develops ideas about linguistic meaning, applying them to several puzzles and problems in philosophy of language. Meaning and Metaphysical Necessity will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and philosophical logic. [See my homepage for a sample chapter.]. (shrink)

A realist view of numbers often rests on the following thesis: statements like ‘The number of moons of Jupiter is four’ are identity statements in which the copula is flanked by singular terms whose semantic function consists in referring to a number (henceforth: Identity). On the basis of Identity the realists argue that the assertive use of such statements commits us to numbers. Recently, some anti-realists have disputed this argument. According to them, Identity is false, and, thus, we may deny (...) that the relevant statements commit us to numbers. The present paper argues that the correct linguistic analysis of the relevant number statements supports the anti-realist view that Identity is false. However, as will further be shown, pace the anti-realist, this analysis does not establish that such statements do not commit us to numbers after all. (shrink)

This paper argues that "that"-clauses do not reference propositions because they are not intersubstitutible with other expressions that do reference propositions. In particular, "that"-clauses are shown to not be intersubstitutible with propositional anaphors like "so." The substitution failures are further argued to support a semantics on which "that"-clauses are predicates.

According to Frege, we need a criterion for recognising when different sentences express the same thought to make progress in logic. He himself hedged his own equipollence criterion with a number of provisos. In the literature on Frege, little attention has been paid to the problems these provisos raise. In this paper, I will argue that Fregeans have ignored these provisos at their peril. For without these provisos, Frege’s criterion yields wrong results; but with the provisos in place, it is (...) of no use for Frege’s purposes. This is connected to what Frege took to be the ‘greatest difficulty for philosophy’: natural language sentences don’t just express thoughts; they convey evaluations and communicative hints. Because of this, Frege’s recognition criterion for thoughts cannot be applied to them and we cannot make logical progress by ‘recognising a thought in different linguistic guises’. (shrink)

According to Schaffer, most of the controversial entities that ontologists debate exist. Schaffer calls this view permissivism and he defends it by appealing to easy arguments for the existence of the entities in question. Schaffer presents several easy arguments, but his easy argument for fictional characters and his easy argument for God play a crucial role in his defence of permissivism. In this paper, I argue that Schaffer doesn’t have the resources to defend his easy argument for fictional characters or (...) his easy argument for God. So, his defence of permissivism fails. (shrink)

One of the central puzzles in ontology concerns the relation between apparently innocent sentences and their ontologically loaded counterparts. In recent work, Agustín Rayo has developed the insight that such cases can be usefully described with the help of the ‘just is’ operator: plausibly, for there to be a table just is for there to be some things arranged tablewise; and for the number of dinosaurs to be Zero just is for there to be no dinosaurs. How does the operator (...) relate to another prominent notion that is frequently put to similar use: metaphysical grounding? In this paper I show that despite what has been argued in the literature the ‘just is’ operator can be spelled out in terms of grounding: roughly, as having the same ultimate grounds. This is good news for Rayo, for it broadens his target audience. It is even better news for the friends of ground. For it exemplifies the immense fruitfulness of the notion of grounding in its ability to incorporate philosophically highly significant subtheories. (shrink)

This paper investigates a certain puzzling argument concerning number expressions and their meanings, the Easy Argument for Numbers. After finding faults with previous views, I offer a new take on what’s ultimately wrong with the Argument: it equivocates. I develop a semantics for number expressions which relates various of their uses, including those relevant to the Easy Argument, via type-shifting. By marrying Romero ’s :687–737, 2005) analysis of specificational clauses with Scontras ’ semantics for Degree Nouns, I show how to (...) extend Landman ’s Adjectival Theory to numerical specificational clauses. The resulting semantics can explain various contrasts observed by Moltmann, but only if Scontras’ contention that degrees and numbers are sortally distinct is correct. At the same time, the Easy Argument can establish its intended conclusion only if numbers and degrees are mistakenly assumed to be identical. (shrink)

Frege proposed that sentences like ‘The number of planets is eight’ be analysed as identity statements in which the number words refer to numbers. Recently, Friederike Moltmann argued that, pace Frege, such sentences be analysed as so-called specificational sentences in which the number words have the same non-referring semantic function as the number word ‘eight’ in ‘There are eight planets’. The aim of this paper is two-fold. First, I argue that Moltmann fails to show that such sentences should be analysed (...) as specificational sentences. Second, I show that even if they are to be analysed in this way, Moltmann’s proposed specificational analysis is unsatisfactory. (shrink)

Naturalized metaphysics is based on the idea that philosophy should be guided by the sciences. The paradigmatic science that is relevant for metaphysics is physics because physics tells us what fundamental reality is ultimately like. There are other sciences, however, that de facto play a role in philosophical inquiries about what there is, one of them being the science of language, i.e. linguistics. In this paper I will be concerned with the question what role linguistics should and does play for (...) the metametaphysical question of how our views about fundamental reality can be reconciled with the everyday truisms about what there is. I will present several examples of two kinds of approaches to this question, linguistics-based accounts and purely philosophical accounts, and will discuss their respective methodological merits and shortcomings. In the end I will argue that even proponents of a purely philosophical answer to the metametaphysical question should take the results of linguistics seriously. (shrink)

As introduction to the special issue on the semantics of cardinals, we offer some background on the relevant literature, and an overview of the contributions to this volume. Most of these papers were presented in earlier form at an interdisciplinary workshop on the topic at The Ohio State University, and the contributions to this issue reflect that interdisciplinary character: the authors represent both fields in the title of this journal.

Cameron, Eklund, Hofweber, Linnebo, Russell and Sider have written critical essays on my book, The Construction of Logical Space (Oxford: Oxford University Press, 2013). Here I offer some replies.

How hard is it to answer an ontological question? Ontological trivialism,, inspired by Carnap’s internal-external distinction among “questions of existence”, replies “very easy.” According to, almost every ontologically disputed entity trivially exists. has been defended by many, including Schiffer and Schaffer. In this paper, I will take issue with. After introducing the view in the context of Carnap-Quine dispute and presenting two arguments for it, I will discuss Hofweber’s argument against and explain why it fails. Next, I will introduce a (...) modified version of ontological trivialism, i.e. negative ontological trivialism,, defended by Hofweber, according to which some ontologically disputed entities, e.g. properties, trivially do not exist. I will show that fails too. Then I will outline a Meinongian answer to the original question, namely, ‘How hard is it to answer an ontological question?’ The Carnapian intuition of the triviality of internal questions can be saved by the Meinongian proposal that quantification and reference are not ontologically committing and the Quinean intuition of the legitimacy of interesting ontological questions can be respected by the Meinongian distinction between being and so-being. (shrink)

Minimal entities are, roughly, those that fall under notions defined by only deflationary principles. In this paper I provide an accurate characterization of two types of minimal entities: minimal properties and minimal facts. This characterization is inspired by both Schiffer's notion of a pleonastic entity and Horwich's notion of minimal truth. I argue that we are committed to the existence of minimal properties and minimal facts according to a deflationary notion of existence, and that the appeal to the inferential role (...) reading of the quantifiers does not dismiss this commitment. I also argue that deflationary existence is language-dependent existence—this clarifies why minimalists about properties and facts are not realists about these entities though their language may appear indistinguishable from the language of realists. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

In §57 of the Foundations of Arithmetic, Frege famously turns to natural language to support his claim that numbers are ‘self-subsistent objects’:I have already drawn attention above to the fact th...

It would seem that some statements like ‘There are exactly four moons of Jupiter’ and ‘The number of moons of Jupiter is four’ have the same truth-conditions and yet differ in ontological commitment. One strategy to resolve this paradoxical phenomenon is to insist that the statements have not only the same truth-conditions but also the same ontological commitments; the other strategy is to reject the presumption that they have the same truth-conditions. This paper critically examines some popular versions of these (...) two strategies, and defends a new solution according to which the statements have the same ontological commitments and yet differ in truth-conditions. (shrink)

This article investigates the semantics of sentences that express numerical averages, focusing initially on cases such as 'The average American has 2.3 children'. Such sentences have been used both by linguists and philosophers to argue for a disjuncture between semantics and ontology. For example, Noam Chomsky and Norbert Hornstein have used them to provide evidence against the hypothesis that natural language semantics includes a reference relation holding between words and objects in the world, whereas metaphysicians such as Joseph Melia and (...) Stephen Yablo have used them to provide evidence that apparent singular reference need not be taken as ontologically committing. We develop a fully general and independently justified compositional semantics in which such constructions are assigned truth conditions that are not ontologically problematic, and show that our analysis is superior to all extant rivals. Our analysis provides evidence that a good semantics yields a sensible ontology. It also reveals that natural language contains genuine singular terms that refer to numbers. (shrink)

This is a brief response to Thomas Hofweber's "Extraction, Displacement and Focus: A Reply to Balcerak Jackson" (Linguistics and Philosophy 37.3 (2014)), which was a reply to my "Defusing Easy Arguments for Numbers" (Linguistics and Philosophy 36.6 (2013)).

A central question for ontology is the question of whether numbers really exist. But it seems easy to answer this question in the affirmative. The truth of a sentence like ‘Seven students came to the party’ can be established simply by looking around at the party and counting students. A trivial paraphrase of is ‘The number of students who came to the party is seven’. But appears to entail the existence of a number, and so it seems that we must (...) conclude that numbers exist. This is sometimes called the puzzle of how we can get something from nothing. Most extant attempts to solve the puzzle take it for granted that is ontologically innocent, and focus their attention either on or on the transition from to. We argue that both attempts go wrong at the first step: the assumption that is ontologically innocent is undermined by a highly attractive and independently well-motivated degree-based account of number word constructions. Thus the degree-based account provides a straightforward linguistic resolution of the puzzle of how we can get something from nothing. But the paper also has a second aim. The semantics we present treats ‘seven’ as a referring expression that refers to a degree of a certain sort. But what are degrees? We consider various anti-platonist proposals that seek to account for degrees in terms of relations between concrete entities, and argue that they are incompatible with the Universal Density of Measurement hypothesis of Fox and Hackl. While the UDM cannot yet claim to be the consensus view among degree-based semanticists, our aim is to use it to illustrate how views about the nature of degrees can be evaluated by considering the properties degrees must have if they are to play the explanatory roles they are called upon to play in linguistics. In the present state of development of degree-based semantics there are difficult open questions about what these properties are. These questions need to be addressed if we are to develop a clear picture of what natural language semantics has to contribute to ontology and metaphysics. (shrink)

Pairs of sentences like the following pose a problem for ontology: (1) Jupiter has four moons. (2) The number of moons of Jupiter is four. (2) is intuitively a trivial paraphrase of (1). And yet while (1) seems ontologically innocent, (2) appears to imply the existence of numbers. Thomas Hofweber proposes that we can resolve the puzzle by recognizing that sentence (2) is syntactically derived from, and has the same meaning as, sentence (1). Despite appearances, the expressions ‘the number of (...) moons of Jupiter’ and ‘four’ do not function semantically as singular terms in (2). Hofweber’s primary evidence for this proposal concerns differences in the focus-related communicative functions of (1) and (2). In this paper I raise several serious problems for Hofweber’s proposal, and for his attempt to support it by appeal to focus-related phenomena. I conclude by offering independent evidence for an alternative, purely pragmatic resolution of the ontological puzzle. (shrink)

I wonder which one in a series of characters Agustín Rayo really is, with an emphasis on objective correctness and semantics.

In their recent article ‘Resolving Frege’s other Puzzle’ Eric Snyder, Richard Samuels, and Stewart Shapiro defend a semantic type-shifting solution to Frege’s other Puzzle and criticize my own cognitive type-shifting solution. In this article I respond to their criticism and in turn point to several problems with their preferred solution. In particular, I argue that they conflate semantic function and semantic value, and that their proposal is neither based on general semantic type-shifting principles nor adequate to the data.

In his groundbreaking Grundlagen, Frege (1884) pointed out that number words like ‘four’ occur in ordinary language in two quite different ways and that this gives rise to a philosophical puzzle. On the one hand ‘four’ occurs as an adjective, which is to say that it occurs grammatically in sentences in a position that is commonly occupied by adjectives. Frege’s example was (1) Jupiter has four moons, where the occurrence of ‘four’ seems to be just like that of ‘green’ in (...) (2) Jupiter has green moons. On the other hand, ‘four’ occurs as a singular term, which is to say that it occurs in a position that is commonly occupied by paradigmatic cases of singular terms, like proper names: (3) The number of moons of Jupiter is four. Here ‘four’ seems to be just like ‘Wagner’ in (4) The composer of Tannhäuser is Wagner, and both of these statements seem to be identity statements, ones with which we claim that what two singular terms stand for is identical. But that number words can occur both as singular terms and as adjectives is puzzling. Usually adjectives cannot occur in a position occupied by a singular term, and the other way round, without resulting in ungrammaticality and nonsense. To give just one example, it would be ungrammatical to replace ‘four’ with ‘the number of moons of Jupiter’ in (1): (5) *Jupiter has the number of moons of Jupiter moons. This ungrammaticality results even though ‘four’ and ‘the number of moons of Jupiter’ are both apparently singular terms standing for the same object in (3). So, how can it be that number words can occur both as singular terms and as adjectives, while other adjectives cannot occur as singular terms, and other singular terms cannot occur as adjectives? (shrink)

On the one hand they seem to be quite obviously truth conditionally equivalent, but on the other hand they seem to be about different things. Whereas (1) is about Jupiter and its moons, (2) is about numbers. In particular, the word ‘four’ appears in (1) in the position of an adjective or determiner, whereas it seems to be a name for a number in (2). Furthermore, (2) appears to be an identity statement claiming that what two number terms stand for (...) is the same thing. Several authors have proposed answers to this puzzle, including Frege, by either pinning the issue on the nature of numbers, pretense, fictionalism, or the nature of reference, but all these proposals agreed that (2) is an identity statement and that in it ‘four’ is a name for an object. In [Hofweber, 2007] I argued that (2) is not an identity statement and that ‘four’ in (2) is not a name for an object. The argument for it was this: When we look at what role (2) has in actual communication we can see that (2) has a focus effect on a discourse that arises from the syntax without special intonation. (shrink)

Thomas Hofweber's well-known ontological project crucially involves inferring negative existential statements from statements of non-reference, i.e. statements that say that some term or terms do not refer. Here, after explaining the context of this move, I aim to show that it is fallacious, and that this vitiates Hofweber's ontological project.

Propositions, the abstract, truth-bearing contents of sentences and beliefs, continue to be the focus of healthy debates in philosophy of language and metaphysics. This article is a critical survey of work on propositions since the mid-90s, with an emphasis on newer work from the past decade. Topics to be covered include a substitution puzzle about propositional designators, two recent arguments against propositions, and two new theories about the nature of propositions.

This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics (...) for modals into a dynamic semantics for modals with similar properties. (shrink)

Yablo suggests a ‘hostage crisis’ occurs when an unproblematic statement ϕ entails, and is therefore hostage to, a problematic statement ψ. Yablo proposes a technical solution to this kind of problem by diminishing ϕ to ϕ*, where ϕ* does not entail ψ and thus is not hostage to it. I argue that Yablo’s proposal is unnecessary because the original, undiminished ϕ does not in fact entail ψ. This is what Yablo calls a ‘defiant’ position. I defend defiance by arguing that (...) ϕ and ψ are of different metaphysical weights, which I show through an analysis of their use of quantification. (shrink)

Some entities, such as fictional characters, propositions, properties, events and numbers are prima facie promising candidates for owing their existence to our linguistic and conceptual practices. However, it is notoriously hard to pin down just what sets such allegedly “language-created” entities apart from ordinary entities. The present paper considers some of the features that are supposed to distinguish between entities of the two kinds and argues that, on an independently plausible account of what it takes to individuate objects, the criteria (...) let in more than friends of the strategy might be happy with. (shrink)

Comprehensive Linguistic Approach to Frege's Commitment Puzzle There is a puzzle, noticed by Frege, about inferences from sentences like (F1) "Jupiter has four moons" to sentences like (F2) "The number of moons of Jupiter is four". They seem to be truth-conditionally equivalent but, apparently, they say something about completely different things. (F1) seems to be about moons, while (F2) about numbers. This phenomenon raises several puzzles about semantics, syntax, and is one of main tools of easy ontology. Recently, new linguistic (...) and pragmatic solutions were proposed. Linguistic solutions of Thomas Hofweber and Katharina Felka are refreshed versions of the traditional paraphrastic approach that involve consideration of conversational contexts as well as syntactical structure of copular sentences. The pragmatic solution resorts to bracketing or indifference to certain possible alternatives and contexts of a sentence. I discuss their strong and weak points and propose to include in further research John Biro's account of the expression "the number of planets", which solves the problems of the new linguistic approaches. (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)

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)

In this paper, we outline and critically evaluate Thomas Hofweber’s solution to a semantic puzzle he calls Frege’s Other Puzzle. After sketching the Puzzle and two traditional responses to it—the Substantival Strategy and the Adjectival Strategy—we outline Hofweber’s proposed version of Adjectivalism. We argue that two key components—the syntactic and semantic components—of Hofweber’s analysis both suffer from serious empirical difficulties. Ultimately, this suggests that an altogether different solution to Frege’s Other Puzzle is required.

Metaphysics has had a long history of debate over its viability, and substantivity. This thesis explores issues connected to the realism question within the domain of metaphysics, ultimately aiming to defend a realist, substantive metaphysics by responding to so-called deflationary approaches, which have become prominent, and well supported within the recent metametaphysical and metaontological literature. To this end, I begin by examining the changing nature of the realism question. I argue that characterising realism and anti-realism through theories of truth unduly (...) places epistemology prior to ontology, and is unwarranted in assuming a non-neutrality between theories of truth and positions within the realism debate. I therefore propose a characterisation of realism and anti-realism understood through truthmaking. This produces a suitable working characterisation of realism that will be used within the remainder of this project. In the second section, I trace the historical influences upon current deflationary approaches to metaphysics, most prominently those of Carnap, and Putnam. I argue that Quine’s supposed attack on Carnap’s anti-metaphysical thought fails, and show how current deflationary thought, most prominently exhibited by Hirsch, came to focus on linguistically derived concerns over the substantivity of metaphysics. In the third section, I outline a number of issues for the deflationist, and defend the coherency and legitimacy of the unrestricted existential quantifier. Focusing on the linguistic aspect of deflationism, I argue that the conception of language that the deflationist relies upon lacks suitable empirical and theoretical support within linguistics and other related domains. Furthermore, I suggest that linguistic analysis in fact supports the claim that the quantifier carries no inherent restrictions. This restores our ability to suitably posit the unrestricted existential quantifier, as a quantifier wherein the domain is only restricted by metaphysically substantive restrictions. Through this, I argue that metaphysics is a substantive domain of discourse. Lastly, I sketch a positive account of how, under an empirically and theoretically justified conception of language, metaphysics can be coherently held to be a realist, substantive enterprise, contra claims that hold that the nature of language inherently prevents metaphysics being considered to be a substantive domain of discourse. (shrink)