Analytic philosophers usually think about modality in terms of possible worlds. According to the possible worlds framework, a proposition is necessary if it is true according to all possible worlds; it is possible if it is true according to some possible world. There are as many possible worlds as there are ways the actual world might be. Only one world is actual.

The central part of Everett's formulation of quantum mechanics is a quantum mechanical model of memory and of observation as the recording of information in a memory. To use this model as an answer to the measurement problem, Everett has to assume that a conscious observer can be in a superposition of such memory states and be unaware of it. This assumption has puzzled generations of readers. ;The fundamental aim of this dissertation is to find a set of simpler assumptions (...) which are sufficient to show that Everett's model is empirically adequate. I argue that Everett's model needs three assumptions to account for the process of observation: an assumption of decoherence of observers as quantum mechanical systems; an assumption of supervenience of mental states over quantum mechanical properties; and an assumption about the interpretation of quantum mechanical states in general: quantum mechanical states describe ensembles of states of affairs coexisting in the same system. I argue that the only plausible understanding of such ensembles is as ensembles of possibilities, and that all standard no-collapse interpretations agree in this reading of quantum mechanical states. Their differences can be understood as different theories about what marks the real state within this ensemble, and Everett's theory as the claim that no additional 'mark of reality' is necessary. ;Using the three assumptions, I argue that introspection cannot determine the objective quantum mechanical state of an observer. Rather, the introspective qualities of a quantum mechanical state can be represented by a statistical ensemble of subjective states. An analysis of these subjective states and their dynamics leads to the conclusion that they suffice to give empirically correct predictions. The argument for the empirical adequacy of the subjective state entails that knowledge of the objective quantum mechanical state is impossible in principle. Empirical reality for a conscious observer is not described by the objective state, but by a Everettian relative state conditional on the subjective state, and no theoretical 'mark of reality' is necessary for this concept of reality. I compare the resulting concept of reality to Kant's distinction between empirical and transcendental reality. (shrink)

There is an account of modal operators that is both elegant and powerful and that deserves to be called the standard account. There are, however, some epistemic uses of modal operators which seem to be counterexamples to the account – they pose what I call the objectivity problem. It is often thought that the objectivity problem can be fixed by a certain kind of modification to the standard account. I argue that this kind of modification cannot work. Then I argue (...) that the problem posed for the standard account by recently discussed eavesdropper cases is really just the objectivity problem in a different guise, thereby emphasizing the need for a new solution to the objectivity problem. Finally, I propose a new solution to the objectivity problem. (shrink)

This article defends strong formal ontological conception of ontological categories against Lewis's "deflanationary" conception. Here, it sides with E.J. Lowe (1998) among others. However, the paper argues against Lowe's conception of metaphysics as an a priori science. Different category systems are compared and the best system is selected on the basis of its ability to accommodate our the best a posteriori conceptions of reality.

The logical theory of branching space-times, which is intended to provide a framework for studying objective indeterminism, remains at a certain distance from the discussion of space-time theories in the philosophy of physics. In a welcome attempt to clarify the connection, Earman has recently found fault with the branching approach and suggested ``pruning some branches from branching space-time''. The present note identifies the different---order theoretic vs. topological---points of view of both discussion as a reason for certain misunderstandings, and tries to (...) remove them. Most importantly, we give a novel, topological criterion of modal consistency that usefully generalizes the order-theoretic criterion of directedness, and we introduce a differential-geometrical version of BST based on the theory of non-Hausdorff manifolds. (shrink)

This thesis is about the conceptualization of persistence of physical, middle-sized objects within the theoretical framework of the revisionary ‘B-theory’ of time. According to the B-theory, time does not flow, but is an extended and inherently directed fourth dimension along which the history of the universe is ‘laid out’ once and for all. It is a widespread view among philosophers that if we accept the B-theory, the commonsensical ‘endurance theory’ of persistence will have to be rejected. The endurance theory says (...) that objects persist through time by being wholly present at distinct times as numerically the same entity. Instead of endurantism, it has been argued, we have to adopt either ‘perdurantism’ or the ‘stage theory’. Perdurantism is the theory that objects are four-dimensional ‘space-time worms’ persisting through time by having distinct temporal parts at distinct times. The stage theory says that objects are instantaneous temporal parts (stages) of space-time worms, persisting by having distinct temporal counterparts at distinct times. In the thesis, it is argued that no good arguments have been provided for the conclusion that we are obliged to drop the endurance theory by acceptance of the B-theory. This conclusion stands even if the endurance theory incorporates the claim that objects endure through intrinsic change. It is also shown that perdurantism and the stage theory come with unwelcome consequences. -/- Paper I demonstrates that the main arguments for the view that objects cannot endure in B-time intrinsically unchanged fail. Papers II and III do the same with respect to the traditional arguments against endurance through intrinsic change in B-time. Paper III also contains a detailed account of the semantics of the tenseless copula, which occurs frequently in the debate. The contention of Paper IV is that four-dimensional space-time worms, as traditionally understood, are not suited to take dispositional predicates. In Paper V, it is shown that the stage theory needs to introduce an overabundance of persistence-concepts, many of which will have to be simultaneously applicable to a single object (qua falling under a single sortal), in order for the theory to be consistent. The final article, Paper VI, investigates the sense in which persistence can, as is sometimes suggested, be a ‘conventional matter’. It also asks whether alleged cases of ‘conventional persistence’ create trouble for the endurance theory. It is argued that conventions can only enter at a trivial semantic level, and that the endurance theory is no more threatened by such conventions than are its rivals. (shrink)

The central motivating idea behind the development of this work is the concept of prespace, a hypothetical structure that is postulated by some physicists to underlie the fabric of space or space-time. I consider how such a structure could relate to space and space-time, and the rest of reality as we know it, and the implications of the existence of this structure for quantum theory. Understanding how this structure could relate to space and to the rest of reality requires, I (...) believe, that we consider how space itself relates to reality, and how other so-called "spaces" used in physics relate to reality. In chapter 2, I compare space and space-time to other spaces used in physics, such as configuration space, phase space and Hilbert space. I support what is known as the "property view" of space, opposing both the traditional views of space and space-time, substantivalism and relationism. I argue that all these spaces are property spaces. After examining the relationships of these spaces to causality, I argue that configuration space has, due to its role in quantum mechanics, a special status in the microscopic world similar to the status of position space in the macroscopic world. In chapter 3, prespace itself is considered. One way of approaching this structure is through the comparison of the prespace structure with a computational system, in particular to a cellular automaton, in which space or space-time and all other physical quantities are broken down into discrete units. I suggest that one way open for a prespace metaphysics can be found if physics is made fully discrete in this way. I suggest as a heuristic principle that the physical laws of our world are such that the computational cost of implementing those laws on an arbitrary computational system is minimized, adapting a heuristic principle of this type proposed by Feynman. In chapter 4, some of the ideas of the previous chapters are applied in an examination of the physics and metaphysics of quantum theory. I first discuss the "measurement problem" of quantum mechanics: this problem and its proposed solution are the primary subjects of chapter 4. It turns out that considering how quantum theory could be made fully discrete leads naturally to a suggestion of how standard linear quantum mechanics could be modified to give rise to a solution to the measurement problem. The computational heuristic principle reinforces the same solution. I call the modified quantum mechanics Critical Complexity Quantum Mechanics (CCQM). I compare CCQM with some of the other proposed solutions to the measurement problem, in particular the spontaneous localization model of Ghirardi, Rimini and Weber. Finally, in chapters 5 and 6, I argue that the measure of complexity of quantum mechanical states I introduce in CCQM also provides a new definition of entropy for quantum mechanics, and suggests a solution to the problem of providing an objective foundation for statistical mechanics, thermodynamics, and the arrow of time. (shrink)

Jaegwon Kim (1998a, 2005) claims that his exclusion problem follows a priori for the non-reductive physicalist given her commitment to five apparently inconsistent theses: mental causation, non-identity, supervenience, causal closure and non-overdetermination. For Kim, the combination of these theses entails that mental properties are a priori excluded as causes, forcing the non-reductive physicalist to accept either epiphenomenalism, or some form of reduction. In this thesis, I argue that Kim’s exclusion problem depends on a particular conception of causation, namely sufficient production, (...) and that when causation is understood in interventionist terms, the non-reductive physicalist can avoid the exclusion problem. I argue that Woodward’s (2003, 2008a, 2011a) version of interventionism not only provides an account of mental causation that avoids the exclusion problem, but argue that it also upholds all of the minimal commitments of non-reductive physicalism, thereby providing a successful non-reductive physicalist solution to the exclusion problem. In Chapter 2, I argue that all five theses are minimal commitments of non-reductive physicalism that cannot be rejected in order to avoid the exclusion problem. Chapter 3 identifies the assumptions that I take to underlie the exclusion problem. Chapter 4 introduces and outlines the central features of Woodward’s (2003) interventionism and Chapter 5 argues that Woodward’s interventionist account of mental causation provides a solution to the exclusion problem. I examine two alternative interventionist accounts of mental causation[1] that fail to provide satisfactory solutions to the exclusion problem and conclude that Woodward’s account therefore provides the only satisfactory account of mental causation and solution to the exclusion problem. Chapter 6 addresses some challenges proposed by Michael Baumgartner (2009, 2010) and argues that the interventionist is able to defend her position against these objections and uphold the interventionist solution to the exclusion problem outlined in this thesis. [1. Proposed by List and Menzies (2009) and Campbell (2007, 2008a, 2008b, 2010).]. (shrink)

The paper argues for a metaphysics in the vein of the Canberra plan, namely to single out a minimal, basic set of entities and then to show how everything else is located in that set by being identical with something in that set and how the propositions that describe the basic entities entail all the other true propositions. The paper conceives the Canberra plan for the domain of the natural sciences as a naturalized metaphysics that is not committed to a (...) priori entailment. The proposal is that the minimal set of entities is defined by the following two axioms: There are distance relations that individuate simple objects, namely matter points. The matter points are permanent, with the distances between them changing. Finally, the paper explains how the Canberra plan sets a clear standard for ontological issues that go beyond the natural sciences. (shrink)

This thesis explores the possibility of composite consciousness: phenomenally conscious states belonging to a composite being in virtue of the consciousness of, and relations among, its parts. We have no trouble accepting that a composite being has physical properties entirely in virtue of the physical properties of, and relations among, its parts. But a long­standing intuition holds that consciousness is different: my consciousness cannot be understood as a complex of interacting component consciousnesses belonging to parts of me. I ask why: (...) what is it about consciousness that makes us think it so different from matter? And should we accept this apparent difference? (shrink)

The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

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)

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)

The doctrine of the Trinity is central to mainstream Christianity. But insofar as it posits “three persons” (Father, Son and Holy Spirit), who are “one God,” it appears as inconsistent as the claim that 1+1+1=1. -/- Much of the literature on “The Logical Problem of the Trinity,” as this has been called, attacks or defends Trinitarianism with little regard to the fourth century theological controversies and the late Hellenistic and early Medieval philosophical background in which it took shape. I argue (...) that this methodol- ogy, which I call “the Puzzle Approach,” produces obviously invalid arguments, and it is unclear how to repair it without collapsing into my preferred method- ology, “the Historical Approach,” which sees history as essential to the debate. I also discuss “mysterianism,” arguing that, successful or not, it has a different goal from the other approaches. I further argue that any solution from the His- torical Approach satisfies the concerns of the Puzzle Approach and mysterianism anyway. -/- I then examine the solution to the Logical Problem of the Trinity found in St. Gregory of Nyssa’s writings, both due to his place in the history of the doctrine, and his clarity in explicating what I call “the metaphysics of synergy.” I recast his solution in standard predicate logic and provide a formal proof of its consistency. I end by considering the possibilities for attacking the broader philosophical context of his defense and conclude that the prospects for doing so are dim. In any case, if there should turn out to be any problem with the doctrine of the Trinity at all, it will not be one of mere logical inconsistency in saying that “These Three are One.”. (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.

I survey some of the connections between the metaphysics of the relation between mind and matter, and quantum theory’s measurement problem. After discussing the metaphysics, especially the correct formulation of physicalism, I argue that two state-reduction approaches to quantum theory’s measurement problem hold some surprises for philosophers’ discussions of physicalism. Though both approaches are compatible with physicalism, they involve a very different conception of the physical, and of how the physical underpins the mental, from what most philosophers expect. And one (...) approach exemplifies a a problem in the definition of physicalism which the metaphysical literature has discussed only in the abstract. A version of the paper has appeared in Consciousness and Human Identity, ed. John Cornwell, OUP 1998. (shrink)

In this dissertation, I argue that we should be pluralists about truth and in turn, eliminativists about the property Truth. Traditional deflationists were right to suspect that there is no such property as Truth. Yet there is a plurality of pluralities of properties which enjoy defining features that Truth would have, were it to exist. So although, in this sense, truth is plural, Truth is non-existent. The resulting account of truth is indebted to deflationism as the provenance of the suspicion (...) that Truth doesn't exist. But it would be hasty to simply classify the account as deflationary. Each of the 'truth-like' properties that it recognizes is highly substantive--that is, complex and explanatorily potent. So we should deflate Truth by recognizing that it doesn't exist, but we should also recognize that one of the most vital tasks in truth theory is to discover the essences of the many truth-like properties. My aim here is to do precisely this. (shrink)

Artifactualism about fictional characters, positing Harry Potter as an abstract artifact created by J. K. Rowling, has been criticized on the grounds that the idea of creating such objects is mysterious and problematic. In the light of such qualms, it is worth homing in on an argument in favor of artifactualism, showing that it is the best way to include the likes of Harry Potter in our ontology precisely because it incorporates authorial creation. To that end, I will be exploring (...) Kripke’s fleeting remarks in the Addenda to his “Naming and Necessity” lectures about expressions like ‘unicorn’ and ‘Harry Potter’. Elsewhere, Kripke motivates artifactualism by suggesting that incorporating authorial creation (as artifactualism does) is a move that is intuitive and natural; but beyond this, he doesn’t provide any arguments in favor of such a move. My purpose in this paper is to construct such an argument based on considerations about Kripke’s general view about proper names, in particular, his seminal causal-historical chain account of reference determination, and its consequences for fictional names as well as nonfictional names without bearers such as ‘Vulcan’. (shrink)

The paper deals with such a modification of genuine modal realism as to accommodate impossible worlds into its ontology. First of all, the theory of modal realism is presented. Next, several motivations for the acceptance of impossible worlds are adduced. Further, Lewis’s argument against impossible worlds is presented. It is argued that the argument can be weakened by rejection of one of its premises. Finally, two objections against the proposal are countered. Although my strategy accounts for the Opinion concerning the (...) impossible, it allegedly violates another Opinion which conceives the reality classical. It seems, however, that there is no no-question-begging reason to think that reality is classical. How can we know, after all, which logic describes reality? Without a definite answer to the question, the incredibility objection then simply collapses into a statement of a possibilist dogma. (shrink)

This work presents and discusses the conception of instantiation as ‘partial identity’. The theory has been previously proposed in two different guises by Baxter and Armstrong . Attention will be paid mostly to Baxter’s presentation, which seems the best de veloped, and where instantiation is understood as identity of ‘aspects’ of a universal and a particular. The theory seems to offer a solution to the vexed question of Bradley’s Regress, because instantiation is no longer conceived as a relation between numerically (...) different entities. The proposed solution requires an ontology of ‘aspects’ in order to work. Aspects are presented in the form [ x insofar as j] where x is filled by the entity to which the aspect pertains and j is filled by the respect in which the entity in question is considered. Aspects are numerically identical with the entity to which they pertain and with the other aspects of the same entity. Aspects, nonetheless, are not mere ways in which one can conceive an entity. Aspects are objective. Rejection of the principle of indiscernibility of identicals is crucial to this theory. The attributions of one aspect are not also attributions to the other aspects of the same entity. Hence, aspects offer ways to deal with seemingly incoherent attributions to the same entity. Baxter uses them to solve the problem of the multi-location of universals, temporary intrinsics and trans-world identity, besides the nature of instantiation. Several difficulties are presented, both to the general metaphysics of aspects, and to the conception of instantiation as identity of aspects. In general: it is not clear how to distinguish objective aspects from the mere forms in which we conceive an entity; it is not clear what are the conditions of identity of an aspect; and although the necessity of identity is rejected in general, it reappears as necessity of ‘aspectual’ identity. The necessity of aspectual identity raises concerns about the stability of the view. In respect to the specific conception of instantiation as identity of aspects, it will be pointed out that the theory implies the complete identity of universals and particulars that instantiate them and, further, that it implies the identity of everything with everything. (shrink)

I offer a novel defence of radically externalist theories of perception, via a strikingly spare and broadly physicalist metaphysics. The core, motivating claim is what I call a natural view of perception, according to which perception involves direct awareness of our environment, such that the phenomenology of experience consists of the worldly things perceived, as they appear to the perspective of the subject. To underpin this natural view, I propose a simple metaphysical picture of perception, which identifies the perceptual experience (...) with the relation of awareness holding between subject and object, a relation that can be described in familiar physical terms as a causal process involving the thing perceived and the perceiver. Distinctively, the simple metaphysical picture has no place for the notion of ‘experiences’ understood as distinctively ‘mental’ states or events internal or otherwise belonging to the subject. Although there is some limited precedent for the simple metaphysical picture of perception, I offer the first detailed argument for its role in underpinning the natural view. The thesis offers new and detailed arguments to show that the simple metaphysical picture can not only account for normal perceptual experiences, but can also accommodate and explain other forms of sensory experience that have widely been considered to undermine the natural view of perception. These ‘problem’ cases include perceptual illusion, hallucination, and the role of memory and beliefs in influencing how things appear perceptually. In all of these cases, the simple metaphysical picture accounts for the phenomenology of the experience purely in terms of awareness of worldly objects, albeit in some cases objects that are not currently present in the subject’s environment. The simple metaphysical picture thus promises to explain not just perceptual experience but phenomenal consciousness more generally. The natural view is explicitly a commitment of some varieties of naïve realism, but I argue that the two theses come apart. For one thing, the simple metaphysical picture offers a solution to hallucination and other ‘problem’ cases quite different to the solutions offered by naïve realists. However, the most striking and novel claim advanced here is that the natural view can be defended without a commitment to realism. In this regard, I cite evidence for the subject-relativity or experience-dependence of certain perceived qualities, notably colour, and show the simple metaphysical picture allows us to square this with the natural view that colours are ‘out there’ in the environment. I discuss the metaphysical implications of rejecting realism while adhering to the simple metaphysical picture, and outline a radical – and radically simple – metaphysics of the world in general that might preserve the natural view and accommodate the simple metaphysical picture of phenomenal consciousness more generally. This metaphysics takes the form of a process monism in which the governing metaphysical structuring principle is one of top-down determination, such that whole processes determine the nature of their constituent parts. (shrink)

Color relationalism is the view that colors are constituted in terms of relations between subjects and objects. The most historically important form of color relationalism is the classic dispositionalist view according to which, for example red is the disposition to look red to standard observers in standard conditions (mutatis mutandis for other colors).1 However, it has become increasingly apparent in recent years that a commitment to the relationality of colors bears interest that goes beyond dispositionalism (Cohen, 2004; Matthen, 1999, 2001, (...) 2005; Thompson, 1995). Accordingly, it is an important project for those interested in the metaphysics of color to sort through and assess different forms of color relationalism. There is, however, a powerful and general cluster of objections that has been thought by many to amount to a decisive refutation of any and all forms of color relationalism. Although this idea has been developed in a number of ways, the basic thought is that relationalism — qua theory of color — is at odds with the manifest evidence of color phenomenology, and that this clash between theory and data should be resolved by giving up the theory. (shrink)

This thesis studies Judea Pearl’s logic of counterfactuals derived from the causal modeling framework, in comparison to the influential Stanlnaker-Lewis counterfactual logics. My study focuses on a characteristic principle in Pearl’s logic, named reversibility. The principle, as Pearl pointed out, goes beyond Lewis’s logic. Indeed, it also goes beyond the stronger logic of Stanlnaker, which is more analogous to Pearl’s logic. The first result of this thesis is an extension of Stanlnaker’s logic incorporating reversibility. It will be observed that the (...) translation of reversibility from Pearl’s language to the standard language for conditional logic deserves some attention. In particular, a straightforward translation following Pearl’s suggestion would render reversibility incompatible with Stanlnaker’s logic. A new translation of reversibility will be proposed, and an extension of Stanlnaker’s logic with the inclusion of the translated reversibility will be investigated. More importantly, it will be shown that the extended Stanlnaker’s logic is sound and complete with respect to a modified Stanlnaker’s semantics. The extension of Stanlnaker’s logic has an interesting implication. Zhang, Lam, and de Clercq have shown that special case of reversibility, despite its name, actually states an important kind of irreversibility: counterfactual dependence between distinct events is irreversible. In other words, reversibility entails that there is no cycle of counterfactual dependence altogether generalizations of reversibility. However, as shown in Zhang et al., Pearls’ logic does not rule out cycles of counterfactual dependence altogether. It in fact allows cycles that involve three or more distinct events. This is peculiar because the status of cyclic counterfactual dependence seems no more metaphysically secure than that of mutual counterfactual dependence. This consideration leads to an exploration of logics that rule out all cycles of counterfactual dependence. A surprising result is that the extension of Stanlnaker’s logic is precisely a logic of this sort. (shrink)

Metzinger’s claim that there are no such things as selves has given rise to a lot of discussions. By examining the notion of self used by Metzinger, I want to clarify what he means when saying that nobody ever was or had a self. Furthermore, I want to examine if there could be a notion of ‘self’ which is compatible with the Self- Model Theory of Subjectivity (SMT). I will argue that there is a notion of self which is not (...) only compatible with the SMT, but that the SMT also provides the theoretical framework for developing such a notion. (shrink)

'Post this letter!' does not entail 'Post this letter or drink up my wine!' (the Ross Paradox) because one can be in a state with the content of the former without being in a state with the content of the latter; in turn, because the latter can rationalize drinking up my wine but the former cannot; in turn, because practical rationalization flows toward one's present situation, in contrast with the flow of theoretical rationalization from one's present situation. Formally, this is (...) implemented with a semantics for imperatives involving a partition to set up an issue of significance and a proposition to establish how to settle it. I characterize a series of languages and language-games to implement all this, and appeal to an 'endorsement-theoretic' conception of modals as quantifiers over mental states to explain why 'You must post this letter' does not entail 'You must either post this letter or drink up my wine'. (shrink)

An introduction to temporal parts theory. Most of us believe in spatial parts: hands are spatial parts of people, an electron is a spatial part of a hydrogen atom, the earth is a spatial part of the solar system. Why are these parts "spatial" parts? Because they are spatially smaller: the hand is spatially smaller than the person, the electron is spatially smaller than the atom, the earth is spatially smaller than the solar system. Temporal parts, then, are parts that (...) are temporally smaller. My current temporal part, "me-today", we might call it, is temporally smaller than me, since it exists today and only today. Temporal parts theory says that objects are made up of temporal as well as spatial parts. (shrink)

In this paper, I provide an accuracy-based argument for conditionalization (via reflection) that does not rely on norms of maximizing expected accuracy. -/- (This is a draft of a paper that I wrote in 2013. It stalled for no very good reason. I still believe the content is right).

We argue that dualities offer new possibilities for relating fundamentality, levels, and emergence. Namely, dualities often relate two theories whose hierarchies of levels are inverted relative to each other, and so allow for new fundamentality relations, as well as for epistemic emergence. We find that the direction of emergence typically found in these cases is opposite to the direction of emergence followed in the standard accounts. Namely, the standard emergence direction is that of decreasing fundamentality: there is emergence of less (...) fundamental, high-level entities, out of more fundamental, low-level entities. But in cases of duality, a more fundamental entity can emerge out of a less fundamental one. This possibility can be traced back to the existence of different classical limits in quantum field theories and string theories. (shrink)

I develop an account of the sorts of considerations that should go into determining where the limits of possibility lie. (This is part of a series of four closely related papers. The other three are ‘On Specifying Truth-Conditions’, ‘Ontological Commitment’ and ‘An Actualist’s Guide to Quantifying-In’.).

This paper extends the definition of strong supervenience to cover classes of relations of any adicity, including transworld relations. It motivates that project by showing that not all interesting supervenience claims involving relations are global supervenience claims. The proposed definition has five welcome features: it reduces to the familiar definition in the special case where the classes contain only monadic properties; it equips supervenience with the expected formal properties, such as transitivity and monotonicity; it entails that a relation supervenes on (...) its converse; it classifies certain paradigms correctly; it makes distinctions even in the realm of the non-contingent, as witnessed by the fact that identity does not supervene on any class of relations. Finally, the paper applies the defined concept, and the related concept of orthogonality, to the study of internal and external relations. (shrink)

I Introduction This essay will canvass recent philosophical accounts of human agency that deploy a notion of 'self' (or 'agent') causation. Some of these accounts try to explicate this notion, whereas others only hint at its nature by way of contrast with the causality exhibited by impersonal physical systems. In these latter theories, the authors' main argumentative burden is that the apparent fundamental differences between personal and impersonal causal activity strongly suggest mind-body dualism. I begin by noting two distinct, yet (...) not commonly distinguished, philosophical motivations for pursuing an agent-causal account of human agency. In the course of discussing the accounts that some philosophers have developed in response to these considerations, I reconsider both the linkage of agent causation with mind-body dualism and its sharp cleavage from impersonal (or 'event') causation. (shrink)

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)

Recent developments in the scientific realism debate have resulted in a form of ‘exemplar driven’ realism that eschews general ‘recipes’ and instead focuses on the specific, ‘local’ reasons for adopting a realist stance in particular theoretical contexts. Here I suggest that such a move highlights even more sharply the need for the realist to incorporate a health dose of metaphysics in her position, particularly when it comes to the theories associated with modern physics. Turning to another set of recent developments, (...) having to do with the relationship between metaphysics and science, I argue that the exemplar driven realist can appropriate certain current metaphysical devices to help make concrete her commitments. Specifically I focus on a kind of exemplar based structural realism and examine the adequacy of, first, the determinables-determinate relationship as presented by Wilson and, second, Paul’s ‘one category ontology, as such devices within this framework. (shrink)

This is a self-contained introduction to the Everett interpretation of quantum mechanics. It is the introductory chapter of Many Worlds? Everett, quantum theory, and reality, S. Saunders, J. Barrett, A. Kent, and D. Wallace, Oxford University Press.

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...) central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering. (shrink)

There is a common approach to metaphysical disputes, which takes language as its starting point, and leads to a view about the range of acceptable metaphysical positions in any such dispute. I argue that this approach rests on accepting what I call the Strong Linguistic Thesis (SLT). In the metaphysical debate about time I argue that the new B-theory has rejected SLT, and for good reasons. The metaphysical debate about modality parallels the early metaphysical debate about time. I argue that (...) a position analogous to the new B-theory of time is available in the modal debate, and has some advantages over its rivals. (shrink)

Many metaphysicians posit primitives. These vary with respect to the theoretical work that they perform, but are all undefinable in more basic terms. I argue against the existence of metaphysical primitives on the grounds that, if they existed, they would be essentially primitive. However, if primitives were essentially primitive, then they would have an essence. Because they are primitive, they lack an essence, which undermines the original supposition that they are primitive. I close by mentioning some implications this has both (...) for metaphysicians and for metaphysics more generally. (shrink)

This paper argues that the Einstein-Minkowski space-time of special relativity provides an adequate model for classical tense logic, including rigorous definitions of tensed becoming and of the logical priority of proper time. In addition, the extension of classical tense logic with an operator for predicate-term negation provides us with a framework for interpreting and defending the significance of future contingency in special relativity. The framework for future contingents developed here involves the dual falsehood of non-logical contraries, only one of which (...) becomes true. This has several methodological, metaphysical and physical advantages over the alternative traditional frameworks for handling future contingents. (shrink)

The concept of appearance has had the historical misfortune of being associated with a Kantian or idealist program in metaphysics. Within this program, appearances are treated as "internal objects" that are immaterial and exert no causal powers over the physical world. However, there is a more mundane and innocuous notion of appearance, in which to say that x appears to y is just to say that y perceives x. In this more mundane sense of the term, an appearance is a (...) perceived object ? qua perceived. In this paper, I try and develop an account of the metaphysic of appearances in this more mundane sense. The account is developed within the framework of Trope Theory. After defining the notion of a "phenomenal trope," I construe appearances as special bundles of phenomenal tropes. I then use this account to develop an approach to the thorny issue of appearance individuation. (shrink)

I develop a device for simulating quantification over merely possible objects from the perspective of a modal actualist ---someone who thinks that everything that exists actually exists.

I argue for three central theses: ‘intuition’ is ambiguous, in material object metaphysics ‘intuition’ refers to pre-theoretical beliefs, and these pre-theoretical beliefs are generated by an innate physical reasoning system. I begin by outlining the relevant background discussions on the nature of intuitions and their role in philosophy to motivate the need for a more careful investigation of the meaning of ‘intuition’ and the role of intuitions in specific sub-disciplines of philosophy. In chapters one and two I argue that ‘intuition’ (...) is ambiguous between an inflationary and deflationary sense. In the inflationary sense, ‘intuition’ refers to a priori intellectual seemings with a special phenomenology, conceptual etiology, and modal content. In the deflationary sense, ‘intuition’ refers to beliefs or inclinations to believe. In chapter three I specifically examine the use of intuitions in material object metaphysics and conclude that in this sub-community ‘intuition’ is used in the deflationary sense to refer to pre-theoretical beliefs. Drawing from research on infant cognition, in the final chapter I argue that intuitions regarding material object metaphysics are those judgments that arise from an innate physical reasoning system. Based on this empirical observation, I argue that metaphysicians ought to give preference to abstract intuitions over intuitions regarding concrete cases because these abstract intuitions reflect the innate structure of our physical reasoning mechanisms. (shrink)