Possible Worlds

In this paper, I list various kinds of ‘plurality’ in philosophical investigations. By plurality, I mean a plurality of methodological criteria which we apply to philosophical phenomena and which are very often incompatible with each other. Any philosophical phenomenon can be approached from different methodological viewpoints and result in utterly different ontological and ideological commitments. In other words, I assume that one philosophical problem can have different solutions which depend on different methodological and theoretical presuppositions. Instead of considering this feature (...) of philosophical theories as a problem, I take this plurality as a natural meta-philosophical result. As an example, I consider impossible phenomena and ways of treating them systematically. (shrink)

According to Perdurantism, persons are identical to maximal aggregates of appropriately interrelated temporal parts. Within the Perdurantist framework, an epistemic concern arises, targeting the perduring persons’ belief that they are persons, suggesting that, ultimately, they are not in a position to know that they are persons as opposed to temporal parts. Despite the consideration it has received over the years, this concern has not yet been converted into a full-fledged objection. This paper aims to address this gap by exploring the (...) possibility of formulating a coherent Epistemic Objection against Perdurantism. We shall examine several epistemological principles around which such an objection might be built, arguing that none of them, in the end, allows a plausible formulation of the objection. As a result, we shall conclude that the burden of proving that in a Perdurantist setting persons are not in a position to know that they are persons rests with the objectors. (shrink)

Propositional contingentism is the thesis that there might have been propositions which might have not have been something. Serious actualism is the thesis that it is impossible for a property to be exemplified without there being something which exemplifies it. Both are popular. Likewise, the dominant view in the metaphysics of modality is that metaphysical possibility and necessity can be understood – in some sense – in terms of possible worlds, i.e. total ways the world could have been. Here, I (...) argue that, given some minimal assumptions, the conjunction of propositional contingentism and serious actualism entails that worlds are modally fragile – every world is ontologically dependent on every proposition. I then show that such a consequence is inconsistent with the claim that propositions true at all possible worlds are necessary. (shrink)

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

Etic theorizing uses the theorist’s social notions to theorize about their subject. This theorist may claim that Genghis Khan was a war criminal even though his actions predate the enactment of the Geneva Conventions. Brian Epstein considers a modal etic theorist who claims that Genghis Khan would have been a war criminal even if the Geneva Conventions were never enacted. Epstein argues that this has metaphysical import: it requires postulating a novel metaphysical notion of “anchoring”. Drawing from some familiar issues (...) in modal actualism, I argue that modal etic theorizing does not support this postulate. But it does suggest a distinctive kind of modality at work in social reality. (shrink)

Realists about possible worlds typically identify possible worlds with abstract objects, such as propositions or properties. However, they face a significant objection due to Lewis (1986), to the effect that there is no way to explain how possible worlds-as-abstract objects represent possibilities. In this paper, I describe a response to this objection on behalf of realists. The response is to identify possible worlds with propositions, but to deny that propositions are abstract objects, or indeed objects at all. Instead, I argue (...) that realists should follow Prior (1971) and others in treating higher-order quantification (e.g. quantification into predicate or sentence position) as a genuine form of quantification in its own right, and so in particular, not to be analysed in terms of first-order quantification over abstract objects. I argue that from this ‘higher-orderist’ perspective, there is a relatively straightforward answer to the question of how possible worlds-as-propositions succeed in representing possibilities. (shrink)

An introduction to the notion of possible worlds and the problems related to it.

The rigor and precision of Leibniz's "possible world" evolved into the concept of Turing machine, and with the birth of the first computer and the physical realization of Turing machine, human cognitive and intelligent activities were optimistically considered by cognitive scientists to be convertible into computational programs for simulation by machines. Cognitive science then formed the research agenda of "cognitive computationalism", and our Chinese scholars have responded to this general view that "the essence of cognition is computation" and that the (...) human brain and computers are merely formal systems for manipulating and processing symbols in their respective fields. Professor Hong Dingguo used the concepts of "manifest order" and "hidden order", Professor Jin Gulun used the philosophical categories of "constitutive theory" and "generative theory", and Liu Yuesheng used the concept of "cognition". Professor Hong Dingguo reinterpreted the relationship between the "real world" and the "possible world" by using the concepts of "manifest sequence" and "hidden sequence", Professor Jin Wulun used the philosophical categories of "composition theory" and "generation theory", and Professor Liu Yuesheng used the generalized information paradigm of "structural information" and "exchange information". "This provides a profound elucidation of the nature of cognitive logic and the process of human cognitive activities becoming symbols through coding and puts forward theoretical limits. The current theoretical dilemma and practical difficulty of cognitive science lies in the fact that it has developed algorithmic concepts in the Turing sense that can only model the explicitly sequential part of cognitive and intellectual activity, forming a constitutive atomic abstraction, or in our terms, classical "structural information", which cannot fully explain the inner mechanisms of human mental activity and its embodied flexibility, selectivity and self-emergence. Wu Xuemou's pan-system theory does not simply rely on logic and Turing machine algorithms, but models human intelligence by treating structural information as a complex large system composed of a collection of elements and a collection of relations (exchange information: five mutual eight chips), in order to break through the narrow path of seeking only the local consistency of the system as currently done; while Wang Dekui's exploration of the three-spin biological and physical path and Huang Zhanji's abandonment of the artificial means of logic to seek the large logical natural mechanisms and Mr. Zhou Liquan's proposal of a schema for successful communication using natural language on the basis of concepts such as context and implicit connotation ("Logic — A Theory of Correct Thinking and Successful Communication"), all reflect the milestones of Chinese scholars who seek to address the deeper issues of cognitive science. We believe that along this series of explorations, combined with new results in recent years in the fields of artificial life and evolutionary computation, a new research agenda in cognitive science will emerge. (shrink)

It is essential to analyze the state, significance, and issues of the Metaverse as a possible world from an ontological perspective. The Metaverse is an on going ontological event. Despite its status as a possible world beyond the real world, its actors are still human beings from the real world. It is thus impossible for the Metaverse to transcend the fundamental problems of human life, as the issues of politics, capital, and ideology still take place in a recursive manner. Therefore, (...) the Metaverse does not have its own independent ontology, but shares the ontology of the real world. To conclude, the Metaverse may change people's lives, but not ontology. (shrink)

Luiz Henrique Lopes dos Santos, em seu texto sobre "Leibniz e a questão dos futuros contingentes”, argumenta em favor de seu diagnóstico segundo o qual, no fundo, a principal diferença entre as doutrinas de Espinosa e Leibniz reside no fato de que o primeiro, diferentemente do segundo, não sabia lógica. Este texto procura objetar à sua posição, respondendo às críticas do autor à posição de Espinosa quanto à liberdade divina. Procurarei mostrar que, sob o aspecto preciso da articulação aí estabelecida (...) entre a distinção vontade/entendimento e a questão dos possíveis jamais realizados, ela não poderia estar disponível para a metafísica de Espinosa, não por ele ter ignorado um princípio básico da lógica modal, como alega o autor, mas porque ele compreende diferentemente o estatuto ontológico da unidade das coisas individuais e, portanto, dos agentes humanos. (shrink)

Possible worlds are commonly seen as an interpretation of modal operators such as "possible" and "necessary". Here, we develop possible world semantics (PWS) which can be expressed in basic set theory and first-order logic, thus offering a reductionist account of modality. Specifically, worlds are understood as complete sets of statements and possible worlds are sets whose statements are consistent with a set of conceptual laws. We introduce the construction calculus (CC), a set of axioms and rules for truth, possibility, worldness (...) and consistency. We show that CC allows to prove fundamental theorems about necessity, possibility, impossibility and contigency, thus demonstrating prima-facie plausibility of PWS. Finally, we discuss the explanatory power of our approach and draw connections between our account and established philosophical conceptions of possible worlds. (shrink)

Pluralists believe in the occurrence of numerically distinct spatiotemporal coincident objects. They argue that there are coincident objects that share all physical and spatiotemporal properties and relations; nevertheless, they differ in terms of modal and some other profiles. Appealing to the grounding problem according to which nothing can ground the modal differences between coincident objects, monists reject the occurrence of coincident objects. In the first part of this paper, I attempt to show that the dispute between monists and pluralists cannot (...) be settled based upon the grounding problem tout court. I argue that the grounding problem or a very similar problem is a challenge for all monists and pluralists alike if they are ontologically committed to the existence of composite objects as independent entities. In the final part, adopting the Aristotelian account of essence, I propose a solution that enables pluralists to plausibly ground modal differences between coincident objects. (shrink)

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent with propositional (...) contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

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

An analysis of Scripture uncovers a new model of God’s election and predestination of souls, which fits under the umbrella of the Calvinist theologies, but where this model involves an answer to the long-standing question of why God chose some, rather than all. It will be explored how before souls were elected (or condemned), God looked at them and knew them in a pre-election state, which God used to predestine each soul in physical reality. This analysis reveals why it could (...) be no other way but where God only would choose some, rather than all souls during the physical embodiment stage of the soul, and the vexing centuries-old Calvinist question of why God elected some not all has an answer. (shrink)

In this paper, I discuss a connection between quidditism and the Lewisian principle of recombination. I begin by reconstructing a typical characterisation of a Lewisian principle of recombination, followed by an explanation of quidditism. In the remainder, I argue that a proponent of a Lewisian principle of recombination cannot endorse quidditism without some important modifications of her view.

The paper is a survey of contemporary quidditism, understood as two interrelated metaphysicalpositions — recombinatorial quidditism, which is an account of the nature of possibilities, andindividuation quidditism, which is concerned with the problem of how to individuate properties.I have three aims: to examine the commitments and consequences of both views, to investigatethe relationships between them, and to sketch the logic of the dispute between structuralism andquidditism. I explain how these views relate to Ramseyan humility, according to which we cannotknow the (...) fundamental structure of the world. (shrink)

Is reality the basis of everything or has reality itself an other basis? What makes reality – not the real things – to be active, to exist? The question of what is real seems to be an easy question, because in our daily lives we are and must be naive realists. We ourselves, the things around us, the world, the facts, all that is real. there must be several concepts of reality if we want to say that not only physical (...) or material things of everyday life are real, e. g. numbers, π, Dr. Faustus, thoughts, emotions and other things. On the other hand, given the difference of classical physics and modern physics, we see that even that form of knowledge, which seems to be most responsible for reality, natural science, cannot give the desired uniqueness in terms of what itself wants or needs to understand as real. Alternatively, when we see that nothing can be and nothing can be real without being in a world, and when we understand the world as the order of things, which I call worldI , then this leads us to the speculative answer that it is exactly the “unreal” worldI which is the reason why the everyday reality, worldI I , is real. The worldI is the basis for the reality of our empirical worldI I . The considerations presented here have nothing to do with the idealistic conception of possibility, founded in the power of the subject, nor with the existential concept of potentiality, founded in the Entwurf des Daseins. (shrink)

This study asserts that W.V.O. Quine’s eliminative philosophical gaze into mereological composition affects inevitably his interpretations of composition theories of ontology. To investigate Quine’s property monism from the account of modal eliminativism, I applied to his solution for the paradoxes of de re modalities’ . Because of its vital role to figure out how dispositions are encountered by Quine, it was significantly noted that the realm of de re modalities doesn’t include contingent and impossible inferences about things. Therefore, for him, (...) all the intrinsic forces and elements of entities such as powers and causal or teleological dispositions for ontology demand to be seen necessarily as bound variables from a monist perspective. Although his denial of analyticity and the elimination of dispositional field of ontology, S. Mumford criticizes the monist perspective of Quine’s paradoxical approach to superveniences. Because superveniences create problems while determining type-type identities from a monist mereological perspective. It is observed that Quine faces with a reduction again in terms of his dispositional monism despite his critiques to repulse vagueness from the ontology in his well-known article Two Dogmas of Empiricism. -/- . (shrink)

Essay on philosophical problems with police sting operations and the legal doctrine of entrapment.

This note points out a conflict between some common intuitions about metaphysical possibility. On the one hand, it is appealing to deny that there are robust counterfactuals about how various physically impossible substances would interact with the matter that exists at our world. On the other hand, our intuitions about how concepts like MOUNTAIN apply at other metaphysically possible worlds seem to presuppose facts about ‘solidity’ which cash out in terms of these counterfactuals. I consider several simple attempts to resolve (...) this conflict and note they all fall short. (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)

Considering the importance of possible-world semantics for modal logic and for current debates in the philosophy of modality, a phenomenologist may want to ask whether it makes sense to speak of “possible worlds” in phenomenology. The answer will depend on how "possible worlds" are to be interpreted. As that latter question is the subject of the debate about possibilism and actualism in contemporary modal metaphysics, my aim in this paper is to get a better grip on the former question by (...) exploring a Husserlian stance towards this debate. I will argue that the phenomenologist’s way to deal with the problem of intentional reference to mere possibilia is analogous to the actualist’s idea of how “possible worlds” are to be interpreted. Nevertheless, I will be pointing to a decisive difference in the metaphilosophical preconditions of what I call "phenomenological actualism" and analytical versions of actualism. (shrink)

Many widely divergent accounts of luck have been offered or employed in discussing an equally wide range of philosophical topics. We should, then, expect to find some unified philosophical conception of luck of which moral luck, epistemic luck, and luck egalitarianism are species. One of the attempts to provide such an account is that offered by Duncan Pritchard, which he refers to as the modal account. This view commits us to calling an event lucky when it obtains in this world, (...) but fails to obtain in a wide class of nearby possible worlds. In support of this account, Pritchard argues that a theory of luck ought to capture the fact that luck comes in degrees and that luck is closely associated with risk. I argue against this claim by suggesting that an understanding of luck grounded in considerations of probability is better able to satisfy these demands, and that the probability theory better explains exemplary cases of luck like those brought up by Pritchard. (shrink)

The standard view of clauses embedded under attitude verbs or modal predicates is that they act as terms standing for propositions, a view that faces a range of philosophical and linguistic difficulties. Recently an alternative has been explored according to which embedded clauses act semantically as predicates of content-bearing objects. This paper argues that this approach faces serious problems when it is based on possible worlds-semantics. It outlines a development of the approach in terms of truthmaker theory instead.

A Cantorian argument that there is no set of all truths. There is, for the same reason, no possible world as a maximal set of propositions. And omniscience is logically impossible.

Allen s has proposed a new approach to possible worlds, designed explicitly to overcome Cantorian difficulties for possible worlds construed as maximal consistent set of propositions. I emphasize some of the distinctive features of Hazenworlds, some of their weaknesses, and some further Cantorian problems for worlds against which they seem powerless.

Everyone knows what David Lewis' possible worlds are, what role they play in his account of possibility and necessity, and Saul Kripke's criticisms. But what, instead, are Kripke's possible worlds, and what role do they play in his account of possibility and necessity? The answers are not so obvious. Recently, it has even been claimed that, contrary to what is standardly assumed, Kripke's approach to modality has not always been consistently metaphysical. In particular, an interpretation of the famous passage in (...) the preface to Naming and Necessity with Kripke's discussion of the dice example has been put forward, according to which he purports there to clarify the modal notions in terms of that of possible world, model-theoretically construed, in a way which is reminiscent of Carnap's. In this paper, I shall point out some internal difficulties of this interpretation, and offer a different one, according to which in the dice passage Kripke is trying, consistently with his metaphysical approach, to legitimize the technically useful notion of possible world starting from modal notions, to be accounted for in another way (arguably, in an essentialistic framework). My final goal, however, will be philosophical elucidation rather than mere exegesis. Indeed, I am interested in shedding some light on what possible worlds might possibly be, if something like Kripke's metaphysical approach is on the right track. (shrink)

This is a paper in which I argue that problems of transworld identity and the truth in-truth at distinction are motivated by unhelpful pictures we have in mind while doing metaphysics.

Among philosophers working on modality, there is a common assumption that there is a strong connection between temporal possibility and counterfactual possibility. For example, Sydney Shoemaker 1998, 69 70) writes: It seems to me a general feature of our thought about possibility that how we think that something could have differed from how it in fact is [is] closely related to how we think that the way something is at one time could differ from the way that same thing is (...) at a different time. In possible worlds jargon, the ways one and the same thing of a given sort can differ across worlds correspond to the ways one and the same thing of that sort can differ at different times in the same world. Could I have been a plumber or an accountant instead of a philosopher? The answer seems to be yes -- and this goes with the fact that we acknowledge the possibility of a scenario in which someone who was exactly as I was at some point in my life undergoes a series of changes resulting in his eventually being a plumber or an accountant. In a footnote, he acknowledges that this connection between counterfactual and temporal possibility needs to be qualified in response to an objection by Randy Clarke: «The property of being the child of someone who has visited Paris is not one that one can have and then lose; but it is one that one can have in the actual world and not have in some other possible world.» (1998, 75n.9) Therefore, he restricts the inference from temporal to counterfactual possibility and vice versa to «non historical properties.». (shrink)

For the past 30 years, Alvin Plantinga's work in the metaphysics of modality has been both insightful and innovative; it is high time that his papers in this area be collected together in a single volume. This book contains 11 pieces of Plantinga's work in modal metaphysics, arranged in chronological order so one can trace the development of his thought on matters modal. In what follows I will lay out the principal concepts and arguments in these papers.

The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical Empiricism deserves revitalization. (...) Another target besides metaphysical necessity are substantial forms of iterated modalities, as used, for instance, in the philosophy of religion. (shrink)

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

According to actualism about possible worlds everything that exists is actual. Possible worlds and individuals are actually existing abstract parts of the actual world. Aristotelian actualism is a view that there are only actual individuals but no possible ones, nor their individual abstract representatives. Because of that, our actualist account of modality should differ depending on whether it concerns actual individuals or possible ones. The main goal of the dissertation is to develop a metaphysical framework for Aristotelian actualism. Chapter 1 (...) explains basic issues associated with the possible world approach to modality. I overview modal realist and actualist views on possible worlds and explain why I support the actualist approach. Subsequently, I introduce a distinction between Platonic and Aristotelian actualism, and discuss some semantic issues associated with actualism as such. In Chapter 2 I argue that Aristotelian actualism, modeled on linguistic ersatzism, is preferable over its Platonic counterpart. Subsequently, I propose a metaphysical framework for Aristotelian ersatzism which is based on a claim that our modal concepts work differently for actual and possible individuals. In order to explain that claim I introduce three specific differences concerning modal features of actual and possible individuals: (a) Representational Difference, according to which actual and possible individuals are represented differently by possible worlds; (b) Metaphysical Difference, according to which actual and possible individuals are represented by possible worlds as having different metaphysical nature; (c) Modal Difference, which says while there are singular and contingent possibilities involving actual individuals, all possibilities about possible individuals are general and necessary. I propose to interpret those differences in terms of the doctrines of haecceitism, antihaecceitism and existentialism. There is however no consensus on how those views should be characterized. Chapters 3, 4, and 5 focus on providing a precise characterization of those doctrines. Chapter 3 focuses on the doctrines of modal haecceitism and antihaecceitism, which I view as opposite accounts of how possible worlds represent possibilities. According to modal haecceitism what possible worlds say about particular individuals does not supervene on what they say qualitatively. Modal antihaecceitism is a denial of such a claim. Chapter 4 concerns metaphysical haecceitism and antihaecceitism, which I take to be alternative accounts of the fundamental structure of reality. For the metaphysical haecceitist reality contains irreducible singular facts, while for the metaphysical antihaecceitist reality is purely qualitative and general. Chapter 5 focuses on an argument between existentialists and antiexistentialists. Existentialists claim that there are contingent singular propositions, while antiexistentialists deny that. I defend existentialism against antiexistentialist counterarguments, as well as criticize some of the antiexistentialist accounts of singular propositions modeled on the notion of individual essence. In Chapter 6, by appealing to the results of investigations conducted in Chapters 3, 4 and 5, I reconsider Representational, Metaphysical and Modal Differences. According to a view that I propose: (a) Representational Difference entails (extreme) modal haecceitism for actual individuals but (extreme) modal antihaecceitism for possible individuals; (b) Metaphysical Difference entails metaphysical haecceitism (individualism) for actual individuals, but metaphysical antihaecceitism (generalism) for possible individuals; finally (c) Modal Difference entails existentialism: while there are singular and contingent possibilities involving actual individuals, all possibilities about possible individuals are general and necessary. In Chapter 6, I also explain the implications of those views for the various issues, including transworld identity, essentialism, or the modal status of modal space. Lastly, Chapter 7 overviews some semantic and metaphysical applications of Aristotelian ersatzism. I explain how it manages to accommodate Kripkean semantics and how it is able to account for the possibilities of indiscernibles, alien individuals and iterated modalities. I also address some possible objections to my proposal, including an issue of implicit representation and the Humphrey objection. (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)

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)

David Lewis objected to theories that posit necessary connections between distinct entities and to theories that involve a magical grasping of their primitives. In On the Plurality of Worlds, Lewis objected to nondescript ersatzism on these grounds. The literature contains several reconstructions of Lewis’ critique of nondescript ersatzism but none of these interpretations adequately address his main argument because they fail to see that Lewis’ critique is based on broader methodological considerations. I argue that a closer look at his methodology (...) reveals the broader objection he presented against nondescript ersatzism. This objection, I further argue, remains a challenge for the ersatzer who posits structure-less entities as possible worlds. (shrink)

In this article, I am interested in four versions of what is often referred to as "the Humphrey objection". This objection was initially raised by Kripke against Lewis's modal counterpart theory, so this is where I will start the discussion. As we will see, there is a perfectly good answer to the objection. I will then examine other places where a similar objection can be raised: it can arise in the case of temporal counterpart theory (in fact, it can arise (...) in the case of all kinds of counterpart theories, independently on modal realism), and a very similar worry can also arise against modal realism itself or against an ersatzist theory of possible worlds itself. For similar reasons, in similar situations, a similar objection will arise. What is interesting is that it is not the case that a similar response can be given in all of these similar cases. So, in the end, we will see what dissimilarities there are and how and why they are relevant. In particular, we will see the differences there are between alethic modalities and temporal modalities. In the case of alethic modalities (metaphysical necessity and possibility), the objection can be answered by appealing to the notion of representation, while this does not work very well in the case of temporal modalities. (shrink)

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well (...) as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources. (shrink)

Theories of content are at the centre of philosophical semantics. The most successful general theory of content takes contents to be sets of possible worlds. But such contents are very coarse-grained, for they cannot distinguish between logically equivalent contents. They draw intensional but not hyperintensional distinctions. This is often remedied by including impossible as well as possible worlds in the theory of content. Yet it is often claimed that impossible worlds are metaphysically obscure; and it is sometimes claimed that their (...) use results in a trivial theory of content. In this paper, I set out the need for impossible worlds in a theory of content; I briefly sketch a metaphysical account of their nature; I argue that worlds in general must be very fine-grained entities; and, finally, I argue that the resulting conception of impossible worlds is not a trivial one. (shrink)

Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notion of “possible world.” I articulate three constraints on any acceptable primitivist explanation of the nature of possible worlds, and (...) show that the interpreted models conception meets the three constraints. (shrink)

You and I can differ in what we say, or believe, even though the things we say, or believe, are logically equivalent. Discussing what is said, or believed, requires notions of content which are finer-grained than sets of (metaphysically or logically) possible worlds. In this paper, I develop the approach to fine-grained content in terms of a space of possible and impossible worlds. I give a method for constructing ersatz worlds based on theory of substantial facts. I show how this (...) theory overcomes an objection to actualist constructions of ersatz worlds and argue that it naturally gives rise to useful notions of fine-grained content. (shrink)

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impossibilities are represented as set-theoretic constructions (...) out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (shrink)

David Lewis' objection to a generic theory of modality which he calls ‘magical ersatzism’ is that its linchpin, a relation he calls ‘selection’, must be either an internal or an external relation, and that this is unintelligible either way. But the problem he points out with classifying selection as internal is really just an instance of the general problem of how we manage to grasp underdetermined predicates, is not peculiar to magical ersatzism, and is amenable to some familiar solutions. He (...) provides no compelling grounds for thinking that classifying selection as external is unintelligible, and his argument has a false presupposition. I conclude that magical ersatzism is still a viable option in the metaphysics of modality. (shrink)

The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical Empiricism deserves revitalization. (...) Another target besides metaphysical necessity are substantial forms of iterated modalities, as used, for instance, in the philosophy of religion. (shrink)

Can we do science without numbers? How much contingency is there? These seemingly unrelated questions--one in the philosophy of math and science and the other in metaphysics--share an unexpectedly close connection. For as it turns out, a radical answer to the second leads to a breakthrough on the first. The radical answer is new view about modality called compossible immutabilism. The breakthrough is a new strategy for doing science without numbers. One of the chief benefits of the new strategy is (...) that, unlike the existing substantialism approach from Field (1980), the new strategy naturally generalizes to theories formulated in terms of state space. (shrink)