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)

According to the orthodox account developed by Kaplan, indexicals like I, you, and now invariably refer to elements of the context of speech. This essay argues that the orthodoxy is wrong. I, you, and the like are shifted by certain modal operators and hence can fail to refer to elements of the context, for example, I can fail to refer to the speaker. More precisely, indexicals are syntactically akin to logical variables. They can be free, in which case they work, (...) roughly, on the Kaplan model. But they can also be bound: this happens, in a systematic fashion, when they are in the scope of epistemic modals or attitude verbs. The new view has two interesting philosophical consequences. First, it vindicates a broadly Fregean perspective on referential expressions, essentially refuting the idea that indexicals are rigid designators. Second, it suggests a new picture of the interaction between context and linguistic meaning: compositional semantics does not need to look at the context and hence has no need for a context parameter. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

What is the relation between a clay statue andthe lump of clay from which it is made? According to the defender of the standardaccount, the statue and the lump are distinct,enduring objects that share the same spatiallocation whenever they both exist. Suchobjects also seem to share the samemicrophysical structure whenever they bothexist. This leads to the standard objection tothe standard account: if the statue and thelump of clay have the same microphysicalstructure whenever they both exist, how canthey differ in their (...) de re temporalproperties, de re modal properties and soon? In this paper I develop amereological answer to this question – thestatue and the lump differ with respect totheir parts and this explains theirdifference with respect to de re temporalproperties, de re modal properties andthe like. (shrink)

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

The counterpart theorist has a problem: there is no obvious way to understand talk about actuality in terms of counterparts. Fara and Williamson have charged that this obstacle cannot be overcome. Here I defend the counterpart theorist by offering systematic interpretations of a quantified modal language that includes an actuality operator. Centrally, I disentangle the counterpart relation from a related notion, a ‘representation relation’. The relation of possible things to the actual things they represent is variable, and an adequate account (...) of modal language must keep track of the way it is systematically shifted by modal operators. I apply my account to resolve several puzzles about counterparts and actuality. In technical appendices, I prove some important logical results about this ‘representational’ counterpart system and its relationship to other modal systems. (shrink)

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)

In my book *Resemblance Nominalism* I argued that the truthmakers of ´a and b resemble each other´ are just a and b. In his "Resemblance Nominalism and counterparts" Alexander Bird objects to my claim that the truthmakers of ´a and b resemble each other´ are just a and b. In this paper I respond to Bird´s objections.

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)

We think of the world around us as divided into physical objects like toasters and daisies, rather than solely as a smear of properties like yellow and smooth. How do we single out these objects? One theory of object concepts uses part‐of relations and relations of connectedness. According to this proposal, an object is a connected spatial item of maximal extent: Any other connected item that overlaps (i.e., shares a part with) the object must be a part of that object. (...) This article reports four experiments that test this proposal. Participants see descriptions or diagrams of spatial items that vary across trials in their relative positions. In separate experiments, participants decide whether the items are physical objects, whether they are wholes, or how many objects are present. All experiments find support for connectedness as a contributor to object status, but they find little support for maximality. The results suggest that maximality is not a necessary feature of wholes or of objects. (shrink)

Here, I suggest a hitherto relatively unexplored way beyond the opposed Aristotelian realist and Kantian idealist approaches that divide recent interpretations of the categories or “thought determinations” of Hegel’s Logic, by locating his idealism within the terrain of recent debates in modal metaphysics. In particular, I return to the outlook of the first philosopher to attempt to bring Hegel into the analytic conversation, John Niemeyer Findlay, and consider Hegel’s idealism as instantiating the metaphysical position that, following the work of Findlay’s (...) former student, Arthur Prior, has come to be called “modal actualism”. (shrink)

Models based on possible worlds have proved to be very useful in the interpretation of modal expressions. However, there is a difference in the way that mathematicians and philosophers may use such models. The mathematician constructs them to serve his own purposes and thereby determines their properties. The philosopher, on the other hand, does not have so much freedom. His objective, which is to achieve a better understanding of language, puts limits on this. Not everything can be stipulated. This fact (...) is sometimes forgotten. An example of this is the almost unrestricted use of the notion of transworld identidy in philosophical explanations and discussions. The first objective of the article is to show that this unrestricted use is illegitimate. On the other hand, it would be important to maintain the possibility of using the notion. The second objective of the article is precisely to show how this can be achieved. The kind of structure which appears to be most appropriate to account for how modalities are applied to particulars is then made explicit, formal applications of the proposed model are briefly presented, and the conditions for the application of the notion of transworld identity in the interpretation of natural language are considered. (shrink)

David Lewis’s counterpart-theoretic semantics for quantified modal logic is motivated originally by worries about identifying objects across possible worlds; the counterpart relation is grounded more cautiously on comparative similarity. The possibility of contingent identity is an unsought -- and in some eyes, unwelcome -- consequence of this approach. In this paper I motivate a Kripkean counterpart theory by way of defending the prior, pre-theoretical, coherence of contingent directness. Contingent identity follows for free. The theory is Kripkean in that the counterpart (...) relation is in a sense stipulated rather than grounded on similarity, and is such that no object has more than one counterpart at a world. This avoids a number of objections Fara and Williamson have recently levelled against counterpart theory generally; their other objections are addressed by enriching the theory with special quantifiers and actuality operators. (shrink)

Lewis’s [1968] counterpart theory (LCT for short), motivated by his modal realism, made its appearance within a year of Chisholm’s modal paradox [1967]. We are not modal realists, but we argue that a satisfactory resolution to the paradox calls for a counterpart-theoretic (CT-)semantics. We make our case by showing that the Chandler–Salmon strategy of denying the S4 axiom [◊◊ψ →◊ψ] is inadequate to resolve the paradox – we take on Salmon’s attempts to defend that strategy against objects from Lewis and (...) Williamson. We then consider three substantially different CT-approaches: Lewis’s LCT, Forbes’s (FCT), including his fuzzy version, and Ramachandran’s (RCT). We argue that the best approach is a mish-mash of FCT and RCT. (shrink)

Charles S. Peirce’s pragmatist theory of logic teaches us to take the context of utterances as an indispensable logical notion without which there is no meaning. This is not a spat against compositionality per se , since it is possible to posit extra arguments to the meaning function that composes complex meaning. However, that method would be inappropriate for a realistic notion of the meaning of assertions. To accomplish a realistic notion of meaning (as opposed e.g. to algebraic meaning), Sperber (...) and Wilson’s Relevance Theory (RT) may be applied in the spirit of Peirce’s Pragmatic Maxim (PM): the weighing of information depends on (i) the practical consequences of accommodating the chosen piece of information introduced in communication, and (ii) what will ensue in actually using that piece in further cycles of discourse. Peirce’s unpublished papers suggest a relevance-like approach to meaning. Contextual features influenced his logic of Existential Graphs (EG). Arguments are presented pro and con the view in which EGs endorse non-compositionality of meaning. (shrink)

According to four dimensionalism, the material world is divided into momentary stages. In a four-dimensional world, which objects are the ordinary things, the things we normally name and quantify over? Aggregates of stages, according to most four-dimensionalists, but according to stage theorists (or exdurantists), ordinary objects are instead to be identified with the stages themselves. (A temporal counterpart theoretic account of de re temporal predication is then given.) This paper argues that a stage theorist is best positioned to accept David (...) Lewis's argument from temporary intrinsics for four-dimensionalism, since stage theorists are the only four-dimensionalists who attribute monadic temporary intrinsic properties to ordinary things. (shrink)

A central part of the Christian doctrine of the incarnation is that the Son of God ‘becomes’ incarnate. Furthermore, according to classical theism, God is timeless: He exists ‘outside’ of time, and His life has no temporal stages. A consequence of this ‘atemporalist’ view is that a timeless being cannot undergo intrinsic change—for this requires the being to be one way at one time, and a different way at a later time. How, then, can we understand the central Christian claim (...) that the Son of God ‘becomes’ human? This paper examines one such explanation, drawn from a brief remark by Brian Leftow: the Word takes on flesh by exhibiting modal variation with regards to the incarnation. On this account, a timeless God ‘becomes’ incarnate simply due to variation across logical space: at some possible worlds He is incarnate and at others He is not. Modal variation need not, therefore, require temporality: it only requires variation across possible worlds. I draw out the problems with Leftow’s modal claim under the heads of Ersatzism and Genuine Modal Realism about possible worlds, respectively. I argue that in both instances, Leftow’s desired cross–worldly variation of the Son’s incarnation cannot be achieved. (shrink)

If an object has a property essentially, it has that property in every possible world according to which it exists.2 If an object has a property accidentally, it does not have that property in every possible world according to which it exists. Claims about an object’s essential or accidental properties are de re modal claims, and essential and accidental properties are de re modal properties. Take an object’s modal profile to specify its essential properties and the range of its accidental (...) properties. Note that “world” as I am using it is a term of art: a modal realist believes that there are many concrete worlds, while the actualist believes in only one concrete world, the actual world. The ersatzist is an actualist who takes nonactual possible worlds and their contents to be abstracta. Essentialism is the view that objects have properties essentially, but one should distinguish deep essentialism from shallow essentialism. Deep essentialists take the (nontrivial) essential properties of an object to determine its nature— such properties give sense to the idea that an object has a unique and distinctive character, and make it the case that an object has to be a certain way in order for it to be at all.3 As Stephen Yablo (1987, 297) describes it, the essence of a thing is “an assortment of properties in virtue of which it is the entity in question,” as well as “a measure of what is required for it to be that thing.” Intuitively, on the deep essentialist picture, an ordinary object has essential properties, and it must have its essential properties in order for it to exist. On this view, objects’ essential properties are absolute, i.e., are not determined by contexts of describing (or thinking, etc.) about the object, and truths about such properties are absolute truths.4 Shallow essentialists oppose deep essentialists: they reject the view that objects can be said to have essential properties independently of contexts of description or evaluation, and so substitute context-dependent truths for the deep essentialist’s context-independent ones.. (shrink)

This paper discusses “inclusionism” in the context of David Lewis’s modal realism (and in the context of parasitic accounts of modality such as John Divers’s agnosticism about possible worlds). This is the doctrine that everything is a world. I argue that this doctrine would be beneficial to Divers-style agnosticism; that it suggests a reconfiguration of the concept of actuality in modal realism; and finally that it suffers from an as-yet unsolved difficulty, the problem of the unmarried husbands. This problem also (...) shows that Stephen Yablo’s analysis of “intrinsic” is inadequate. (shrink)

This paper considers how to put together two popular ideas in the philosophy of time: detenserism and perdurantism (the view that objects persist through time by having temporal parts. On the most obvious way of doing this, certain problems arise. I argue that to deal with these problems we need a tool that is unfamiliar to most detensers and perdurantists - the distinction between sortal and non-sortal predicates.

Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish semantics from knowledge of semantics (Lewis (...) 1975, Cresswell 1978), which has consequences for the notion of semantic COMPETENCE. A central part of the meaning of a sentence on this approach is its TRUTH CONDITIONS, and most although not all formal semantics is model-theoretic, relating linguistic expressions to model-theoretically constructed semantic values cast in terms of truth, REFERENCE, and possible worlds. This sets formal semantics apart from approaches which view semantics as relating a sentence just to a representation on another linguistic “level” (LOGICAL FORM) or a representation in an innate LANGUAGE OF THOUGHT. The formal semanticist could accept such representations as an aspect of semantics but would insist on asking what the model-theoretic semantic interpretation of the given representationlanguage is (Lewis 1970). Formal semantics is centrally concerned with COMPOSITIONALITY at the SYNTAX-SEMANTICS INTERFACE, how the meanings of larger constituents are built up from the meanings of their parts on the basis of their syntactic structure, and with the relation between compositional SENTENCE MEANING and meaning in discourse. (shrink)

Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as (...) a central but not solo player in the story, I reflect on crucial developments in the 1960's and 70's in linguistics and philosophy, and the growth of formal semantics and formal pragmatics from there. I discuss innovations, key players, and leading ideas that shaped the development of formal semantics and its relation to syntax, to pragmatics, and to the philosophy of language in its early years, and some central aspects of its early impact on those fields. (shrink)

As an application of his Material Theory of Induction, Norton (2018; manuscript) argues that the correct inductive logic for a fair infinite lottery, and also for evaluating eternal inflation multiverse models, is radically different from standard probability theory. This is due to a requirement of label independence. It follows, Norton argues, that finite additivity fails, and any two sets of outcomes with the same cardinality and co-cardinality have the same chance. This makes the logic useless for evaluating multiverse models based (...) on self-locating chances, so Norton claims that we should despair of such attempts. However, his negative results depend on a certain reification of chance, consisting in the treatment of inductive support as the value of a function, a value not itself affected by relabeling. Here we define a purely comparative infinite lottery logic, where there are no primitive chances but only a relation of ‘at most as likely’ and its derivatives. This logic satisfies both label independence and a comparative version of additivity as well as several other desirable properties, and it draws finer distinctions between events than Norton's. Consequently, it yields better advice about choosing between sets of lottery tickets than Norton's, but it does not appear to be any more helpful for evaluating multiverse models. Hence, the limitations of Norton's logic are not entirely due to the failure of additivity, nor to the fact that all infinite, co-infinite sets of outcomes have the same chance, but to a more fundamental problem: We have no well-motivated way of comparing disjoint countably infinite sets. (shrink)

Presentists claim that only presently existing objects exist. One version of presentism is ersatzer presentism, according to which times are a kind of abstract object. Such a view is appealing because it affords the presentist an answer to the grounding objection—a potentially lethal objection to presentism. Despite this advantage, available versions of ersatzer presentism suffer from a heretofore unappreciated shortcoming: they cannot account for the truth of certain counterfactual claims about the past. We argue for this claim by considering two (...) views representative of ersatzer presentism—those of Thomas Crisp and Craig Bourne. After presenting our arguments against their views, we defend two crucial assumptions in those arguments. Finally, we offer a novel version of ersatzer presentism that appropriates the metaphysics of constitution in order to avoid the difficulty that current ersatzer presentist views face. (shrink)

Counterpart theorists need not posit the counterpart relation in addition to the identity relations as an Additional relation relating objects across possible worlds. Identity can be viewed as a relation applicable to individuals within possible worlds, while the counterpart relation replaces identity in translations of ordinary utterances which correlate individuals in different possible worlds and, hence, in all modal utterances. CT is, in other words, a theory of modal discourse — it proposes a way of understanding all modal predications. As (...) such, it is not to be seen as providing a second ‘looser’ sense of identity across worlds, in addition to the ‘narrow’ sense. Perhaps Lewis' original formulation encourages this misunderstanding insofar as it (see, especially, P2) denies strict identity across possible worlds. Accordingly, I have suggested a modification of CT whereby syntactic restrictions upon variables eliminates any temptation to posit two parallel relations applicable to entities existing in different possible worlds. (shrink)

What are the requirements on an adequate genuine modal realist analysis of modal discourse? One is material adequacy: the modal realist must provide for each candidate analysandum an analysans in the language of counterpart theory which by his lights has the same truth value as the candidate analysandum. Must the material biconditional joining these be necessarily true? This is the requirement of strict adequacy. It is not satisfied if Lewis’s 1968 scheme provides the analysis. John Divers puts forward a modification, (...) which identifies cases of ‘advanced modalizing’ in which the modal operator is semantically redundant. Even with this modification modal realist analyses of statements of modal discourse will be strictly inadequate. Strict adequacy can be achieved by extending the redundancy interpretation to all de dicto modal statements. The price is the denial of de dicto contingency. But perhaps material adequacy is enough. If the modal realist has a systematic means of replacing every sentence of quantified modal logic which he considers true by a sentence of counterpart theory that he considers true, perhaps he need do no more. Still, traditionally philosophical analysis aims at strict adequacy so it is as well to know that this is a test the modal realist analysis fails unless he abandons de dicto contingency. (shrink)

According to genuine modal realism, some things (including numbers and properties) lack distinct counterparts in different worlds. So how can they possess any of their properties contingently? Egan (2004) argues that to explain such accidental property possession, the genuine modal realist must depart from Lewis and identify properties with functions, rather than with sets of possibilia. We disagree. The genuine modal realist already has the resources to handle Egan's proposed counterexamples. As we show, she does not need to amend her (...) analysis of possibility statements, or her theory of what properties are. (shrink)

Divers presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

Necessitism is the controversial thesis that necessarily everything is necessarily something, namely that everything, everywhere, necessarily exists. What is controversial about necessitism is that, at its core, it claims that things could not have failed to exist, while we have a pre-theoretical intuition that not everything necessarily exists. Contingentism, in accordance with common sense, denies necessitism: it claims that some things could have failed to exist. Timothy Williamson is a necessitist and claims that David Lewis is a necessitist too. The (...) paper argues that, granted the assumptions that lead to interpret the Lewisian as a necessitist, she can preserve contingentist intuitions, by genuinely agreeing with the folk that existence is contingent. This is not just the uncontroversial claim that the Lewisian, as a result of the prevalence of restricted quantification in counterpart theoretic regimentations of natural language, can agree with the folk while disagreeing with them in the metaphysical room. Rather, this is the claim that it is in the metaphysical room that the Lewisian can endorse the intuitions lying behind contingentism. (shrink)

Lewis (1968) claims that his language of Counterpart Theory (CT) interprets modal discourse and he adverts to a translation scheme from the language of Quantifed Modal Logic (QML) to CT. However, everybody now agrees that his original translation scheme does not always work, since it does not always preserve the ‘intuitive’ meaning of the translated QML-formulas. Lewis discusses this problem with regard to the Necessitist Thesis, and I will extend his discourse to the analysis of the Converse Barcan Formula. Everyone (...) also agrees that there are CT-formulas that can express the QMLcontent that gets lost through the translation. The problem is how we arrive to them. In this paper, I propose new translation rules from QML to CT, based on a suggestion by Kaplan. However, I will claim that we cannot have ‘the’ translation scheme from QML to CT. The reason being that de re modal language is ambiguous. Accordingly, there are diferent sorts of QML, depending on how we resolve such ambiguity. Therefore, depending on what sort of QML we intend to translate into CT, we need to use the corresponding translation scheme. This suggests that all the translation problems might just disappear if we do what Lewis did not: begin with a fully worked out QML that tells us how to understand de re modal discourse. (shrink)

It is usually taken for granted, in discussions about fiction, that real things or events can occur as referents of fictional names . In this paper, I take issue with this view, and provide several arguments to the effect that it is better to take the names in fiction to refer to fictional surrogates of real objects. Doing so allows us to solve a series of problems that arise on the reference-continuity view. I also show that the arguments philosophers usually (...) rely on in order to ban surrogates are not as serious as they have been taken to be. In the first part of the paper, I describe the two conflicting views. In the second part, I discuss several specific arguments in favor of surrogates. In the third part I take up the kind of reasons ordinarily offered against them. (shrink)

This paper examines a recent proposal for reviving so-called resemblance nominalism. It is argued that, although consistent, it naturally leads to trope theory upon examination for reasons having to do with the appeal of neutrality as regards certain non-trivial ontological theses.

The article deals with the charge of irrelevance levelled against D. Lewis’s modal realism, notably known as a reductionist account of modality. The charge of irrelevance is apparently one of the most popular objections to modal realism though it often seems that the debate surrounding this charge is not very fruitful since in this context it is common to appeal, implicitly or explicitly, to different criteria for theory choice. As a result, the article deals with the problem in a slightly (...) different manner. The article addresses arguments aimed to show that, contrary to what is often stated, modal realism does not violate our pre-theoretical intuitions, as well as arguments aimed to respond to the charge of irrelevance without appealing to criteria for theory choice at all but providing different reasons instead. However, the aim of this article is to show that all these arguments are rather unconvincing. (shrink)

Models for truth in fiction must be able to account for differing versions and interpretations of a given fiction in such a way that prevents contradictions from arising. I propose an analysis of truth in fiction designed to accommodate this. I examine both the interpretation of claims about truth in fiction (the ‘Interpretation Problem’) and the metaphysical nature of fictional worlds and entities (the ‘Metaphysical Problem’). My reply to the Interpretation Problem is a semantic contextualism influenced by Cameron (2012), while (...) my reply to the Metaphysical Problem involves an extension and generalisation of the counterpart-theoretic analysis put forth by Lewis (1978). The proposed analysis considers interpretive context as a counterpart relation corresponding to a set of worlds, W, and states that a sentence φ is true in interpretive context W iff φ is true at every world (w∈W). I consider the implications of this analysis for singular terms in fiction, concluding that their extensions are the members of sets of counterparts. In the case of pre-existing singular terms in fiction, familiar properties of the corresponding actual-world entities are salient in restricting the counterpart relation. I also explore interpretations of sentences concerning multiple fictions and those concerning both fictional and actual entities. This account tolerates a plurality of interpretive approaches, avoiding contradictions. (shrink)

Many metaphysicians tell us that our world is one in which persisting objects are four-dimensionally extended in time, and persist by being partially present at each moment at which they exist. Many normative theorists tell us that at least some of our core normative practices are justified only if the relation that holds between a person at one time, and that person at another time, is the relation of strict identity. If these metaphysicians are right about the nature of our (...) world, and these normative theorists are right about what justifies our normative practices, then we should be error theorists about the justification of at least some of our core normative practices and in turn, arguably we should eliminate those practices for which justification is lacking. This paper offers a way of resolving the tension between these two views that does not lead into the grips of error theory. It is a way that is amenable to “exceptionists” about persons: those who think there is something special about persons and the first-person perspective; that personhood cannot be explained naturalistically, and the first-person perspective is naturalistically irreducible. The conclusion is thus a conditional: given that one is an exceptionist, an attractive way to resolve this tension is to embrace the view that persons are sui generis ontological kinds. (shrink)

Fara and Williamson (Mind, 2005) argue that counterpart theory is unable to account for modal claims that use an actuality operator. This paper argues otherwise. Rather than provide a different counterpart translation of the actuality operator itself, the solution presented here starts out with a quantified modal logic in which the actuality operator is redundant, and then translates the sentences of this logic into claims of counterpart theory.

1. The problemLewis identifies the monadic property being F with the set of all actual and possible Fs; the dyadic relation R is identified with the set of actual and possible pairs of things that are related by R; and so on . 1 Egan has argued that the fact that some properties have some of their properties contingently leads to trouble: " Let @ be the actual world, in which being green is [someone's] favourite property, and let w be (...) a world in which being green is [nobody's] favourite property. Since being green is somebody's favourite property in @, it must be a member of … being somebody's favourite property. Since being green is not anybody's favourite property in w, it must not be a member of being somebody's favourite property. Contradiction. " Egan suggests identifying properties with functions from worlds to extensions. However, as Lewis and others have complained, this has the drawback of turning monadic properties into relations . 2 In this article, we shall show that the Lewisian has the resources to block the above argument while simultaneously respecting the adicity of the relevant property and the contingency of the predication without changing his theory of properties. However, our analysis reveals a hidden ambiguity in the Lewisian conception of properties, and on either disambiguation the resulting account of properties seems inadequate.2. On ‘being someone's favourite property’The phrase ‘ being someone's favourite property’ is ambiguous. Given Lewis's ontology of possibilia, where the phrase picks out a monadic property it is not one that is possessed contingently; where it picks out a property that is possessed contingently it is not one that is monadic. But the argument works only if being someone's favourite property is both monadic and possessed contingently.Why should …. (shrink)

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

Theories that use expected utility maximization to evaluate acts have difficulty handling cases with infinitely many utility contributions. In this paper I present and motivate a way of modifying such theories to deal with these cases, employing what I call “Direct Difference Taking”. This proposal has a number of desirable features: it’s natural and well-motivated, it satisfies natural dominance intuitions, and it yields plausible prescriptions in a wide range of cases. I then compare my account to the most plausible alternative, (...) a proposal offered by Arntzenius :31–58, 2014). I argue that while Arntzenius’s proposal has many attractive features, it runs into a number of problems which Direct Difference Taking avoids. (shrink)

I argue that a solution to puzzles concerning the relationship ofobjects and their properties – a version of the `bundle' theory ofparticulars according to which ordinary objects are mereologicalfusions of monadic and relational tropes – is also a solution topuzzles of material constitution involving the allegedco-location of material objects. Additionally, two argumentsthat have played a prominent role in shaping the current debate,Mark Heller's argument for Four Dimensionalism and Peter vanInwagen's argument against Mereological Universalism, are shownto be unsound given this version (...) of the bundle theory. (shrink)

It is commonly assumed that causation is transitive and in this paper I aim to reconcile this widely-held assumption with apparent evidence to the contrary. I will discuss a familiar approach to certain well-known counterexamples, before introducing a more resistant sort of case of my own. I will then offer a novel solution, based on Yablo’s proportionality principle, that succeeds in even these more resistant cases. There is a catch, however. Either proportionality is a constraint on which causal claims are (...) true, and the solution works, or it is not and causation is not transitive after all. I will argue that the first horn has unacceptable consequences and should be rejected, but that the second horn is less costly than it might initially appear. (shrink)