Online research in philosophy

In this paper I explore the relationship between the idea of possible worlds and the notion of the beauty of God. I argue that there is a clear contradiction between the idea that God is utterly and completely beautiful on the one hand and the notion that He contains within himself all possible worlds on the other. Since some of the possible worlds residing in the mind of the deity are ugly, their presence seems to compromise God's complete and utter beauty.

It is difficult to wander far in contemporary metaphysics without bumping into talk of possible worlds. And, reference to possible worlds is not confined to metaphysics. It can be found in contemporary epistemology and ethics, and has even made its way into linguistics and decision theory. What are those possible worlds, the entities to which theorists in these disciplines all appeal? Some have hoped that a theory of possible worlds can be used to reduce modality to non-modal terms. This paper sets reductive theories aside, and articulates and applies a framework for evaluating non-reductive theories of possible worlds. I argue that, if we abjure reduction, we should aim for a theory of possible worlds that is user-friendly. I then outline four leading contemporary theories and consider objections to each. My conclusions are negative: every theory we discuss fails to be user-friendly in some significant respect.

The appeal to possible worlds in the semantics of modal logic and the philosophical defense of possible worlds as an essential element of ontology have led philosophers and logicians to introduce other kinds of `worlds' in order to study various philosophical and logical phenomena. The literature contains discussions of `non-normal worlds', `non-classical worlds', `non-standard worlds', and `impossible worlds'. These atypical worlds have been used in the following ways: (1) to interpret unusual modal logics, (2) to distinguish logically equivalent propositions, (3) to solve the problems associated with propositional attitude contexts, intentional contexts, and counterfactuals with impossible antecedents, and (4) to interpret systems of relevant and paraconsistent logic. However, those who have attempted to develop a genuine metaphysical theory of such atypical worlds tend to move too quickly from philosophical characterizations to formal semantics.

In Everett’s many-worlds interpretation, where quantum measurements are seen as decoherence events, inexact decoherence may let large worlds mangle the memories of observers in small worlds, creating a cutoff in observable world measure. I solve a growth–drift–diffusion–absorption model of such a mangled worlds scenario, and show that it reproduces the Born probability rule closely, though not exactly. Thus, inexact decoherence may allow the Born rule to be derived in a many-worlds approach via world counting, using a finite number of worlds and no new fundamental physics.

The notion of a possible world is familiar from Leibniz’s philosophy, especially the idea – parodied by Voltaire in Candide – that the world we inhabit, the actual world, is the best of all possible worlds. But it was primarily in the latter half of the twentieth century that possible worlds became a mainstay of philosophical theorizing. In areas as diverse as philosophy of language, philosophy of science, epistemology, logic, ethics, and, of course, metaphysics itself, philosophers helped themselves to possible worlds in order to provide analyses of key concepts from their respective domains. David Lewis contributed analyses in all of these fields, most famously, perhaps, his possible worlds analysis of counterfactual conditionals (Lewis 1973). But these analyses invoking possible worlds cry out for a foundation: how is all this talk about possible worlds to be construed? Do possible worlds exist? If so, what is their nature?

In several works on modality, G. H. von Wright presents tree structures to explain possible worlds. Worlds that might have developed from an earlier world are possible relative to it. Actually possible worlds are possible relative to the world as it actually was at some point. Many logically consistent worlds are not actually possible. Transitions from node to node in a tree structure are probabilistic. Probabilities are often more useful than similarities between worlds in treating counterfactual conditionals.

Possible-worlds talk obscures, rather than clarifies, the debate about haecceitism. In this paper I distinguish haecceitism and anti-haecceitism from other doctrines that sometimes go under those names. Then I defend the claim that there are no non-tendentious definitions of ‘haecceitism’ and ‘anti-haecceitism’ using possible-worlds talk. That is, any definition of ‘haecceitism’ using possible-worlds talk depends, for its correctness, on a substantive theory of the nature of possible worlds. This explains why using possible-worlds talk when discussing haecceitism causes confusion: if the parties to the discussion presuppose different theories of the nature of possible worlds, then they will mean different things by ‘haecceitism’.

If a possible-worlds semantic theory for modal logics is pure, then the assertion of the theory, taken at face-value, can bring no commitment to the existence of a plurality of possible worlds (genuine or ersatz). But if we consider an applied theory (an application of the pure theory) in which the elements of the models are required to be possible worlds, then assertion of such a theory, taken at face-value, does appear to bring commitment to the existence of a plurality of possible worlds. Or at least that is so if the applied theory is adequate. For an applied possible-worlds semantic theory that is constrained to contain only one-world models is bound to deliver results on validity, soundness and completeness that are apt to seem disastrous. I attempt to steer a course between commitment to the existence of a plurality of possible worlds and commitment to such a disastrous applied possible-worlds semantics by noting, and developing, the position of one who asserts such a theory at face-value but who remains agnostic about the existence of other (non-actualized) possible worlds. Thus, a novel interpretation of applied possible-worlds semantics is offered on which we may lay claim to whatever benefits such a theory offers while avoiding realism about (other) possible worlds. Thereby, the contention that applied possible-worlds semantics gives us reason to be realists about possible worlds is (further) undermined.

I offer an understanding of what it is for a term to be rigid which makes no serious metaphysical commitments to or about identity across possible worlds. What makes a term rigid is not that it 'refers to the same object(property) with respect to all worlds' - rather (roughly) it is that the criteria of application for the term with respect to other worlds, when combined with the criteria of identity associated with the term, ensure that whatever meets the criteria of identity also meets the criteria of application and vice versa - in the simplest case, the criteria of application just are the criteria of identity - but things can be more complex to allow for the necessary a posteriori. This makes rigidity a non-metaphysically loaded semantic matters, and allows us to see that the phenomenon of and involving rigidity - especially the necessary a posteriori - are of no metaphysical significance on their own.

Various writers have proposed that the notion of a possible world is a functional concept, yet very little has been done to develop that proposal. This paper explores a particular functionalist account of possible worlds, according to which pluralities of possible worlds are the bases for structures which provide occupants for the roles which analyse our ordinary modal concepts. It argues that the resulting position meets some of the stringent constraints which philosophers have placed upon accounts of possible worlds, while also trivializing the question what possible worlds are. The paper then discusses a range of problems facing the functionalist position.