This thesis investigates the conceptual relationship between laws of nature and free will. In order to clarify the discussion, I begin by distinguishing several questions with respect to the nature of a law: i) do the laws of nature cover everything that happens? ii) are they deterministic? iii) can there be exceptions to universal and deterministic laws? iv) do the laws of nature govern everything in the world? In order to answer these questions I look at three widely endorsed accounts (...) of laws: "Humean" regularity accounts, laws as relations among universals, and the dispositional essentialist account. I argue that there is nothing in the very nature of a law - in any of the accounts surveyed - that implies a positive answer to questions (i) and (ii). I show that this has important consequences for the free will problem. I then turn to the compatibility of free will and determinism. I focus on the Humean view and the dispositional essentialist account of laws. And the bulk of this discussion concerns the consequence argument, especially the question of whether the laws of nature are "up to us". I show that, on the dispositional conception of laws, there is no sense in which the laws of nature are up to us, contrary to the Humean view. However, this does not mean that there is no room for free will on the dispositional account. I argue that free will requires the laws of nature to be limited in scope, rather than being indeterministic. I conclude by showing that this allows one to resist the claim that indeterminism rules out free will. (shrink)

According to many philosophers, even if it is metaphysically possible that I exist without my present body or without my present brain, it is not metaphysically possible that I exist without any physical support. Thus, it is not metaphysically possible that I exist in some afterlife world, where I do not have any physical support. I shall argue against such a thesis by distinguishing two different notions of physical and by examining two strategies used by those who defend the thesis. (...) No strategy will turn out to be conclusive. Thus, it seems that nothing excludes the metaphysical possibility of disembodied existence. Moreover, I shall illustrate two ways (respectively based on modal realism and on modal actualism) in which one might conclude that my disembodied existence is something more than a mere possibility. (shrink)

This paper argues for a rearticulation of the theory of truthmaking within pragmatism. The concept of truthmaking has usually been employed by metaphysical realists, but it can be reinterpreted in a pragmatist manner, following both classical and more recent pragmatists’ ideas on the “making of truth” as a process within human experience and world-categorization. Thus, a pragmatist criticism of metaphysical realism can be extended to the core areas of realist metaphysics, including the truthmaking theory.

Le but de cette étude est de tracer quelques lignes directrices en vue d'une métaphysique phénoménologique. Après avoir interrogé la possibilité et la pertinence d'une application de la méthode phénoménologique en métaphysique, l'auteur tente d'esquisser une métaphysique qui ne serait pas seulement (au sens de Peter Simons) une "systématique métaphysique", mais aussi une métaphysique phénoménologique et "constitutive". Il explore ensuite quelques questions fondamentales de la métaphysique contemporaine en dialogue avec les développements récents de la métaphysique "analytique": le factualisme d’Armstrong, le (...) rapport entre logique et ontologie, le statut ontologique des universaux, le maximalisme et les états de choses négatifs, la dépendance ontologique, le paradoxe de Moore, etc. (shrink)

This thesis engages with three topics and the relationships between them: (i) the phenomenon of disagreement (paradigmatically, where one person makes a claim and another denies it); (ii) the normative character of disagreements (the issue of whether, and in what sense, one of the parties is “at fault” for believing something that’s untrue); (iii) the issue of which theory of what truth is can best accommodate the norms relating belief and truth. People disagree about all sorts of things: about whether (...) climate is changing, death penalty is wrong, sushi is delicious, or Louis C.K. is funny. However, even focusing on disagreements in the evaluative domain (e.g., taste, moral and comedic), where people have the intuition that there is ‘no fact of the matter’ about who is right, there are significant differences that require explanation. For instance, disagreement about taste is generally perceived as shallow. People accept to disagree and live comfortably with that fact. By contrast, moral disagreement is perceived as deep and sometimes hard to tolerate. Comedic disagreement is similar to taste. However, it may involve an element of ‘intellectual snobbery’ that is absent in taste disagreement. The immediate questions are whether these contrasts allow of precise characterization and what is responsible for them. I argue that, once a case is made for the truth-aptness of judgments in these areas, the contrast can be explained in terms of variable normative function of truth – as exerting a lightweight normative constraint in the domain of taste and a stricter constraint in the moral domain. In particular I claim that while truth in the moral domain exerts a sui generis deontic control, this normative feature of truth is silent in both the taste and the comedic domains. This leads me to investigate how to conceive of truth in the light of normative variability. I argue that an amended version of deflationism – minimally inflated deflationism – can account for the normative variability of truth. (shrink)

A critical survey of topics that play a central role in contemporary analytic ontology and metaphysics, including, identity, persistence through time, the problem of universals, the notion of ontological commitment, and the boundary between semantic issues and metaphysics proper.

This paper focuses on the semantics of statements of the form ‘x is P at t’ vis-à-vis its metaphysical underpinnings. I begin by considering four main readings, corresponding to the four basic parsings of the temporal modifier ‘at t’: (1) at-t x is P, (2) x-at-t is P, (3) x is-at-t P, and (4) x is P-at-t. Each of these readings—which correspond to different metaphysical conceptions of the nature of temporal change—is found inadequate or otherwise problematic. In the second part (...) of the paper I therefore consider a fifth account whose advantages over (1)–(4), I argue, exceed its revisionary costs. This fifth account is based on a conception of objects as entia successiva held together by a nexus of temporal counterparthood and reads ‘x is P at t’ as ‘the t-counterpart of x is P’. (shrink)

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

Multiple Realizability (MR) must still be regarded as one of the principal arguments against type reductionist accounts of higher-order properties and their special laws. Against this I argue that there is no unique MR but rather a multitude of MR categories. In a slogan: MR is itself “multi-realized”. If this is true then we cannot expect one unique reductionist strategy against MR as an anti-reductionist argument. The main task is rather to develop a taxonomy of the wide variety of MR (...) cases and to sketch possible reductionist answers for each class of cases. The paper outlines some first steps in this direction. (shrink)

This is a copy of my DPhil thesis, the abstract for which is as follows: The first third of this thesis argues for a B-theoretic conception of time according to which all times exist equally and the present is in no way privileged. I distinguish "ontological" A-theories from "non-ontological" ones, arguing that the latter are experientially unmotivated and barely coherent. With regard to the former, I focus mainly on presentism. After some remarks on how to formulate this (and eternalism) non-trivially, (...) I review the non-relativistic case against presentism. I then consider the impact of Special Relativity on the debate, and attempt to deepen this impact by supplying a modal variation on the standard arguments. The middle third of the thesis investigates persistence, contending that both endurance and perdurance are consonant with the eternalism already endorsed. After introducing these theories of persistence, and discussing in particular how best to formulate an eternalist endurance, I proceed to defend the coherence of this combination. The Problem of Change is addressed here. I then respond in some detail to recent allegations of relativistic threats to endurance. The final third of the thesis questions the validity of the endurantist-perdurantist dispute. I criticize two recently proposed translation schemes that aim to show this dispute to be non-substantive. However, the second scheme suggests a doctrine of "Ontological Equivalence" which I develop and consider. I then address the Rotating Discs Argument, using this to launch a discussion of identity, genidentity, and the relationship between them. (shrink)

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.

In my thesis, I aim to develop a systematic and philosophically coherent thesis of ultimate reality for Ibn Arabi. In this pursuit, I adopt the style of analytic philosophy, seeking to employ and utilise some of its methods and theories. The philosophical aspects of Ibn Arabi’s doctrine are in dire need of conceptual clarification and systematic analysis with a closer focus on argumentation. The analytic tradition will prove most helpful in this regard. In my thesis, I begin by tracing Ibn (...) Arabi’s related views and concepts as they are dispersed throughout his writings. I then clarify, sharpen and, in many cases, develop these views and concepts into fully constructed forms. Finally, I weave the developed concepts and views into a systematic thesis or set of sub-theses. Where necessary, I provide my own arguments and concepts to help substantiate and strengthen the structure of Ibn Arabi’s thesis. I propose that Ibn Arabi’s various, and sometimes apparently inconsistent, views are best presented in terms of three main concepts: the concept of ultimate reality as existence, which has long been known as Ibn Arabi’s thesis of the oneness of existence ; the concept of ultimate reality as the Divine Self ; and the concept of ultimate reality as God. The three concepts neither represent different ultimate realities nor different perspectives of the same ultimate reality. Instead, they represent the same ultimate reality but each one has its own unique scope and encompassment. The three concepts are aimed at encompassing Ibn Arabi’s various views and concepts of ultimate reality in a consistent and systematic manner. (shrink)

This thesis proposes that key, competing theories of dispositions mistake and conflate how we identify, designate and talk about dispositions and dispositional terms for the nature of dispositions and the meaning of dispositional terms when they argue that: a) dispositions are extrinsic properties of their bearers (Boyle 1666) b) all properties are purely dispositional (Bird 2007) c) all properties are purely categorical (there are no dispositional properties) (Armstrong in AMP 1996) d) dispositional and categorical properties are separate and distinct properties (...) (Prior, Pargetter and Jackson 1982). In so doing these theories make unwarranted and unsupported ontological conclusions about dispositions. The thesis traces the principal source of this confusion and conflation to a reliance on the counterfactual analysis of dispositions that wrongly encourages the conflation of a disposition (say fragility) with its manifestation (shattering). There is good reason to hold that the counterfactual analysis of dispositions is false — the truth of a counterfactual statement (such as “if x were dropped x would break”) is neither necessary nor sufficient for the truth of a dispositional ascription (such as “x is fragile”). (shrink)

Attempting art: an essay on intention-dependenceIt is a truism among philosophers that art is intention-dependent—that is to say, art-making is an activity that depends in some way on the maker's intentions. Not much thought has been given to just what this entails, however. For instance, most philosophers of art assume that intention-dependence entails concept-dependence—i.e. possessing a concept of art is necessary for art-making, so that what prospective artists must intend is to make art. And yet, a mounting body of anthropological (...) and art-historical evidence and philosophical argument suggests that not only is such a criterion unsatisfied by most of the art-historical canon, but it also rests on a false premise: concepts of 'art' are not shared between cultures, nor even in the same culture across time. My dissertation aims to rectify this error by first exploring what our commitment to art's intention-dependence actually entails, and then showing that, properly understood, intention-dependence sets a number of important constraints on theories of art with respect to explanatory desiderata such as the success- and failure-conditions of art-attempts, the cross-cultural identification of art, and the reference of 'art' and art-kind terms. I begin by situating art's intention-dependence in the philosophical literature on intentional action, arguing that, properly conceived, intention-dependence is a weak criterion which can be satisfied either directly or indirectly. It therefore does not necessarily entail concept-dependence. I then use this distinction to motivate a new treatment of the success- and failure-conditions for art-attempts, arguing that the extant model's emphasis on compliance with 'the manner intended' is far too restrictive to capture actual artistic practices. I go on to show that Ruth Millikan's model of linguistic conventions supplies an independently plausible explanation of art's concept-independent origins in terms of the development of a system of indirectly intention-dependent conventions called an 'artworld'. I argue that this account of artworld development supplies us with the tools we need to distinguish art-kinds from other artifactual kinds. Finally, I turn my attention to methodological issues, arguing that even though 'art' is a social kind with its roots in arbitrary and historically-contingent networks of conventions, the philosophy of art is not merely an exercise in bare conceptual analysis. In fact, there is now a great deal of evidence to show that the ways we think about 'art' are inconsistent, incomplete, imperialistic, and largely unprincipled. Yet I argue that this does not mean that the artworld data have no bearing on theories of art. Instead, I argue that our best reflective understanding of our artworld practices sets the constraints on the reference of 'art' and art-kind terms. I argue that we have no privileged epistemic access to the ontology of social kinds; our only privilege lies in our ability to determine the proper subject of our inquiries. (shrink)

Grenon and Smith (2004) propose a framework for the ontology of things in space and time involving and invoking the distinction between continuants and occurrents, which has become a key element of Basic Formal Ontology (BFO). The terminology of SNAP (from “snapshot:” state of a continuant at a time) and SPAN (how an occurrent develops over an interval or timespan) occurs in that paper’s title. While any commonsense ontology will have a place for both continuants and occurrents, there is much (...) room for philosophical debate on whether one of them is more basic than the other, or can be reduced to the other, or whether they are equally fundamental, or whether they are two different perspectives on the same reality. Grenon and Smith opt for the last of these. They call the accounts of continuants (SNAP) and occurrents (SPAN) both “ontologies.” They do not have a single ontology of all that is in space and time. This dialog throws a few of the common arguments around a bit and comes to no sure conclusion. But one of the characters bears a faint resemblance to a certain Buffalonian philosopher. (shrink)

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)

“Branching space-times” is intended as a representation of objective, event-based indeterminism. As such, BST exhibits both a spatio-temporal aspect and an indeterministic “modal” aspect of alternative possible historical courses of events. An essential feature of BST is that it can also represent spatial or space-like relationships as part of its relativistic theory of spatio-temporal relations; this ability is essential for the representation of local indeterminism. This essay indicates how BST might be seen to grow out of Newton ’s deterministic and (...) non-relativistic theory by two independent moves: Taking account of indeterminism, and attending to spatio-temporal relationships in a spirit derived from Einstein’s theory of special relativity. Since and are independent, one can see that there is room for four theories: Newtonian determinism, branching time indeterminism, relativistic determinism, and branching space-times indeterminism. (shrink)

In this entry I present one of the most hotly debated issues in contemporary analytic philosophy regarding the nature of fictional entities and the motivations that might be adduced for and against positing them into our ontology. The entry is divided in two parts. In the first part I offer an overview of the main accounts of the metaphysics of fictional entities according to three standard realist views, fictional Meinongianism, fictional possibilism and fictional creationism. In the second part I describe (...) two main kinds of arguments for or against positing fictional entities into our ontology. The first kind is traditionally inspired by the linguistic data coming from our talk about fictional characters. The second kind is more recent and it builds on genuine ontological considerations. (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.

In this paper I consider an objection that friends of the Metaphysic of Temporal Parts (MTP) press against other solutions to the problem of temporary intrinsics and turn it against the MTP itself. I do not argue that the MTP must be false, nor do I argue that there are no arguments in favor of the MTP. Rather, the conclusion I draw is conditional: if the MTP provides an adequate response to the problem of temporary intrinsics, then the MTP provides (...) no reason to reject our commonsense view of the nature of material objects. (shrink)

This paper undertakes textual exegesis and rational reconstruction of Mukula Bhaṭṭa’s Abhidhā-vṛttta-mātṛkā, or “The Fundamentals of the Communicative Function.” The treatise was written to refute Ānandavardhana’s claim, made in the Dhvanyāloka, that there is a third “power” of words, vyañjanā (suggestion), beyond the two already accepted by traditional Indian philosophy: abhidhā (denotation) and lakṣaṇā(indication).1 I argue that the explanation of lakṣaṇā as presented in his text contains internal tensions, although it may still be a compelling response to Ānandavardhana.

In this paper I argue against previous approaches to the semantics of generics which involved the notions of prototype, stereotype and relevant quantification. I assume that the logical form of generics includes a generic operator which, as Heim (1992) has suggested, can be construed as the modal operator of necessity. After demonstrating that the presence of the generic operator in a semantic representation, as well as its domain of quantification, are pragmatically supplied, I go on to show how the various (...) interpretations generics may receive can be successfully accounted for within a relevance-theoretic framework. (shrink)

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)

Rather infamously, Kit Fine provided a series of counter-examples which purport to show that the modalist program of analysing essence in terms of metaphysical necessity is fundamentally misguided. Several would-be modalists have since responded, attempting to save the position from this Finean Challenge. This paper evaluates and rejects a trio of such responses, from Della Rocca, Zalta, and Gorman. But I’m not here arguing for Fine’s conclusion – ultimately, this is a fight amongst friends, with Della Rocca, Zalta, Gorman, and (...) I all wanting to be modalists, but disagreeing on the details. As such, while my primary aim is to show what’s wrong with this trio, the secondary aim is demonstrating how what’s right about them in fact pushes one towards my own sparse modalist account. So while the primary conclusion of this paper is negative, the secondary, positive, conclusion is that modalists shouldn’t give up hope – plausible responses to Fine are still out there. (shrink)

Identity is arguably one of the most fundamental concepts in metaphysics. There are several reasons why this is the case: Identity is presupposed in every conceptual system: without identity, it is unclear that any conceptual system can be formulated. Identity is required to characterize an individual: nothing can be an individual unless it has well-specified identity conditions. Identity cannot be defined: even in systems that allegedly have the resources to define identity. Identity is required for quantification: the intelligibility of quantification (...) presupposes the identity of the objects that are quantified over. These are only four considerations in support of identity's fundamental role. In this paper, I examine and defend them. I then examine a challenge that has been raised against identity's fundamentality: one from the metaphysics of physics—based on a significant interpretation of non-relativist quantum mechanics—according to which certain quantum particles lack identity conditions. After responding to this challenge, I consider the nature of the commitment to identity, and argue that it turns out to be very minimal. In fact, a very deflationary form of metaphysics can accommodate it. In arguing that identity is fundamental, one need not overstep the boundaries of even a very minimal empiricist metaphysics. Or so I argue. (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)

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)

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 fact that names refer to individuals is a basic assumption of referentialist theories of proper names, but the notion of individual is systematically taken for granted in those theories. The present paper follows that basic assumption, but proposes to analyze the notion of individual prior to the development of any semantic theory of proper names. It will be argued that a particular perdurantist conception of individual should be adopted, which distinguishes the notions of individual occurrence, and individual simpliciter. A (...) new theory of proper names (called the cluster-occurrence theory) is presented, according to which names refer to individual occurrences, and the intension associated with a name is an individual simpliciter. The merits of the new theory are then assessed in confrontation with its standard rival accounts. (shrink)

Metaphysicians sometimes appeal to physics to establish claims about the fundamental nature of the world. But given the current state of inquiry in physics, where there are two most fundamental theories that are incompatible, such arguments of physics-based metaphysics are problematic. I support this line of thought by focussing on two sorts of problematic arguments, special-relativity-based arguments against presentism and big-bang-based arguments in favor of the existence of God. I am not arguing that physics-based metaphysics can’t be done; I am (...) just arguing that extant examples of physics-based metaphysics are flawed. I close by considering various ways that future versions of physics-based metaphysics could potentially be successful. (shrink)

I argue that if one accepts the existence of a multiverse model that posits the existence of all possible realities, and also wants to maintain the existence of a God who exemplifies omnipotence, omnibenevolence and omniscience then the brand of God that he should ascribe to is one of deism rather than the God of classical theism. Given the nature and construct of such a multiverse, as well as some specific interpretations of the divine attributes, this points us to a (...) God who is inactive in the natural world, not one who is. This deistic conception of God not only sits better with the idea of a multiverse and is also compatible with many arguments for theism, but it also responds to certain arguments for atheism better than the classical conception of God. I ultimately argue that deism ought to be given consideration as a plausible alternative conception to the classical conception of God, given the acceptance of a multiverse. (shrink)

The branching time analysis grounds the possibilities entailed by temporal indeterminism in a branching temporal structure. I construct a spatial analog of the branching time analysis – the branching space analysis – according to which the possibilities entailed by spatial indeterminism are grounded in branching spatial structure. The construction proceeds in such a way as to show the analogies between the branching space and branching time analyses. I argue that the two views are a package. In particular: the theoretical virtues (...) of the one are theoretical virtues of the other and so if one ought to be accepted, then the other should also be accepted. And: if one ought to be denied, then the other ought to be denied as well. Thus, the branching space analysis functions either as a counterexample to the reductive strategy embodied in the branching time analysis or as a reasonable extension of it – as a lesson learned from it. (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)

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)

I present a case for a rapprochement between aspects of rationalism and scientific realism, by way of a general framework employing modal epistemology and elements of 2-dimensional semantics (2DS). My overall argument strategy is meta-inductive: The bulk of this paper establishes a “base case,” i.e., a concretely constructive example by which I demonstrate this linkage. The base case or constructive example acts as the exemplar for generating, in a constructively ‘bottom-up’ fashion, a more generally rigorous case for rationalism-realism qua modal (...) epistemology. The exemple I choose in D. Chalmers’ (2002) modal rationalism and R. Giere’s (1985, 1988) constructive realism. I show by way of a thorough analysis how Giere’s claims concerning modal scope are characterized as instances of Chalmers’ modal rationalism, both weak and strong. In essence, as I demonstrate via Chalmers’ notions, ceteris paribus the constructive realist ultimately opts for a comparatively wider gate, characterized by modal reasoning, to lead from the rooms of conceivability qua thought experiments and models, to the pastures of metaphysical possibility. Chalmers likewise tries to erect such a wider gate, in his general conceivability-possibility theses. Anti-realists, on the other hand, see a narrower passage and my contention herein is that they suffer from modal myopia, which hopefully the ‘corrective vision’ of Chalmers’ modal rationalism can restore. In the introduction and concluding sections I sketch out suggestions of constructing ‘inductive steps’ from my base case, to generate more extensively general claims regarding realism qua rationalism. -/- . (shrink)

The theory according to which most ordinary objects are mere “entia successiva”—sequences of distinct mereological aggregates, whose unity resides exclusively in our minds—is a variant of the standard, three-dimensional conception of objects. For the aggregates are, at bottom, endurants, i.e., entities that persist through time by being fully present at any time at which they exist. In this paper I compare this theory with the so-called “stage view”, according to which ordinary objects—indeed, all objects—are sequences of momentary entities that cannot (...) truly be said to persist through time. Both theories face a number of intuitive difficulties but the stage view, I argue, has a lot more to offer in return. (shrink)

One popular conception of natural theology holds that certain purely rational arguments are insulated from empirical inquiry and independently establish conclusions that provide evidence, justification, or proof of God’s existence. Yet, some raise suspicions that philosophers and theologians’ personal religious beliefs inappropriately affect these kinds of arguments. I present an experimental test of whether philosophers and theologians’ argument analysis is influenced by religious commitments. The empirical findings suggest religious belief affects philosophical analysis and offer a challenge to theists and atheists, (...) alike: reevaluate the scope of natural theology’s conclusions or acknowledge and begin to address the influence of religious belief. (shrink)

This paper aims to provide a basic explanation of existence, fundamental aspects of reality, and consciousness. Existence in its most general sense is identified with the principle of logical consistency: to exist means to be logically consistent. The essence of the principle of logical consistency is that every thing is what it is and is not what it is not. From this principle follows the existence of intrinsic, indescribable identities of things and relations between them. There are three fundamental, logically (...) necessary relations: similarity, composition and instantiation. Set theory, mathematics, logic and science are presented as relational descriptions of reality. Qualities of consciousness (qualia) are identified with intrinsic identities of things or at least a certain subset of them, especially in the context of a dynamic form of organized complexity. (shrink)

I provide an analysis of sentences of the form ‘To be F is to be G’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F is that which makes it G. This approach is hyperintensional, and possesses desirable logical and modal features. These sentences are reflexive, transitive and symmetric, and, if (...) they are true, then they are necessarily true, and it is necessary that all and only Fs are Gs. I close by defining an asymmetric and irreflexive notion of analysis in terms of the reflexive and symmetric one. (shrink)

Frank Jackson has famously argued that there is no logical space for the view which understands moral properties as non-natural properties of their own unique kind. His argument is based on two steps: firstly, given supervenience and truth-aptness of moral claims, it is always possible to find a natural property which is necessarily co-instantiated with a given moral property, and secondly that there are no distinct necessarily co-instantiated properties. I argue that this second step of the argument must rely on (...) a controversial nominalist view of properties. In contrast, if we accept universals or tropes, there is logical space also for non-natural moral properties even if they are necessarily co-instantiated with natural properties. (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)