In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the existence of the infinite plurality of concrete and abstract possible worlds, posited by David K. Lewis and Alvin Plantinga. This assessment will be carried out within the (modified) explanatory framework of Richard Swinburne, which will lead to the conclusion that the existence of God provides a true fundamental explanation for these specific entities. And (...) thus, given the truth of this type of explanation, we have another good abductive argument for God’s existence and grounds for affirming a weaker form of the principle of methodological naturalism in our metaphysical theorising. (shrink)

Are there any things that are such that any things whatsoever are among them. I argue that there are not. My thesis follows from these three premises: (1) There are two or more things; (2) for any things, there is a unique thing that corresponds to those things; (3) for any two or more things, there are fewer of them than there are pluralities of them.

Reasoning about situations we take to be impossible is useful for a variety of theoretical purposes. Furthermore, using a device of impossible worlds when reasoning about the impossible is useful in the same sorts of ways that the device of possible worlds is useful when reasoning about the possible. This paper discusses some of the uses of impossible worlds and argues that commitment to them can and should be had without great metaphysical or logical cost. The paper then provides an (...) account of reasoning with impossible worlds, by treating such reasoning as reasoning employing counterpossible conditionals, and provides a semantics for the proposed treatment. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted in related installments (previously published and unpublished essays).

Writers in the propositions literature consider the Benacerraf objection serious, often decisive. The objection figures heavily in dismissing standard theories of propositions of the past, notably set-theoretic theories. I argue that the situation is more complicated. After explicating the propositional Benacerraf problem, I focus on a classic set-theoretic theory of propositions, the possible worlds theory, and argue that methodological considerations influence the objection’s success.

At a first glance, and even at a second one, it seems that if time is linear the threat of determinism is more severe than if time is branching, since in the latter case the future is open in a way it is not in the former one where, so to speak, there exists only one branch – one future. In this paper, I want to give a 'third glance' at this claim. I acknowledge that such a claim is intuitive (...) (this is the first glance) and that it is also meaningfully and interestingly defended in recent literature where branching time is either said to imply indeterminism or at least to be compatible with it. To try to make my third glance as precise and as fleshed out as possible, I shall first concentrate on what 'branching' is or could be, and I shall discuss various versions and interpretations of this view. I shall then (more quickly) turn my attention to what determinism is or could be, and I will distinguish three (well-known) kinds of it – focusing mainly on 'metaphysical determinism'. Having these tools in hand, I will then ask (and answer) the question whether branching time helps with avoiding determinism or not. As we shall see, it is incorrect to think that under the branching hypothesis the threat of determinism is any smaller – rather, I will argue that if one has reasons to think that determinism is true, branching will not help, and that the issue of branching versus linear time is then actually neutral with respect to the question whether determinism or indeterminism is true. (shrink)

Closest-possible-world analyses of counterfactuals suffer from what has been called the ‘problem of counterpossibles’: some counterfactuals with metaphysically impossible antecedents seem plainly false, but the proposed analyses imply that they are all (vacuously) true. One alleged solution to this problem is the addition of impossible worlds. In this paper, I argue that the closest possible or impossible world analyses that have recently been suggested suffer from the ‘new problem of counterpossibles’: the proposed analyses imply that some plainly true counterpossibles (viz., (...) ‘counterlogicals’) are false. After motivating and presenting the ‘new problem’, I give reasons to think that the most plausible objection to my argument is not compelling. (shrink)

I give two arguments for the claim that all events which occur at the actual world and are such that they could be caused, are also such that they must actually be caused. The first argument is an improvement of a similar argument advanced by Alexander Pruss, which I show to be invalid. It uses Pruss’s Brouwer Analog for counterfactual logic, and, as a consequence, implies inconsistency with Lewis’s semantics for counterfactuals. While (I suggest) this consequence may not be objectionable, (...) the argument founders on the fact that Pruss’s Brouwer Analog has a clear counterexample. I thus turn to a second, “Lewisian” argument, which requires only an affirmation of one element of Lewis’s analysis of causation and one other, fairly weak possibility claim about the nature of wholly contingent events. The final section of the paper explains how both arguments escape objections from supposed indeterminacy in quantum physics. (shrink)

The role of possible worlds in philosophy is hard to overestimate. Nevertheless, their nature and existence is very controversial. This is particularly serious, since their standard applications depend on there being sufficiently many of them. The paper develops an account of possible worlds on which it is particularly easy to believe in their existence: an account of possible worlds as pleonastic entities. Pleonastic entities are entities whose existence can be validly inferred from statements that neither refer to nor quantify over (...) them as a matter of conceptual necessity. Definitions are proposed that ensure that this is the case for possible worlds. (shrink)

Friends of states of affairs and structural universals appeal to a relation, structure-making, that is allegedly a kind of composition relation: structure-making ?builds? facts out of particulars and universals, and ?builds? structural universals out of unstructured universals. D. M. Armstrong, an eminent champion of structures, endorses two interesting theses concerning composition. First, that structure-making is a composition relation. Second, that it is not the only (fundamental) composition relation: Armstrong also believes in a mode of composition that he calls mereological, and (...) which he takes to be the only kind of composition recognized by his philosophical adversaries, such as David Lewis. Armstrong, accordingly, is a kind of pluralist about compositional relations: there is more than one way to make wholes from parts. In this paper, I critically evaluate Armstrong's compositional pluralism. (shrink)

O desenvolvimento da filosofia acadêmica no Brasil é direcionada, entre vários fatores, pelas investigações dos diversos Grupos de Trabalho (GTs) da Associação Nacional de Pós-Graduação em Filosofia (ANPOF). Esses GTs se dividem de acordo com a temática investigada. O GT de Metafísica Analítica é relativamente novo e ainda tem poucos membros, mas os temas nele trabalhados são variados e todos centrais no debate metafísico contemporâneo internacional. A sua investigação se caracteriza pelo rigor lógico e conceitual com o qual aborda esses (...) tradicionais tópicos da metafísica. Embora os assuntos tratados tenham sido, em sua grande maioria, tópicos abordados e discutidos em reuniões remotas do GT, nem todos os membros do nosso grupo estão aqui representados. Esperamos apresentar seus trabalhos em futuros livros. Por enquanto, queremos apenas divulgar ao público acadêmico algumas de nossas produções, trabalhadas e produzidas exclusivamente para este livro. Segundo a caracterização tradicional, com a qual plenamente concordamos, a metafísica se ocupa com a natureza mais íntima e geral da realidade. Essa metafísica é, por um lado, ambiciosa: não pretende apenas expor a realidade segundo o modo como ela se apresenta para nós, mas como ela é ‘em si mesma’. Por outro lado, ela é modesta: ela sabe da sua dívida para com as outras disciplinas, especialmente lógica, linguagem e epistemologia. Além disso, ela se entende como sempre tentativa, provisória, aberta a críticas e revisões. Neste livro, tratamos temas como as categorias ontológicas fundamentais e as suas relações de dependência e de fundamentalidade, a natureza da composição mereológica, da persistência temporal e do próprio tempo, a natureza dos objetos abstratos e dos mundos possíveis, as naturezas do mundo quântico, da causalidade nômica do mundo físico, e, finalmente, de um dos objetos mais característicos da presença humana no nosso mundo físico, que é o objeto de arte. É claro que essa coletânea está longe de apresentar exaustivamente todos os tópicos da metafísica. Tentamos selecionar e organizar os textos da forma mais fluida possível, de modo que eles possam levar tanto a uma reflexão específica quanto a uma reflexão geral sobre a natureza da realidade. Ainda que tenha uma inerente incompletude, o livro serve à finalidade de levar o/a estudante de graduação e pós-graduação a refletir sobre temas contemporâneos da Metafísica Analítica. Justamente por ter esse objetivo de formentar a pesquisa em metafísica analítica nacional, optamos por traduzir muitos termos do inglês que ainda não tem uma tradução canônica, a fim de evitar anglicismos e contribuir para uma leitura mais natural. Muito mais do que leitores complacentes, esse livro pede por leitores críticos, debatedores corajosos, que estejam dispostos a contribuir e a propor novas teorias e argumentos. Agradecemos a todos os membros do GT de Metafísica Analítica da ANPOF e a todos os autores deste livro, que decidiram apresentar publicamente suas pesquisas à academia; aos membros do Grupo de Pesquisa Investigação Filosófica, que decidiram pela publicação deste livro; à Pró-Reitoria de PósGraduação e Pesquisa da Universidade Federal do Amapá, que o financiou; e ao NEPFIL Online e à Editora da UFPel, que o editaram e publicaram. [Guido Imaguire e Rodrigo Reis Lastra Cid, Organizadores] . (shrink)

An object is a simple if and only if it has no proper parts. An object is gunk if and only if every proper part of that object itself has a proper part. In my dissertation, I address the following questions. The concepts of simples and gunk presuppose the concept of parthood. What is the status of this concept? his question itself divides into the following: does the concept of parthood have universal applicability, so that, just as every object is (...) self-identical, every object has parts? Finally, is the concept of parthood univocal, or are there different notions of parthood, each of which is defined on distinct ontological categories? I argue that the concept of parthood has univocal. I also argue that there is some evidence that the concept of parthood has universal applicability. I address the Simple Question, which is “under what circumstances is it true of some object that it has no proper parts?” I argue against several popular answers to the Simple Question, such as the view that simples are all and only point-sized objects, and the view that simples are maximally continuous material objects. I defend the Brutal View, which holds that there is no true, finitely expressible, and informative answer to the Simple Question. In short, there is no criterion for being a simple. Along the way, I address the question of whether extended simples, i.e., simples that are extended in space, are possible. I argue that one popular argument against the possibility of extended simples is unsound. I address the question of whether both simples and gunk are possible. I argue that it is metaphysically possible that material objects be composed of gunk. (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.

The foregoing set of theorems forms an effective foundation for the theory of situations and worlds. All twenty-five theorems seem to be basic, reasonable principles that structure the domains of properties, relations, states of affairs, situations, and worlds in true and philosophically interesting ways. They resolve 15 of the 19 choice points defined in Barwise (1989) (see Notes 22, 27, 31, 32, 35, 36, 39, 43, and 45). Moreover, important axioms and principles stipulated by situation theorists are derived (see Notes (...) 33, 37, and 38). This is convincing evidence that the foregoing constitutes a theory of situations. Note that worlds are just a special kind of situation, and that the basic theorems of world theory, which were derived in previous work, can still be derived in this situation-theoretic setting. So there seems to be no fundamental incompatibility between situations and worlds — they may peacably coexist in the foundations of metaphysics. The theory may therefore reconcile two research programs that appeared to be heading off in different directions. And we must remind the reader that the general metaphysical principles underlying our theory were not designed with the application to situation theory in mind. This suggests that the general theory and the underlying distinction have explanatory power, for they seem to relate and systematize apparently unrelated phenomena. (shrink)

Those who object to David Lewis' modal realism express qualms about philosophical respectability of the Lewisian notion of a possible world and its correlate notion of an inhabitant of a possible world. The resulting impression is that these two notions either stand together or fall together. I argue that the Lewisian notion of a possible world is otiose even for a good Lewisian modal realist, and that one can carry out a good Lewisian semantics for modal discourse without Lewisian possible (...) worls. I do so by generalizing Lewis' own idea that restrictions on quantification come and go with the pragmatic wind and relativizing possible worlds as shifting domains of discourse. I then suggest a way to soften the infamous incredulous stare. (shrink)

Non-Identity arguments have a pervasive but sometimes counter-intuitive grip on certain key areas in ethics. As a result, there has been limited success in supporting the alternative view that our choices concerning future generations can be considered harmful on any sort of person-affecting principle. However, as the Non-Identity Problem relies overtly on certain metaphysical assumptions, plausible alternatives to these foundations can substantially undermine the Non-Identity argument itself. In this paper, I show how the pervasive force and nature of Non-Identity arguments (...) rely upon a specific adoption of a theory of modality and identity and how adopting an alternative account of modality can be used to reject many conclusions formed through Non-Identity type arguments. By using Lewis’s counterpart-theoretic account to understand ways we might have been, I outline the basis of a modal account of harm that incorporates a person-affecting aspect. This, in turn, has significant implications for ethical decision-making in areas such as reproductive choice and the welfare of future generations. (shrink)

David Lewis’s counterpart theory is often seen as involving a radical departure from the standard, Kripke-style semantics for modal logic, suggesting that we are dealing with deeply divergent accounts of our modal talk. However, CT captures but one version of the relevant semantic intuition, and does so on the basis of metaphysical assumptions that are ostensibly discretionary. Just as ML can be translated into a language that quantifies explicitly over worlds, CT may be formulated as a semantic theory in which (...) world quantification is purely metalinguistic. And just as Kripke-style semantics is formally compatible with the doctrine of world-boundedness, a counterpart-based semantics may in principle allow for cases of trans-world identity. In fact, one may welcome a framework that is general enough to include both Lewis’s counterpart-based account and Kripke’s identity-based account as distinguished special cases. There are several ways of doing so. The purpose of this paper is to outline a fully general option and to illustrate its philosophical significance, showing how the large variety of intermediate relations that lie between Lewisian counterparthood and Kripkean identity yield a corresponding variety of modal theories that would otherwise remain uncharted. (shrink)

The best arguments for possible worlds as states of affairs furnish us with equally good arguments for impossible worlds of the same sort. I argue for a theory of impossible worlds on which the impossible worlds correspond to maximal inconsistent classes of propositions. Three objections are rejected. In the final part of the paper, I present a menu of impossible worlds and explore some of their interesting formal properties.

Although it is widely recognized that perceptual experience confers justification on the beliefs it gives rise to, it is unclear how its epistemic value should be properly characterized. Liberals hold, and conservatives deny, that the justification conditions of perceptual beliefs merely involve experiences with the same content. The recent debate on this question has, however, seen further fragmentations of the positions involved with the disputants seeking to identify intermediate positions between liberalism and conservatism. In this paper, I suggest a framework (...) to account for the differences and similarities of the positions within the liberalism/conservatism debate. More importantly, I suggest that, instead of focusing on one particular species of conservatism, we should recognize varieties of conservatism. My conclusion is that no theory of justification need be conservative or liberal tout court. Whether a theory of justification is liberal or conservative depends on which dimension of evaluation is taken to be salient. The implications of this finding for the liberalism/conservatism debate are then investigated. (shrink)

In this paper, I defend modal dimensionalism against the objection that it is ontologically and ideologically heavy. First, I briefly outline the theory and the objection against it. The objection relies on the widely accepted view that ontological and ideological parsimony are operational criteria when comparing metaphysical theories. Second, I outline the conventional distinction between ontology and ideology in the metaphysical tradition. Third, I challenge a particular kind of parsimony: reduction by identification. Fourth, even if reduction by identification is accepted, (...) I show that theories that pursue this often minimize differences, and that such minimization paves the way to epistemic underdetermination. Finally, I demonstrate that some theories in modal metaphysics also suffer from difference minimization and should thus not be measured on the ontology/ideology scale. (shrink)

The thesis of existentialism holds that if a proposition p exists and predicates something of an object a, then in any world where a does not exist, p does not exist either. If “possibly, p” entails “in some possible world, the proposition that p exists and is true,” then existentialism is prima facie incompatible with the truth of claims like “possibly, the Eiffel Tower does not exist.” In order to avoid this claim, a distinction between two kinds of world-indexed truth (...) –and two associated kinds of modality –is needed. This paper embodies an attempt to develop a full account of just such a distinction. (shrink)

This paper proposes a new reductive theory of modality, called the moodless theory of modality. This theory, and not modal realism, is the closest modal analogue of the tenseless theory of time. So, if the tenseless theory is true, and the temporality–modality analogy is good, it is the moodless theory that follows. I also argue that the moodless theory, considered on its own, is better than modal realism: arguments often thought to be decisive against modal realism are weak against it.

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

This paper aims to introduce Meinongian Abstractionism (MA), i.e. a view on the metaphysics of truthmaking and modality. This approach is based on the notion of objectives—one of the key elements of Alexius Meinong’s Theory of Objects. In the light of it, worlds are interpreted in terms of sets of subsistent and non-subsistent objectives. This—along with Meinong’s characterization of objectives—provides a ground for possible as well as impossible worlds. One of the consequences of Meinongain Abstractionism is a reformulation of the (...) relation of truthmaking in modal terms. Importantly, this reformulation avoids the problem of too-coarse grained analysis of truthmakers. This makes MA a metaphysically–oriented supporter of the so-called ‘hyperintensional revolution.’. (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.

The question as to whether some objects are possible worlds that have an initial segment in common, i.e. so that their fusion is a temporal tree whose branches are possible worlds, arises both for those who hold that our universe has the structure of a temporal tree and for those who hold that what there is includes concrete universes of every possible variety. The notion of “possible world” employed in the question is seen to be the notion of an object (...) of a kind such that objects of that kind play a certain theoretical role. Lewis’s discussion of the question is thereby clarified but is nevertheless inadequate; his negative answer is correct but even from his combinatorialist viewpoint the rationale he provides for this answer is misguided. I explain why the combinatorialist advocate of concrete plenitude should hold that no object is a tree of possible worlds. Then I explain that for a different reason the nomic essentialist advocate of concrete plenitude should hold this much too. (shrink)

David Lewis’s arguments against magical ersatzism are notoriously puzzling. Untangling different strands in those arguments is useful for bringing out what he thought was wrong with not just one style of theory about possible worlds, but with much of the contemporary metaphysics of abstract objects. After setting out what I take Lewis’s arguments to be and how best to resist them, I consider the application of those arguments to general theories of properties and relations. The constraints Lewis motivates turn out (...) to yield an argument for concretism about possible individuals that is quite different from the better-known Lewisian arguments for that position. The discussion also touches on the puzzling question of whether things are the way they are because of the properties they have, or are the properties and relations the way they are because of the things that have them. (shrink)

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)

In earlier work we proposed an account of information grounded in counterfactual conditionals rather than probabilities, and argued that it might serve philosophical needs that more familiar probabilistic alternatives do not. Demir [2008] and Scarantino [2008] criticize the counterfactual approach by contending that its alleged advantages are illusory and that it fails to secure attractive desiderata. In this paper we defend the counterfactual account from these criticisms, and suggest that it remains a useful account of information.

Possibilism—the view that there are non-actual, merely possible entities—is a surprisingly resilient doctrine.1 One particularly hardy strand of possibilism—the modal realism championed by David Lewis—continues to attract both foes who seek to demonstrate its falsity (or at least stare its advocates into apostasy) and friends who hope to defend modal realism (or, when necessary, modify modal realism so as to avoid problematic objections).2 Although I am neither a foe nor friend of modal realism (but some of my best friends are!), (...) like many I continue to be fascinated by the doctrine. (shrink)

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

este trabajo considera la viabilidad de la teoría de los mundos posibles como universales estructurales máximos en relación con las conocidas críticas contra concepciones actualistas de los mundos posibles. En una primera parte se expone brevemente la teoría modal basada en universales. Luego se presentan las diferentes dificultades. Dos de éstas parecen especialmente relevantes para la teoría que aquí se defiende: (i) la confusión de posibilidades indiscernibles diferentes, y (ii) la explicación de la naturaleza de la representación de las posibilidades. (...) Luego de examinadas estas dificultades se muestra cómo la teoría modal basada en universales puede responder estos dos problemas. (shrink)

This article offers a novel solution to the problem of material constitution: by including non-concrete objects among the parts of material objects, we can avoid having a statue and its constituent piece of clay composed of all the same proper parts. Non-concrete objects—objects that aren’t concrete, but possibly are—have been used in defense of the claim that everything necessarily exists. But the account offered shows that non-concreta are independently useful in other domains as well. The resulting view falls under a (...) ‘nonmaterial partist’ class of views that includes, in particular, Laurie Paul’s and Kathrin Koslicki’s constitution views; ones where material objects have properties or structures as parts respectively. The article gives reasons for preferring the non-concretist solution over these other non-material partist views and defends it against objections. (shrink)

Dualism about possible worlds says that merely possible worlds aren’t concrete objects, but the actual world is concrete. This view seems to be the natural one for ersatzers about merely possible worlds to take; yet one is hard-pressed to find any defenders of it in contemporary modal metaphysics. The main reason is that Dualism struggles with the issue of how merely possible worlds could have been actual. I explain that there are two different Dualist strategies that can be taken to (...) address the problem. Furthermore, one or other of these strategies should be plausible to anyone who accepts both Existentialism—which tells us that the existence of singular propositions depends on what they directly refer to—and Serious Actualism—which tells us that things must exist in order to instantiate properties. Though it has long been ignored, Dualism is a live option. (shrink)

The views of David Lewis and the Meinongians are both often met with an incredulous stare. This is not by accident. The stunned disbelief that usually accompanies the stare is a natural first reaction to a large ontology. Indeed, Lewis has been explicitly linked with Meinong, a charge that he has taken great pains to deny. However, the issue is not a simple one. "Meinongianism" is a complex set of distinctions and doctrines about existence and predication, in addition to the (...) famously large ontology. While there are clearly non-Meinongian features of Lewis' views, it is our thesis that many of the characteristic elements of Meinongian metaphysics appear in Lewis' theory. Moreover, though Lewis rejects incomplete and inconsistent Meinongian objects, his ontology may exceed that of a Meinongian who doesn't accept his possibilia. Thus, Lewis explains the truth of "there might have been talking donkeys" by appealing to possibilia which are talking donkeys. But the Meinongian need not accept that there exist things which are talking donkeys. Indeed, we show that a Meinongian even need not accept that there are nonexistent things which are talking donkeys! (shrink)

The simplest quantified modal logic combines classical quantification theory with the propositional modal logic K. The models of simple QML relativize predication to possible worlds and treat the quantifier as ranging over a single fixed domain of objects. But this simple QML has features that are objectionable to actualists. By contrast, Kripke-models, with their varying domains and restricted quantifiers, seem to eliminate these features. But in fact, Kripke-models also have features to which actualists object. Though these philosophers have introduced variations (...) on Kripke-models to eliminate their objectionable features, the most well-known variations all have difficulties of their own. The present authors reexamine simple QML and discover that, in addition to having a possibilist interpretation, it has an actualist interpretation as well. By introducing a new sort of existing abstract entity, the contingently nonconcrete, they show that the seeming drawbacks of the simplest QML are not drawbacks at all. Thus, simple QML is independent of certain metaphysical questions. (shrink)

Consider the following argument, where ‘\’ abbreviates ‘the proposition that p’: It is possible that Socrates does not exist.Necessarily, if Socrates does not exist, then \ is true.Necessarily, if \ is true, then \ exists.Necessarily, if \ exists, then Socrates exists.Therefore, it is possible that Socrates exists and does not exist. How can one respond to this argument? Fine thinks that the argument involves an equivocation concerning the notion of truth for propositions: if we stand inside a possible world to (...) evaluate the truth, in this ‘inner’ sense holds but fails; but if we stand outside, in this ‘outer’ sense holds but fails. In this paper we argue that such an equivocation response is obscure, ad hoc, and unmotivated. (shrink)

Open future is incompatible with realism about possible worlds. Since realistically conceived (concrete or abstract) possible worlds are maximal in the sense that they contain/represent the full history of a possible spacetime, past and future included, if such a world is actual now, the future is fully settled now, which rules out openness. The kind of metaphysical indeterminacy required for open future is incompatible with the kind of maximality which is built into the concept of possible worlds. The paper discusses (...) various modal realist responses and argues that they provide ersatz openness only, or they lead to incoherence, or they render the resulting theory inadequate as a theory of modality. The paper also considers various accounts of the open future, including rejection of bivalence, supervaluationism, and the ‘thin red line’ view (TRL), and claims that a version of (TRL) can avoid the incompatibility problem, but only at the cost of deflating the notion of openness. (shrink)

In this paper, I examine Takashi Yagisawa’s response to van Inwagen’s ontic objection against David Lewis. Van Inwagen criticizes Lewis’s commitment to the absolutely unrestricted sense of ‘there is,’ and Yagisawa claims that by adopting modal tenses he avoids commitment to absolutely unrestricted quantification. I argue that Yagisawa faces a problem parallel to the one Lewis faces. Although Yagisawa officially rejects the absolutely unrestricted sense of a quantifying expression, he is still committed to the absolutely unrestricted sense of ‘is a (...) real.’. (shrink)

In this paper, I criticize Structured Propositionalism, the most widely held theory of the nature of propositions according to which they are structured entities with constituents. I argue that the proponents of Structured Propositionalism have paid insufficient attention to the metaphysical presuppositions of the view – most egregiously, to the notion of propositional constituency. This is somewhat ironic, since the friends of structured propositions tend to argue as if the appeal to constituency gives their view a dialectical advantage. I criticize (...) four different approaches to providing a metaphysics of propositional constituency: set-theoretic, mereological, hylomorphic, and structure-making. Finally, I consider the option of taking constituency in a deflationary, metaphysically ‘lightweight’ sense. I argue that, though invoking constituency in a lightweight sense may be useful for avoiding the ontological problems that plague the ‘heavyweight’ conception, it no longer proffers a dialectical advantage to Structured Propositionalism. (shrink)

Presentists believe that only present things exist. But opponents insist this view has unacceptable implications: if only present things exist, we can’t express singular propositions about the past, since the obvious propositional constituents don’t exist, nor can we account for temporal passage, or the openness of the future. According to such opponents, and in spite of the apparent ‘common sense’ status of the view, presentism should be rejected on the basis of these unacceptable implications. In this paper, I present and (...) defend a version of presentism that avoids the unacceptable implications. The basic strategy I employ is familiar—I postulate presently existing entities to serve as surrogates for non-present entities—but some of the details of my proposal are more novel, and their application to these problems is certainly novel. One overarching thesis of this paper is that Thisness Presentism is preferable to other versions of presentism since it solves important problems facing standard iterations of the view. And I assume that this is a good positive reason in favour of the underlying thisness ontology. (shrink)

In this paper, I argue that all expressions for abstract objects are meaningless. My argument closely follows David Lewis’ argument against the intelligibility of certain theories of possible worlds, but modifies it in order to yield a general conclusion about language pertaining to abstract objects. If my Lewisian argument is sound, not only can we not know that abstract objects exist, we cannot even refer to or think about them. However, while the Lewisian argument strongly motivates nominalism, it also undermines (...) certain nominalist theories. (shrink)