I propose an account of possible worlds. According to the account, possible worlds are pluralities of sentences in an extremely large language. This account avoids a problem, relating to the total number of possible worlds, that other accounts face. And it has several additional benefits.

It follows from Humean principles of plenitude, I argue, that island universes are possible: physical reality might have 'absolutely isolated' parts. This makes trouble for Lewis's modal realism; but the realist has a way out. First, accept absolute actuality, which is defensible, I argue, on independent grounds. Second, revise the standard analysis of modality: modal operators are 'plural', not 'individual', quantifiers over possible worlds. This solves the problem of island universes and confers three additional benefits: an 'unqualified' principle of compossibility (...) can be accepted; the possibility of nothing can be accommodated; and the identity of indiscernible worlds can be decisively refuted. (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)

According to David Lewis's extreme modal realism, every waythat a world could be is a way that some concretely existingphysical world really is. But if the worlds are physicalentities, then there should be a set of all worlds, whereasI show that in fact the collection of all possible worlds is nota set. The latter conclusion remains true even outside of theLewisian framework.

This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...) concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (shrink)

In this paper, we give a precise characterization of the principle of recombination and argue that it need not be subject to any restrictions.

In this paper, we give a precise characterization of the principle of recombination and argue that it need not be subject to any restrictions.

This dissertation concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

Magical ersatzism is the view that possible worlds are primitive abstract entities. In On the Plurality of Worlds, David Lewis presented what appeared to many to be a devastating argument against magical ersatzism. In this paper, I show that Lewis’ central argument does not succeed. Magical ersatzism remains a viable theory of possible worlds.

Modal primitivists hold that some modal truths are primitively true. They thus seem to face a special epistemological problem: how can primitive modal truths be known? The epistemological objection has not been adequately developed in the literature. I undertake to develop the objection, and then to argue that the best formulation of the epistemological objection targets all realists about modality, rather than the primitivist alone. Furthermore, the moves available to reductionists in response to the objection are also available to primitivists. (...) I conclude by suggesting that extant theories of the epistemology of modality are not sensitive to the question of primitivism versus reductionism. (shrink)

Many are reluctant to accept primitive modality into their fundamental picture of the world. The worry often traces to this thought: we shouldn't adopt any more primitive - that is, unexplained - notions than we need in order to explain all the features of the world, and primitive modal notions are not needed. I examine one prominent rival to modal primitivism, combinatorialism, and show that in order to account for all the modal features of the world the combinatorialist must adopt (...) two additional primitive notions. My own modal primitivist view takes as primitive the notion of incompatibility between properties or relations. I show how the non-modal notions that the combinatorialist must adopt as primitive may be analyzed using my notion. The upshot is that with respect to the number of primitive notions, my modal primitivist theory comes out ahead. (shrink)

Philosophers often explain what could be the case in terms of what is, in fact, the case at one possible world or another. They may differ in what they take possible worlds to be or in their gloss of what is for something to be the case at a possible world. Still, they stand united by the threat of paradox. A family of paradoxes akin to the set-theoretic antinomies seem to allow one to derive a contradiction from apparently plausible principles. (...) Some of them concern the interaction between propositions and worlds, and they appear to afford the means to map classes of propositions into propositions – or, likewise, classes of worlds into worlds – in a one-to-one fashion that leads to contradiction. Yet another family of paradoxes threaten the view that whatever could exist does, in fact, exist, which is in line with modal realism, for example. This article aims to survey and identify the source of each family of paradoxes as well as to outline some responses to them. (shrink)

Robert Black argues against quidditism on the grounds that the quidditist is either committed to proper-class many possible worlds and proper-class many possible fundamental properties or must adopt an unacceptably arbitrary restriction on the number of possible fundamental properties. In this paper, I examine Black’s cardinality argument against quidditism and argue that quidditists and non-quidditists alike have reason to reject a key premise of that argument. While it may be the case that the quidditist is committed to nomically indiscernible possible (...) worlds that mark distinctions that make no difference to the physicist, it does not appear that the cardinality of the class of possible worlds or the class of possible fundamental properties postulated by the quidditist is any more problematic than that postulated by the non-quidditist. (shrink)

This note is to show that a well-known point about David Lewis’s (1986) modal realism applies to Timothy Williamson’s (1998; 2002) theory of necessary existents as well.1 Each theory, together with certain “recombination” principles, generates individuals too numerous to form a set. The simplest version of the argument comes from Daniel Nolan (1996).2 Assume the following recombination principle: for each cardinal number, ν, it’s possible that there exist ν nonsets. Then given Lewis’s modal realism it follows that there can be (...) no set of all (that is, Absolutely All) the nonsets. For suppose for reductio that there were such a set, A; let ν be A’s cardinality; and let µ be any cardinal number larger than ν. By the recombination principle, it’s possible that there exist µ nonsets; by modal realism, there exists a possible world containing, as parts, µ nonsets; each of these nonsets is a member of A. (shrink)

I suggest a way in which metaphysics might cure us of our desire for immortality. Supposing that time is composed of instants, or even that time could be composed of instants, leads to the conclusion that there is nothing good that immortality offers, nothing we might reasonably want, that is in principle unavailable to a mere mortal. My argument proceeds in three stages. First, I suggest a necessary condition for a feature to ground the desirability of a life or a (...) portion thereof. Second, after distinguishing between three different features that could plausibly be meant by ’immortality’, I argue that if time could be composed of instants, only one of those features satisfies the necessary condition, and it evidently fails to ground the desirability of a life. Third, I argue that no feature that entails any of the three features grounds the desirability of a life either. I conclude with reflections on what this means for our longing for immortality. (shrink)

This paper is about intentional identity, the phenomenon of intentional attitudes having a common focus. I present an argument against an approach to explaining intentional identity, defended by Nathan Salmon, Terence Parsons and others, that involves positing exotic objects. For example, those who adopt this sort of view say that when two astronomers had beliefs about Vulcan, their attitudes had a common focus because there is an exotic object that both of their beliefs were about. I argue that countenancing these (...) exotic objects does not help us explain intentional identity. (shrink)

There are various well-known paradoxes of modal recombination. This paper offers a solution to a variety of such paradoxes in the form of a new conception of metaphysical modality. On the proposed conception, metaphysical modality exhibits a type of indefinite extensibility. Indeed, for any objective modality there will always be some further, broader objective modality; in other terms, modal space will always be open to expansion.

I present a novel argument against the non-contingency of identity. I first argue that the necessity of distinctness is intimately connected with numerous paradoxes of recombination. In particular, I argue that those who reject the necessity of distinctness have natural solutions to various paradoxes of recombination which have plagued the metaphysics of modality. Moreover, I argue that adding the necessity of distinctness to modest, paradox-free assumptions is sufficient to reinstate the paradoxes. Given that identity is non-contingent only if distinctness is (...) necessary, I suggest this constitutes new evidence against the non-contingency of identity. (shrink)

I argue for the possibility of hypergunk: that is, it is possible that there exists an x such that every part of x has a proper part and, for any set S of parts of x, there is a set S′ of parts of...

The question of what truths are necessary in the broadest possible sense is a difficult one to answer, as is the question of what the limits are to what is possible. (Most people would see these two questions as different sides of the same coin, of course, since many think the question of what is possible is just the question of what is not necessarily ruled out). We have three general sorts of strategies for determining whether something is necessary (or (...) possible). We can identify it in a class that we were previously sure was a class of things that are necessary – we might show it is a theorem of a logical system that we have confidence in, or that the sentence appears to be true simply in virtue of the meanings of the words, or that it is a true statement involving names or about natural kinds of the “necessary a posteriori” sort discussed by Kripke and Putnam, and there are perhaps other classes of claims which we are prepared to accept are necessary if true.1 Likewise, we might establish the possibility of something occurring by reference to a class of well-established or uncontroversial possibilities: e.g. we are inclined to think that it is possible (in the broadest sense) for an event to occur in the future if one of the same kind has occurred in the past. (shrink)

David Lewis claims that his theory of modality successfully reduces modal items to nonmodal items. This essay will clarify this claim and argue that it is true. This is largely an exercise within ‘Ludovician Polycosmology’: I hope to show that a certain intuitive resistance to the reduction and a set of related objections misunderstand the nature of the Ludovician project. But these results are of broad interest since they show that would-be reductionists have more formidable argumentative resources than is often (...) thought. Lewis’s reduction depends on a set of methodological commitments each of which is fairly plausible or at least currently popular, and none of which is particular to modality. The choice of which of these commitments to reject I leave to the discerning antireductionist. The essay proceeds as follows: §1 discusses reduction generally and one or two relevant puzzles; §2 discusses Lewis’s reduction in particular; the longest section, §3 replies to four objections. (shrink)

A solution to the problem of intrinsic change for enduring things should meet three conditions. It should not replace monadic intrinsic properties by relations. It should not replace the having simpliciter of properties by standing in some relation to them. It should not rely on an unexplained notion of having an intrinsic property at a time. Johnston's solution satisfies the first condition at the expense of the second. Haslanger's solution satisfies the first and second at the expense of the third.

Several alleged counterexamples to the definition of ‘intrinsic’ proposed in Rae Langton and David Lewis, ‘Defining “Intrinsic”’, are unconvincing. Yet there are reasons for dissatisfaction, and room for improvement. One desirable change is to raise the standard of non-disjunctiveness, thereby putting less burden on contentious judgements of comparative naturalness. A second is to deal with spurious independence by throwing out just the disjunctive troublemakers, instead of throwing out disjunctive properties wholesale, and afterward reinstating those impeccably intrinsic disjunctive properties that are (...) not troublemakers. A third, suggested by Brian Weatherson, would be to invoke the general principle that the intrinsic and the extrinsic characters of things are independent, rather than relying just on one special case of this principle; but it is none too obvious how to do this. (shrink)

In this paper, I develop a "safety result" for applied mathematics. I show that whenever a theory in natural science entails some non-mathematical conclusion via an application of mathematics, there is a counterpart theory that carries no commitment to mathematical objects, entails the same conclusion, and the claims of which are true if the claims of the original theory are "correct": roughly, true given the assumption that mathematical objects exist. The framework used for proving the safety result has some advantages (...) over existing nominalistic accounts of applied mathematics. It also provides a nominalistic account of pure mathematics. (shrink)

We argue that certain modal questions raise serious problems for a modal metaphysics on which we are permitted to quantify unrestrictedly over all possibilia. In particular, we argue that, on reasonable assumptions, both David Lewis's modal realism and Timothy Williamson's necessitism are saddled with the remarkable conclusion that there is some cardinal number of the form ℵα such that there could not be more than ℵα-many angels in existence. In the last section, we make use of similar ideas to draw (...) a moral for a recent debate in meta-ontology. (shrink)

A new puzzle of modal recombination is presented which relies purely on resources of first-order modal logic. It shows that naive recombinatorial reasoning, which has previously been shown to be inconsistent with various assumptions concerning propositions, sets and classes, leads to inconsistency by itself. The context sensitivity of modal expressions is suggested as the source of the puzzle, and it is argued that it gives us reason to reconsider the assumption that the notion of metaphysical necessity is in good standing.

This article discusses the possibility of some outlandish tropes from time travel fiction, such as people reversing in age as they time travel or the universe being destroyed because a time traveler kills their ancestor. First, I discuss what type of possibility we might have in mind, detailing ‘close possibility’ as one such candidate. Secondly, I argue that—with only little exception—these more outlandish tropes fail to be closely possible. Thirdly, I discuss whether these outlandish tropes may nevertheless be more broadly (...) possible (e.g., metaphysically or logically possible), arguing that whether they are or not depends upon your favored metaphysics of the laws of nature. (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)

In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular thesis in (...) the philosophy of mathematics that rules out the maximalist view in many different ontological debates. (shrink)

Concretism is the ontological thesis according to which possibilia are concrete entities. The paper first outlines concretism, arguing that its sole founding thesis is that individuals across possible worlds are individuated by similitude. Among other things, this means that there is no need to postulate that there is no overlap among worlds. The main virtues and vices of concretism are then reviewed, and a novel vice is put forward: a failure in the reduction of modality due to the modal character (...) of intrinsicness. (shrink)

As Williamson puts it, ‘necessitism’ is the metaphysical view that claims that “necessarily everything is necessarily something”. As that claim involves modal unrestricted quantification, the necessitist must accept it as a part of an intelligible discourse. Here, I present one of the main objections that have been presented against the intelligibility of unrestricted quantification: the objection based on the so-called All-in-One Principle. I then propose possible strategies that the necessitist could adopt to shield themselves from the objection.

While many are impressed with the utility of possible worlds in linguistics and philosophy, few can accept the modal realism of David Lewis, who regards possible worlds as sui generis entities of a kind with the concrete world we inhabit.1 Not all uses of possible worlds require exotic ontology. Consider, for instance, the use of Kripke models to establish formal results in modal logic. These models contain sets often regarded for heuristic reasons as sets of “possible worlds”. But the “worlds” (...) in these sets can be anything at all; they can be numbers, or people, or sh. The set of worlds, together with the accessibility relation and the rest of the model, is used as a purely formal structure.2 One can even go beyond establishing results about formal systems and apply Kripke models to English, as Charles Chihara has recently argued.3 Chihara shows, for instance, how to use Kripke models (plus primitive modal notions) to give an account of validity for English modal sentences. In other cases worlds are not really needed at all. It is often vivid to give a counterexample thus: “There is a possible world in which P. Since your theory implies that in all worlds, not-P, your theory is wrong.” But the counterexample could just as easily be given using modal operators: “Possibly, P. Since your theory implies that it is necessary that not-P, your theory is wrong.”. (shrink)

This entry focuses on two of the more historically important monisms: existence monism and priority monism . Existence monism targets concrete objects and counts by tokens. This is the doctrine that exactly one concrete object exists. Priority monism also targets concrete objects, but counts by basic tokens. This is the doctrine that exactly one concrete object is basic, which will turn out to be the classical doctrine that the whole is prior to its parts.

This article includes a basic overview of possible world semantics and a relatively comprehensive overview of three central philosophical conceptions of possible worlds: Concretism (represented chiefly by Lewis), Abstractionism (represented chiefly by Plantinga), and Combinatorialism (represented chiefly by Armstrong).

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

This paper builds on the system of David Lewis’s “Parts of Classes” to provide a foundation for mathematics that arguably requires not only no distinctively mathematical ideological commitments (in the sense of Quine), but also no distinctively mathematical ontological commitments. Provided only that there are enough individual atoms, the devices of plural quantification and mereology can be employed to simulate quantification over classes, while at the same time allowing all of the atoms (and most of their fusions with which we (...) are concerned) to be individuals (that is, urelements of classes). The final section of the paper canvasses some reasons to be committed to the required ontology for other than mathematical reasons. (shrink)

The ontological pictures underpinning David Lewis's Parts of Classes and On the Plurality of Worlds are in some tension. One tension concerns whether the sets and classes of Parts of Classes can be found in Lewis's modal space, since they cannot in general be parts of any possible world. The second is that the atoms that are the mathematical ontology of Parts of Classes seem to meet the criteria for being possible worlds themselves, and so fail to be the material (...) Parts of Classes needs. Two different responses to these tensions are discussed: one is unappealing in several ways but keeps more of Lewis's doctrines, while the other requires some modifications to the system of Parts of Classes. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

The Forrest-Armstrong argument, as reconfigured by David Lewis, is a reductio against an unrestricted principle of recombination. There is a gap in the argument which Lewis thought could be bridged by an appeal to recombination. After presenting the argument, I show that no plausible principle of recombination can bridge the gap. But other plausible principles of plenitude can bridge the gap, both principles of plenitude for world contents and principles of plenitude for world structures. I conclude that the Forrest-Armstrong argument, (...) when fortified in one of these ways, demands that unrestricted recombination be rejected. The appropriate restriction comes from a consideration of what world structures are possible. I argue that, although there are too many worlds to form a set, for any world, the individuals at that world do form a set. To defend it I invoke a principle of Limitation of Size together with an iterative conception of structure. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

Some intentional attitudes (beliefs, fears, desires, etc.) have a common focus in spite of there being no object at that focus. For example, two beliefs may be about the same witch even when there are no witches, different astronomers had beliefs directed at Vulcan, even though there is no such planet. This relation of having a common focus, whether or not there is an actual concrete object at that focus, is called intentional identity. In the first part of this thesis (...) I develop a new theory of intentional identity, the triangulation theory, and argue that it has significant advantages over the extant theories of intentional identity in the literature. Empty attitudes (attitudes that are not, prima facie, about anything that exists) will serve as useful cases for testing theories of intentional identity. -/- In the second part, I put the theory developed in the first part to work. I use triangulation theoretic tools to shed light on other debates about intentional attitudes. Some issues to which intentional identity are relevant are the debate about the content of intentional attitudes, the issue of whether or not we need to appeal to external constraints on the content of intentional attitudes, how we should understand the agreement and disagreement of attitudes, how we should construe communication and how we ought to solve Kripke’s puzzle about belief. The second part of this thesis also motivates a broadly internalist and individualistic approach to the con-tent of intentional attitudes; it turns out that if we take a closer look at the narrowly construed psychological states of agents we find materials that allow us to make sense of phenomena usually associated with externalist constraints on the content of attitudes (such as causal constraints and eligibility constraints) in a new way. (shrink)

I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.