The revival of analytic metaphysics in the latter half of the twentieth century is typically understood as a consequence of the critiques of logical positivism, Quine’s naturalization of ontology, Kripke’s Naming and Necessity, clarifications of modal notions in logic, and the theoretical exploitation of possible worlds. However, this explanation overlooks the work of metaphysicians at the height of positivism and linguisticism that affected metaphysics of the late twentieth century. Donald C. Williams is one such philosopher. In this paper I explain (...) how Williams’s fundamental ontology and philosophy of time influenced in part the early formation of David Lewis’s metaphysics. Thus, Williams played an important role in the revival of analytic metaphysics. (shrink)

A lot of philosophers engage in debates about what claims are “metaphysically necessary”, and a lot more assume with little argument that some classes of claims have the status of “metaphysical necessity”. I think we can usefully replace questions about metaphysical necessity with five other questions which each capture some of what people may have had in mind when talking about metaphysical necessity. This paper explains these five other questions, and then discusses the question “how much of metaphysics is metaphysically (...) necessary?”, and each of its five replacements. (shrink)

Jonathan Dancy thinks that there are irreducibly normative properties. Frank Jackson has given a well-known argument against this view, and I have elsewhere defended this argument against many objections, including one made by Dancy. But Dancy remains unconvinced. In this chapter, I hope to convince him.

Ted Sider has famously argued that existence, in the unrestricted sense of ontology, cannot be vague, as long as vagueness is modeled by means of precisifications. The first section of Chapter 9 exposes some controversial assumptions underlying Sider’s alleged reductio of vague existence. The upshot of the discussion is that, although existence cannot be vague, it can be super-vague, i.e. higher-order vague, for all orders. The second section develops and defends a novel framework, dubbed negative supervaluationary semantics, which makes room (...) for the possibility of super-vague existence. (shrink)

Property dualism is enjoying a slight resurgence in popularity, these days; substance dualism, not so much. But it is not as easy as one might think to be a property dualist and a substance materialist. The reasons for being a property dualist support the idea that some phenomenal properties (or qualia) are as fundamental as the most basic physical properties; but what material objects could be the bearers of the qualia? If even some qualia require an adverbial construal (if they (...) are modifications of the thing that is conscious because of them, not properties of something else to which the subject of consciousness is related), then the property dualist can be driven to speculative forms of materialism none of which, at this point, looks more likely to be true than the more modest versions of emergent dualism defended by contemporary substance dualists. (shrink)

A crucial question for a process view of life is how to identify a process and how to follow it through time. The genidentity view can contribute decisively to this project. It says that the identity through time of an entity X is given by a well-identified series of continuous states of affairs. Genidentity helps address the problem of diachronic identity in the living world. This chapter describes the centrality of the concept of genidentity for David Hull and proposes an (...) extension of Hull’s view to the ubiquitous phenomenon of symbiosis. Finally, using immunology as a key example, it shows that the genidentity view suggests that the main interest of a process approach is epistemological rather than ontological and that its principal claim is one of priority, namely that processes precede and define things, and not vice versa. (shrink)

Recently, I’ve championed the doctrine that fundamentally different sorts of things exist in fundamentally different ways.1 On this view, what it is for an entity to be can differ across ontological categories.2 Although historically this doctrine was very popular, and several important challenges to this doctrine have been dealt with, I suspect that contemporary metaphysicians will continue to treat this view with suspicion until it is made clearer when one is warranted in positing different modes of existence.3 I address this (...) concern here. The question of when to posit ways of being is closely related to a more general question: when should one think that some philosophically interesting expression is analogous? Accordingly, my strategy here is as follows. First, I briefly explain my interpretation of ontological pluralism, the doctrine that there are ways of being.4 Second, I introduce the notion of an analogous term, and show how, on most ways of implementing ontological pluralism, “existence” is analogous. Third, I discuss two sufficient conditions for when one is warranted in claiming that a philosophically interesting term is analogous. Fourth, I present a series of ontological schemes, each of which satisfies at least one of the sufficient conditions. The upshot is this: if you are attracted to one of these ontologies, you have reason to believe in ways of being. The careful reader will have noted the apparent modesty of my conclusion. Unfortunately, I do not believe that one could ever be rationally required to believe in ways of being. Still, in general a metaphysic is a live option to the extent that it is shown to be rationally permissible to believe. Since the apparent consensus among contemporary analytic metaphysicians is that believing that things can exist in different ways is silly or confused, establishing the rational permissibility of belief in ways of being is a non-trivial task. Let us begin. (shrink)

Disposition ascription has been discussed a good deal over the last few decades, as has the revisionary metaphysical view of ordinary, persisting objects known as 'fourdimensionalism'. However, philosophers have not merged these topics and asked whether four-dimensional objects can be proper subjects of dispositional predicates. This paper seeks to remedy this oversight. It argues that, by and large, four-dimensional objects are not suited to take dispositional predicates.

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of a (...) trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (shrink)

In this chapter I outline some metaphysical views about time, and about persistence, and discuss how they can help us clarify our thinking about life and death.

This paper presents a new approach to the class-theoretic paradoxes. In the first part of the paper, I will distinguish classes from sets, describe the function of class talk, and present several reasons for postulating type-free classes. This involves applications to the problem of unrestricted quantification, reduction of properties, natural language semantics, and the epistemology of mathematics. In the second part of the paper, I will present some axioms for type-free classes. My approach is loosely based on the Gödel–Russell idea (...) of limited ranges of significance. It is shown how to derive the second-order Dedekind–Peano axioms within that theory. I conclude by discussing whether the theory can be used as a solution to the problem of unrestricted quantification. In an appendix, I prove the consistency of the class theory relative to Zermelo–Fraenkel set theory. (shrink)

Dispositional monists believe that all properties are essentially causal. Recently, an overdetermination argument has been proposed by Trenton Merricks to support nihilism about ordinary objects. I argue that this argument can be extended to target both nihilism about ordinary objects and nihilism about physical particles when dispositional monism is assumed. It implies that a philosopher who both endorses dispositional monism and takes seriously the overdetermination argument should not believe in the existence of physical particles. I end up by discussing possible (...) objections. I suggest, then, that if we live in a world that is inhabited by causal properties but not by chairs and tables, then we also live in a world without electrons and quarks, a world of dispositional properties, that is, a world of causal fields. (shrink)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

I argue that the present (if not insuperable) lack of fixed standards in philosophy is associated with three barriers to philosophical progress, pertaining to intra-disciplinary siloing, sociological rather than philosophical determinants of philosophical attention, and the encouraging of bias.

Queremos neste ensaio caracterizar de modo introdutório o essencial do legado de Gottlob Frege para a Filosofia da Linguagem contemporânea, identificando e caracterizando os traços distintivos mais genéricos de uma teoria do significado (ou conteúdo semântico) inspirada nas suas ideias seminais e contrastando-a com outras concepções actuais influentes acerca do significado, em especial as posições sobre o conteúdo singular (conteúdo expresso por nomes próprios e outros termos singulares) remotamente inspiradas em ideias de John Stuart Mill.

Could I have been someone other than who I am? Philosophers from Williams to Nagel to Lewis have been tempted to answer 'yes', but how can we make sense of such a view? I argue that to say that it is contingent who I am is to say that it is contingent what perspective I have, in a distinctively metaphysical sense of perspective.

This is a slightly opinionated review of three main factions in metaontology: Quineans, Carnapians, and Meinongians. Emphasis is given to the last camp, as the metaontological aspect of Meinongianism has been underappreciated. The final section then offers some general remarks about the legitimacy of ontology, touching on ideas I have developed in other publications.

A primer on the philosophical issues relating to phenomenal consciousness, part of a collection of new papers by scientists and philosophers on the constitution of consciousness.

We aim to provide the ontological grounds for an adequate account of persistence. We defend a perspectivalist, or moderate pluralist, position, according to which some aspects of reality can be accounted for in ontological terms only via partial and mutually complementary ontologies, each one of which captures some relevant aspect of reality. Our thesis here is that this is precisely the sort of ontological account that is needed for the understanding of persistence, specifically an account involving two independent ontologies, one (...) for continuants, and one for occurrents. (shrink)

Many people think that truth somehow depends upon the way things are. Yet, it has proven difficult to precisely explain the nature of this dependence. The most common view is that truth depends upon the way things are by corresponding to things. But this account relocates the difficulty: one now wonders what correspondence is. It is worth emphasizing that the question of how truth relates to reality is not only a question for correspondence theorists; theorists of all stripes may wonder (...) how truth and reality connect. There are many reasons one might care to have an analysis of how truth relates to reality. Here are two. First, an analysis would help philosophers better understand how truth could depend upon the way things are. Why is it that when Joe shoves his cat off his pillow, the proposition that Joe's cat is on his pillow switches from true to false? It may seem puzzling that an abstract thing, such as a proposition, should be affected by physical changes to concrete particulars. How does that happen? The difficulty of seeing just how true propositions are able to systematically relate to reality will be called "the Problem of Matching." A thorough analysis of the relationship between truth and reality would effectively solve the Problem of Matching. (shrink)

David Lewis (1979) has argued that according to his possible worlds analysis of counterfactuals, “backtracking” counterfactuals of the form “If event A were to happen at tA, then event B would happen at tB” where tB precedes tA, are usually false if B does not actually happen at tB. On the other..

Relativized Metaphysical Modality (RMM: Murray and Wilson, 'Relativized metaphysical modality', Oxford Studies in Metaphysics, 2012; Murray, Perspectives on Modal Metaphysics, 2017) exploits 'two-dimensionalist' resources to metaphysical, rather than epistemological, ends: the second dimension offers perspective-dependence without contingency, diverting attacks on 'Classical' analyses of modals (in effect, analyses validating S5 and the Barcan Formulae). Here, we extend the RMM program in two directions. First, we harvest resources for RMM from Lewis's 1980 'Context--Index' (CI) framework: (a) the ban in CI on binding (...) into context-arguments (akin to Kaplan's 'monstrosity' ban) projects a bright line between perspective-dependence and contingency; and (b) CI-postulated connections among meaning, content, truth, argument-structure, context, and modality collectively generate a 'Generalized Humphrey Problem' for any non-Classical analysis (examples covered include appeals to accessibility, contingent domains, and counterpart relations). Second, we sharpen the tools of RMM-based metaphysical analysis, and extend their domain of coverage across familiar anomalies for Classical modals: we revisit earlier RMM-based bulwarks for S5 (against 'Chisholm's Paradox' for moderate flexibility of essence, and nomological necessitarianism); and we now similarly shore up the Barcan Formulae (against the apparent contingency of existence and nonexistence). (shrink)

Possible worlds have found many applications in contemporary philosophy: from theories of possibility and necessity, to accounts of conditionals, to theories of mental and linguistic content, to understanding supervenience relationships, to theories of properties and propositions, among many other applications. Almost as soon as possible worlds started to be used in formal theories in logic, philosophy of language, philosophy of mind, metaphysics, and elsewhere, theorists started to wonder whether impossible worlds should be postulated as well. In many applications, possible worlds (...) face limitations that can be dealt with through postulating impossible worlds as well. This chapter examines some of the uses of impossible worlds, and philosophical challenges theories of impossible worlds face. (shrink)

There are five basic ways to resolve disagreements: keep arguing until capitulation, compromise, locate an ambiguity or contextual factors, accept Pyrrhonian skepticism, and adopt relativism. Relativism is perhaps the most radical and least popular solution to a disagreement, and its defenders generally think the best motivator for relativism is to be found in disputes over predicates of personal taste. I argue that taste predicates do not adequately motivate relativism over the other possible solutions, and argue that relativism looks like the (...) most promising approach when disputants cannot even agree on the meta-evidence for a contested proposition. (shrink)

There is much to be said for a diachronic or interpersonal individuation of singular modes of presentation (MOPs) in terms of a criterion of epistemic transparency between thought tokens. This way of individuating MOPs has been discussed recently within the mental files framework, though the issues discussed here arise for all theories that individuate MOPs in terms of relations among tokens. All such theories face objections concerning apparent failures of the transitivity of the ‘same MOP’ relation. For mental files, these (...) transitivity failures most obviously occur because mental files can merge or undergo fission. In this paper I argue that this problem is easily resolved once mental files are properly construed as continuants, whose metaphysics is analogous to that of persons or physical objects. All continuants can undergo fission or fusion, leading to similar transitivity problems, but there are well-established theories of persistence that accommodate this. I suggest that, in particular, the stage theory best suits the purposes of a continuant theory of MOPs. (shrink)

What does it mean that certain properties globally supervene on others? The paper criticises the now standard way of spelling out the notion in terms of 1–1 correlations between world-domains and proposes a modification that escapes the difficulties. The new definition can secure the additional benefit of resisting an argument to the effect that global supervenience is theoretically dispensable.

ABSTRACT: Recently the discussion surrounding the conceivability thesis has been less about the link between conceivability and possibility per se and more about the requirements of a successful physicalist program. But before entering this debate it is necessary to consider whether conceivability provides us with even prima facie justification for our modal beliefs. I argue that two methods of conceiving—imagining that p and telling a story about p—can provide us with such justification, but only if certain requirements are met. To (...) make these arguments, I consider those of Paul Tidman, whose position I use as a foil.RÉSUMÉ: Dernièrement, le débat sur la thèse de la concevabilité a peu porté sur le lien entre la concevabilité et la possibilité per se et s’est plutôt intéressé aux conditions requises pour la réalisation du programme physicaliste. Toutefois, avant d’entrer dans ce débat, il est nécessaire de se demander si la concevabilité offre une justification même élémentaire des croyances modales. Je soutiens que deux méthodesde concevoir — imaginer que p et raconter une histoire à propos de p — sont susceptibles de nous fournir cette justification, mais seulement dans la limite de certaines conditions. À l’appui de mon propos, j’envisage la position de Paul Tidman, qui me sert de repoussoir. (shrink)

Metaphysics is supposed to tell us about the metaphysical nature of our world: under what conditions composition occurs; how objects persist through time; whether properties are universals or tropes. It is near orthodoxy that whichever of these sorts of metaphysical claims is true is necessarily true. This paper looks at the debate between that orthodox view and a recently emerging view that claims like these are contingent, by focusing on the metaphysical debate between monists and pluralists about concrete particulars. This (...) paper argues that we should be contingentists about monism and pluralism, and it defends contingentism against some necessitarian objections by offering an epistemology of contingent metaphysical claims. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

In the book, I provide an account of what it is for an agent to have an ability. According to the Success View, abilities are all about success across possible situations. In developing and applying the view, the book elucidates the relation between abilities on the one hand and possibility, counterfactuals, and dispositions on the other; it sheds light on the distinction between general and specific abilities; it offers an understanding of degrees of abilities; it explains which role intentions and (...) performances play for the having of an ability, how abilities relate to success and failure, and gives an outlook at how the view might be applied to the free will debate and time travel. (shrink)

This book combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context — assignment variables — in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of “shifting” phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and nonlocal contextual dependencies with (...) quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative, philosophically informed compositional semantics compatible with the truth-conditional paradigm. (shrink)

Essay review of John Carroll's book, _Laws of Nature_.

The paper has two parts: First, I describe a relatively popular thesis in the philosophy of propositional attitudes, worthy of the name ‘taking tense seriously’; and I distinguish it from a family of views in the metaphysics of time, namely, the A-theories (or what are sometimes called ‘tensed theories of time’). Once the distinction is in focus, a skeptical worry arises. Some A-theorists maintain that the difference between past, present, and future, is to be drawn in terms of what exists: (...) growing-block theorists eschew ontological commitment to future entities; presentists, to future and past entities. Others think of themselves as A-theorists but exclude no past or future things from their ontology. The metaphysical skeptic suspects that their attempt to articulate an ‘eternalist’ version of the A-theory collapses into merely ‘taking tense seriously’– a thesis that does not imply the A-theory. The second half of the paper is the search for a stable eternalist A-theory. It includes discussion of temporary intrinsics, temporal parts, and truth. (shrink)

In this paper, the author shows how one can independently prove, within the theory of abstract objects, some of the most significant claims, hypotheses, and background assumptions found in Kripke's logical and philosophical work. Moreover, many of the semantic features of theory of abstract objects are consistent with Kripke's views — the successful representation, in the system, of the truth conditions and entailments of philosophically puzzling sentences of natural language validates certain Kripkean semantic claims about natural language.

Some recently-proposed counterexamples to the traditional definition of essential property do not require a separate logic of essence. Instead, the examples can be analysed in terms of the logic and theory of abstract objects. This theory distinguishes between abstract and ordinary objects, and provides a general analysis of the essential properties of both kinds of object. The claim ‘x has F necessarily’ becomes ambiguous in the case of abstract objects, and in the case of ordinary objects there are various ways (...) to make the definition of ‘F is essential to x’ more fine-grained. Consequently, the traditional definition of essential property for abstract objects in terms of modal notions is not correct, and for ordinary objects the relationship between essential properties and modality, once properly understood, addresses the counterexample. (shrink)

ABSTRACTIki is the key word of Shūzō Kuki’s The Structure of Iki, and it became one of the most widely recognized Japanese aesthetic categories mainly due to this work. However, in The Problems of Contingency, which is Kuki’s most important philosophical work, there is no discussion of iki again, and consequently, most commentators of Kuki fail to see the correlation between his theories of iki and contingency. This article, by contrast, intends to provide a new interpretation of iki in the (...) light of Kuki’s theory of contingency. The specific thesis of this paper is that aesthetic phenomena categorized as subject to the principles of iki are positively evaluated in Japanese culture just because the consciousness of iki is just one form of the consciousness of contingency, in which the awareness of alternatives to the actual situation could produce considerable spiritual entertainment for aesthetic subjects. (shrink)

Some argue that theories of universals should incorporate structural universals, in order to allow for the metaphysical possibility of worlds of 'infinite descending complexity' ('onion worlds'). I argue that the possibility of such worlds does not establish the need for structural universals. So long as we admit the metaphysical possibility of emergent universals, there is an attractive alternative description of such cases.

In his book Objective Becoming (Skow 2015), Bradford Skow has offered a rich and systematic treatment of the passage of time. We learn much about what objective passage could and could not amount to from engaging with his careful work. Skow’s overall conclusion is that the ‘block universe’ deflationary theory of passage is stronger than any currently available version of the recently-popular moving spotlight theory of temporal passage. To help establish this conclusion, Skow provides a taxonomy of theories of temporal (...) passage, including some new and unfamiliar theories that he classifies as versions of the moving spotlight view. These new theories are worthy of further study; however, in this commentary I will argue that they suffer from some problems that render them uncongenial to committed believers in temporal passage (Sections 2–5). I’ll also make a few brief remarks about some other arguments in the book, concerning branching time (Section 6), relativistic presentness (Section 7), and temporal experience (Section 8). (shrink)

Summary: The paper provides an argument for modal primitivism, the view that necessity is not defined and is therefore part of the structure of reality. It then raises the explanation-challenge for primitivists: how can modal truths be explained by hyper-intensional truths, if necessity is not defined in terms of hyper-intensional phenomena? To address the challenge, the paper introduces 'sophisticated modal primitivism' which gives a substantive analysis of the notion of a 'source of necessity'. The final part of the paper offers (...) some applications of that novel piece of ideology. (shrink)

The physicalist thesis that all entities are nothing over and above physical entities is often interpreted as appealing to a supervenience-based account of "nothing over and aboveness”, where, schematically, the A-entities are nothing over and above the B-entities if the A-entities supervene on the B-entities. The main approaches to filling in this schema correspond to different ways of characterizing the modal strength, the supervenience base, or the supervenience connection at issue. I consider each approach in turn, and argue that the (...) resulting formulation of physicalism is compatible with physicalism’s best traditional rival: a naturalist emergentism. Others have argued that supervenience-based formulations of physicalism fail. My aim here, besides addressing the full spectrum of supervenience-based approaches, is to show how certain philosophical and scientific theses concerning naturalism, properties, and laws give us new reasons to think that supervenience-based formulations of physicalism are untenable. (shrink)

In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice over. (...) But it’s well known that standard notions of “intrinsicality” won’t do to articulate the sense in which survival is intrinsic, since ‘personhood’ appears to be a maximal property. We formulate a sense in which survival and personhood (and perhaps other maximal properties) may be almost intrinsic—a sense that would suffice, for example, to ground fission arguments. It turns out that this notion of almost-intrinsicality allows us to formulate a new version of the problem of the many. (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

Simon Saunders and David Wallace have proposed an attractive semantics for interpreting linguistic communities embedded in an Everettian multiverse. It provides a charitable interpretation of our ordinary talk about the future, and allows us to retain a principle of bivalence for propositions and to retain the law of excluded middle in the logic of propositions about the future. But difficulties arise when it comes to providing an appropriate account of the metaphysics of macroscopic objects and events. I evaluate various metaphysical (...) frameworks which might be combined with the Saunders–Wallace semantics. I conclude that the most appropriate metaphysics to underwrite the semantics renders Everettian quantum mechanics a theory of non-overlapping worlds. (shrink)

Section 1 introduces the category of objective modality, closely related to linguists’ category of circumstantial or dynamic modals, and explains metaphysical modality as its maximal element. Section 2 discusses various kinds of skepticism about modality, as in Hume and recent authors, and argues that it is illmotivated to apply such skepticism to metaphysical modality but not to more restricted objective modalities, including nomic modality. Section 3 suggests that the role of counterfactual conditionals in applications of scientific theories involves an objective (...) modal dimension. Section 4 briefly discusses the role of objective probabilities in scientific theories as exemplifying the scientific study of objective modality. Section 5 summarizes a case study of dynamical systems theory, widely used in natural science, as a mathematical theory whose intended applications are objectively modal, as perspicuously articulated in a language with modal and temporal operators and propositional quantification. State spaces in natural science characterize objective possibilities. Section 6 argues that, although those possibilities are usually more restricted than metaphysical possibility, their scientific study is a partial study of metaphysical possibility too. (shrink)

Although the Evans argument against vague identity has been much discussed, proposah for blocking it have not so far satisfied general conditions which any solution ought to meet. Moreover, the relation between ontically vague identity and ontic vagueness more generally has not yet been satisfactorily addressed. I advocate a way of resisting the Evans argument which satisfies the conditions. To show how this approach can vindicate particular cases of ontically vague identity, I develop a framework for describing ontic vagueness in (...) general in terms of multiple actualities. This provides aprìncipled approach to ontically vague identity which is unaffected by the Evans argument. (shrink)

Worlds where things divide forever ("gunk" worlds) are apparently conceivable. The conceivability of such scenarios has been used as an argument against "nihilist" or "near-nihilist" answers to the special composition question. I argue that the mereological nihilist has the resources to explain away the illusion that gunk is possible.