An exploration of the details of counterpart theory, and some applications of the view. In Chapter 1, I set out the view and clarify the most important features: that the counterpart relation is a context dependent similarity relation, and that individuals are world-bound entities. I then set out what I take to be the most promising methods of filling in important details. Chapter 2 is a discussion of an alternative view, lump theory. I attempt to distinguish lump theory from counterpart (...) theory, and argue that several attempt to do so fail. Chapter 3 is an attempt to apply counterpart theory for individuals to properties. I attempt to stay as close to the standard view as possible, but find it necessary to modify the world-bound condition. I suggest a version of property counterpart theory that overcomes the obstacles I have identified. The final chapter is a discussion of a recent attempt to apply counterpart theory to the comparativist view of quantitative properties. I argue that an attempt to rely on counterpart theory to overcome an objection is unsuccessful. (shrink)

This paper argues that much of the literature on interpreting scientific theories presupposes a certain picture of what interpretation involves: a picture according to which interpreting a theory is like translating from one language to another. In place of this “external” approach to interpretation, this paper proposes an “internal” approach, according to which interpretation is more concerned with delineating a theory’s internal semantic architecture.

The distinction between qualitative properties like mass and shape and non-qualitative properties like being Napoleon and being next to Obama is important, but remains largely unexamined. After discussing its theoretical significance and cataloguing various kinds of non-qualitative properties, I survey several views about the nature of this distinction and argue that all proposed reductive analyses of this distinction are unsatisfactory. I then defend primitivism, according to which the distinction resists reductive analysis.

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

The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds : ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative parsimony, commonly drawn regarding ontological commitments, to the domain of ideological commitments. I then argue that qualitative ideological parsimony is a theoretical virtue. My (...) defense proceeds by demonstrating the merits of qualitative ideological parsimony and by showing how the qualitative conception of ideological parsimony undermines two notable arguments from ideological parsimony: David Lewis’ defense of modal realism and Ted Sider’s defense of mereological nihilism. (shrink)

In this paper, I argue for a particular conception of impossible worlds. Possible worlds, as traditionally understood, can be used in the analysis of propositions, the content of belief, the truth of counterfactuals, and so on. Yet possible worlds are not capable of differentiating propositions that are necessarily equivalent, making sense of the beliefs of agents who are not ideally rational, or giving truth values to counterfactuals with necessarily false antecedents. The addition of impossible worlds addresses these issues. The kinds (...) of impossible worlds capable of performing this task are not mysterious sui generis entities, but sets of structured propositions that are themselves constructed out of possible worlds and relations. I also respond to a worry that these impossible worlds are unable to represent claims about the shape of modal space itself. (shrink)

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)

The possibility of Junk is the possibility that something exists and everything is a proper part. Just as we might imagine that there are no simples—that everything has a proper part, all the way down—we might imagine that there are no caps—that everything is a proper part, all the way up. It is not obvious that this apparent possibility can be accommodated within a Lewisian modal framework. For Lewis, every possibility involves the existence of a possible world, and a possible (...) world is just is a maximal sum, and so a cap. But the Lewisian can accommodate Junk, if she wishes, by allowing parts of possible worlds to represent complete possibilities. (shrink)

I am a realist of a metaphysical stripe. I believe in an immense realm of "modal" and "abstract" entities, of entities that are neither part of, nor stand in any causal relation to, the actual, concrete world. For starters: I believe in possible worlds and individuals; in propositions, properties, and relations (both abundantly and sparsely conceived); in mathematical objects and structures; and in sets (or classes) of whatever I believe in. Call these sorts of entity, and the reality they comprise, (...) metaphysical. In contrast, call the actual, concrete entities, and the reality they comprise, physical. Physical and metaphysical reality together comprise all that there is. In this paper, it is not my aim to defend realism about any particular metaphysical sort of entity. Rather, I ask quite generally whether and how any brand of realism about metaphysical sorts of entity could be justified? (shrink)

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section in which (...) I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality. (shrink)

David Lewis's book 'On the Plurality of Worlds' mounts an extended defense of the thesis of modal realism, that the world we inhabit the entire cosmos of which we are a part is but one of a vast plurality of worlds, or cosmoi, all causally and spatiotemporally isolated from one another. The purpose of this article is to provide an accessible summary of the main positions and arguments in Lewis's book.

Let serious propositional contingentism (SPC) be the package of views which consists in (i) the thesis that propositions expressed by sentences featuring terms depend, for their existence, on the existence of the referents of those terms, (ii) serious actualism—the view that it is impossible for an object to exemplify a property and not exist—and (iii) contingentism—the view that it is at least possible that some thing might not have been something. SPC is popular and compelling. But what should we say (...) about possible worlds, if we accept SPC? Here, I first show that a natural view of possible worlds, well-represented in the literature, in conjunction with SPC is inadequate. Though I note various alternative ways of thinking about possible worlds in response to the first problem, I then outline a second more general problem—a master argument—which generally shows that any account of possible worlds meeting very minimal requirements will be inconsistent with compelling claims about mere possibilia which the serious propositional contingentist should accept. (shrink)

The Consequence Argument is a staple in the defense of libertarianism, the view that free will is incompatible with determinism and that humans have free will. It is often thought that libertarianism is consistent with a certain naturalistic view of the world — that is, that libertarian free will can be had without metaphysical commitments beyond those pro- vided by our best (indeterministic) physics. In this paper, I argue that libertarians who endorse the Consequence Argument are forced to reject this (...) naturalistic worldview, since the Consequence Argument has a sis- ter argument — I call it the Supervenience Argument — which cannot be rejected without threatening either the Consequence Argument or the naturalistic worldview in question. (shrink)

Time and modality show remarkable similarities. Each of the most discussed theories in philosophy of time finds an analogous counterpart in modal metaphysics, suggesting that the parallel between the two notions is metaphysically deep. This chapter offers a brief overview of their analogies. Section 1 addresses the analogy between presentism and actualism. Section 2 explores the analogy between non-presentist theories and possibilism. Section 3 discusses the analogy between temporal and modal persistence.

This paper investigates the prospects of developing a branching modal framework while keeping with the spirit of Humean Supervenience. It is argued that such an approach is bound to face hard problems regarding haecceitism and the notion of recombination. Possible directions for future philosophical developments of branching frameworks are suggested.

'Chains of Being' argues that there can be infinite chains of dependence or grounding. Cameron also defends the view that there can be circular relations of ontological dependence or grounding, and uses these claims to explore issues in logic and ontology.

Quine taught us the difference between a theory’s ontology and its ideology. Ontology is the things a theory’s quantifiers must range over if it is true, Ideology is the primitive concepts that must be used to state the theory. This allows us to split the theoretical virtue of parsimony into two kinds: ontological parsimony and ideological parsimony. My goal is help illuminate the virtue of ideological parsimony by giving a criterion for ideological innocence—a rule for when additional ideology does not (...) count against parsimony. I propose the expressive power innocence criterion: if the ideology of theory one is expressively equivalent to that of theory two, then neither is ideologically simpler than the other. In its favor I offer the argument from accuracy, showing that any account of a theoretical virtue that is supposed to make theories that have it more likely to be true than theories that do not must respect it. Next I consider its ramifications, eliminating rival views and passing judgment on some arguments from parsimony that can be found in the literature. Finally, I consider two objections. First: I address an objection arising from the possibility of languages with a ‘primitive’ operator that allows us to list a theory’s primitives in the object-language. Second: I address an objection raised by Nelson Goodman against attempts to reckon simplicity by expressive power. Both objections fail. (shrink)

This article aims to provide a defense of the coherence of the doctrine of middle knowledge against the Grounding Objection. A solution to the Grounding Objection is provided by utilising the metaphysical thesis of Modal Realism proposed by David K. Lewis (as further developed by Kris McDaniel and Philip Bricker). Utilising this metaphysical thesis will enable the Counterfactuals of Creaturely Freedom, that are part of God’s middle knowledge, to have pre-volitional truthmakers, and thus, ultimately, we will have a means to (...) finally deal with this problematic issue that has often been raised against this doctrine. (shrink)

This essay offers an original interpretation and defense of the doctrine of flux, as it is presented in Plato’s Theaetetus. The methodology of the paper’s analysis is in the style of rational reconstruction, and it is highly analytic in scope, in the sense that I will focus on the text itself, and only on certain parts of it too, while ignoring the rest of Plato’s extensive corpus, and without worrying about whether, how, and to what extent the interpretation of the (...) view coheres well with the other elements of the secret doctrine view discussed in the dialogue, as well. In the first part of the essay, I’ll offer my interpretation of the doctrine. Then, in the second part of the essay, I’ll examine two potential criticisms of the doctrine, including Socrates’s infamous linguistic paradox, and show how my interpretation of Heraclitean flux metaphysics is able to circumvent both. (shrink)

Jaakko Hintikka proposed treating objectual perception sentences, such as “Alice sees Bob,” as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as “Alice sees Bob smile.” These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that builds on Hintikka’s modal (...) approach to propositional attitude ascriptions while avoiding controversial assumptions on the nature of perceptual experiences. Despite being simple and theoretically frugal, our approach is powerful enough to express a variety of interesting philosophical views about propositional, objectual, and eventive perception sentences, thus enabling the study of their inferential relationships. (shrink)

This article aims to provide a metaphysical elucidation of the notion of Theism and a coherent theological synthesis of two extensions of this notion: Classical Theism and Neo-Classical Theism. A model of this notion and its extensions is formulated within the ontological pluralism framework of Kris McDaniel and Jason Turner, and the (modified) modal realism framework of David Lewis, which enables it to be explicated clearly and consistently, and two often raised objections against the elements of this notion can be (...) successfully answered. (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Recent defenders of this view—such as Kris McDaniel and Jason Turner—have taken these ways of being to be best captured by semantically primitive quantifier expressions ranging over different domains. They have thus endorsed, what I shall call, quantificational pluralism. I argue that this focus on quantification is a mistake. For, on this view, a quantificational structure—or a quantifier for short—will be whatever part or aspect of reality’s structure (...) that a quantifier expression carves out and reflects. But if quantificational pluralism is true, then a quantifier should be more natural than its corresponding domain; and since it does not appear to be the case that a quantifier is more natural than its corresponding domain, quantificational pluralism does not appear to be true. Thus, I claim, an ontological pluralist should not be a quantificational pluralist. (shrink)

This paper is concerned with two concepts of qualitativeness that apply to intensional entities. I propose an account of pure qualitativeness that largely follows the traditional understanding established by Carnap, and try to shed light on its ontological presuppositions. On this account, an intensional entity is purely qualitative iff it does not ‘involve’ any particular. An alternative notion of qualitativeness—which I propose to refer to as a concept of strict qualitativeness—has recently been introduced by Chad Carmichael. However, Carmichael’s definition presupposes (...) a highly fine-grained conception of properties and relations. To eliminate this presupposition, I tentatively suggest a different definition that rests on a concept of perspicuous denotation. In the penultimate section, both concepts of qualitativeness are put to work in distinguishing between different ‘grades’ of qualitative discriminability. (shrink)

In his book Modal Logic as Metaphysics, Williamson argues that the traditional actualist‐possibilist debate should be abandoned as hopelessly unclear and that we should get on with the clearer contingentism‐necessitism debate. We think that Williamson’s pessimism is not warranted by the brief arguments he gives. In this paper, we explain why and provide a clear formulation of the traditional actualist‐possibilist debate.

The idea of fragmentalism has been proposed by Kit Fine as a non-standard view of tense realism. This paper examines a modal version of the view, called modal fragmentalism, which combines genuine realism and realism of modality. Modal fragmentalism has been recently discussed by Iaquinto. But unlike Iaquinto, who primarily focused on possibilities de re, in this paper, we focus on expressions of possibilities de dicto. We argue that the chief idea of modal realism should be that different worlds are (...) distinguished not just in terms of how things are differently with respect to each world, but also in terms of how things could have been differently with respect to each world. This demands a realism-oriented semantics for suppositional contents, and more specifically, for conditionals. By deploying a multidimensional semantics for conditionals, we show that there are good reasons to consider modal fragmentalism as a serious approach in metaphysics, which shares many similarities with the fragmentalism of tense. (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)

The purpose of this essay is exegesis. I explicate Nicolas Malebranche's (1674, 1678, 1688, 1714) concept of intelligible extension. I begin by detailing how the concept matured throughout Malebranche's work, and the new functions it took on within his metaphysical system. I then examine Gustav Bergmann's “axiomatic” interpretation, as well as the criticism of it offered by Daise Radner. I argue that Radner's criticism of the interpretation is only partly successful; some of her objections can be met; others cannot. I (...) then develop a novel interpretation of the concept, given insights from this dispute. I call it the “programmatic interpretation.” I argue that this interpretation coheres well with Malebranche's famous Vision in God thesis, as well as many of his other commitments. I conclude by considering a certain pertinent objection to my proposal, summarizing the dialectic, and forcefully restating my case. (shrink)

I argue against a principle that is widely taken to govern metaphysical explanation. This is the principle that no necessary facts can, on their own, explain a contingent fact. I then show how this result makes available a response to a longstanding objection to the Principle of Sufficient Reason—the objection that the Principle of Sufficient Reason entails that the world could not have been otherwise.

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with various (...) historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

The distinction between qualitative and non-qualitative properties should be familiar from discussions of the principle of the identity of indiscernibles: two otherwise exactly similar individuals, Castor and Pollux, might share all their qualitative properties yet differ with respect to their non-qualitative properties—for while Castor has the property being identical to Castor, Pollux does not. But while this distinction is familiar, there has not been much critical attention devoted to spelling out its precise nature. I argue that the class of non-qualitative (...) properties is broader than it is often taken to be. When properly construed, it will not only include properties such as being identical to Castor, which somehow make reference to particular individuals, it will also include more general properties such as identity, composition, set membership, as well as various peculiarly ontological properties. Given that some of these more general properties help to explain objective similarity, we have reason to believe that there are fundamental non-qualitative properties. (shrink)

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)

A lump theorist claims that ordinary objects are spread out across possible worlds, much like many of us think that tables are spread out across space. We are not wholly located in any one particular world, the lump theorist claims, just as we are not wholly spatially located where one’s hand is. We are modally spread out, a trans-world mereological sum of world-bound parts. We are lump sums of modal parts. And so are all other ordinary objects. In this paper, (...) I explore lump theory and investigate five arguments against it. These arguments may be the primary reasons why lump theory has not been widely accepted––or extensively explored––until now. I maintain that these arguments can be answered, and moreover, that accepting lump theory has distinct advantages, making it a competitive view in its own right. (shrink)

I begin by giving reasons to accept the block-universe view, the strongly supported by physics view that we live in a four-dimensional world. According to it, the past and the future are as real as the present. As a result, it seems that the future is determined in the sense that what will be the case will necessarily be the case. In the dissertation, I examine whether we have to accept this consequence. I show that we do not have to (...) bite the bullet: the future might be both real and contingent. I first start to consider modal realism (possible futures are real) as a possible solution. However, I propose then another account, actualist (positing the reality of only one possible world: the space-time we live in). This solution relies on a conventionalist theory about metaphysical modality (Sidelle, 1989). It states that modal modality is purely conventional. In combination with a realist interpretation of natural modality (causal and/or nomological), this framework allows me to propose that the future is conventionally closed and naturally contingent. In this view, the necessity of the future holds in virtue of linguistic conventions and then is conventionally necessary. But this is a distinct phenomenon from the natural contingency of the future: the future is naturally contingent because there are mind-independent probabilistic relations holding between the present and the future. This solution has strong consequences: most importantly, an anti-realist view about ordinary objects and physical particles. I end up by presenting and arguing in favour of the general image of the world that comes out from these views. (shrink)

Haecceitism and Hume’s Dictum are each controversial theses about necessity and possibility. According to haecceitism, there are qualitatively indiscernible possible worlds that differ only with respect to which individuals occupy which qualitative roles. According to Hume’s Dictum, there are no necessary connections between distinct entities or, as Humeans sometimes put it, reality admits of “free recombination” so any entities can co-exist or fail to co-exist. This paper introduces a puzzle that results from the combination of haecceitism and Hume’s Dictum. This (...) puzzle revolves around the free recombination of non-qualitative properties like being Socrates. After considering several responses to this puzzle, I defend an ideology-driven solution, which dispenses with non-qualitative properties like being Socrates in favour of primitive theoretical ideology while, at the same time, preserving a commitment to both haecceitism and Hume’s Dictum. (shrink)

Some properties such as having a beard and being a philosopher are intuitively qualitative, while other properties such as being identical to Plato and being a student of Socrates are intuitively non-qualitative. It is often assumed that, necessarily, a property is qualitative if and only if it can be designated descriptively without the aid of directly referential devices. I argue that this linguistic thesis fails in both directions: there might be non-qualitative properties that can be designated descriptively, and there appear (...) to be qualitative properties that can only be designated directly. I conclude that while the linguistic thesis is ultimately untenable as stated, it can be plausibly recast as a thesis about our concepts rather than the properties they designate. (shrink)

The common wisdom, among philosophers of language and metaphysicians of analytic tradition, is that though only actual things exist, ‘being actual’ and its cognates do not ascribe a special feature...

Modal realists face a puzzle. For modal realism to be justified, modal realists need to be able to give a successful reduction of modality. A simple argument, however, appears to show that the reduction they propose fails. In order to defend the claim that modal realism is justified, modal realists therefore need to either show that this argument fails, or show that modal realists can give another reduction of modality that is successful. I argue that modal realists cannot do either (...) of these things and that, as a result, modal realism is unjustified and should be rejected. (shrink)

In this dissertation, I develop an interpretation of Leibniz on modality and free will. I do so for two reasons: first, I am attempting to revitalize the notion that Leibniz is the predecessor of contemporary modal semantics; second, I am using Leibniz's philosophical system to motivate responses to contemporary philosophical issues in modality and free will. In Chapter One, I argue that Leibniz's basic principles are plausible theoretical tools that ought to be used by contemporary philosophers in developing their philosophical (...) systems. In Chapter Two, I develop Leibniz's views on the nature of individuals. I argue that possible individuals are actually of the same sort as individuals in the actual world--possible individuals and actual individuals are complete creatures that do not differ ontologically from each other. In Chapter Three, I argue that Leibniz's views on possible individuals make him a modal realist and compare his view with contemporary modal realism in order to support this claim. I also argue that counterparts avoid many of the problems set for them by contemporary thinkers; I end with the ways that Leibniz's view differs from contemporary accounts. In Chapter Four, I argue that Leibniz provides two different analyses of modality. The first is an infinite analysis account; the second is a possible worlds account. I argue that these two accounts are compatible and amount to two different descriptions of the same theory of modality. I address objections to each account in order to show this. In Chapter Five, I argue that Leibniz is a compatibilist about free will. Importantly, I argue that it is precisely Leibniz's account of modality that allows for this compatibilism, as against a necessitarian like Spinoza. I then use Leibniz's account to challenge contemporary libertarians about free will on the basis of the principle of sufficient reason. I also show how Leibniz can help semicompatibilism avoid a worry concerning necessitarianism. At the end of the day, I claim that adopting elements of Leibniz's system can help us better understand modality and the freedom of the will and can be an aid in furthering contemporary philosophical theory. (shrink)

In this paper, I examine our intuitive understanding of metaphysical contingency, and ask what features a metaphysical picture must possess in order to satisfy our intuitions about modal matters. After spelling out what I think are the central intuitions in this domain, I examine the debate between the two most widely held views on the nature of modality, namely, modal realism and modal actualism. I argue that while each of these views is able to accommodate some of our intuitions, it (...) leaves others unsatisfied. I then present an alternative metaphysical picture, which I argue can accommodate our intuitions in a way that the traditional views cannot. More specifically, I argue that our intuitions about modality call for a pluralist view of the structure of reality—a view on which there is more than one ultimate ‘shape’ to the fundamental facts, each corresponding to a distinct metaphysically privileged perspective on reality. (shrink)

In this paper, I examine the putative incompatibility of three theses: (1) Haecceitism, according to which some maximal possibilities differ solely in terms of the non-qualitative or de re possibilities they include; (2) Modal correspondence, according to which each maximal possibility is identical with a unique possible world; (3) Counterpart theory, according to which de re modality is analyzed in terms of counterpart relations between individuals. After showing how the modal realism defended by David Lewis resolves this incompatibility by rejecting (...) modal correspondence, I defend modal correspondence and develop an alternative strategy for reconciling these theses. Specifically, I examine Lewis’s arguments against non-qualitative counterpart theory and undermine them by developing a novel version of non-qualitative counterpart theory that appeals to a metaphysics of bare particulars. I then indicate how this version of non-qualitative counterpart theory accommodates both haecceitism and modal correspondence. (shrink)