In this paper I confront what I take to be the crucial challenge for fictional realism, i.e. the view that fictional characters exist. This is the problem of accounting for the intuition that corresponding negative existentials such as ‘Sherlock Holmes does not exist’ are true (when, given fictional realism, taken literally they seem false). I advance a novel and detailed form of the response according to which we take them to mean variants of such claims as: there is no concrete (...) x such that x is Sherlock Holmes. (shrink)

This paper gives a perspectival overview of the semantics of potential property-referring terms and presents new and surprising generalizations about explicit property-referring terms like 'the property of being wise', which raise fundamental issues regarding ontology and learnability and a core-periphery distinction in natural language ontology.

Nominalizations of modal predicates have received little, if any, attention in the semantic or philosophical literature. This paper will argue that nominalizations of modal predicates require recognizing a novel ontological category of modal objects and it will outline a new semantics of modals based on modal objects.

This paper elaborates distinctions between a core and a periphery in the ontological and the conceptual domain associated with natural language. The ontological core-periphery distinction is essential for natural language ontology and is the basis for the central thesis of my 2013 book Abstract Objects and the Semantics of Natural Language, namely that natural language permits reference to abstract objects in its periphery, but not its core.

We face reality presented with the data of conscious experience and nothing else. The project of early modern philosophy was to build a complete theory of the world from this starting point, with no cheating. Crucial to this starting point is the data of conscious sensory experience – sense data. Attempts to avoid this project often argue that the very idea of sense data is confused. But the sense-data way of talking, the sense-data language, can be freed from every blemish (...) using ideas from contemporary metaontology. We can adopt a sense-data framework that vindicates the traditional claims of sense-data theories and leads to plausible theories of perception and color. We can, we should, and in a sense, we must. Yet when we do, we face the traditional problem of external world skepticism, head-on. The real challenge of skepticism is forced upon us; it cannot honestly be avoided using externalist tricks, burden of proof shifting, or other razzle dazzle. But the challenge can be met: we are rational to posit the external world as the best explanation of the many synchronic and diachronic patterns over our sense-data. This paper argues for all of these points and ends with a plea for analytic empiricism – a traditional sense-data version of empiricism that uses all of the tools of analytic philosophy while avoiding the more questionable doctrines of the Vienna Circle (phenomenalism, verificationism). Analytic empiricism is our last best hope for completing the great philosophical project of early modern philosophy. (shrink)

Let us distinguish two kinds of contingentism: entity contingentism and metaphysical contingentism. Here, I use ‘entity’ very broadly to include anything over which we can quantify—objects (abstract and concrete), properties, and relations. Then entity contingentism about some entity, E, is the view that E exists contingently: that is, that E exists in some possible worlds and not in others. By contrast, entity necessitarianism about E is the view that E exists of necessity: that is, that E exists in all possible (...) worlds. We can distinguish two views: global entity contingentism and global entity necessitarianism. Global entity contingentism is the view that for any possible E, E exists contingently. Global entity necessitarianism is the view that for any possible E, E exists necessarily. While entity contingentism and entity necessitarianism are views about the modal status of entities, metaphysical contingentism and necessitarianism are views about the modal status of metaphysical principles. Metaphysical contingentism about some metaphysical principle, P, is the view that P is contingent: it is true in some worlds, and false in others. Metaphysical necessitarianism about P is the view that P is necessary: either P is true in every world, or false in every world. We can then distinguish two views: global metaphysical contingentism and global metaphysical necessitarianism. Global metaphysical contingentism is the view that for any internally coherent metaphysical principle P, P is contingent: P is true in some worlds and false in others. Global metaphysical necessitarianism is the view that for any internally coherent metaphysical principle, P, P is necessary: it is either true in every world, or false in every world. This chapter principally focuses on metaphysical rather than entity contingentism, though §2 briefly discusses the latter. As we will see, (§2), both global entity contingentism and global entity necessitarianism are controversial views, and most philosophers fall somewhere between these two extremes, holding that some, but not all, entities exist necessarily—a view we can call entity moderatism. By contrast, global metaphysical necessitarianism has, until recently, largely been the default view. It is only recently that some philosophers have argued that we should be metaphysical contingentists about at least some metaphysical principles—a view we can call metaphysical moderatism. §3 considers why global metaphysical necessitarianism has hitherto been so persuasive, then evaluates (§3.1) some arguments for the view before considering more recent arguments in favour of the contingency of (at least some) metaphysical principles (§3.2). (shrink)

This paper discusses three approaches to the semantics of event nominalizations and adverbial modification: the Davidsonian account, the Kimian account, and the truthmaker account. It argues that a combination of all three accounts is needed for the semantics of the full range of event, trope, and state nominalizations in English.

This is my entry on natural language ontology in the Stanford Encyclopedia of Philosophy.

Empiricist philosophers like Carnap invoked analyticity in order to explain a priori knowledge and necessary truth. Analyticity was “truth purely in virtue of meaning”. The view had a deflationary motivation: in Carnap’s proposal, linguistic conventions alone determine the truth of analytic sentences, and thus there is no mystery in our knowing their truth a priori, or in their necessary truth; for they are, as it were, truths of our own making. Let us call this “Carnapian conventionalism”, conventionalismC and cognates for (...) short. This conventionalistC explication of the a priori has been the target of sound criticisms. Arguments like Quine’s in “Truth by Convention” are in our view decisive: the truth of conventionalismC requires that the class of logical truths and logical validities be reductively accounted for as conventionally established; however, no such reduction is forthcoming, because logic is needed to generate the entire class from any given set of conventions properly so-called. Granted that conventionalismC is untenable, we want to take issue with a different, usually made criticism. Although the argument uncovers some difficulties for the way conventionalist claims are defended by some of its advocates, we will try to show that it fails. The criticism thus stands in the way of a proper appreciation of why the Carnapian account of the a priori is not correct. We will try to illustrate this by showing that the criticism we will dispute would dispose of conventionalist claims not only regarding philosophically problematic cases – logical and mathematical truths –, but also regarding cases for which they have some prima facie plausibility. One such case is that of truths that follow from mere abbreviations, “nominal” definitions; ‘someone is a bachelor if and only if he is an unmarried adult male’ can serve at this point for illustration. We will try to articulate a clear sense in which the contents of assertion such as this can be truths by convention. We do not need to prove that a conventionalist claim is true in those cases; it is enough for us to show that it is intelligible, for the arguments we will confront question even this. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

Multistable figures offer an intriguing model for arbitrating conflicting positions. Moving back and forth between the different aspects under which something can be seen, one recognizes that mutually contradictory descriptions can be equally valid and that disputes over the correct account can be resolved without dissolving differences or establishing a higher synthesis. Yet, the experience of a gestalt switch also offers a model for radical conversions and revolutions – that is, for irreversible leaps to incommensurable alternatives foiling ideals of rational (...) choice while providing the possibility and necessity of decision. Accentuating the temporal dimensions of multistable figures, this multidisciplinary volume illuminates the critical potentials and limits of multistability as a complex figure of thought. (shrink)

According to standard Creationism about fictional characters, each fictional character is created by its single author independently, or created by its co-authors cooperatively, or created by its independent authors independently. I argue that standard Creationism faces the Creator-Determining Problem. I propose a non-standard form of Creationism, i.e., Conjunctive Creationism, according to which each fictional character is conjunctively created. I argue that Conjunctive Creationism does not face the Creator-Determining Problem. By responding to four potential worries, I provide a further defense. My (...) conclusion is that Conjunctive Creationism is a more promising form of Creationism.Selon la norme du créationnisme concernant les personnages fictifs, chaque personnage est soit créé indépendamment par son seul auteur, soit créé par ses co-auteurs en collaboration, soit encore créé indépendamment par ses auteurs indépendants. Cette norme doit cependant faire face au problème de l’identification du créateur. Pour éviter ce problème, je propose d’adopter le créationnisme conjonctif, selon lequel chaque personnage est créé conjointement. Je défends cette proposition en répondant à quatre inquiétudes potentielles. Je conclus que le créationnisme conjonctif est une forme plus prometteuse du créationnisme. (shrink)

Hegel often says that his "logic" is meant to replace metaphysics. Since Hegel's Science of Logic is so different from a standard logic, most commentators have not treated the portion of that work devoted to logical forms as relevant to this claim. This paper argues that Hegel's discussion of logical forms of judgment and syllogism is meant to be the foundation of his reformation of metaphysics. Implicit in Hegel's discussion of the logical forms is the view that the metaphysical concepts (...) discussed in Books I and II of the Science of Logic supervene on the role of subject and predicate terms in the logical forms discussed in Book III. Hegel thus has an explanation for the nature and significance of metaphysical concepts that resembles Kant's "metaphysical deduction," according to which the categories can be derived from the table of judgments. Though Hegel's metaphysics is often supposed to be influenced by Kant, prevailing interpretations do not show how Hegel's fine-grained treatment of logical forms is relevant to his critical view of metaphysics. The present interpretation provides a model for Hegel's explanation of metaphysical concepts, as well as a new picture of the structure of his Science of Logic that emphasizes the priority of its Doctrine of the Concept. (shrink)

Creationism with respect to fictional entities, i.e., the position according to which ficta are creations of human practices, has recently become the most popular realist account of fictional entities. For it allows one to hold that there are fictional entities while simultaneously giving such entities a respectable metaphysical status, that of abstract artifacts. In this paper, I will draw what are the ontological and semantical consequences of this position, or at least of all its forms that are genuinely creationist. For (...) some people, these consequences will sound as plagues against the position; for some others, especially realists on ficta, they are welcome results. Although I hold that all forms of genuine creationism have these consequences, I will conclude by explaining why I take moderate creationism, according to which ficta are created by means of a reflexive stance on the make-believe practice grounding them, to be the best of these forms. (shrink)

In this paper I want to show that the idea supporters of traditional creationism (TC) defend, that success of a fictional character across different works has to be accounted for in terms of the persistence of (numerically) one and the same fictional entity, is incorrect. For the supposedly commonsensical data on which those supporters claim their ideas rely are rather controversial. Once they are properly interpreted, they can rather be accommodated by moderate creationism (MC), according to which fictional characters arise (...) out of a reflexive stance on a certain make-believe process. For MC, success of a fictional character across different works amounts to the fact that, first, different work-bound ficta are related with each other by means of a relation weaker than numerical identity, transfictional sameness, and second, that all those ficta are related by transfictional inclusion to a fictum that in some sense gather them all, the so-called general character. Since a general character is an abstract constructed entity, moreover, the more those particular ficta are generated, the more general fictional characters including all of them arise. (shrink)

Stephen Schiffer holds that propositions are pleonastic entities. I will argue that there is a substantial difference between propositions and fictional characters, which Schiffer presents as typical pleonastic entities. My conclusion will be that if fictional characters are typical pleonastic entities, then Schiffer fails to show that propositions are pleonastic entities.

This essay defends the neo-Quinean approach to ontology against the criticisms of two neo-Carnapians, Huw Price and Amie Thomasson.

In this paper, I set out to answer two foundational questions concerning our psychological engagements with fictions. The first is the question of fictional transformation: How we can see fictional media while also ‘seeing’ those objects as fictional ones? The second is the question of fictional response: How and why we take the objects of fiction to be the types of things that we can respond to and judge? Standard responses to these questions rely on distinct cognitive attitudes like pretense, (...) imagination, and make-believe. I call this position the distinct attitude view. I argue against the DAV, arguing instead that a psychological framework of fiction can answer the two questions without appealing to distinct mental attitudes. Hence, I call my position the standard attitude view. The challenge for the SAV is to explain the two questions in terms of everyday mental states and the intentional content of those states. I do so by appealing to the concept of taking the fictional stance.... (shrink)

This paper defends the view that ontological questions (properly understood) are easy—too easy, in fact, to be subjects of substantive and distinctively philosophical debates. They are easy, roughly, in the sense that they may be resolved straightforwardly—generally by a combination of conceptual and empirical enquiries. After briefly outlining the view and some of its virtues, I turn to examine two central lines of objection. The first is that this ‘easy’ approach is itself committed to substantive ontological views, including an implausibly (...) permissive ontology. The second is that it, like neo-Fregean views, relies on transformation rules that are questionable on both logical and ontological grounds. Ultimately, I will argue, the easy view is not easily assailed by either of these routes, and so remains (thus far) a tenable and attractive approach. (shrink)

The challenge of handling fictional discourse is to find the best way to resolve the apparent inconsistencies in our ways of speaking about fiction. A promising approach is to take at least some such discourse to involve pretense, but does all fictional discourse involve pretense? I will argue that a better, less revisionary, solution is to take internal and fictionalizing discourse to involve pretense, while allowing that in external critical discourse, fictional names are used seriously to refer to fictional characters. (...) I then address two objections to such realist theories of fiction: One, that they can’t adequately account for the truth of singular nonexistence claims involving fictional names, and two, that accepting that there are fictional characters to which we refer is implausible or ontologically profligate. (shrink)

The challenge of handling fictional discourse is to find the best way to resolve the apparent inconsistencies in our ways of speaking about fiction. A promising approach is to take at least some such discourse to involve pretense, but does all fictional discourse involve pretense? I will argue that a better, less revisionary, solution is to take internal and fictionalizing discourse to involve pretense, while allowing that in external critical discourse, fictional names are used seriously to refer to fictional characters. (...) I then address two objections to such realist theories of fiction: One, that they can't adequately account for the truth of singular nonexistence claims involving fictional names, and two, that accepting that there are fictional characters to which we refer is implausible or ontologically profligate. (shrink)

It is argued that the work of Husserl offers a model for self-knowledge that avoids the disadvantages of standard introspectionist accounts and of a Sellarsian view of the relation between our perceptual judgements and derived judgements about appearances. Self-knowledge is based on externally directed knowledge of the world that is then subjected to a cognitive transformation analogous to the move from a statement to the activity of stating. Appearance talk is (contra Sellars) not an epistemically non-committal form of speech, but (...) talk to which we are fully committed. However, it is a commitment to a certain kind of claim about our experiences, viewed as cognitive phenomena, after a process of transformation. Such reductive and hypostatizing transformations can exhibit the intentional structure of consciousness. Phenomenology thus gives a form of knowledge about our mental states that is first personal but not introspective knowledge in any philosophically problematic sense. The account offered is also, in key respects, dissimilar to Sellars's outer directed view of the origin of self-knowledge. (shrink)

The common thought that Husserl was committed to a Platonist ontology of essences, and to a mysterious epistemology that holds that we can ‘intuit’ these essences, has contributed substantially to his work being dismissed and marginalized in analytic philosophy. This paper aims to show that it is misguided to dismiss Husserl on these grounds. First, the author aims to explicate Husserl’s views about essences and how we can know them, in ways that make clear that he is not committed to (...) a traditional Platonism, or a mystical epistemology. Second, the author argues that Husserl’s approach was an important source for Carnap in “Empiricism, Semantics, and Ontology”, where Carnap tried to overcome the empiricists’ qualms about referring to abstracta. Finally, the author will argue that Husserl’s approach can be reconstructed in contemporary analytic terms by appeal to the idea of pleonastic transformations. By seeing both Husserl’s views and their influences on later analytic work more clearly, the hope is to build bridges and make clear that the approach is of lasting value and interest. (shrink)

I argue against the standard view that ontological debates can be fully described as disagreements about what we should believe to exist. The central thesis of the paper is that believing in Fs in the ontologically relevant sense requires more than merely believing that Fs exist. Believing in Fs is not even a propositional attitude; it is rather an attitude one bears to the term expressed by 'Fs'. The representational correctness of such a belief requires not only that there be (...) Fs, but also that the term expressed by 'Fs' should not misrepresent them. In certain cases we might believe that there are Fs without believing our conception of Fs applies to them. This may well be the situation we are in with regard to abstract entities of various sorts. (shrink)

In his recent book 'Pleonastische Propositionen' Matthias Schürmann presents and defends an account of propositions as pleonastic entities. In this paper I challenge one of his main claims, namely that pleonastic propositions are ontologically dependent on thinkers. I argue that Schürmann's dependence claim is in tension with core tenets of a pleonastic account and, hence, unavailable for an elaboration of what it means that pleonastic entities are ontologically lightweight.

Realists about fictional entities often distinguish the properties that a fictional character has and the properties a character holds. Roughly, this is the distinction between the properties that a character really possesses and the properties it fictionally possess. But despite the popularity of this distinction in realist circles, it gives rise to a number of subtle issues about which fictional realists can and do disagree. In this paper, we aim to clarify these issues and defend three related theses. One: that (...) to say that Hermione holds the property of being female is just to say that the singular proposition ⟨Hermione, being female⟩ is true according to Harry Potter. Two: that ordinary objects can hold properties insofar as propositions like ⟨Napoleon, being French⟩ can be true according to fictions like War and Peace. Three: that the distinction between having and holding should not be thought to play any semantic role within the context of fictional realism. (shrink)

Recently, many philosophers have claimed that the world has an ordered, hierarchical structure, where entities at lower ontological levels are said to metaphysically ground entities at higher ontological levels. Other philosophers have recently claimed that our language has an ordered, hierarchical structure. Semantically primitive sentences are said to conceptually ground less primitive sentences. It’s often emphasized that metaphysical grounding is a relation between things out in the world, not a relation between our sentences. But conflating these relations is easy to (...) do, given that both types of grounding are expressed by non-causal “in-virtue-of” claims. The purpose of this paper is to clarify the relation between metaphysical and conceptual grounding. I argue that conceptual and metaphysical grounding are exclusive: if a given in-virtue-of claim involves conceptual grounding, then it does not involve metaphysical grounding. I also develop some heuristics for deciding which type of grounding is relevant in a given case. These heuristics suggest that many proposed cases of metaphysical grounding do not actually involve metaphysical grounding at all. (shrink)

In this paper, I clarify the relation between two types of grounding: metaphysical and conceptual. Metaphysical grounding relates entities at more and less fundamental ontological levels. Conceptual grounding relates semantically primitive sentences and semantically derivative sentences. It is important to distinguish these relations given that both types of grounding can underwrite non-causal “in-virtue-of” claims. In this paper, I argue that conceptual and metaphysical grounding are exclusive: if a given in-virtue-of claim involves conceptual grounding, then it does not involve metaphysical grounding. (...) I then present two heuristics for deciding which type of grounding is relevant to a given case. These heuristics suggest that certain proposed cases of metaphysical grounding may not actually involve metaphysical grounding at all. (shrink)

Linguistic ontologists and antilinguistic, ‘serious’ ontologists both accept the inference from ‘Fido is a dog’ to ‘Fido has the property of being a dog’ but disagree about its ontological consequences. In arguing that we are committed to properties on the basis of these transformations, linguistic ontologists employ a neo-Fregean meta-ontological principle, on which the function of singular terms is to refer. To reject this, serious ontologists must defend an alternative. This paper defends an alternative on which the function of singular (...) terms is not generally to refer and on which they are generally ontologically noncommittal. This is the best way to reject linguistic, ‘easy’ arguments for the existence of properties. The account recommends neutralism about quantification (drawing on Barcan Marcus and Meinongianism), coherently bringing together two important yet uncombined meta-ontological movements. Moreover, it employs Ramseyan insights about the transformations to provide a nonreductionist, non-error-theoretic redundancy approach to explicit talk about properties. (shrink)

This paper is about intentional identity, the phenomenon of intentional attitudes having a common focus. I present an argument against an approach to explaining intentional identity, defended by Nathan Salmon, Terence Parsons and others, that involves positing exotic objects. For example, those who adopt this sort of view say that when two astronomers had beliefs about Vulcan, their attitudes had a common focus because there is an exotic object that both of their beliefs were about. I argue that countenancing these (...) exotic objects does not help us explain intentional identity. (shrink)

The aim of this paper is to explore the possibility that, at least, some metaphysical debates are ‘metalinguistic negotiations’. I will take the dispute between the dominant approaches of realism and the anti-realism ones about the ontological status of scientific models as a case-study. I will argue that such a debate may be better understood as a disagreement, at bottom normatively, motivated, insofar as a normative and non-factual question may be involved in it: how the relevant piece of language ought (...) to be used. Even though I will generally assess the prospects for a broadly deflationist approach, I shall outline a sense in which the dispute can be recast as ‘minimally substantive’. (shrink)

The canonical version of possible worlds semantics for story prefixes is due to David Lewis. This paper reassesses Lewis's theory and draws attention to some novel problems for his account.

The aim of this paper is to propose a new conceptualization of the distinction between realism and anti-realism about beliefs that is based on the division between natural and non-natural properties, as defined by Lewis. It will be argued that although the traditional form of anti-realism about beliefs, namely eliminative materialism, has failed, there is a possibility to reformulate the division in question. The background assumption of the proposal is the framework of deflationism about truth and existence: it will be (...) assumed that beliefs can be said to exist and their attributions can said to be true. The aim is to show that even when we buy into such assumptions we can meaningfully distinguish between the realist and anti-realist approach to belief. According to the proposal, the paradigmatic anti-realist view on beliefs should be seen as a conjunction of three claims: that belief attributions do not track objective similarities, that beliefs are not causally active, and that there is no viable way of naturalizing content. It will be shown that seeing the debate in the proposed way has important advantages as it allows the issue of belief realism to be made non-trivial and tractable, and it introduces theoretical unity into contemporary metaphysics of beliefs. (shrink)

There seems to be a perfectly ordinary sense in which different speakers can use an empty name to talk about the same thing. Call this fictional coreference. It is a constraint on an adequate theory of empty names that it provide a satisfactory account of fictional coreference. The main claim of this paper is that the pretense theory of empty names does not respect this constraint.

ABSTRACTI propose a different account of fictional objects from the ones already present in the literature. According to my account, fictional objects are culturally created abstract objects dependent for their existence on the pretence attitude adopted by a group of people towards a single fictional content. My work is divided into three parts: in the first one, I present how fictional objects come into existence according to my proposal; in the second part, I illustrate how the existence of fictional objects (...) so conceived may be ontically indeterminate; in the last part, I consider what happens when vague existence and indeterminate identity are claimed within fictional texts. (shrink)

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)

It is usually taken for granted, in discussions about fiction, that real things or events can occur as referents of fictional names . In this paper, I take issue with this view, and provide several arguments to the effect that it is better to take the names in fiction to refer to fictional surrogates of real objects. Doing so allows us to solve a series of problems that arise on the reference-continuity view. I also show that the arguments philosophers usually (...) rely on in order to ban surrogates are not as serious as they have been taken to be. In the first part of the paper, I describe the two conflicting views. In the second part, I discuss several specific arguments in favor of surrogates. In the third part I take up the kind of reasons ordinarily offered against them. (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)

A common view is that natural language treats numbers as abstract objects, with expressions like the number of planets, eight, as well as the number eight acting as referential terms referring to numbers. In this paper I will argue that this view about reference to numbers in natural language is fundamentally mistaken. A more thorough look at natural language reveals a very different view of the ontological status of natural numbers. On this view, numbers are not primarily treated abstract objects, (...) but rather 'aspects' of pluralities of ordinary objects, namely number tropes, a view that in fact appears to have been the Aristotelian view of numbers. Natural language moreover provides support for another view of the ontological status of numbers, on which natural numbers do not act as entities, but rather have the status of plural properties, the meaning of numerals when acting like adjectives. This view matches contemporary approaches in the philosophy of mathematics of what Dummett called the Adjectival Strategy, the view on which number terms in arithmetical sentences are not terms referring to numbers, but rather make contributions to generalizations about ordinary (and possible) objects. It is only with complex expressions somewhat at the periphery of language such as the number eight that reference to pure numbers is permitted. (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)

Platonists and nominalists disagree about whether mathematical objects exist. But they almost uniformly agree about one thing: whatever the status of the existence of mathematical objects, that status is modally necessary. Two notable dissenters from this orthodoxy are Hartry Field, who defends contingent nominalism, and Mark Colyvan, who defends contingent Platonism. The source of their dissent is their view that the indispensability argument provides our justification for believing in the existence, or not, of mathematical objects. This paper considers whether commitment (...) to the indispensability argument gives one grounds to be a contingentist about mathematical objects. (shrink)

The claim that truth is mind dependent has some initial plausibility only if truth bearers are taken to be mind dependent entities such as beliefs or statements. Even on that assumption, however, the claim is not uncontroversial. If it is spelled out as the thesis that “in a world devoid of mind nothing would be true”, then everything depends on how the phrase ‘true in world w’ is interpreted. If ‘A is true in w’ is interpreted as ‘A is true (...) of w’ (i.e. ‘w satisfies A’s truth conditions’, the claim need not be true. If on the other hand it is interpreted as ‘A is true of w and exists in w’ then the claim is trivially true, though devoid of any antirealistic efficacy. Philosophers like Heidegger and Rorty, who hold that truth is mind dependent but reality is not, must regard such principles as “A if and only if it is true that A” as only contingently true, which may be a good reason to reject the mind dependence of truth anyway. (shrink)

Amie Thomasson has defended a view called Easy Ontology, according to which most ontological questions can be answered straightforwardly using conceptual truths and empirical knowledge. Furthermore, she claims that this deflationary meta-ontology does not commit her to any form of anti-realism. In this paper I identify a problem with Thomasson’s account of quantification, according to which everything we quantify over falls under a sortal. Thomasson’s defence of the easiness of answering ontological questions relies on a certain thesis about the hierarchical (...) order of sortals, but the case for the compatibility of Easy Ontology and realism suggests that this thesis is actually false. (shrink)

The essays collected in this volume are all concerned with the connection between fiction and truth. This question is of utmost importance to metaphysics, philosophy of language, philosophical logic and epistemology, raising in each of these areas and at their intersections a large number of issues related to creation, existence, reference, identity, modality, belief, assertion, imagination, pretense, etc. All these topics and many more are addressed in this collection, which brings together original essays written from various points of view by (...) philosophers of diverse trends. These essays constitute major contributions to the current debates that the connection between truth and fiction continually enlivens, and give a sense of the directions in which research on this question is heading. Contributors: Fred Adams, Frederick Kroon, Robert Howell, Brendan Murday, Terence Parsons, Graham Priest, Erich Rast, Manuel Rebuschi, Marion Renauld, R.M. Sainsbury, Grant Tavinor, Alberto Voltolini. (shrink)

It has recently been suggested that meta-normative expressivism is best seen as a meta-semantic, rather than a semantic view. One strong motivation for this is that expressivism becomes, thereby, compatible with truth-conditional semantics. While this approach is promising, however, many of its details are still unexplored. One issue that still needs to be explored in particular, is what accounts of propositional contents are open to meta-semantic expressivists. This paper makes progress on this issue by developing an expressivist-friendly deflationary account of (...) such contents. (shrink)

The dominant account of propositions holds that they are structured entities that have, as constituents, the semantic values of the constituents of the sentences that express them. Since such theories hold that propositions are structured, in some sense, like the sentences that express them, they must provide an answer to what I will call Soames’ Question: “What level, or levels, of sentence structure does semantic information incorporate?”. As it turns out, answering Soames’ Question is no easy task. I argue in (...) this paper that the two most promising ways of answering it, the Logical Form Account and the LF Account, are both unsatisfactory. This result casts doubt on the very idea that propositions are structured. (shrink)