The standard Kripkean semantic theories for quantified modal logic allow the individuals that exist at other worlds to vary from those that exist at the actual world. This causes a problem for those who deny the existence of non-actual individuals. I focus on two prominent strategies for solving this problem, due respectively to Bernard Linsky and Edward Zalta (who identify the possible individuals with the actual individuals) and Alvin Plantinga (who identifies the possible individuals with the individual essences). I argue, (...) contra various commentators, that both of these solutions are acceptable by the lights of those who deny the existence of mere possibilia. (shrink)

Puzzles about persistence and change through time, i.e., about identity across time, have foundered on confusion about what it is for ‘two things’ to be have ‘the same thing’ at a time. This is most directly seen in the dispute over whether material objects can occupy exactly the same place at the same time. This paper defends the possibility of such coincidence against several arguments to the contrary. Distinguishing a temporally relative from an absolute sense of ‘the same’, we see (...) that the intuition, ‘this is only one thing’, and the dictum, ‘two things cannot occupy the same place at the same time’, are individuating things at a time rather than absolutely and are therefore compatible with coincidence. Several other objections philosophers have raised ride on this same ambiguity. Burke, originating what has become the most popular objection to coincidence, argues that if coincidence is possible there would be no explanation of how objects that are qualitatively the same at a time could belong to different sorts. But we can explain an object’s sort by appealing to its properties at other times. Burke’s argument to the contrary equivocates on different notions of ‘cross-time identity’ and ‘the statue’. From a largely negative series of arguments emerges a positive picture of what it means to say multiple things coincide and of why an object’s historical properties explain its sort rather than vice versa – in short, of how coincidence is possible. (shrink)

Many philosophers have thought that the problem of personal identity over time is not metaphysically deep. Perhaps the debate between the rival theories is somehow empty or is a ‘merely verbal dispute’. Perhaps questions about personal identity are ‘nonsubstantive’ and fit more for conceptual analysis and close attention to usage than for theorizing in the style of serious metaphysics, theorizing guided by considerations of systematicity, parsimony, explanatory power, and aiming for knowledge about the objective structure of the world. I discuss (...) a thesis about consciousness according to which there are perfectly natural phenomenal properties. Although I do not argue for this thesis, I believe that it is plausible, whether or not physicalism is true. Given the thesis, there are deep, substantive questions about which individuals or pluralities instantiate the relevant phenomenal properties. Equally substantive questions can then be asked about the duration and other spatiotemporal characteristics of those individuals or pluralities, both in actual cases and in hypothetical puzzle cases adapted from the personal identity literature. I suggest that, at least prima facie, these questions interact with our future-directed egoistic concern in much the same way that the personal identity question is often thought to. As a slogan: “you give me substantive, determinate facts about consciousness; I give you substantive, determinate facts about personal identity”. (shrink)

Different versions of the A-theory of time are traditionally defined in terms of whether everything is present, or whether there are also past and future things. In this paper I argue that the traditional way of defining A-theories should be abandoned. I focus on the traditional definition of presentism, according to which always, everything is present. First, I argue that there are good reasons to reject all the most plausible interpretations of the predicate ‘is present’ as it appears in the (...) traditional definition of presentism. It follows that there are also good reasons to reject the most plausible interpretations of the traditional definitions of the other A-theories. I then argue that there is a better way of defining the A-theories, in terms of the question of whether existence has a beginning and an end. Finally, I argue that what goes for the traditional definition of presentism goes for the traditional definition of its modal analogue actualism, according to which necessarily, everything is actual : there are good reasons to reject the traditional definition of actualism in favour of a definition in terms of contingent existence. (shrink)

In this paper, we explore the idea that sets depend on, or are grounded in, their members. It is said that a set depends on each of its members, and not vice versa. Members do not depend on the sets that they belong to. We show that the intuitive modal truth conditions for dependence, given in terms of possible worlds, do not accurately capture asymmetric dependence relations between sets and their members. We extend the modal truth conditions to include impossible (...) worlds and give a more satisfactory account of the dependence of a set on its members. Focusing on the case of singletons, we articulate a logical framework in which to evaluate set-theoretic dependence claims, using a normal first-order modal logic. We show that on this framework the dependence of a singleton on its single members follows from logic alone. However, the converse does not hold. (shrink)

In 1915 not being able to find field equations for a generally covariant theory of gravitation Einstein came up with a fundamental argument against general covariance – the hole argument. This essay discusses the hole argument and focusses on its consequences for substantivalism and determinism. Two different definitions of determinism are introduced and their compatibility with general covariance from a substantivalist's point of view is discussed.

We tend to think that our concepts are stable in the sense that, whilst their extensions may vary across distinct epistemic scenarios, the reference-fixing conditions by which we discover these extensions remain fixed. This paper challenges this orthodoxy. In particular, it aims to motivate the position that some concepts are unstable in that their reference-fixing conditions themselves vary across distinct epistemic scenarios. Furthermore, it aims to draw out the implications such instability has for epistemic possibility and apriority. I shall argue (...) that when unstable concepts are concerned epistemic space will be widened, which in turn will restrict our a priori knowledge; and in ways that might be salient to solving certain familiar philosophical problems. (shrink)

It is shown that counterpart theory and the duplication account of intrinsicality —two key pieces of the Lewisian package—are incompatible. In particular, the duplication account yields the result that certain intuitively extrinsic modal properties are intrinsic. Along the way I consider a potentially more general worry concerning certain existential closures of internal relations. One conclusion is that, unless the Lewisian provides an adequate alternative to the duplication account, the reductive nature of their total theory is in jeopardy.

The pressure to individuate propositions more finely than intensionally—that is, hyper-intensionally—has two distinct sources. One source is the philosophy of mind: one can believe a proposition without believing an intensionally equivalent proposition. The second source is metaphysics: there are intensionally equivalent propositions, such that one proposition is true in virtue of the other but not vice versa. I focus on what our theory of propositions should look like when it's guided by metaphysical concerns about what is true in virtue of (...) what. In this paper I articulate and defend a metaphysical theory of the individuation of propositions, according to which two propositions are identical just in case they occupy the same nodes in a network of invirtuation relations. Invirtuation is here taken to be a primitive relation of metaphysical explanation exemplified by propositions that, in conjunction with truth, defines the notion of true in virtue of. After formulating the theory, I compare it with a view.. (shrink)

This paper gives an overview of logico-philosophical issues of time and determinism. After a brief review of historical roots and 20th century developments, three current research areas are discussed: the definition of determinism, space-time indeterminism, and the temporality of individual things and their possibilities.

In this paper, I recommend a creature-level theory of representing. On this theory, a creature represents some entity just in case the creature adapts its behavior to that entity. Adapting is analyzed in terms of establishing new patterns of behavior. The theory of representing as adapting is contrasted with traditional causal and informational theories of mental representation. Moreover, I examine the theory in light of Putnam-Burge style externalism; I show that Putnam-Burge style externalism follows from and is explained by it. (...) I also suggest that the theory of representing as adapting easily accommodates a significant causal-explanatory role for representational content. (shrink)

Beliefs are commonly analyzed as binary relations between subjects and propositions. Perry and Lewis have shown that the standard account has difficulties in handling self-locating beliefs. Robert Stalnaker has recently put forward a version of the standard account that is supposed to overcome this problem. Stalnaker's motivation for defending the propositional account of belief is that it comes with a simple and powerful propositional model of communication. In this paper I argue that Stalnaker's proposal fails. The only way of upholding (...) the propositional account of belief is by abandoning the simple account of communication. (shrink)

So selbstverständlich es klingt, vom Geist, der Psyche oder auch der Seele eines Menschen zu reden, und so vertraut uns wissenschaftliche Disziplinen sind, die sich philosophisch oder empirisch damit beschäftigen, so schwer fällt es, ein einheitliches Merkmale dafür anzugeben, wann etwas ein psychisches Phänomen ist. Viele der potentiellen Merkmale decken eben nur einen Teil des Spektrums dessen ab, was wir gewöhnlich als psychisch bezeichnen würden, und sind damit bestenfalls hinreichende, aber sicher keine notwendigen Bedingungen des Psychischen. Im Mittelpunkt des folgenden (...) Artikels wird dagegen ein Merkmal stehen, von dem feststeht, daß es nicht hinreichend ist, von dem man aber vermuten kann, es sei zumindest notwendig: die Individualität psychischer Phänomene. Die Frage, mit der ich mich beschäftigen werde, ist, ob sich diese Vermutung mit Bezug auf eine Grnppe paradigmatisch psychischer Phänomene aufrecht erhalten läßt, die intentionalen Einstellungen. (shrink)

In this paper I explore how the tenseless copula is to be interpreted in sentences of the form “a is F at t”, where “a” denotes a persisting, changeable object, “F” stands for a prima facie intrinsic property and “t” for a B-time. I argue that the interpretation of the copula depends on the logical role assigned to the time clause. Having rejected the idea that the time clause is to be treated as a sentence operator, I argue: that if (...) “at t” is thought of as being associated with “a” or “F”, then the tenseless copula is most plausibly read as an “is” simpliciter; and that if “at t” is treated as being associated with the copula, then the tenseless copula is most plausibly understood as expressing a disjunction of tensed copulas. I end the paper by explaining the importance of the issue. I indicate the ramifications interpretation of the tenseless copula has for the so-called problem of temporary intrinsics. (shrink)

The simple proposal for a characterization of general term rigidity is in terms of sameness of designation in very possible world. Critics like Schwartz (2002) and Soames (2002) have argued that such a proposal would trivialize rigidity for general terms. Martí (2004) claims that the objection rests on the failure to distinguish what is expressed by a general term and the property designated. I argue here against such a response by showing that the trivialization problem reappears even if one pays (...) attention to such a distinction. (shrink)

Many people think that truth somehow depends upon the way things are. Yet, it has proven difficult to precisely explain the nature of this dependence. The most common view is that truth depends upon the way things are by corresponding to things. But this account relocates the difficulty: one now wonders what correspondence is. It is worth emphasizing that the question of how truth relates to reality is not only a question for correspondence theorists; theorists of all stripes may wonder (...) how truth and reality connect. There are many reasons one might care to have an analysis of how truth relates to reality. Here are two. First, an analysis would help philosophers better understand how truth could depend upon the way things are. Why is it that when Joe shoves his cat off his pillow, the proposition that Joe's cat is on his pillow switches from true to false? It may seem puzzling that an abstract thing, such as a proposition, should be affected by physical changes to concrete particulars. How does that happen? The difficulty of seeing just how true propositions are able to systematically relate to reality will be called "the Problem of Matching." A thorough analysis of the relationship between truth and reality would effectively solve the Problem of Matching. (shrink)

Is the objective passage of time compatible with relativistic physics? There are two easy routes to an affirmative answer: (1) provide a deflationary analysis of passage compatible with the block universe, or (2) argue that a privileged global present is compatible with relativity. (1) does not take passage seriously. (2) does not take relativity seriously. This paper is concerned with the viability of views that seek to take both passage and relativity seriously. The investigation proceeds by considering how traditional A-theoretic (...) conceptions of passage might be generalized to relativistic space-times without incorporating a privileged global present. I argue that the most promising position marries the idea that open possibilities for the future are settled as time passes with a ‘non-standard’ interpretation of the relevant formal models. (shrink)

This article considers three recent attempts by David Armstrong, Ross Cameron, and Jonathan Schaffer to provide truthmakers for negative existential truths. It is argued that none of the proposed truthmakers are up to the task of making any negative existential truth true and, it will turn out, for the same reason.

The question as to whether some objects are possible worlds that have an initial segment in common, i.e. so that their fusion is a temporal tree whose branches are possible worlds, arises both for those who hold that our universe has the structure of a temporal tree and for those who hold that what there is includes concrete universes of every possible variety. The notion of “possible world” employed in the question is seen to be the notion of an object (...) of a kind such that objects of that kind play a certain theoretical role. Lewis’s discussion of the question is thereby clarified but is nevertheless inadequate; his negative answer is correct but even from his combinatorialist viewpoint the rationale he provides for this answer is misguided. I explain why the combinatorialist advocate of concrete plenitude should hold that no object is a tree of possible worlds. Then I explain that for a different reason the nomic essentialist advocate of concrete plenitude should hold this much too. (shrink)

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)

The article explores the strategy of reconciliation of the idea of objective flow of time with science. In the first part of my paper, I analyze different conceptions of the passage of time and ponder on how we should understand it. The second part is de-voted to the problem whether there is the passage of time in science.

According to the Truthmaker Principle: every truth has a truthmaker. Attempts to come to grips with the Truthmaker Principle played a prominent role in Lewis’s metaphysical writings over the last fifteen years of his career. Although Lewis agreed that the truth of propositions must somehow be ontologically grounded, the Truthmaker Principle was too strong: it conflicted with two of Lewis’s most fundamental metaphysical assumptions, the uniqueness of composition and the Humean denial of necessary connections. Lewis endorsed instead a weaker principle: (...) Truth Supervenes on Being. But towards the end of his career, he changed course, noting that his critique of the Truthmaker Principle rested on essentialist assumptions that he, as a counterpart theorist, does not accept. Once freed from those assumptions, a counterpart theorist can accept the Truthmaker Principle after all without buying into unmereological composition and mysterious necessary connections. (shrink)

One controversial position in the debate over dispositional and categorical properties maintains that our concepts of these properties are the result of partially considering unitary properties that are both dispositional and categorical. As one of its defenders (Heil 2005, p. 351) admits, this position is typically met with “incredulous stares”. In this paper, I examine whether such a reaction is warranted. This thesis about properties is an instance of what I call “the Partial Consideration Strategy”—i.e., the strategy of claiming that (...) what were formerly thought of as distinct entities are actually a unified entity, partially considered. By evaluating its use in other debates, I uncover a multi-layered prima facie case against the use of the Partial Consideration Strategy in the dispositional/categorical properties debate. In closing, I describe how the Partial Consideration Strategy can be reworked in a way that would allow it to sidestep this prima facie case. (shrink)

Against the background of the theory of branching space-times (BST), the paper sketches a concept of individuals. It discusses Kripkean modal intuitions concerning individuation, and, finally it addresses Lewis’s objections to branching individuals.

It has been argued that a combination of game-theoretic semantics and independence-friendly (IF) languages can provide a novel approach to the conceptual foundations of mathematics and the sciences. I introduce and motivate an IF first-order modal language endowed with a game-theoretic semantics of perfect information. The resulting interpretive independence-friendly logic (IIF) allows to formulate some basic model-theoretic notions that are inexpressible in the ordinary quantified modal logic. Moreover, I argue that some key concepts of Kripke’s new theory of reference are (...) adequately modeled within IIF. Finally, I compare the logic IIF to David Lewis' counterpart theory, drawing some morals concerning the interrelation between metaphysical and semantic issues in possible-world semantics. (shrink)

Scott Soames has argued that Rigidified Descriptivism wrongly predicts that one cannot believe, say, that Joe Strummer was born in 1952 without having a belief about the actual world. Soames suggests that agents in other possible worlds may have this belief, but may lack any beliefs about the actual world, a world that they do not occupy and have no contact with. I respond that this argument extends to other popular actuality-involving analyses. In order for Soames to hold on to (...) his argument against Rigidified Descriptivism, he must provide alternatives to these analyses. I argue that there is reason to think that these alternatives are not forthcoming, so Soames should surrender his argument against Rigidified Descriptivism. (shrink)

Vague existence can seem like the worst kind of vagueness in the world, or seem to be an entirely unintelligible notion. This bad reputation is based upon the rumour that if there is vague existence then there are non-existent objects. But the rumour is false: the modest brand of vague existence entailed by certain metaphysical theories of composition does not deserve its bad reputation.

Preface ix Acknowledgements xi 1 Introduction: towards an acceptable fideism 1 The metaquestion: what is the issue about the ‘justifiability’ of religious belief? 4 Faith-beliefs 6 Overview of the argument 8 Glossary of special terms 18 2 The ‘justifiability’ of faith-beliefs: an ultimately moral issue 26 A standard view: the concern is for epistemic justifiability 26 The problem of doxastic control 28 The impossibility of believing at will 29 Indirect control over beliefs 30 ‘Holding true’ and ‘taking to be true’ (...) 33 A second—direct—locus of doxastic control 35 Moral doxastic responsibilities 41 The moral significance of faith-beliefs 47 Linking moral to epistemic justifiability: reinstating the standard view? 48 3 The epistemic justifiability of faith-beliefs: an ambiguity thesis 53 Plausibility of requiring epistemic for moral justifiability under a realist interpretation of faith-beliefs 53 Interpreting the link principle: epistemic entitlement as requiring evidential justification 55 Evidentialist requirements specified by an implicit evidential practice 65 Rational empiricist evidential practice 66 Applying rational empiricist evidential practice to theistic faith-beliefs: an ambiguity thesis 68 vi contents 4 Responses to evidential ambiguity: isolationist and Reformed epistemologies 77 Two strategies for defending the moral probity of theistic faith-belief in the face of evidential ambiguity 78 Appealing to a special theistic evidential practice/improved epistemologies 79 An isolationist epistemology 79 Reformed epistemology 86 Conclusion: the need for a fideist response to ambiguity 99 5 Faith as doxastic venture 101 Agenda for a defence of doxastic venture 102 The nature of theistic faith 103 The doxastic venture model 106 The psychological possibility of doxastic venture 111 A Jamesian account 112 ‘Passionally’ caused beliefs 113 6 Believing by faith: a Jamesian position 122 An initial hypothesis for a Jamesian thesis on permissible doxastic venture 123 The notion of a ‘genuine option’ 125 A ‘degrees of belief ’ challenge 128 Evidentially undecidable forced options 129 Permissible doxastic venture: supra- not counter-evidential 135 How theistic religion could present essentially evidentially undecidable genuine options: the notion of a highest-order framing principle 137 Restricting thesis ( Ji) to faith-propositions: thesis ( J) 145 7 Integrationist values: limiting permissible doxastic venture 151 Can counter-evidential fideism be non-arbitrarily excluded? 151 A coherence requirement and integrationist values 155 Moral integration of faith-commitments 163 Implications for reflective faith-believers 167 Coda: A reflection on Abraham as forebear in faith 170 contents vii 8 Arguments for supra-evidential fideism 174 The importance of defending the epistemic permissibility of faith-ventures 176 Strategies for supporting fideism 178 An ‘assimilation to personal relations cases’ strategy: experimental ventures in interpersonal trust 180 The ‘assimilation to personal relations cases’ strategy: cases where ‘faith in a fact can help create a fact’ 182 A consequentialist strategy 185 A note on Pascal’s Wager 187 The tu quoque strategy 189 Is hard-line evidentialism self-undermining? 190 Attitudes to passional doxastic inclinations 194 Epistemological externalism again: a presumption in favour of fideism? 196 Scepticism about passional doxastic inclinations as guides to truth: how passions may be schooled 197 The significance of scientific theories of passional motivations for faith-commitment 204 An impasse? 206 9 A moral preference for modest fideism? 208 Implications of accepting ( J+) for orthodox and revisionary theistic faith-ventures 209 The apparent fideist/evidentialist impasse and its implications 211 Beyond impasse? Direct moral evaluation of the fideist/evidentialist debate 215 Self-acceptance and authenticity 216 Hard-line evidentialism as grounded in doctrinaire naturalism 220 Coherence amongst moral and religious passional commitments 225 Conclusion 227 Bibliography 230 Index 237. (shrink)

This article develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR, the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature—a theory's ‘not caring which point, or particle, is which’—supported a structuralist ontology. Pooley criticizes this analogy: (...) in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of particle symmetry, in which states (vectors, rays, or density operators) are not fixed by all permutations (called ‘paraparticle states’). Thus Stachel's analogy is revived. (shrink)

Many metaphysicians accept the view that, necessarily, any collection of things composes some further thing. Necessarily, my arms, legs, head, and torso compose my body; necessarily, my arms, my heart, and the table compose something y; necessarily, my heart and the sun compose something z; and so on. 1 Though there have been a few recent attempts to argue against the necessity of this principle of unrestricted composition the consensus is that if it is true, it is necessarily true. 2In (...) what follows I will join the few dissenters and argue that this principle of unrestricted composition is not necessarily true. If I am right, it follows that either some principle of restricted composition is necessarily true or the existence of composite objects is a contingent matter. I will end by indicating why the latter option seems the most plausible. 3I proceed by reductio. Assume the following: Unrestricted composition is necessarily true.That is, assume that necessarily, any collection of things composes something. Then, necessarily, the collection of everything composes something. That is, necessarily, there exists a universal object U having all things as parts, not itself being a proper part of anything. Hence, by our assumption, we get: There must be a universal object U.It is important to note that this is so whether the world is finite or infinite. Holding that in worlds of finite cardinality there is a universal object U while in worlds of infinite cardinality there is no universal object U amounts to accepting a restricted form of composition. 4Now consider the following scenario. Everything in this world is spatially extended and just one half of something else that is also spatially extended. That is, for any thing in this world, there is something else of which …. (shrink)

Humeans and non-Humeans reasonably agree that there may be necessary connections between entities that are identical or merely partly distinct—between, e.g., sets and their individual members, fusions and their individual parts, instances of determinates and determinables, members of certain natural kinds and certain of their intrinsic properties, and (especially among physicalists) certain physical and mental states. Humeans maintain, however, that as per “Hume’s Dictum”, there are no necessary connections between entities that are wholly distinct;1 and in particular, no necessary causal (...) connections between such entities (even when the background conditions requisite for causation are in place). The Humean’s differential treatment appears principled, in reflecting that commonly accepted necessary connections involve constitutional relations, whereas wholly distinct entities (notably, causes and effects) do not constitute each other. I’ll argue, however, that the appearance of principle is not genuine, as per the following conditional: Constitutional→Causal: If one accepts certain constitutional necessities, one should accept certain causal necessities. This result provides needed leverage in assessing the two main frameworks in the metaphysics of science, treating natural kinds, causes, laws of nature, and the like. These frameworks differ primarily on whether Hume’s Dictum is taken as a working constraint on theorizing; and it has proved difficult for either side to criticize the other without presupposing their preferred stance on the dictum, hence talking past one another. The arguments for Constitutional→Causal are based, however, in general and independent considerations about what facts in the world might plausibly warrant our beliefs in certain constitutional necessities involving broadly scientific entities. The Humean can respond to these arguments, which reveal a deep tension in their view, at attendant costs of implausibilty and adhocery. The non-Humean framework doesn’t face any such tension between constitutional and causal necessities, however, and so in this respect comes out ahead. (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)

We propose a theory of events and causes against the background of branching time. Notions discussed include possibility based on reality, transitions, events, determinacy, contingency, causes and effects. The main idea in defining causal relations is to introduce a certain preconditioning circumstance under which one event follows another. We also briefly compare this theory with some other theories.

Standard lore has it that a proper name is a temporally rigid designator. It picks out the same entity at every time at which it picks out an entity at all. If the entity in question is an enduring continuant then we know what this means, though we are also stuck with a host of metaphysical puzzles concerning endurance itself. If the entity in question is a perdurant then the rigidity claim is trivial, though one is left wondering how it (...) is that different speakers ever manage to pick out one and the same entity when a host of suitable, overlapping candidates are available. But what if the entity in question is neither a continuant nor a perdurant? What if the things we talk about in ordinary language are time-bound entities that cannot truly be said to persist through time, or stage sequences whose unity resides exclusively in our minds--like the “waves” at the stadium or the characters of a cartoon? In such cases the rigidity claim can’t be right and a counterpart-theoretic semantics seems required. Is that bad? I say it isn’t. And it had better not be, if that turns out to be the best metaphysical option we have. (shrink)

Natural properties are those that carve reality at the joints. The notion of carving reality at the joints, however, is somewhat obscure, and is often understood in terms of making for similarity, conferring causal powers, or figuring in the laws of nature. I develop and assess an account of the third sort according to which carving reality at the joints is understood as having the right level of determinacy relative to nomic roles. The account has the attraction of involving very (...) weak metaphysical presuppositions, but fails to capture several features that natural properties are presumed to have. (shrink)

There are currently several versions of Everett's relative state interpretation of quantum mechanics, responding to a number of perceived problems for the original proposal. One of those problems is whether Everett's idea is in accord with the standard 'probabilistic' interpretation implicit in the Born rule. I argue in defence of what appears to be Everett's original view on this. The contribution I aim to make is a more complete discussion of the central issues of the identity of objects and observers (...) over time and how the concept of expectation can be applied when all 'possible' outcomes of a measurement process are regarded as actually occurring. (shrink)

Assuming minimal fine-individuation--that there are some necessarily equivalent intensional objects (e.g. propositions) that are nonetheless distinct objects, on standard actualist frameworks, the answer to our title question is "No". First I specify a fully cognitively accessible, purely qualitative maximal consistent state of affairs (MCS). (That there is an MCS that is either fully graspable or purely qualitative is in itself quite contrary to conventional dogma.) Then I identify another MCS, one necessarily equivalent to the first. It follows that there could (...) have been more than one obtaining MCS. I then argue that there is more than one obtaining MCS. So there is nothing answering to "the actual world", and the set of worlds is not the set of MCSs. I explore various patch-ups. Finally, I compare the actualist and modal realist notions of worlds, and I argue that even if the realist were right about concrete world ensembles, our reflections indicate that necessary truth is not truth in all worlds anyway, which undercuts the rationale for the realist's program. (shrink)

This paper concerns a fundamental dispute in ontology between the “Foundational Ontologist”, who believes that there is only one correct way of characterizing what there is, and the ontological “Skeptic”, who believes that there are viable alternative characterizations of what there is. I examine in detail an intriguing recent proposal in Dorr (2005), which promises to yield (i) a way of interpreting the Skeptic by means of a counterfactual semantics; and (ii) a way of converting the Skeptic to a position (...) within Foundational Ontology, viz., that of Nihilism (according to which nothing composes anything and the world consists of mereological simples); this alleged conversion crucially turns on a novel notion of “metaphysical analyticity”. I argue that both components of Dorr’s proposal are problematic in central ways: as a result, the Foundational Ontologist gains an indirect argument against the coherence of the Skeptic’s position; and the non-Nihilist Foundational Ontologist may feel confirmed in his doubts towards the Nihilist outlook. (shrink)

A set of axioms implicitly defining the standard, though not instant-based but interval-based, time topology is used as a basis to build a temporal modal logic of events. The whole apparatus contains neither past, present, and future operators nor indexicals, but only B-series relations and modal operators interpreted in the standard way. Determinism and indeterminism are then introduced into the logic of events via corresponding axioms. It is shown that, if determinism and indeterminism are understood in accordance with their core (...) meaning, the way in which they are formally introduced here represents the only right way to do this, given that we restrict ourselves to one real world and make no use of the many real worlds assumption. But then the result is that the very truth conditions for sentences about indeterministic events imply the existence of tensed truths, in spite of the fact that these conditions are formulated (in the indeterministic axiom) in terms of tenseless language. The tenseless theory of time implies determinism, while indeterminism requires the flow of time assumption. (shrink)

Gideon Rosen’s [1990 Modal fictionalism. Mind, 99, 327–354] Modal Fictionalist aims to secure the benefits of realism about possible-worlds, whilst avoiding commitment to the existence of any world other than our own. Rosen [1993 A problem for fictionalism about possible worlds. Analysis, 53, 71–81] and Stuart Brock [1993 Modal fictionalism: A response to Rosen. Mind, 102, 147–150] both argue that fictionalism is self-defeating since the fictionalist is tacitly committed to the existence of a plurality of worlds. In this paper, I (...) develop a new strategy for the fictionalist to pursue in response to the Brock–Rosen objection. I begin by arguing that modal fictionalism is best understood as a paraphrase strategy that concerns the propositions that are expressed, in a given context, by modal sentences. I go on to argue that what is interesting about paraphrastic fictionalism is that it allows the fictionalist to accept that the sentence ‘there is a plurality of worlds’ is true without thereby committing her to the existence of a plurality of worlds. I then argue that the paraphrastic fictionalist can appeal to a form of semantic contextualism in order to communicate her status as an anti-realist. Finally, I generalise my conception of fictionalism and argue that Daniel Nolan and John O’Leary-Hawthorne [1996 Reflexive fictionalisms. Analysis, 56, 26–32] are wrong to suggest that the Brock-Rosen objection reveals a structural flaw with all species of fictionalism. (shrink)