A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.

Is the world internally connected by a web of necessary connections or is everything loose and independent? Followers of David Hume accept the latter by upholding Hume’s Dictum, according to which there are no necessary connections between distinct existences. Roughly put, anything can coexist with anything else, and anything can fail to coexist with anything else. Hume put it like this: “There is no object which implies the existence of any other if we consider these objects in themselves.” Since Hume’s (...) day, Hume’s Dictum has played a major role in philosophy, especially in contemporary metaphysics. In ruling out necessary connections, Hume’s Dictum implies that causal relations and the laws of nature are contingent. It makes other demands on our metaphysics of science as well; for example, it places restrictions on our metaphysics of counterfactuals, dispositions, and explanation. The principle has applications in other areas too. Hume’s Dictum places constraints on our theories of abstract objects and moral properties. For example, Hume’s Dictum rules out the view that moral properties are distinct from, but necessarily connected to, non-moral properties. While Hume’s Dictum is a prominent principle in metaphysics, few Humeans have defended the principle at length. It is assumed more often than it is argued for. As a result, Hume’s Dictum no longer enjoys the reputation it once did. It’s common to hear complaints about the lack of arguments in support of Hume’s Dictum. Moreover, philosophers are increasingly willing to defend views that are at odds with Hume’s Dictum. A striking example of this is the recent explosion of interest in views that take causal relations and the laws of nature to be necessary. Humeans can no longer afford to be complacent. An extended defense of Hume’s Dictum is called for, and that’s what this dissertation aims to offer. This dissertation has three parts. In the first part, I lay out some preliminaries and offer a precise formulation of Hume’s Dictum. In the second part, I develop three arguments in favor of Hume’s Dictum. In the final part, I defend Hume’s Dictum against objections. (shrink)

Unrestricted Composition (UC) is, roughly, the claim that given any objects at all, there is something which those objects compose. (UC) conflicts in an obvious way with common sense. It has as a consequence, for instance, that there is something which has as parts my nose and the moon. One of the more influential arguments for (UC) is Theodore Sider’s version of the Argument from Vagueness. (A version of the Argument from Vagueness was first presented by David Lewis (1986), pp. (...) 212–213). That argument purports to show that some plausible claims concerning the nature of vagueness entail (UC). In this paper I will suggest a response to this argument. I will show that the proponent of Supersubstantivalism (SS)—the view that material objects are identical to regions of spacetime—can reject a premise of Sider’s argument without denying the plausible claims concerning vagueness. Doing so requires only rejecting a certain view concerning the relationship between the proper sub-region relation and the proper parthood relation. So, proponents of (SS) are in a better position than many of us to side with common sense regarding composition. In the first section of the paper, I will present Sider’s argument. In the second section, I will introduce (SS) and briefly discuss some reasons one might have to believe that it is true. In the third section, I will show how the proponent of (SS) can avoid commitment to (UC) and reject a premise of Sider’s argument. Last, I’ll briefly consider and respond to some objections. (shrink)

The pluralist about material constitution maintains that a lump of clay is not identical with the statue it constitutes. Although pluralism strikes many as extravagant by requiring distinct things to coincide, it can be defended with a simple argument. The monist is less well off. Typically, she has to argue indirectly for her view by finding problems with the pluralist's extravagance. This paper offers a direct argument for monism that illustrates how monism about material constitution is rooted in commonsense as (...) reflected in linguistic practice. In particular, I argue that everyday judgements that are contrastive like "The statue is beautiful for a lump of clay" entail the identity of the statue and the clay. (shrink)

In a growing number of papers, one encounters arguments to the effect that certain philosophical views are objectionable because they would imply that there are necessary truths for whose necessity there is no explanation. That is, they imply that there are propositions p such that (a) it is necessary that p, but (b) there is no explanation why it is necessary that p. For short, they imply that there are “brute necessities.” Therefore, the arguments conclude, the views in question should (...) be rejected in favor of rival views under which the necessities would be explained. This style of argument raises a number of important and difficult questions. Do necessary truths really require explanation? Are they not paradigms of truths that either need no explanation or automatically have one, being in some sense self‐explanatory? If some necessary truths do require or admit of explanation, what types of explanation, are available? Are some necessary truths explained by other necessary truths? Are some necessary truths self‐explanatory? Are all necessary truths either self‐explanatory or explained by others? Or are there some necessary truths that are truly brute? This article surveys several representative arguments from brute necessity as well as a variety of answers to the questions above, noting their bearing on arguments from bruteness. (shrink)

Analytic Philosophy, Volume 62, Issue 3, Page 201-222, September 2021.

I defend the following argument in this paper. Premise 1: Laws of nature are intrinsic to the universe. Premise 2: Humeanism maintains that laws of nature are extrinsic to the universe. Conclusion: Humeanism is false. This argument is inspired by John Hawthorne’s (2004) argument in “Why Humeans are out of their Minds”. My argument differs from his; Hawthorne focuses on Humean views of causation and how they interact with judgments about consciousness. He thinks Humeans are forced to treat certain mental (...) properties (insofar as they involve causal features) as extrinsic to conscious minds. I do not discuss causation or consciousness here. I focus on Humean accounts of laws. I argue that Humean laws are extrinsic to the entire universe. As such, Humeans are not just out of their minds; they are out of this world. I aim to show that premises 1 and 2 are well-supported and that denying either of them comes at a cost. Nevertheless, Humeans may prefer to reject 1 or 2 rather than give up Humeanism. Even if the Humean takes one of these routes, the argument above has philosophical import: it shows that Humeanism involves surprising commitments. (shrink)

Comparativism maintains that physical quantities are ultimately relational in character. For example, an object’s having 1 kg rest mass depends on the relations it stands in to other objects in the universe. Comparativism, its advocates allege, reveals that quantities are not metaphysically mysterious: Quantities are reducible to familiar relations holding among physical objects. Modal accounts of intrinsicality—such as Lewis’s duplication account or Langton and Lewis’s combinatorial account—are popular accounts preserving many of our core intuitions regarding which properties are intrinsic. I (...) argue that to endorse both comparativism and a modal account of intrinsicality, we must reject the plausible thesis that determinable properties are instantiated solely in virtue of their determinates. I call this ‘the determinacy tension’ and I suggest approaches for dissolving it. (shrink)

A critical survey of some attempts to define ‘computer’, beginning with some informal ones, then critically evaluating those of three philosophers, and concluding with an examination of whether the brain and the universe are computers.

I argue that, given certain prominent views of personal identity and prudence, the nonidentity problem, or a very similar problem, can arise postconception. I clarify and defend this claim by considering the implications of these views for prenatal injury.

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it does (...) not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

This article motivates and develops a reductive account of the structure of certain physical quantities in terms of their mereology. That is, I argue that quantitative relations like "longer than" or "3.6-times the volume of" can be analyzed in terms of necessary constraints those quantities put on the mereological structure of their instances. The resulting account, I argue, is able to capture the intuition that these quantitative relations are intrinsic to the physical systems they’re called upon to describe and explain.

In this paper I take up the task, begun by Lewis and Lewis in their seminal paper on the topic, of offering a theory of holes according to which a hole is simply its hole-lining. I begin by motivating the theory, arguing that it holds interest even absent its original animating concerns of nominalism and materialism, and present desiderata any such theory must satisfy. With this in place, I offer a definition both of a lining and of hole sameness, arguing (...) that these can overcome the most prominent standing objections to identifying holes with linings. Finally, I present a more powerful counterargument in the spirit of Casati and Varzi, and conclude with an emended version of the theory meeting all our earlier desiderata. I conclude by dispelling some possible worries about the nominalist and materialist credentials of my theory. (shrink)

Russellian monists argue that non-structural properties, or a combination of structural and non-structural properties, necessitate phenomenal properties. Different Russellian monists offer varying accounts of the structural/non-structural distinction, leading to divergent forms of Russellian monism. In this paper, I criticise Derk Pereboom’s characterisation of the structural/non-structural distinction proposed in his Consciousness and the Prospects of Physicalism and further work. I argue that from Pereboom’s characterisation of structural and non-structural properties, one can formulate general metaphysical principles concerning what structural and non-structural properties (...) necessitate. These principles undermine the claim that non-structural properties – either alone or in combination with structural properties – necessitate phenomenal properties. Moreover, these principles are not affected by our supposed inability to conceive of non-structural properties in a manner conducive to the success of conceivability arguments. (shrink)

I argue that extended simples are possible. The argument given here parallels an argument given elsewhere for the claim that the shape properties of material objects are extrinsic, not intrinsic as is commonly supposed. In the final section of the paper, I show that if the shape properties of material objects are extrinsic, the most popular argument against extended simples fails.

ABSTRACT Let wF, wC+, and wC− be three distinct worlds, each of which contains only a single point-sized material particle, and in each of which spacetime is: uniformly flat, constantly positively curved, and constantly negatively curved, respectively. By the relationist’s lights, these worlds seem to be qualitatively identical. Nevertheless, for each world, there are propositions concerning possible arrangements of material points that are true in that world, but false in the other two. I argue that, surprisingly, the relationist can ground (...) these differences in the distinct non-modal and intrinsic relations that are instantiated in each of wF, wC+, and wC–. (shrink)

In his paper Bare Particulars, T. Sider claims that one of the most plausible candidates for bare particulars are spacetime points. The aim of this paper is to shed light on Sider’s reasoning and its consequences. There are three concepts of spacetime points that allow their identification with bare particulars. One of them, Moderate structural realism, is considered to be the most adequate due its appropriate approach to spacetime metric and moderate view of mereological simples. However, it pushes the Substratum (...) theory to dismiss primitive thisness as the only identity condition for bare particulars, but the paper argues that such elimination is a legitimate step. (shrink)

Over the last thirty years there have been a number of attempts to analyse the distinction between intrinsic and extrinsic properties. This article discusses three leading attempts to analyse this distinction that don’t appeal to the notion of nat-uralness: the duplication analysis endorsed by G. E. Moore and David Lewis, Peter Vallentyne’s analysis in terms of contractions of possible worlds, and the analysis of Gene Witmer, William Butchard and Kelly Trogdon in terms of grounding.

Is it possible that there are extended simples—material objects extended in space or spacetime that have no proper parts? The most commonly cited argument for this possibility is based on a version of the Humean principle: namely (and with some qualifications), any pattern of instantiation of a fundamental relation is possible. In this paper, we make the Humean argument fully explicit, and criticise it from three aspects—the Disjunction problem, the Pluralist problem, and the Accidentality problem. First, the original argument only (...) shows a disjunctive thesis: either extended simples are possible, or unextended complexes are possible. In order to reach the desired conclusion, some additional premise is needed. Yet, even though we agree that the Disjunction problem can be met, we argue that the Humean argument fails to establish the possibility of extended simples, for two reasons: the first comes from compositional pluralism, and the second is about the definition of accidental properties. We contend that the latter two problems put the proponents of the Humean argument in serious difficulty. Thus, metaphysicians who hold that there are extended simples should find better arguments for this view. (shrink)

The literature suggests two main answers to the question of what it is for a material object to be located at a region of spacetime. Both have a number of virtues. However, both suffer from well-known problems. According to one answer, location is a primitive relation with no informative metaphysical analysis. But this makes a number of necessary truths seem mysterious and leaves them unexplained. According to the other answer, to be located at a region is just to be identical (...) to that region. But this is inconsistent with a number of independently plausible theses about material objects and their locations. In this paper, I explore a new theory of location and argue that it has the virtues of these familiar theories but not their vices. I then explore some further connections the new theory has with some contemporary issues in metaphysics. (shrink)

The core doctrine of supersubstantivalism is that material objects are identical to their spacetime locations. One powerful consideration for the view is the argument from harmony—supersubstantivalism, it is claimed, is in a position to offer an elegant explanation of a number of platitudes concerning objects and their locations. However, I will argue that identifying material objects with their locations does not provide a satisfying explanation of harmony. What the supersubstantivalist needs is not a theory about the identity of objects, but (...) another theory about the identity of some relations. This paper proposes such a theory and shows that with it in place, the argument from harmony can be repaired. (shrink)

One well-known objection to supersubstantivalism is that it is inconsistent with the contingency of location. This paper presents a new objection to supersubstantivalism: it is inconsistent with the vagueness of location. Though contingency and vagueness are formally similar, there are important philosophical differences between the two. As a result, the objection from vague location will be structurally different than the objection from contingent location. The paper explores these differences and then defends the argument that supersubstantivalism is inconsistent with the plausible (...) thesis that it is vague where I am located. (shrink)

Recently, we have been presented with an argument against the intrinsicality of shape that appeals to a plausible Humean principle. According to the argument, if shape is intrinsic and the location relation is fundamental, then we cannot explain the necessary correlation between an object’s shape and the shape of its location. And, it is claimed, the Humean principle tells us that an unexplained necessary correlation like this one is unacceptable. In this paper I respond to this argument by rejecting the (...) favoured interpretation of the Humean principle. I claim that sometimes there are truths about what it means to stand in a given relation, even when that relation has no analysis.. These truths sometimes entail that the relata of the relation have certain features. And it is not problematic for truths about what it means to stand in a relation to be unexplained. I argue that it is plausible to take is located at to be such a relation; an object’s having exactly the same shape as the region it is located at is part of what it means to be located at that region. I conclude with an amended formulation of the Humean claim that still captures the spirit of the principle without threatening the intrinsicality of shape. (shrink)

I consider an argument, due to Geoffrey Lee, that we can know a priori from the left-right asymmetrical character of experience that our brains are left-right asymmetrical. Lee's argument assumes a premise he calls relationism, which I show is well-supported by the best philosophical picture of spacetime. I explain why Lee's relationism is compatible with left-right asymmetrical laws. I then show that the conclusion of Lee's argument is not as strong or surprising as he makes it out to be.

Defining the distinction between intrinsic and extrinsic properties has turned out to be one of the most difficult and controversial tasks in contemporary metaphysics. It is generally assumed that a definition of intrinsicness should aim to avoid as many counterexamples as possible and reduce the notion to less controversial philosophical notions. In this paper, the author argues for a new methodological approach to defining intrinsicness. Rather than trying to cover as many intuitive examples as possible, a definition of intrinsicness should (...) reflect the crucial features of our intuitive understanding of the notion, and one of these features is that the intrinsic/extrinsic distinction has to be characterized in a non-reductive way. (shrink)

The notion of an extended simple region (henceforth ESR) has recently been marshalled in the service of arguments for a variety of conclusions. Exactly how to understand the idea of extendedness as it applies to simple regions, however, has been largely ignored, or, perhaps better, assumed. In this paper we first (§1) outline what we take to be the standard way that philosophers are thinking about extendedness, namely as an intrinsic property of regions. We then introduce an alternative picture (§2), (...) according to which extendedness is extrinsic. In §3 we argue that it matters which way of thinking about extendedness is the right one, since how ESRs behave is sensitive to what extendedness consists in, and various arguments that appeal to ESRs turn out to be unsound if extendedness is extrinsic rather than intrinsic. (shrink)

I defend coincidentalism (the view that some pluralities have more than one mereological fusion) and restricted composition (the view that some pluralities lack mereological fusions) against recent arguments due to Theodore Sider.

Tropes are particular features of concrete objects. Properties—the extensions of predicates—are primitive resemblance classes of tropes. Friends of tropes have been criticized for failing to answer three questions. First, are there fundamental items other than tropes? Second, what criteria determine whether some tropes are all and only the features of some one object? Third, can trope classes be formed adequately using only primitive resemblance? Trading on the spatiotemporal status of tropes, this essay offers new responses to each of these questions. (...) The novel thesis is that there is a sui generis property called ‘markedness’, whose tropes “mark” certain locations in an ontologically basic way. The spatiotemporal distribution of markedness tropes fixes the distribution of familiar characterizing tropes like mass and charge, and characterizing tropes are bundled by being co-contained in the location of a maximally connected markedness trope. This novel theory of trope bundling is defended by appeal to theoretical utility: it is ontologically parsimonious and solves outstanding problems involving co-location and resemblance class construction. (shrink)

Establishing Dispositionalism as a viable theory of modality requires the successful fulfilment of two tasks: showing that all modal truths can be derived from truths about actual powers, and offering a suitable metaphysics of powers. These two tasks are intertwined: difficulties in one can affect the chances of success in the other. In this paper, I generalise an objection to Dispositionalism by Jessica Leech and argue that the theory in its present form is ill-suited to account for de re truths (...) about merely possible entities. I argue that such difficulty is rooted in a problem in the metaphysics of powers. In particular, I contend that the well-known tension between two key principle of powers ontology, namely Directedness and Independence has received an unsatisfactory solution so far, and that it is this unsatisfactory solution concerning the status of “unmanifested manifestations” that makes it hard for Dispositionalism to account for mere possibilia. I develop a novel account of the status of unmanifested manifestations and an overall metaphysics of powers which allows to better respond to Leech's objection and handle mere possibilia. The central idea of the proposal is that unmanifested manifestations are akin to mere logical existents, and are best characterised as non-essentially non-located entities. (shrink)

According to Minkoswki, Einstein's special theory of relativity reveals that ‘space by itself, and time by itself are doomed to fade away into mere shadows’. But perceptual experience represents objects as instantiating shapes like squareness — properties of ‘space by itself’. Thus, STR seems to threaten the veridicality of shape experience. In response to this worry, some have argued that we should analyze the contents of our spatial experiences on the model of traditional secondary qualities. On this picture—defended in recent (...) work by Chalmers —an experience of squareness just represents whatever property usually causes such experiences. This view salvages the veridicality of shape experience, but leaves the nature of the properties we perceive outside our ken. I argue that such a move is unwarranted: STR is compatible with the idea that shape experience acquaints us with the spatial character of our world. In defending this claim, I propose a view on which shape experience presents familiar Euclidean spatial properties veridically, while implicitly representing those properties as instantiated in a particular manner — namely, relative to our own frame of reference. (shrink)

This paper argues that, assuming properties exist and must be located in spacetime, the prevailing view that they are exactly located where their instances are is false. Instead a property is singularly located at just one region, namely the union of its instance's locations. This bears not just on issues in the metaphysics of properties, but also on the debate over whether multi-location is conceivable and/or possible.

The Vagueness Argument for universalism only works if you think there is a good reason not to endorse nihilism. Sider's argument from the possibility of gunk is one of the more popular reasons. Further, Hawley has given an argument for the necessity of everything being either gunky or composed of mereological simples. I argue that Hawley's argument rests on the same premise as Sider's argument for the possibility of gunk. Further, I argue that that premise can be used to demonstrate (...) the possibility of simples. Once you stick it all together, you get an absurd consequence. I then survey the possible lessons we could draw from this, arguing that whichever one you take yields an interesting result. (shrink)

The Argument from Temporary Intrinsics is one of the canonical arguments against endurantism. I show that the two standard ways of presenting the argument have limited force. I then present a new version of the argument, which provides a more promising articulation of the underlying objection to endurantism. However, the premises of this argument conflict with the gauge theories of particle physics, and so this version of the argument is no more successful than its predecessors. I conclude that no version (...) of the Argument from Temporary Intrinsics gives us a compelling reason to favor one theory of persistence over another. (shrink)

Recently, many philosophers have been interested in using locative relations to clarify and pursue debates in the metaphysics of material objects. Most begin with the relation of exact location. But what if we begin instead with the relation known as weak location – the relation an object x bears to any region not completely bereft of x? I explore some of the consequences of pursuing this route for issues including coincidence, extended simples, and endurance, with an eye to evaluating the (...) prospects for taking weak location as our fundamental locative relation. (shrink)

This article discusses two arguments in favor of perdurance. The first is Sider’s argument from vagueness, “one of the most powerful” in favor of perdurantism. I make the observation that endurantists have principled grounds to claim that the argument is unsound, at least if endurance is formulated in locative rather than mereological terms. Having made this observation, I use it to emphasize a somewhat neglected difference between endurantists and perdurantists with respect to their views on material objects. These views, in (...) the case of endurantists, lead to a further, less than conclusive but nevertheless interesting argument against endurantism—the anti-fundamentality argument—which I discuss and tentatively endorse. That argument posits that endurantists must take location to be a fundamental relation, and that this has as a consequence the metaphysical possibility of some rather unwelcome scenarios. Perdurantists may avoid this consequence by denying that location is fundamental, perhaps by embracing supersubstantivalism. (shrink)

The notion of multiple location plays an important role in the characterization of endurantism. Several authors have recently offered cases intended to demonstrate the incoherence of multiple location. I argue that these cases do not succeed in making multiple location problematic. Along the way, several crucial issues about multiple location and its use by endurantists are clarified.

An intuitive objection to modal realism is that merely possible worlds and their inhabitants seem to be irrelevant to an analysis of modality. Kripke originally phrased the objection in terms of being concerned about one’s modal properties without being concerned about the properties one’s other-worldly counterparts have. The author assesses this objection in a variety of forms, and then provides his own formulation that does not beg the question against the modal realist. Finally, the author considers two potential answers to (...) the objection so understood and concludes that only one of them has a chance of succeeding. (shrink)

Endurantists have recently faced a mereological puzzle in various forms. Here I argue that, instead of presenting a genuine worry, the puzzle actually reveals a common misunderstanding about the endurantist ontology. Furthermore, through this discussion of the alleged problem and the misunderstanding which motivates it, I reveal metaphysical commitments the endurantist has that may not be widely recognized. For instance, she is committed to interesting and perhaps controversial views about shape and location. I highlight these commitments and what they mean (...) for the endurantist. (shrink)

Mereological challenges have recently been raised against the endurantist. For instance, Barker and Dowe (2003) have argued that eternalist endurantism entails (1) persisting objects are both 3D and 4D, and that (2) the lives of persisting objects last longer than they actually do. They also argue that presentist endurantism also entails, albeit in a tensed way, that (3) the lives of persisting objects last longer than they actually do. While they’ve further argued (2005) that the objections raised by McDaniel (2003) (...) and Beebee and Rush (2003) fail, here I show that such objections are tenable without requiring further significant metaphysical commitments; I argue that such endurantist defences are tenable, contra to prior analyses. (shrink)

Do properties have intrinsic properties of their own? If so, which second-order properties are intrinsic? This paper introduces two competing views about second-order intrinsicality: generalism, according to which the intrinsic–extrinsic distinction cuts across all orders of properties and applies to the properties of properties as well as the properties of objects, and objectualism, according to which intrinsicality is a feature exclusive to the properties of objects. The case for generalism is then surveyed along with some proposals for distinguishing intrinsic second-order (...) properties from extrinsic ones. After addressing these broad questions about the nature of second-order intrinsicality, the Problem of Accidental Intrinsic Properties of Properties is introduced and put to work as a case study for the significance of second-order intrinsicality. The connection between this problem and the metaphysics of quantitative properties is then examined. (shrink)

The philosophy of time travel is a sub-field of metaphysics – the study of what there is and what things are like – that considers questions about the possibility of time travel and what a world in which time travel is possible looks like. These questions range from whether time travel is actually possible, to how time travellers can act in the past or future. This thesis delves into a particularly interesting, yet historically undertreated theme: the abilities of time travellers (...) and relatedly their freedom as well. The abilities and freedom of time travellers has been the source of a lot of recent discussion with some polarising views. The minority (which includes Lewis (1976), but also Ted Sider (2002)) argue for the affirmative – that time travellers are free and have the same (or perhaps more) abilities as non-time travellers. The majority (which includes Kadri Vihvelin (1996), Michael Rea (2005), Stephanie Rennick (2015), Alison Fernandes (2020), amongst others) argue for the negative, that time travellers do not have exactly the same freedoms and abilities as non-time travellers. I think that it is a mistake to be so pessimistic about the abilities and freedom of time travellers. I treat concerns about the freedom of time travellers and concerns about the abilities of time travellers as two sides of the same coin. Therefore, in what follows, I argue for two related conclusions. First, I argue that time travellers have all sorts of abilities. Second, I argue that time travellers are just as free as non-time travellers. In arguing for these conclusions, I first produce a novel analysis of ability which reveals important details about how abilities track inputs rather than outputs. Second, I use this new analysis of ability to present a new compatibilist account of free will. If I am right in arguing positively for the abilities and freedoms of time travellers, then this has large implications for both the current time travel discourse and the general debate surrounding freedom. Significantly, I am arguing against some prominent views about time travel and in suggesting that these views are mistaken, I am presenting new ideas about ability and freedom: specifically, that time travellers have the ability and are free to do impossible things. (shrink)

According to power theorists, properties are powers—i.e. they necessarily confer on their bearers certain dispositions. Although the power theory is increasingly gaining popularity, a vast majority of analytic metaphysicians still favors what I call ‘the nomic theory’—i.e. the view according to which what dispositions a property confers on its bearers is contingent on what the laws of nature happen to be. This paper argues that the nomic theory is inconsistent, for, if it were correct, then properties would not confer any (...) dispositions on their bearers—they would only appear to do so (just like how, in cases of mimicking, objects do not really have the relevant dispositions, they merely appear to have them). If my arguments are sound, then the nomic theory is incoherent and ultimately collapses into what I call ‘neo-occasionalism’ and powers turns out to be the only available option for those who believe that properties genuinely confer dispositions on their bearers. (shrink)

In this paper, I distinguish two often-conflated theses—the thesis that all dispositions are intrinsic properties and the thesis that the causal bases of all dispositions are intrinsic properties—and argue that the falsity of the former does not entail the falsity of the latter. In particular, I argue that extrinsic dispositions are a counterexample to first thesis but not necessarily to the second thesis, because an extrinsic disposition does not need to include any extrinsic property in its causal basis. I conclude (...) by drawing some general lessons about the nature of dispositions and their relation to their causal bases. (shrink)

Supersubstantivalism, the view that material objects are identical to their locations, has recently been defended in metaphysics and philosophy of physics. One of the most powerful arguments in its favour is the so-called argument from harmony. There is a certain harmony between material objects and their locations. Necessarily, if material object x is located at a spherical region, x is spherical. Necessarily, if material object x is located at region r, any part of x is located at a part of (...) r. Supersubstantivalism offers a straightforward explanation of such harmony. By contrast, dualism, the view that material objects are distinct from their locations, does not offer any explanation and should regard harmony principles as unexplained coincidences. In this paper I put forward a theory, which I shall call the ‘Inheritance Theory’, that does provide a straightforward explanation of harmony on behalf of dualists. (shrink)