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)

Debunking arguments typically attempt to show that a set of beliefs or other intensional mental states bear no appropriate explanatory connection to the facts they purport to be about. That is, a debunking argument will attempt to show that beliefs about p are not held because of the facts about p. Such beliefs, if true, would then only be accidentally so. Thus, their causal origins constitute an undermining defeater. Debunking arguments arise in various philosophical domains, targeting beliefs about morality, the (...) existence of God, logic, and others. They have also arisen in material-object metaphysics, often aimed at debunking common-sense ontology. And while most of these arguments feature appeals to ‘biological and cultural contingencies’ that are ostensibly responsible for our beliefs about which kinds of objects exist, few of them take a serious look at what those contingencies might actually be. The purpose of this paper is twofold. First, to remedy this by providing empirical substantiation for a key premise in these debunking arguments by examining data from cognitive science, evolutionary biology, and developmental psychology that support a ‘debunking explanation’ of our common-sense beliefs and intuitions about which objects exist. Second, to argue that such data also undermines a particular kind of rationalist defense of common-sense ontology, sometimes employed as a response to the debunking threat. (shrink)

The notion of conceivability has traditionally been regarded as crucial to an account of modal knowledge. Despite its importance to modal epistemology, there is no received explication of conceivability. One purpose of this paper is to argue that the notion is not fruitfully explicated in terms of the imagination. The most natural way of presenting a notion of conceivability qua imaginability is open to cogent criticism. In order to avoid such criticism, an advocate of the modal insightfulness of the imagination (...) must broaden the idea of what it is to be imaginable. I argue that this required broadening renders the imagination idle . Consequently, I distinguish two different accounts of the evidential basis of modal knowledge and present a more general argument that concludes that the very notion of conceivability should be eschewed in modal epistemology. (shrink)

Philosophers often talk as if what it takes for a person to persist through time were up to us, as individuals or as a linguistic community, to decide. In most ordinary situations it might be fully determinate whether someone has survived or perished: barring some unforeseen catastrophe, it is clear enough that you will still exist ten minutes from now, for example. But there is no shortage of actual and imaginary situations where it is not so clear whether one survives. (...) Here reasonable people may disagree. There are "fission" cases where each of one's cerebral hemispheres is transplanted into a different head; Star-Trek-style "teletransportation" stories; actual cases of brain damage so severe that one can never again regain consciousness, even though one's circulation, breathing, digestion, and other "animal" functions continue; and stories where one's brain cells are gradually removed and replaced by cells from someone else, to name only a few favorites. (shrink)

According to linguistic conventionalism, necessities are to be explained in terms of the conventionally adopted rules that govern the use of linguistic expressions. A number of influential arguments against this view concerns the ‘Truth-Contrast Thesis’. This is the claim that necessary truths are fundamentally different from contingent ones since they are not made true by ‘the facts’. Instead, they are supposed to be something like ‘true in virtue of meaning’. This thesis is widely held to be a core commitment of (...) the conventionalist position, and the view is frequently rejected on the grounds that this thesis is untenable. I argue that this line of reasoning is mistaken. While the thesis should be rejected, it is not, I argue, entailed by linguistic conventionalism – nor was it invariably accepted by the paradigmatic conventionalists. (shrink)

Conceivability is an important source of our beliefs about what is possible; inconceivability is an important source of our beliefs about what is impossible. What are the connections between the reliability of these sources? If one is reliable, does it follow that the other is also reliable? The central contention of this paper is that suitably qualified the reliability of inconceivability implies the reliability of conceivability, but the reliability of conceivability fails to imply the reliability of inconceivability.

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)

In this paper, I argue that not only is metaphysical modal normativism an attractive view but that, as a matter of fact, many of us have, all along, been metaphysical modal normativists of a particular stripe. Namely, we have been the kinds of modal normativists, in the form of counterpart theorists, who are robust realists about possibility simpliciter. Having introduced modal normativism as Thomasson does in Norms and Necessity, I go on to recast it in somewhat different terms. With this (...) re-casting in place we can see that while the view offers a pleasingly deflationary account of metaphysical necessity and possibility it does so only against the backdrop of robust realism about possibility simpliciter. If that is right, then Lewis’ counterpart theory turns out to be a potent version of metaphysical modal normativism. So many of us have, all along, been metaphysical modal normativists, and so much the better for it. (shrink)

This critical study aims mainly to do two things: (i) throw some cold water on the claim that supervenience can be used to formulate a doctrine of non-reductive physicalism, and (ii) rebut an argument for physicalism offered (separately) by David Papineau and Barry Loewer. -/- The title alludes to the following lyric from "Mary Poppins", and was intended to hint that there is less to supervenience than meets the eye: -/- It's supercalifragilisticexpialidocious Even though the sound of it is something (...) quite atrocious If you say it loud enough, you'll always sound precocious Supercalifragilisticexpialidocious. (shrink)

I propose that we approach the epistemology of modality by putting modal metaphysics first and, specifically, by investigating the metaphysics of essence. Following a prominent Neo-Aristotelian view, I hold that metaphysical necessity depends on the nature of things, namely their essences. I further clarify that essences are core properties having distinctive superexplanatory powers. In the case of natural kinds, which is my focus in the paper, superexplanatoriness is due to the fact that the essence of a kind is what causes (...) all the many properties and behaviors that are typically shared by all the instances of the kind. Accordingly, we know what is necessarily true of kinds by knowing what is essential to them in the sense of actually playing such causal-explanatory roles. Modal reasoning aimed at discovering metaphysical necessity thus proceeds via essentialist deduction: we move from essentialist truths to reach necessary truths. (shrink)

The fourteen papers in this collection offer a variety of original contributions to the epistemology of modality. In seeking to explain how we might account for our knowledge of possibility and necessity, they raise some novel questions, develop some unfamiliar theoretical perspectives, and make some intriguing proposals. Collectively, they advance our understanding of the field. In Part I of this Introduction, I give some general background about the contemporary literature in the area, by sketching a timeline of the main tendencies (...) of the past twenty-five years or so, up to the present debates. Next, I focus on four features that largely characterize the latest literature, and the papers in the present collection in particular: (i) an endorsement of the importance of essentialism; (ii) a shift to a “metaphysics-first” approach to modal epistemology; (iii) a focus on metaphysical modality as opposed to other kinds of modality; and (iv) a preference for non-uniform modal epistemology. In Part II, I present the individual papers in the volume. These are organized around the following four chapters, based on their topic: (A) Skepticism & Deflationism; (B) Essentialism; (C) Non-Essentialist Accounts; (D) Applications. -/- LIST OF CONTRIBUTORS: Francesco Berto; Stephen Biggs & Jessica Wilson; Justin Clark-Doane; Philip Goff; Bob Hale; Frank Jackson; Mark Jago; Boris Kment; Antonella Mallozzi; Graham Priest; Gabriel Rabin; Amie Thomasson; Anand Vaidya & Michael Wallner; Jennifer Wang. -/- The volume is dedicated to the memory of Bob Hale. -/- . (shrink)

This paper aims to build a bridge between two areas of philosophical research, the structure of kinds and metaphysical modality. Our central thesis is that kinds typically involve super-explanatory properties, and that these properties are therefore metaphysically essential to natural kinds. Philosophers of science who work on kinds tend to emphasize their complexity, and are generally resistant to any suggestion that they have “essences”. The complexities are real enough, but they should not be allowed to obscure the way that kinds (...) are typically unified by certain core properties. We shall show how this unifying role offers a natural account of why certain properties are metaphysically essential to kinds. (shrink)

Against Thomas Mormann's argument that differential topology does not support Carnap's conventionalism in geometry we show their compatibility. However, Mormann's emphasis on the entanglement that characterizes topology and its associated metrics is not misplaced. It poses questions about limits of empirical inquiry. For Carnap, to pose a question is to give a statement with the task of deciding its truth. Mormann's point forces us to introduce more clarity to what it means to specify the task that decides between competing hypotheses (...) and in what way such a task may be both in practice and/or in principle impossible to carry out. (shrink)

This article offers a novel solution to the problem of material constitution: by including non-concrete objects among the parts of material objects, we can avoid having a statue and its constituent piece of clay composed of all the same proper parts. Non-concrete objects—objects that aren’t concrete, but possibly are—have been used in defense of the claim that everything necessarily exists. But the account offered shows that non-concreta are independently useful in other domains as well. The resulting view falls under a (...) ‘nonmaterial partist’ class of views that includes, in particular, Laurie Paul’s and Kathrin Koslicki’s constitution views; ones where material objects have properties or structures as parts respectively. The article gives reasons for preferring the non-concretist solution over these other non-material partist views and defends it against objections. (shrink)

Counterpossibles are counterfactuals that involve some metaphysical impossibility. Modal normativism is a non-descriptivist account of metaphysical necessity and possibility according to which modal claims, e.g. ‘necessarily, all bachelors are unmarried’, do not function as descriptive claims about the modal nature of reality but function as normative illustrations of constitutive rules and permissions that govern the use of ordinary non-modal vocabulary, e.g. ‘bachelor’. In this paper, I assume modal normativism and develop a novel account of counterpossibles and claims about metaphysical similarity (...) between possible and impossible worlds. I argue that considerations of metaphysical similarity between various impossible worlds and the actual world only require us to tacitly consider how the actual constitutive rules that govern the use of our terms change in order to accommodate the description of some hypothetical impossible scenario. I then argue for my account by raising worries for alternative epistemic and realist accounts of counterpossibles and showing how my account avoids those worries. (shrink)

I argue that conventionalists should construe a posteriori necessity as restricted necessity. I take Sidelle’s defence of the conventionalist explanation of a posteriori necessity against the contingency problem as the starting point. Sidelle construes a posteriori necessity as unrestricted necessity and then argues that a posteriori necessity is to be considered under a fixed convention and is thus irrelevant to the contingent nature of our linguistic conventions. I offer a different solution to the contingency problem. I argue that conventionalists should (...) construe a posteriori necessity as restricted necessity based upon a use-based meta-semantic picture. Restricted necessity is contingent in a broader sense and does not conflict with the contingency of conventions. My solution allows conventionalists to explain a posteriori necessity as restricted necessity. I show that the realist’s arguments for a posteriori necessity are unconvincing in regard to real modal features and a posteriori necessity as unrestricted necessity. We thus have good reason to continue to accept a posteriori necessity as restricted necessity under the conventionalist explanation. (shrink)

Current debates between behavioural and orthodox economists indicate that the role and epistemological status of first principles is a particularly pressing problem in economics. As an alleged paragon of extreme apriorism, the methodology of Austrian economics in Mises’ tradition is often dismissed as untenable in the light of modern philosophy. In particular, the defence of the so-called fundamental axiom of praxeology—“Man acts.”—by means of pure intuition is almost unanimously rejected. However, in recently resurfacing debates, the extremeness of Mises’ epistemological position (...) has been called into question. Rather than directly engaging in these exegetical discussions, this paper aims to substantiate the possibility and plausibility of conventionalist defences of praxeology per se. The proposed shift includes settling for an analytic fundamental axiom and acknowledging the prima facie tenability of other research programs than praxeology. Since conventionalist praxeology is only moderately aprioristic, mainstream economists and philosophers might be more likely to engage in fruitful discussions with those Austrian scholars who elaborate pragmatic arguments for praxeology instead of invoking pure intuition. (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)

Modal Plenitude—the view that, for every empirically adequate modal profile, there is an object whose modal profile it is—is held to be consistent with each of endurantist and perdurantist (three- and four-dimensionalist) views of persistence. Here I show that, because “endurer” and “perdurer” are two substantially different kinds of entity, compossible with each other and consistent with empirical data, Modal Plenitude actually entails a third view about persistence that I call “Persistence Egalitarianism.” In every non-empty spacetime region there are two (...) persisting objects: one that endures through the temporal dimension of that region, and another that perdures through the region. Additionally, if the argument from anthropocentrism makes a strong case for Modal Plenitude, then an equally strong and parallel case supports Persistence Egalitarianism. I close with the meta-semantic consequences of persistence egalitarianism for ordinary object talk. (shrink)

Concrete particular objects (e.g., living organisms) figure saliently in our everyday experience as well as our in our scientific theorizing about the world. A hylomorphic analysis of concrete particular objects holds that these entities are, in some sense, compounds of matter (hūlē) and form (morphē or eidos). The Grounding Problem asks why an object and its matter (e.g., a statue and the clay that constitutes it) can apparently differ with respect to certain of their properties (e.g., the clay’s ability to (...) survive being squashed, as compared to the statue’s inability to do so), even though they are otherwise so much alike. In this paper, I argue that a hylomorphic analysis of concrete particular objects, in conjunction with a non-modal conception of essence of the type encountered for example in the works of Aristotle and Kit Fine, has the resources to yield a solution to the Grounding Problem. (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)

A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the prospects of the (...) two extant candidates in light of these challenges. We then develop our own non-absolutist theory, the essentialist DTA account, which combines the nomic-necessitation or DTA account with an essentialist approach to metaphysical modality in order to meet the three explanatory challenges. Finally, we argue that the distinction between kinematical and dynamical laws found in physical theories supports both non-absolutism in general and our proposed essentialist DTA view in particular. (shrink)

In a recent paper, Tuomas Tahko has argued for a hybrid view of the laws of nature, according to which some physical laws are metaphysically necessary, while others are metaphysically contingent. In this paper, we show that his criterion for distinguishing between these two kinds of laws — which crucially relies on the essences of natural kinds — is on its own unsatisfactory. We then propose an alternative way of drawing the metaphysically necessary/contingent distinction for laws of physics based on (...) the central kinematical/dynamical distinction used in physical theorising, and argue that the criterion can be used to amend Tahko’s own account, but also that it can be combined with different metaphysical views about the source of necessity. (shrink)

The Donkey Problem (as I am calling it) concerns the relationship between more and less fundamental ontologies. I will claim that the moral to draw from the Donkey Problem is that the less fundamental objects are merely conventional. This conventionalism has consequences for the 3D/4D debate. Four-dimensionalism is motivated by a desire to avoid coinciding objects, but once we accept that the non-fundamental ontology is conventional there is no longer any reason to reject coincidence. I therefore encourage 4Dists to become (...) even more radical—embrace the Donkey Problem’s conventionalism and deflate the debate between 3Dists and 4Dists. (shrink)

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

I critically evaluate the notion of structure Ted Sider presents in Writing the Book of the World. A prerequisite to understanding Sider's notion of structure is understanding Sider's take on ideology and ontology. In Section II, I discuss this. In Section III, I consider arguments in favor of structure. In Section IV, I examine one debate that is considered by Sider to be nonsubstantive: the debate over modality. I conclude, in Section V, by examining the reception Writing the Book of (...) the World has received in the philosophical community. (shrink)

The view that ordinary objects are composites of form and matter ("hylomorphism") can be contrasted with the more common view that ordinary objects are composed of only material parts ("matter only"). On a matter-only view the hard question is modal: which modal profile does that (statue-shaped) object have? Does it have the modal profile of a statue, a lump, a mere aggregate? On a hylomorphic view the hard question is ontological: which objects exist? Does a statue (matter-m + statue-form), a (...) lump (matter-m + lump-form), and/or a mere aggregate (matter-m + mere aggregate-form) exist? I defend a novel answer to the hard question for hylomorphism. In particular, I argue that which ordinary objects exist depends, in part, on how subjects respond to the matter they encounter. I argue that, with regard to grounding the existence and modal properties of ordinary objects, response-dependent hylomorphism is superior to both matter only views and to non-response-dependent versions of hylomorphism. (shrink)

I distinguish Local Constructivism (humans play a constitutive role in constructing some of the objects we have epistemic access to) from Global Constructivism (humans play a constitutive role in constructing all of the objects we have epistemic access to). I explicate and clarify Local Constructivism and show how the metaphysical concerns which motivate endorsing Local Constructivism about some objects (e.g. social objects, modal objects) differ from the epistemic and semantic concerns which motive endorsing Global Constructivism. I, then, examine the criticisms (...) Realists typically present against Constructivism. I argue that, although these criticisms undermine Global Constructivism, Local Constructivism is immune to them. If one has anti-Realist inclinations, but wishes to avoid the morass anti-Realism usually falls into (aka: anti-Realist Boogeyman), one should endorse Local, rather than Global, Constructivism. (shrink)

This paper examines the legitimacy of two common methodologies within philosophy: thought experiments and conceptual analysis. In particular, I examine the uses to which these two methodologies have been put within modal epistemology. I argue that, although both methods can be used to reveal conditional essentialist claims (e.g. necessarily: if x is water, then x is H20), neither can be used to reveal the de re essentialists claims (e.g. x is water and x is essentially H20) they’re often taken to (...) reveal. (shrink)

I argue there are some objects which do not respect the Law of the Excluded Middle, i.e., which are such that, for some property F, the disjunction Fo v ~Fo fails to be true. I call such objects “odd objects” and present three examples—fictional objects, nonsort objects, and quantum objects. I argue that each of these objects is best understood as violating LEM. I, then, discuss Jessica Wilson’s account of metaphysical indeterminacy. I show how the indeterminacy which arises with odd (...) objects can be accounted for on Wilson’s account. I, then, argue that my Wilson-inspired, but non-LEM-respecting, account of metaphysical indeterminacy is superior to Wilson’s in terms of costs and benefits. (shrink)

The central claim of this paper is that the Aristotelian metaphysics of objects is incompatible with physicalism. This includes the contemporary variant of Aristotelianism I call ‘sortalism’. The core reason is that an object’s identity as an instance of a (natural) kind, as well as its consequent persistence conditions, is neither physically fundamental nor determined by what is physically fundamental. The argument for the latter appeals to what is commonly known as ‘the grounding problem’; in particular I argue that the (...) physicalist has no solution, and this requires that the physicalist jettison the traditional concept of objects having kind-specific identity and persistence conditions. (shrink)

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)

In this paper, I argue that how a mind can come to be about an object and how the world is independently of the workings of any mind are inextricably linked. Hence, epistemology, at its most basic, and metaphysics are systematically related. In order to demonstrate the primary thesis of the paper, I first articulate two contrary accounts of the nature of reality and then two contradictory general views of intentionality. I argue that these positions can be combined in only (...) two ways. This argument turns on the impossibility of there being an object that cannot, in principle, be thought of or referred to, so I present reasons for thinking such a thing cannot exist. The upshot is that there are but two intentional-cum-ontological positions, that is, two unified positions regarding how a mind relates to the world and what the world is like in itself. This might be surprising, for one might have thought that the views in the different domains were independent; it is significant, because it shows that views that might have seemed related by mere affinity are, in fact, necessarily conjoined. I conclude by presenting reasons for thinking one of the two intentional-cum-ontological positions is untenable. (shrink)

I survey a number of views about how we can obtain knowledge of modal propositions, propositions about necessity and possibility. One major approach is that whether a proposition or state of affairs is conceivable tells us something about whether it is possible. I examine two quite different positions that fall under this rubric, those of Yablo and Chalmers. One problem for this approach is the existence of necessary a posteriori truths and I deal with some of the ways in which (...) these authors respond to the problem, including the use of two-dimensional modal semantics. Conventionalism about modality offers a complementary approach to modal epistemology, prompting us to identify our knowledge of modal truths with our mastery of linguistic or conceptual conventions. Finally, I discuss an approach to modal epistemology deriving from David Lewis's work that seeks to identify structural features of the modal space over which necessity and possibility are defined. (shrink)

This paper opposes universal mereological composition (UMC). Sider defends it: unless UMC were true, he says, it could be indeterminate how many objects there are in the world. I argue that there is no general connection between how widely composition occurs and how many objects there are in the world. Sider fails to support UMC. I further argue that we should disbelieve in UMC objects. Existing objections against them say that they are radically unlike Aristotelian substances. True, but there is (...) a stronger objection. This is that they are characterized by no properties, and so fail to be like anything – even themselves. (shrink)

I present an exemplary Humean modal epistemology. My version takes inspiration from but incurs no commitment to both Hume’s historical position and Lewis’s Humeanism. Modal epistemology should meet two challenges: the Integration challenge of integrating metaphysics and epistemology and the Reliability challenge of giving an account of how our epistemic capacities can be reliable in detecting modal truth. According to Lewis, modal reasoning starts from certain Humean principles: there is only the vast mosaic of spatiotemporally distributed local matters of fact. (...) The facts can be arbitarily recombined. These principles cannot be taken for granted. I suggest a bottom-up approach instead: Humean principles of recombining the mosaic of facts can be retrieved from the evolutionarily instilled and empirically informed use of imagination in exploring everyday circumstantial possibilities. This use of imagination conforms to a primitive conception of matter as freely recombinable. The modal beliefs that can be obtained from generalizing the more elementary exercise of imagination have to be corrected. Recombination is limited by sortal criteria of identity. Moreover, the overall picture of a recombinable spatiotemporal mosaic must be weighed against the results of science. (shrink)

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)

This paper develops a model theoretic semantics for so called “natural kind terms” that reflects the viewpoint of (Kripke, 1980) and (Putnam, 1975). The semantics generates a formal counterpart of the “K-mechanism” investigated in (Salmon, 1981) and in unpublished work by Keith Donnellan.

We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a circle) isolating the interior of a disc from its exterior. There is a boundary (a surface) enclosing the bulk of this apple. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of (...) your own body). Sometimes the boundary lies skew to any physical discontinuity or qualitative differentiation (as with the border of Wyoming, or the boundary between the upper and lower halves of a homogeneous sphere). But whether sharp or blurry, natural or artificial, for every object there appears to be a boundary that marks it off from the rest of the world. Events, too, have boundaries — at least temporal boundaries. Our lives are bounded by our births and by our deaths; the soccer game began at 3pm sharp and ended with the referee's final whistle at 4:45pm. It is sometimes suggested that even abstract entities, such as concepts or sets, have boundaries of their own, and Wittgenstein could emphatically proclaim that the boundaries of our language are the boundaries of our world. Whether all this boundary talk is coherent, however, and whether it reflects the structure of the world or simply the organizing activity of our mind, are matters of deep philosophical controversy. (shrink)

The distinction between essential versus accidental properties has been characterized in various ways, but it is currently most commonly understood in modal terms: an essential property of an object is a property that it must have, while an accidental property of an object is one that it happens to have but that it could lack. Let’s call this the basic modal characterization, where a modal characterization of a notion is one that explains the notion in terms of necessity/possibility. In the (...) characterization just given of the distinction between essential and accidental properties, the use of the word “must” reflects the fact that necessity is invoked, while the use of the word “could” reflects that possibility is invoked. The notions of necessity and possibility are interdefinable: to say that something is necessary is to say that its negation is not possible; to say that something is possible is to say that its negation is not necessary; to say that an object must have a certain property is to say that it could not lack it; and to say that an object could have a certain property is to say that it is not the case that it must lack it. (shrink)

The central philosophical task posed by conventions is to analyze what they are and how they differ from mere regularities of action and cognition. Subsidiary questions include: How do conventions arise? How are they sustained? How do we select between alternative conventions? Why should one conform to convention? What social good, if any, do conventions serve? How does convention relate to such notions as rule, norm, custom, practice, institution, and social contract? Apart from its intrinsic interest, convention is important because (...) philosophers frequently invoke it when discussing other topics. A favorite philosophical gambit is to argue that, perhaps despite appearances to the contrary, some phenomenon ultimately results from convention. Notable candidates include: property, government, justice, law, morality, linguistic meaning, necessity, ontology, mathematics, and logic. (shrink)

An encyclopedia entry which covers various revisionary conceptions of which macroscopic objects there are, and the puzzles and arguments that motivate these conceptions: sorites arguments, the argument from vagueness, the puzzles of material constitution, arguments against indeterminate identity, arguments from arbitrariness, debunking arguments, the overdetermination argument, and the problem of the many.

I begin by giving reasons to accept the block-universe view, the strongly supported by physics view that we live in a four-dimensional world. According to it, the past and the future are as real as the present. As a result, it seems that the future is determined in the sense that what will be the case will necessarily be the case. In the dissertation, I examine whether we have to accept this consequence. I show that we do not have to (...) bite the bullet: the future might be both real and contingent. I first start to consider modal realism (possible futures are real) as a possible solution. However, I propose then another account, actualist (positing the reality of only one possible world: the space-time we live in). This solution relies on a conventionalist theory about metaphysical modality (Sidelle, 1989). It states that modal modality is purely conventional. In combination with a realist interpretation of natural modality (causal and/or nomological), this framework allows me to propose that the future is conventionally closed and naturally contingent. In this view, the necessity of the future holds in virtue of linguistic conventions and then is conventionally necessary. But this is a distinct phenomenon from the natural contingency of the future: the future is naturally contingent because there are mind-independent probabilistic relations holding between the present and the future. This solution has strong consequences: most importantly, an anti-realist view about ordinary objects and physical particles. I end up by presenting and arguing in favour of the general image of the world that comes out from these views. (shrink)