I contend that mathematical domains are freestanding institutional entities that, at least typically, are introduced to serve representational functions. In this paper, I outline an account of institutional reality and a supporting metaontological perspective that clarify the content of this thesis. I also argue that a philosophy of mathematics that has this thesis as its central tenet can account for the objectivity, necessity, and atemporality of mathematics.

The positivists defined analyticity as truth in virtue of meaning alone and advocated the view that the notion of analyticity so defined is co-extensive with both the notion of an a priori truth an...

The prospects for moral realism and ethical naturalism have been important parts of recent debates within metaethics. As a first approximation, moral realism is the claim that there are facts or truths about moral matters that are objective in the sense that they obtain independently of the moral beliefs or attitudes of appraisers. Ethical naturalism is the claim that moral properties of people, actions, and institutions are natural, rather than occult or supernatural, features of the world. Though these metaethical debates (...) remain unsettled, several people, myself included, have tried to defend the plausibility of both moral realism and ethical naturalism. I, among others, have appealed to recent work in the philosophy of language—in particular, to so-called theories of “direct reference” —to defend ethical naturalism against a variety of semantic worries, including G. E. Moore's “open question argument.” In response to these arguments, critics have expressed doubts about the compatibility of moral realism and direct reference. In this essay, I explain these doubts, and then sketch the beginnings of an answer—but understanding both the doubts and my answer requires some intellectual background. (shrink)

Standard truthmaker theory has generally assumed a realist account of de re modality and essences. But there are reasons to be skeptical about such a view, and for considering antirealist alternatives. Can truthmaker theory survive in the face of such skepticism? I argue that it can, but that only certain antirealist perspectives on de re modality are acceptable for truthmaker theory. In particular, either a quasi-realist or conventionalist account of de re modality is needed to provide the best account of (...) essential and accidental features that can be put to work in truthmaker theory. An important consequence of this approach is that it offers an account of truthmaking that is consistent with a nominalist perspective on properties, and yet fully respects the ontological ambitions driving truthmaker theory. (shrink)

Dispositional monists believe that all properties are essentially causal. Recently, an overdetermination argument has been proposed by Trenton Merricks to support nihilism about ordinary objects. I argue that this argument can be extended to target both nihilism about ordinary objects and nihilism about physical particles when dispositional monism is assumed. It implies that a philosopher who both endorses dispositional monism and takes seriously the overdetermination argument should not believe in the existence of physical particles. I end up by discussing possible (...) objections. I suggest, then, that if we live in a world that is inhabited by causal properties but not by chairs and tables, then we also live in a world without electrons and quarks, a world of dispositional properties, that is, a world of causal fields. (shrink)

An object is a simple if and only if it has no proper parts. An object is gunk if and only if every proper part of that object itself has a proper part. In my dissertation, I address the following questions. The concepts of simples and gunk presuppose the concept of parthood. What is the status of this concept? his question itself divides into the following: does the concept of parthood have universal applicability, so that, just as every object is (...) self-identical, every object has parts? Finally, is the concept of parthood univocal, or are there different notions of parthood, each of which is defined on distinct ontological categories? I argue that the concept of parthood has univocal. I also argue that there is some evidence that the concept of parthood has universal applicability. I address the Simple Question, which is “under what circumstances is it true of some object that it has no proper parts?” I argue against several popular answers to the Simple Question, such as the view that simples are all and only point-sized objects, and the view that simples are maximally continuous material objects. I defend the Brutal View, which holds that there is no true, finitely expressible, and informative answer to the Simple Question. In short, there is no criterion for being a simple. Along the way, I address the question of whether extended simples, i.e., simples that are extended in space, are possible. I argue that one popular argument against the possibility of extended simples is unsound. I address the question of whether both simples and gunk are possible. I argue that it is metaphysically possible that material objects be composed of gunk. (shrink)

An influential argument against the possibility of truth by linguistic convention holds that while conventions can determine which proposition a given sentence expresses, they (conventions) are powerless to make propositions true or false. This argument has been offered in the literature by Lewy, Yablo, Boghossian, Sider and others. But despite its influence and prima facie plausibility, the argument: (i) equivocates between different senses of “making true”; (ii) mistakenly assumes hyperintensional contexts are intensional; and (iii) relies upon an implausible vision of (...) the way that language works. (shrink)

Modal primitivists hold that some modal truths are primitively true. They thus seem to face a special epistemological problem: how can primitive modal truths be known? The epistemological objection has not been adequately developed in the literature. I undertake to develop the objection, and then to argue that the best formulation of the epistemological objection targets all realists about modality, rather than the primitivist alone. Furthermore, the moves available to reductionists in response to the objection are also available to primitivists. (...) I conclude by suggesting that extant theories of the epistemology of modality are not sensitive to the question of primitivism versus reductionism. (shrink)

Quine ha promovido una forma de escepticismo sobre los juicios de modalidad de re que cuestiona su función y sugiere, en consecuencia, su eliminación. Wiggins, por su parte, ha argumentado que nuestros juicios ordinarios de individuación de objetos nos comprometen con un cierto esencialismo, con la aceptación de ciertos juicios de modalidad de re. Si Wiggins tuviera razón, tendríamos una respuesta potencial al escepticismo quineano de la función. Sin embargo, en este trabajo argumento que la propuesta de Wiggins es incapaz (...) de proporcionar una respuesta satisfactoria al escepticismo quineano, pues presupone aquello mismo que está en cuestión: los compromisos esencialistas se siguen sólo de la adopción previa de otros juicios de modalidad de re cuya función está precisamente en entredicho. Asimismo, argumento que esta misma conclusión puede extraerse de la consideración de algunas otras teorías contemporáneas de la individuación, similares a la de Wiggins. (shrink)

There are three theories in the epistemology of modality that have received sustained attention over the past 20 years: conceivability-theory, counterfactual-theory, and deduction-theory. In this paper we argue that all three face what we call the problem of modal epistemic friction. One consequence of the problem is that for any of the three accounts to yield modal knowledge, the account must provide an epistemology of essence. We discuss an attempt to fend off the problem within the context of the internalism (...) versus externalism debate about epistemic justification. We then investigate the effects that the PMEF has on reductive and non-reductive theories of the relation between essence and modality. (shrink)

The original publication of the article contains two formatting errors, the second of which significantly inhibits readability.

Despite the otherwise-dominant trends towards physicalism and naturalism in philosophy, it has become increasingly common for metaphysicians to accept the existence either of modal facts and properties, or of Lewisian possible worlds. This paper raises the historical question: why did these heavyweight realist views come into prominence? The answer is that they have arisen in response to the demand to find truthmakers for our modal statements. But this demand presupposes that modal statements are descriptive claims in need of truthmakers. This (...) presupposition was, however, rejected by many earlier analytic philosophers, including the logical positivists, Wittgenstein, Ryle and Sellars, all of whom denied that modal statement were descriptive at all. Yet the non-descriptivist approach has largely fallen out of discussion and out of philosophical consciousness. In this paper I examine why non-descriptivist views first came into and then fell out of favor, and consider what the prospects are for reviving this more deflationary approach to modality. (shrink)

One common objection to Conventionalism about modality is that since it is contingent what our conventions are, the modal facts themselves will thereby be contingent. A standard reply is that Conventionalists can accept this, if they reject the S4 axiom, that what is possibly possible is possible. I first argue that this reply is inadequate, but then continue to argue that it is not needed, because the Conventionalist need not concede that the contingency of our conventions has any bearing on (...) the modal status of necessary truths. It is explained why this does not compromise the Conventionalist claim that necessity – and particularly, essence – is due to conventions. (shrink)

It would be nice if good old a priori conceptual analysis were possible. For many years conceptual analysis was out of fashion, in large part because of the excessive ambitions of verificationist theories of meaning._ _However, those days are over._ _A priori conceptual analysis is once again part of the philosophical mainstream._ _This renewed popularity, moreover, is well-founded. Modern philosophical analysts have exploited developments in philosophical semantics to formulate analyses which avoid the counterintuitive consequences of verificationism, while vindicating our ability (...) to know a priori precisely what it is our words and thoughts represent._ _Despite its apparent promise, however, I. (shrink)

Sider offers a new take on a linguistic account of necessity. In this paper, I assess his view’s vulnerability to objections made against more traditional linguistic accounts, especially an argument I call the “indexical problem.” I conclude that the indexical problem has no force against Sider’s approach because the view is able to attribute modal properties directly to propositions, rather than indirectly via analytic sentences that express them. However, Sider also argues that traditional linguistic accounts fail because of two well-known (...) problems, and I argue that the same two problems undermine his own account. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of Fine's (...) logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

It is uncontroversial that artifacts like statues and tables are mind-dependent. What is controversial is whether and how this mind-dependence has implications for the ontology of artifacts. I argue the mind-dependence of artifacts entails that there are no artifacts or artifact joints in the extra-mental world. In support of this claim, I argue that artifacts and artifact joints lack any extra-mental grounding, and so ought not to have a spot in a realist ontology. I conclude that the most plausible story (...) about artifacts is that they are in minds of suitably intelligent creatures, and not the extra-mental world. Artifacts and their joints are merely mental projections onto a world of ‘indifferent materials’. With this established, I show how many cases of object coincidence, the view that more than one material object can be located in the same exact region of space-time, cannot occur. (shrink)

This paper attacks the modal ontological argument, as advocated by Plantinga among others. Whereas other criticisms in the literature reject one of its premises, the present line is that the argument is invalid. This becomes apparent once we run the argument assuming fictionalism about possible worlds. Broadly speaking, the problem is that if one defines “x” as something that exists, it does not follow that there is anything satisfying the definition. Yet unlike non-modal ontological arguments, the modal argument commits this (...) “existential fallacy” not in relation to the definition of ‘God’. Rather, it occurs in relation to the modal facts quantified over within a Kripkean modal logic. In brief, we can describe the modal facts by whichever logic we prefer—yet it does not follow that there are genuine modal facts, as opposed to mere facts-according-to-the-fiction. A broader consequence of the discussion is that the existential fallacy is an issue for many projects in “armchair metaphysics.”. (shrink)

The most basic divide amongst analytic metaphysicians separates realists from anti-realists. By examining certain characteristic and problematic features of these two families of views, we uncover their underlying metametaphysicalorientations, which turn out to coincide. This shared philosophical picture that underlies both the realist and the anti-realist project we call the Modern Picture. It rests on a crucial distinction between reality as it is for us and reality as it is in itself. It is argued that this distinction indeed generates the (...) realism/anti-realism dichotomy, and is also responsible for the problematic aspects highlighted earlier. We conclude by sketching an alternative philosophical picture that rejects the distinction between reality as it is for us and reality as it is in itself, which we call the Aristotelian Picture, and consider whether it is able to avoid the issues to which the Modern Picture gives rise. (shrink)

It is often claimed that principles of individuation imply essential properties of the things individuated. For example, sets are individuated by their members, hence sets have their members essentially. But how does this inference work? First I discuss the form of such inferences, and conclude that the essentialist inference is not a purely formal matter: although there is a form which all principles of individuation have in common, it is not true that any statement of that form is a principle (...) of individuation, and hence there is no valid inference based purely on that form. However, I argue that there is a viable version of the essentialist inference nonetheless. The resources for a proper reconstruction of this type of inference can be gathered from reflections upon the role principles of individuation play in the project of the ontologist: such principles turn out to carry a modal weight similar to that of definitions or conceptual truths. It follows that, no matter how austere the ontology, some portion of essentialist modality is inevitable. (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)

I will defend two claims. First, Schaffer's priority monism is in tension with many research programs in quantum gravity. Second, priority monism can be modified into a view more amenable to this physics. The first claim is grounded in the fact that promising approaches to quantum gravity such as loop quantum gravity or string theory deny the fundamental reality of spacetime. Since fundamental spacetime plays an important role in Schaffer's priority monism by being identified with the fundamental structure, namely the (...) cosmos, the disappearance of spacetime in these views might undermine classical priority monism. My second claim is that priority monism can avoid this issue with two moves: first, in dropping one of its core assumptions, namely that the fundamental structure is spatio-temporal, second, by identifying the connection between the non-spatio-temporal structure and the derivative spatio-temporal structure with mereological composition. (shrink)

This paper presents an extension of Putnam's account of how substance terms such as ‘water’ and ‘gold’ function and of how a posteriori necessary truths concerning the underlying microstructures of such kinds may be derived. The paper has three aims. I aim to refute a familiar criticism of Putnam's account: that it presupposes what Salmon calls an ‘irredeemably metaphysical, and philosophically controversial, theory of essentialism’. I show how all of the details of Putnam's account—including those that Salmon believes smuggle in (...) such essentialist commitments—can be squared with a rejection of any such essentialist metaphysics. I aim to reveal why Steward is wrong to suppose that, by helping himself to the claim that ‘H2O’ is a rigid designator of a substance, Kripke, too, presupposes something controversially ‘metaphysical’. I aim to show how my proposed account also sidesteps a variety of objections raised by Needham and others who argue that Kripke's and Putnam's accounts of how ‘water’ and.. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

The article argues that modal concepts should be explained in terms of the essences or nature of things: necessarily p if, and because, there is something the nature of which ensures that p; possibly p if, and because, there is nothing whose nature rules out its being true that p. The theory is defended against various objections and difficulties, including ones arising from attributing essences to contingent individuals.

This article argues for two related theses. First, it defends a general thesis: any kind of necessity, including metaphysical necessity, can only be known a priori. Second, however, it also argues that the sort of a priori involved in modal metaphysical knowledge is not related to imagination or any sort of so-called epistemic possibility. Imagination is neither a proof of possibility nor a limit to necessity. Rather, modal metaphysical knowledge is built on intuition of philosophical categories and the structures they (...) form. (shrink)

The absence of a necessary connection in singular causation is a key step in the Humean argument against any form of necessity in causation. I argue that Hume's defence of this step is unsuccessful, and that the step could be skipped, accepting the possibility of necessary a posteriori truths. Still this does not suffice to guarantee a necessary connection in singular causation. Necessary a posteriori truths should be backed by necessary a priori truths. Thus, a main object of this paper (...) is to argue that an a priori philosophical concept of causality involves a necessary connection between its terms. (shrink)

Many philosophers accept some version of a principle that says for all x, if x exists, then x plays a unique causal role. After briefly clarifying one version of the principle in Section 1, Section 2 gives reasons to doubt it by showing that there are non-identical “causal indiscernibles”—I call them “married causes.” Section 3 then sketches a few philosophical puzzles for which married causes may be helpful.

This paper defends a conceptualist answer to the question how objects come by their modal properties. It isolates the controversial metaphysical assumptions that are needed to get ontological conceptualism off the ground, outlines the conceptualist answer to the question and shows that conceptualism is not in as bad a shape as some critics have maintained.

According to the well-known Kripke-Putnam view developed in Naming and Necessity and ‘The Meaning of Meaning’, proper names and ‘natural kind terms’ - words for natural substances, species, and phenomena - are non-descriptional and rigid. A singular term is rigid if it has the same referent in every possible world, and is non-descriptional if, roughly speaking, its referent is not secured by purely descriptive conditions analytically tied to the term. Thus, ‘the inventor of bifocals’ is nonrigid and descriptional, while ‘the (...) unique even and prime integer’ is rigid and descriptional, and ‘Noam Chomsky’ is rigid and non-descriptional. (shrink)

Some​ ​propositions​ ​are​ ​not​ ​only​ ​true,​ ​but​ ​could​ ​not​ ​have​ ​been​ ​otherwise. This​ ​thesis​ ​is​ ​about​ ​modality​ ​and​ ​the​ ​philosophy​ ​of​ ​language.​ ​Its​ ​centrepiece​ ​is​ ​a​ ​new​ ​account​ ​of the​ ​conditions​ ​under​ ​which​ ​a​ ​proposition​ ​is​ ​necessarily​ ​true​ ​in​ ​the​ ​above​ ​sense.