To solve the problem of counterpossibles, many philosophers have been arguing that one needs to invoke impossible worlds. This extension of the ontology of modality should save the analysis of counterfactuals from being insensitive to the problem of counterpossibles. Since theories of impossible worlds are extensions of original accounts of modalities, it is worth stressing that proper analyses of counterpossibles should not weaken the latter.In this paper I argue that these theories of impossible wolrds, which are based on D. Lewis' (...) modal realism - Extended Modal Realism and Hybrid Modal Realism - might be consider as either an unattractive for modal realists or insufficient for analyzing counterpossibles. (shrink)

Wenn es aber Wirklichkeitssinn gibt, und niemand wird bezweifeln, daß er seine Daseinsberechtigung hat, dann muß es auch etwas geben, das man Möglichkeitssinn nennen kann. Wer ihn besitzt, sagt beispielsweise nicht: Hier ist dies oder das geschehen, wird geschehen, muß geschehen; sondern er erfindet: Hier könnte, sollte oder müßte geschehn; und wenn man ihm von irgend etwas erklärt, daß es so sei, wie es sei, dann denkt er: Nun, es könnte wahrscheinlich auch anders sein. So ließe sich der Möglichkeitssinn geradezu (...) als die Fähigkeit definieren, alles, was ebensogut sein könnte, zu denken und das, was ist, nicht wichtiger zu nehmen als das, was nicht ist. (shrink)

Within the linguistics literature it is often claimed that epistemic modality, unlike other kinds of modality, does not contribute to truth-conditional content. In this paper I challenge this view. I reanalyze a variety of arguments which have been used in support of the non-truth-conditional view and show that they can be handled on an alternative analysis of epistemic modality. # 2006 Elsevier B.V. All rights reserved.

In this essay I explore the idea that the solution to some important problems of personal identity lies in the philosophy of language: more precisely in the nature of first-person reference. I will argue that the “linguistic solution” is at best partly successful.

We discuss the nature of reality in the ontological context of Penrose’s math-matter-mind triangle. The triangle suggests the circularity of the widespread view that math arises from the mind, the mind arises out of matter, and that matter can be explained in terms of math. Non-physicists should be wary of any claim that modern physics leads us to any particular resolution of this circularity, since even the sample of three theoretical physicists writing this paper hold three divergent views. Some physicists (...) believe that current physics has already found the basic framework for a complete description of reality, and only has to fill in the details. Others suspect that no single framework, from physics or other sources, will ever capture reality. Yet others guess that reality might be approached arbitrarily closely by some form of future physics, but probably based on completely different frameworks. We will designate these three approaches as the fundamentalist, secular and mystic views of the world, as seen by practicing physicists. We present and contrast each of these views, which arguably form broad categories capturing most if not all interpretations of physics. We argue that this diversity in the physics community is more useful than an ontological monoculture, since it motivates physicists to tackle unsolved problems with a wide variety of approaches. (shrink)

Time passes; sometimes swiftly, sometimes interminably, but always it passes. We see the world change as events emerge from the shroud of the future, clandestinely slinking into the past almost immediately as though they are reluctant to meet our gaze: children are born, old friends and relatives die, governments once full of youthful enthusiasm wane. If the Earth were sentient, it might feel itself being torn apart as tectonic plates diverge, and chuckle as it outlived species upon species of transient (...) parasites. How could anyone possibly deny that time passes? (shrink)

From García-Carpintero and Kölbel, eds, Relative Truth.

Many of those who accept the universalist thesis that mereological composition is unrestricted also maintain that the folk typically restrict their quantifiers in such a way as to exclude strange fusions when they say things that appear to conflict with universalism. Despite its prima facie implausibility, there are powerful arguments for universalism. By contrast, there is remarkably little evidence for the thesis that strange fusions are excluded from the ordinary domain of quantification. Furthermore, this reconciliatory strategy seems hopeless when applied (...) to the more fundamental conflict between universalism and the intuitions that tell against it. (shrink)

Although it is widely recognized that perceptual experience confers justification on the beliefs it gives rise to, it is unclear how its epistemic value should be properly characterized. Liberals hold, and conservatives deny, that the justification conditions of perceptual beliefs merely involve experiences with the same content. The recent debate on this question has, however, seen further fragmentations of the positions involved with the disputants seeking to identify intermediate positions between liberalism and conservatism. In this paper, I suggest a framework (...) to account for the differences and similarities of the positions within the liberalism/conservatism debate. More importantly, I suggest that, instead of focusing on one particular species of conservatism, we should recognize varieties of conservatism. My conclusion is that no theory of justification need be conservative or liberal tout court. Whether a theory of justification is liberal or conservative depends on which dimension of evaluation is taken to be salient. The implications of this finding for the liberalism/conservatism debate are then investigated. (shrink)

In his Material Beings, Peter van Inwagen distinguishes two questions about parthood. What are the conditions necessary and sufficient for some things jointly to compose a whole? What are the conditions necessary and sufficient for a thing to have proper parts? The first of these, the Special Composition Question (SCQ), has been widely discussed, and David Lewis has argued that an important constraint on any answer to the SCQ is that it should not permit borderline cases of composition. This is (...) a far-reaching claim, since many plausible-seeming accounts of composition do permit borderline cases. Ned Markosian has recently directed our attention to the second, the neglected Inverse Special Composition Question (ISCQ). I will argue that those who accept Lewis’s constraint on answers to the SCQ should accept an analogous constraint on answers to the ISCQ, and I will discuss the effects of such a constraint. (shrink)

In the last few decades of the twentieth century there was a revolution in metaphysics: the intensional revolution. Many metaphysicians rejected the doctrine, associated with Quine and Davidson, that extensional analyses and theoretical resources were the only acceptable ones. Metaphysicians embraced tools like modal and counterfactual analyses, claims of modal and counterfactual dependence, and entities such as possible worlds and intensionally individuated properties and relations. The twenty-first century is seeing a hypterintensional revolution. Theoretical tools in common use carve more finely (...) than by necessary equivalence: two pieces of language can apply to the same entities across all possible worlds but not be equivalent; thoughts can be necessarily equivalent in truth value but not synonymous. This paper argues that hyperintensional resources are valuable in metaphysics outside theories of representation, and discusses some promising areas of hyperintensional metaphysics. (shrink)

Perhaps the most significant contemporary theory of lawhood is the Best System (/MRL) view on which laws are true generalizations that best systematize knowledge. Our question in this paper will be how best to formulate a theory of this kind. We’ll argue that an acceptable MRL should (i) avoid inter-system comparisons of simplicity, strength, and balance, (ii) make lawhood epistemically accessible, and (iii) allow for laws in the special sciences. Attention to these problems will bring into focus a useful menu (...) of novel MRL theories, some of which solve problems the original MRL theory could not. Hence we conceive of the paper as moving toward a better Best System theory of laws. (shrink)

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 Many-Worlds Interpretation (MWI) is an approach to quantum mechanics according to which, in addition to the world we are aware of directly, there are many other similar worlds which exist in parallel at the same space and time. The existence of the other worlds makes it possible to remove randomness and action at a distance from quantum theory and thus from all physics.

What is the relation between a clay statue andthe lump of clay from which it is made? According to the defender of the standardaccount, the statue and the lump are distinct,enduring objects that share the same spatiallocation whenever they both exist. Suchobjects also seem to share the samemicrophysical structure whenever they bothexist. This leads to the standard objection tothe standard account: if the statue and thelump of clay have the same microphysicalstructure whenever they both exist, how canthey differ in their (...) de re temporalproperties, de re modal properties and soon? In this paper I develop amereological answer to this question – thestatue and the lump differ with respect totheir parts and this explains theirdifference with respect to de re temporalproperties, de re modal properties andthe like. (shrink)

According to perdurantism, objects persist by being spread out over time, just as composite three-dimensional objects are spread out over space. Just as a composite three-dimensional object is spread out over space by having spatial parts, objects persist, according to perdurantism, by having temporal parts. Perdurantism can be stated more precisely by saying what exactly a temporal part is. In the sequel, Theodore Sider's definition of "instantaneous temporal part" shall be assumed: x is an instantaneous temporal part of y at (...) instant t =df. x exists at, but only at, t; x is part of y at t; and x overlaps at t everything that is part of y at t. Much more could be and has been said about how perdurantism should be formulated. Though interesting in their own right, nothing of importance here turns on these matters of formulation. (shrink)

Words, languages, symphonies, fictional characters, games, and recipes are plausibly abstract artifacts— entities that have no spatial location and that are deliberately brought into existence as a result of creative acts. Many accept that composition is unrestricted: for every plurality of material objects, there is a material object that is the sum of those objects. These two views may seem entirely unrelated. I will argue that the most influential argument against restricted composition—the vagueness argument—doubles as an argument that there can (...) be no abstract artifacts. There is no way to resist the vagueness argument against abstract artifacts that does not also undermine the vagueness argument against restricted composition. (shrink)

I investigate the consequences for semantics, and in particular for the semantics of tense, if time is assumed to have a branching structure not out of metaphysical necessity (to solve some philosophical problem) but just as a contingent physical fact, as is suggested by a currently-popular approach to the interpretation of quantum mechanics.

In their modern classic ``What Price Substantivalism? The Hole Story'' Earman and Norton argued that substantivalism about spacetime points implies that general relativity is indeterministic and, for that reason, must be rejected as a candidate ontology for the theory. More recently, Earman has cottoned on to a related argument (in fact, related to a \emph{response} to the hole argument) that arises in the context of canonical general relativity, according to which the enforcing of determinism along standard lines---using the machinery of (...) gauge theory---leads to a `frozen universe' picture (grounded in an absence of changes in values of general relativity's observables). \emph{Prima facie} this would seem to land the anti-substantivalist in waters at least as deep as those that Earman and Norton argued troubled substantivalism. In this paper I introduce the argument in what I think are clearer terms than Earman's, and assess his treatment of the problem. For the most part I agree with Earman about the nature of the problem, but I find aspects of his discussion wanting, especially as regards his proposed ontology. I argue that ontological sense can be made of the changelessness if a structuralist stance is adopted with respect to a natural class of observables. (shrink)

In this paper I examine the connection between symmetry and modality from the perspective of `reduction' methods in geometric mechanics. I begin by setting the problem up as a choice between two opposing views: reduction and non-reduction. I then discern four views on the matter in the literature; they are distinguished by their advocation of distinct geometric spaces as representing `reality'. I come down in favour of non-reductive methods.

This thesis analyses the ontological nature of quantum particles. In it I argue that quantum particles, despite their indistinguishability, are objects in much the same way as classical particles. This similarity provides an important point of continuity between classical and quantum physics. I consider two notions of indistinguishability, that of indiscernibility and permutation symmetry. I argue that neither sort of indistinguishability undermines the identity of quantum particles. I further argue that, when we understand in distinguishability in terms of permutation symmetry, (...) classical particles are just as indistinguishable as quantum particles; for classical physics also possesses permutation symmetry. (shrink)

Work on the intrinsic/extrinsic distinction is often motivated by its use in other areas, such as intrinsic value, real vs. Cambridge change, supervenience and other topics. With the exception of Figdor 2008, philosophers have sought to articulate a global distinction -- a distinction between kinds of properties, rather than ways in which individuals have properties. I argue that global I/E distinctions are unable to do the work that allegedly motivates them, focusing on the case of intrinsic value.

This paper argues for a metaphysics of relations based on a characterization of quantum entanglement in terms of non-separability, thereby regarding entanglement as a sort of holism. By contrast to a radical metaphysics of relations, the position set out in this paper recognizes things that stand in the relations, but claims that, as far as the relations are concerned, there is no need for these things to have qualitative intrinsic properties underlying the relations. This position thus opposes a metaphysics of (...) individual things that are characterized by intrinsic properties. A principal problem of the latter position is that it seems that we cannot gain any knowledge of these properties insofar as they are intrinsic. Against this background, the rationale behind a metaphysics of relations is to avoid a gap between epistemology and metaphysics. (shrink)

This paper is a response to some recent discussions of many-minds interpretations in the philosophical literature. After an introduction to the many-minds idea, the complexity of quantum states for macroscopic objects is stressed. Then it is proposed that a characterization of the physical structure of observers is a proper goal for physical theory. It is argued that an observer cannot be defined merely by the instantaneous structure of a brain, but that the history of the brain's functioning must also be (...) taken into account. Next the nature of probability in many-minds interpretations is discussed and it is suggested that only discrete probability models are needed. The paper concludes with brief comments on issues of actuality and identity over time. (shrink)

We aim to provide the ontological grounds for an adequate account of persistence. We defend a perspectivalist, or moderate pluralist, position, according to which some aspects of reality can be accounted for in ontological terms only via partial and mutually complementary ontologies, each one of which captures some relevant aspect of reality. Our thesis here is that this is precisely the sort of ontological account that is needed for the understanding of persistence, specifically an account involving two independent ontologies, one (...) for continuants, and one for occurrents. (shrink)

What does it mean that certain properties globally supervene on others? The paper criticises the now standard way of spelling out the notion in terms of 1–1 correlations between world-domains and proposes a modification that escapes the difficulties. The new definition can secure the additional benefit of resisting an argument to the effect that global supervenience is theoretically dispensable.

Abstract: This paper assesses the Everettian approach to the measurement problem, especially the version of that approach advocated by Simon Saunders and David Wallace. I emphasise conceptual, indeed metaphysical, aspects rather than technical ones; but I include an introductory exposition of decoherence. In particular, I discuss whether---as these authors maintain---it is acceptable to have no precise definition of 'branch' (in the Everettian kind of sense). (A version of this paper will appear in a CTNS/Vatican Observatory volume on Quantum Theory and (...) Divine Action, ed. Robert Russell et al.). (shrink)

This paper is about the metaphysical debate whether objects persist over time by the selfsame object existing at different times (nowadays called “endurance” by metaphysicians), or by different temporal parts, or stages, existing at different times (called “perdurance”). I aim to illuminate the debate by using some elementary kinematics and real analysis: resources which metaphysicians have, surprisingly, not availed themselves of. There are two main results, which are of interest to both endurantists and perdurantists. (1) I describe a precise formal (...) equivalence between the way that the two metaphysical positions represent the motion of the objects of classical mechanics (both point-particles and continua). (2) I make precise, and prove a result about, the idea that the persistence of objects moving in a void is to be analysed in terms of tracking the continuous curves in spacetime that connect points occupied by matter. The result is entirely elementary: it is a corollary of the Heine–Borel theorem. (shrink)

Mereological realism holds that the world has a mereological structure – i.e. a distribution of mereological properties and relations. In this article, I defend Eleaticism about properties, according to which there are no causally inert non-logical properties. I then present an Eleatic argument for mereological anti-realism, which denies the existence of both mereological composites and mereological simples. After defending Eleaticism and mereological anti-realism, I argue that mereological anti-realism is preferable to mereological nihilism. I then conclude by examining the thesis that (...) composition is identity and noting its consequences for the question of mereological structure. (shrink)

In this paper, I defend an indexical analysis of the abstract-concrete distinction within the framework of modal realism. This analysis holds the abstract-concrete distinction to be conceptually inseparable from the distinction between the actual and the merely possible, which is assumed to be indexical in nature. The resulting view contributes to the case for modal realism by demonstrating how its distinctive resources provide a reductive analysis of the abstract-concrete distinction. This indexical analysis also provides a solution to a sceptical problem (...) regarding our concreteness, which parallels the sceptical problem that motivates indexicalism about actuality. (shrink)

According to one tradition in the philosophy of language and mind, the content of a psychological attitude can be characterized by a set of possibilities. On the classic version of this account, advocated by Hintikka (1962) and Stalnaker (1984) among others, the possibilities in question are possible worlds, ways the universe might be. Lewis (1979, 1983a) proposed an alternative to this account, according to which the possibilities in question are possible individuals or centered worlds, ways an individual might be. The (...) motivation for the centered worlds theory has primarily to do with self-locating – or de se – attitudes. The focus of this paper is on the less-discussed question of how other-locating – or de re – attitudes ought to be treated within this framework. Most advocates of what we might call the modal approach to attitudes, Stalnaker and Lewis included, offer some kind of descriptivist solution to the well-known problems that other-locating attitudes raise. There are intramural differences between Stalnaker, Lewis, and other modal theorists (e.g. two-dimensionalists) on a number of issues: on the precise nature of the descriptivism involved, how attitude content relates to the asserted content of the sentences we utter, and on the proper semantic treatment of attitude reports. I pass over these differences to focus on a problem common to these various approaches: all face a problem when it comes to characterizing the contents of counterfactual attitudes like imagining, dreaming, and wishing. (shrink)

Theories of content are at the centre of philosophical semantics. The most successful general theory of content takes contents to be sets of possible worlds. But such contents are very coarse-grained, for they cannot distinguish between logically equivalent contents. They draw intensional but not hyperintensional distinctions. This is often remedied by including impossible as well as possible worlds in the theory of content. Yet it is often claimed that impossible worlds are metaphysically obscure; and it is sometimes claimed that their (...) use results in a trivial theory of content. In this paper, I set out the need for impossible worlds in a theory of content; I briefly sketch a metaphysical account of their nature; I argue that worlds in general must be very fine-grained entities; and, finally, I argue that the resulting conception of impossible worlds is not a trivial one. (shrink)

The topic of this paper is whether there is metaphysical vagueness. It is shown that it is important to distinguish between the general phenomenon of indeterminacy and the more narrow phenomenon of vagueness (the phenomenon that paradigmatically rears its head in sorites reasoning). Relatedly, it is important to distinguish between metaphysical indeterminacy and metaphysical vagueness. One can wish to allow metaphysical indeterminacy but rule out metaphysical vagueness. As is discussed in the paper, central argument against metaphysical vagueness, like those of (...) Gareth Evans and Mark Sainsbury, would if successful rule out metaphysical indeterminacy. One way to argue specifically against the possibility of metaphysical vagueness might be thought to be to argue for a specific theory of the nature of vagueness according to which vagueness is a semantic phenomenon. But it is shown that there are complications also pertaining to arguments with that structure. Toward the end of the paper, I discuss Trenton Merricks’ well-known argument against a semantic view on vagueness and for a metaphysical view. (shrink)

I present a new definition of verisimilitude, framed in terms of causes. Roughly speaking, according to it a scientific model is approximately true if it captures accurately the strengths of the causes present in any given situation. Against much of the literature, I argue that any satisfactory account of verisimilitude must inevitably restrict its judgments to context-specific models rather than general theories. We may still endorse—and only need—a relativized notion of scientific progress, understood now not as global advance but rather (...) as the mastering of particular problems. This also sheds new light on longstanding difficulties surrounding language-dependence and models committed to false ontologies. (shrink)

Assume, for fun, that temporal parts theory is true, and that some kind of modal realism (perhaps based on ersatz worlds) is true. Within this grand metaphysical picture, what are the ordinary objects? Do they have many temporal parts, or just one? Do they have many modal parts, or just one? I survey the issues involved in answering this question, including the problem of temporary intrinsics, the problem of the many, Kripke's objections to counterpart theory and quantifier domain restrictions.

Existing puzzles about coinciding objects can be divided into two types, corresponding to the manner in which they bear upon the endurantism v. perdurantism debate. Puzzles of the first type, which involve temporary spatial co-location, can be solved simply by abandoning endurantism in favor of perdurantism, whereas those of the second type, which involve career-long spatial co-location, remain equally puzzling on both views. I show that the possibility of backward time travel would give rise to a new type of puzzle. (...) The new puzzles confront perdurantists and can be solved just by shifting to endurantism. (shrink)

The paper raises some difficulties for the typical motivations behind set reductionism, the view that sets are reducible to entities identified independently of set theory.

Many familiar forms of property realism identify properties with sui generis ontological categories like universals or tropes and posit a fundamental instantiation relation that unifies objects with their properties. In this paper, I develop and defend locationism, which identifies properties with locations and holds that the occupation relation that unifies objects with their locations also unifies objects with their properties. Along with the theoretical parsimony that locationism enjoys, I argue that locationism resolves a puzzle for actualists regarding the ontological status (...) of uninstantiated properties. I also note some promising applications of the locationist framework to the metaphysics of quantities and possible worlds. (shrink)

There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct (...) the history of the arguments for and against this idea. Then, I propose my own version of the Thin Red Line theory which is immune to the major objections found in the literature. I argue that the semantic disagreement is grounded in distinct metaphysical presuppositions. My solution is expressed in a conceptual framework proposed by John MacFarlane, who distinguishes semantics from postsemantics. I extend his distinction and introduce a new notion of presemantics to elucidate my idea. (shrink)

Following Lewis, it is widely held that branching worlds differ in important ways from diverging worlds. There is, however, a simple and natural semantics under which ordinary sentences uttered in branching worlds have much the same truth values as they conventionally have in diverging worlds. Under this semantics, whether branching or diverging, speakers cannot say in advance which branch or world is theirs. They are uncertain as to the outcome. This same semantics ensures the truth of utterances typically made about (...) quantum mechanical contingencies, including statements of uncertainty, if the Everett interpretation of quantum mechanics is true. The ‘incoherence problem’ of the Everett interpretation, that it can give no meaning to the notion of uncertainty, is thereby solved. IntroductionMetaphysicsPersonal fissionBranching worldsPhysicsObjections. (shrink)

A material object is constituted by a sum of parts all of which are essential to the sum but some of which seem inessential to the object itself. Such object/sum of parts pairs include my body/its torso and appendages and my desk/its top, drawers, and legs. In these instances, we are dealing with objects and their components. But, fundamentally, we may also speak, as Locke does, of an object and its constitutive matter—a “mass of particles”—or even of that aggregate and (...) the sum of subatomic particles ‘making it up’. The “problem of material constitution” (henceforth, PMC) is generated by assuming inter alia that the members of any such pair are numerically identical, that is, that the constituted and the constituting are one and the same thing. (shrink)

Magnetism in meta-semantics is the view that the meaning of our words is determined in part by their use and in part by the objective naturalness of candidate meanings. This hypothesis is commonly attributed to David Lewis, and has been put to philosophical work by Brian Weatherson, Ted Sider and others. I argue that there is no evidence that Lewis ever endorsed the view, and that his actual account of language reveals good reasons against it.

Recently, I’ve championed the doctrine that fundamentally different sorts of things exist in fundamentally different ways.1 On this view, what it is for an entity to be can differ across ontological categories.2 Although historically this doctrine was very popular, and several important challenges to this doctrine have been dealt with, I suspect that contemporary metaphysicians will continue to treat this view with suspicion until it is made clearer when one is warranted in positing different modes of existence.3 I address this (...) concern here. The question of when to posit ways of being is closely related to a more general question: when should one think that some philosophically interesting expression is analogous? Accordingly, my strategy here is as follows. First, I briefly explain my interpretation of ontological pluralism, the doctrine that there are ways of being.4 Second, I introduce the notion of an analogous term, and show how, on most ways of implementing ontological pluralism, “existence” is analogous. Third, I discuss two sufficient conditions for when one is warranted in claiming that a philosophically interesting term is analogous. Fourth, I present a series of ontological schemes, each of which satisfies at least one of the sufficient conditions. The upshot is this: if you are attracted to one of these ontologies, you have reason to believe in ways of being. The careful reader will have noted the apparent modesty of my conclusion. Unfortunately, I do not believe that one could ever be rationally required to believe in ways of being. Still, in general a metaphysic is a live option to the extent that it is shown to be rationally permissible to believe. Since the apparent consensus among contemporary analytic metaphysicians is that believing that things can exist in different ways is silly or confused, establishing the rational permissibility of belief in ways of being is a non-trivial task. Let us begin. (shrink)

A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.

In this paper I present some of Robert N. McLaughlin's critique of a truth functional approach to conditionals as it appears in his book On the Logic of Ordinary Conditionals. Based on his criticism I argue that the basic principles of logic together amount to epistemological and metaphysical implications that can only be accepted from a logical atomist perspective. Attempts to account for conditional relations within this philosophical framework will necessarily fail. I thus argue that it is not truth functionality (...) as such that is the problem, but the philosophical foundation of modern logic. (shrink)

I focus on a key argument for global external world scepticism resting on the underdetermination thesis: the argument according to which we cannot know any proposition about our physical environment because sense evidence for it equally justifies some sceptical alternative (e.g. the Cartesian demon conjecture). I contend that the underdetermination argument can go through only if the controversial thesis that conceivability is per se a source of evidence for metaphysical possibility is true. I also suggest a reason to doubt that (...) conceivability is per se a source of evidence for metaphysical possibility, and thus to doubt the underdetermination argument. (shrink)

According to genuine modal realism, some things (including numbers and properties) lack distinct counterparts in different worlds. So how can they possess any of their properties contingently? Egan (2004) argues that to explain such accidental property possession, the genuine modal realist must depart from Lewis and identify properties with functions, rather than with sets of possibilia. We disagree. The genuine modal realist already has the resources to handle Egan's proposed counterexamples. As we show, she does not need to amend her (...) analysis of possibility statements, or her theory of what properties are. (shrink)

Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notion of “possible world.” I articulate three constraints on any acceptable primitivist explanation of the nature of possible worlds, and (...) show that the interpreted models conception meets the three constraints. (shrink)