Four questions are raised about the semantics of Quantified Modal Logic (QML). Does QML admit possible objects, i.e. possibilia? Is it plausible to admit them? Can sense be made of such objects? Is QML committed to the existence of possibilia?The conclusions are that QML, generalized as in Kripke, would seem to accommodate possibilia, but they are rejected on philosophical and semantical grounds. Things must be encounterable, directly nameable and a part of the actual order before they may plausibly enter into (...) the identity relation. QML is not committed to possibiha in that the range of variables may be restricted to actual objects.Support of the conclusions requires some discussion of substitution puzzles; also, the semantical distinction between proper names which are directly referring, and descriptions even where the latter are "rigid designators".Views of W.V. Quine, B. Russell, K. Donnellan, D. Kaplan as well as S. Kripke are invoked or evaluated in conjunction with these issues. (shrink)

The result of combining classical quantifi cational logic with modal logic proves necessitism -- the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as Ext = x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantifi cation to a certain kind of free logic. However it has often been noted (...) that in order to specify the truth conditions of certain sentences involving constants or variables that don't denote one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually denote anything they might have actually done so, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

Bernard Linsky and Edward Zalta have recently proposed a new form of actualism. I characterize the general form of their view and the motivations behind it. I argue that it is not quite new – it bears interesting similarities to Alvin Plantinga’s view – and that it definitely isn’t actualist.

In this paper, I distinguish between two varieties of actualism—hardcore actualism and softcore actualism—and I critically discuss Ross Cameron’s recent arguments for preferring a softcore actualist account of the truthmakers for modal truths over hardcore actualist ones. In the process, I offer some arguments for preferring the hardcore actualist account of modal truthmakers over the softcore actualist one.

Consider two standard quantified modal languages and whose vocabularies comprise the identity predicate and the existence predicate, each endowed with a standard S5 Kripke semantics where the models have a distinguished actual world, which differ only in that the quantifiers of are actualist while those of are possibilist. Is it possible to enrich these languages in the same manner, in a non-trivial way, so that the two resulting languages are equally expressive—i.e., so that for each sentence of one language there (...) is a sentence of the other language such that given any model, the former sentence is true at the actual world of the model iff the latter is? Forbes (1989) shows that this can be done by adding to both languages a pair of sentential operators called Vlach-operators, and imposing a syntactic restriction on their occurrences in formulas. As Forbes himself recognizes, this restriction is somewhat artificial. The first result I establish in this paper is that one gets sameness of expressivity by introducing infinitely many distinct pairs of indexed Vlach-operators. I then study the effect of adding to our enriched modal languages a rigid actuality operator. Finally, I discuss another means of enriching both languages which makes them expressively equivalent, one that exploits devices introduced in Peacocke (1978). Forbes himself mentions that option but does not prove that the resulting languages are equally expressive. I do, and I also compare the Peacockian and the Vlachian methods. In due course, I introduce an alternative notion of expressivity and I compare the Peacockian and the Vlachian languages in terms of that other notion. (shrink)

Dispositional essentialists are typically committed to two claims: that properties are individuated by their causal role (‘causal structuralism’), and that natural necessity is to be explained by appeal to these causal roles (‘dispositional actualism’). I argue that these two claims cannot be simultaneously maintained; and that the correct response is to deny dispositional actualism. Causal structuralism remains an attractive position, but doesn’t in fact provide much support for dispositional essentialism.

We argue that Armstrong's Combinatorialism allows for the possibility of nothing by giving a Combinatorial account of the empty world and show that such an account is consistent with the ontological and conceptual aims of the theory. We then suggest that the Combinatorialist should allow for this possibility given some methodological considerations. Consequently, rather than being 'spoils for the victor', as Armstrong maintains, deciding whether there might have been nothing helps to determine which metaphysics of modality is to be preferred.

Are there, in addition to the various actual objects that make up the world, various possible objects? Are there merely possible people, for example, or merely possible electrons, or even merely possible kinds? We certainly talk as if there were such things. Given a particular sperm and egg, I may wonder whether that particular child which would result from their union would have blue eyes. But if the sperm and egg are never in fact brought together, then there is no (...) actual object that my thought is about.1 Or again, in the semanti cs for modal logic we presuppose an ontology of possibilia twice over.2 For first, we coutenance various possible worlds, in addition to the actual world; and second, each of these worlds is taken to be endowed with its own domai n of objects. These will be the actual objects of the world in question, but they need not be actual simpliciter, i.e., actual objects of our world. W ha t a r e w e t o m a k e o f such discourse? There are four options: (i) the discourse is taken to be unintelligible; (ii) it is taken to be intelligible but nonfactual, i.e. as not in the business of stating facts; (iii) it is taken to be factual but reducible to discourse involving no reference to possibilia; (iv) it is taken to be both factual and irreducible.3 These options range from a fullblooded form of actualism at one extreme to a full-blooded form of possibilism at the other. The two intermediate positions are possibilist in that they accept the intelligibility of possibilist discourse but actualist in that they attempt to dispense with its prima facie commitment to possibilia. All four positions have found advocates in the literature. Quine, in his less irenic moments, favours option (i); Forbes ([85], p. 94) advocates option (ii), at least for certain parts of possibilist discourse; many philosophers, including Adams [74] and myself, opt for (iii); while Lewis [86] and Stalnaker [75] have endorsed versions of (iv), that differ in how full-blooded they take the possible objects to be.. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...) quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

In a recent contribution to the discussion of the necessary and the apriori, Philip Kitcher claims that "appropriate insertion of 'actual' and 'actually' can yield a necessary true sentence from anyl true sentence." The general thrust of Kitcher's discussion is the denial of the equivalence of necessity and apriority. I do not discuss any of the epistemological issues that are discussed by Kitcher. The focus of this paper is on the above quoted claim. What follows illustrate my reasons for doubting (...) the correctness of this claim. (shrink)

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. (shrink)

It has been argued that actualism – the view that there are no non-actual objects – cannot deal adequately with statements involving iterated modality, because such claims require reference, either explicit or surreptitious, to non-actual objects. If so, actualists would have to reject the standard semantics for quantified modal logic (QML). In this paper I develop an account of modality which allows the actualist to make sense of iterated modal claims that are ostensibly about non-actual objects. Every occurrence of a (...) modal operator involves the stipulation of a possible world, and nested modal operators require stipulation of nested possible worlds. I provide an actualistically acceptable (AA) semantics for QML wherein the nesting relation is irreflexive and intransitive and forms a tree. Despite these restrictions, AA models can beshown to be sound and complete for a wide variety of modal logics. (shrink)

Ken Warmbrod thinks Quine agrees that translation is determinate if it is determinate what speakers would say in all possible circumstances; that what things would do in merely possible circumstances is determined by what their subvisible constituent mechanisms would dispose them to do on the evidence of what alike actual mechanisms make alike actual things do actually; and that what speakers say is determined by their neural mechanisms. Warmbrod infers that people's neural mechanisms make translation of what people say determinate. (...) I argue that the evidence of what alike actual mechanisms make alike actual things do actually, underdetermines what our neural mechanisms would make us say in merely possible circumstances. So translation is indeterminate. And so too are the dispositions of physical mechanisms. (shrink)

I have three main objectives in this essay. First, in chapter 2, I shall put forward and justify what I call worldlessness, by which I mean the following: All truths (as well as falsehoods) are wholly independent of any circumstances, not only time and place but also possible worlds. It follows from this view that whatever is actually true must be taken as true with respect to every possible world, which means that all truths are (in a sense) necessary. However, (...) the account I shall propound is different from what is known in the trade as necessitarianism, i.e. the view that there is only one possible world, viz. the actual one, for the doctrine of the worldlessness of truth values, despite its commitment to the necessity of truths and falsehoods, is quite compatible with the idea of there being other possible worlds. Another important issue in chapter 2, explored in particular in section 2.12, is the claim that there is no real change in the world. Secondly, in chapter 3 I consider the eminent traditional argument for determinism, deriving from Aristotle, namely, logical determinism, i.e. determinism justified by an appeal to the logical principle of bivalence (that all proper statements, including those concerning the future, are either true or false). In this connection I try to show that, (i), the formulation of the conclusion of this argument as "Whatever will happen will happen of necessity" is implausible, at least from the modern point of view, (ii), the formulation as "Whatever will happen will happen inevitably" is more to the point, and (iii), on the basis of the worldless and timeless aspect advocated in chapter 2, this latter formulation is quite harmless, essentially amounting to the trivial statement, "Whatever will happen will happen". Thirdly, in chapter 4 I study theological determinism, or determinism that arises from God's supposed providential control over everything that happens. In this connection, I shall survey some historical accounts of the relation between human free will and determinism (not only theological but also causal determinism); the philosophers the views of whom I shall attend to include Chrysippus, St. Augustine, Boethius and Aquinas. I shall in particular consider G.W. Leibniz' theodicean aspirations, viz. his solution to the problem of evil and, especially, his compatibilist attempts to reconcile human free will with the strictly deterministic flow of actual events. I think it is important to try to explicate Leibniz' ingenious account of these matters, since it seems that it has not been fully appreciated in the literature, not even by contemporary Leibniz scholars (such as B. Mates, R.C. Sleigh, C. Wilson, R.M. Adams and D. Rutherford). In providing the Leibnizian compatibilist solution of the problem of determinism and freedom in chapter 4, I shall utilize the approach of chapter 2. (shrink)

Yagisawa (2005) considers two old arguments against the existence requirement. Both arguments are significantly less appealing than Yagisawa suggests. In particular, the second argument, first given by Kaplan (1989: 498), simply assumes that existence is contingent (§1). Yagisawa’s ‘new’ argument shares this weakness. It also faces a dilemma. Yagisawa must either treat ‘at @’ as a sentential operator occupying the same grammatical position as ‘∼’ or as supplying an extra argument place. In the former case, Yagisawa’s argument faces precisely the (...) problems he concedes that Kaplan’s argument does (§2). In the latter case, though the argument does not face these problems, it renders the sense in which things exist contingently no threat to (E) properly understood (§3). (shrink)

To understand the thesis of actualism, consider the following example. Imagine a race of beings — call them ‘Aliens’ — that is very different from any life-form that exists anywhere in the universe; different enough, in fact, that no actually existing thing could have been an Alien, any more than a given gorilla could have been a fruitfly. Now, even though there are no Aliens, it seems intuitively the case that there could have been such things. After all, life might (...) have evolved very differently than the way it did in fact. So in virtue of what is it true that there could have been Aliens when in fact there are none, and when, moreover, nothing that exists in fact could have been an Alien? So-called "possibilists" offer the following answer: ‘It is possible that there are Aliens’ is true because there are in fact individuals that could have been Aliens. At first blush, this might appear directly to contradict the premise that no existing thing could possibly have been an Alien. The possibilist's thesis, however, is that existence, or actuality, encompasses only a subset of the things that, in the broadest sense, are. So for the possibilist, ‘It is possible that there are Aliens’ is true simply in virtue of the fact that there are possible-but-nonactual Aliens, i.e., things that could have existed (but do not) and which would have been Aliens if they had. Actualists reject this answer; they deny that there are any nonactual individuals. Thus, actualism is the philosophical position that everything there is — everything that can in any sense be said to be — exists, or is actual. (shrink)

A central stream running through the history of philosophy has been the attempt to gather a wide range of ostensibly disparate intuitive phenomena under a small, integrated set of concepts. Edward Zalta’s work is a sustained celebration of this tradition. This paper — part of a symposium on Zalta's work — is a friendly, but critical examination of Zalta's commitment to possibilism and the roles they play in his theory.

According to many actualists, propositions, singular propositions in particular, are structurally complex, that is, roughly, (i) they have, in some sense, an internal structure that corresponds rather directly to the syntactic structure of the sentences that express them, and (ii) the metaphysical components, or constituents, of that structure are the semantic values — the meanings — of the corresponding syntactic components of those sentences. Given that reference is "direct", i.e., that the meaning of a name is its denotation, an apparent (...) consequence of this view is that any proposition expressed by a sentence containing a name that denotes a contingent being S is itself contingent — notably, the proposition [S does not exist]. Assuming that an entity must exist to have a property, necessarily, [S does not exist] must exist in order to be true. It seems to follow that, necessarily, [S does not exist] is not true and, hence, that S is not contingent after all. Past approaches to the problem — notably, those of Prior and Adams — lead to highly undesirable consequences for quantified modal logic. In this paper, several solutions to this puzzle are developed that preserve actualism, the structured view of propositions, the direct theory of reference, and the intuition that [S does not exist] is indeed possible without the adverse consequences for QML of previous solutions. (shrink)

In this paper, I first trace the course of Prior's struggles with the concepts and phenomena of modality and the reasoning that led him to his own rather peculiar modal logic Q. I find myself in almost complete agreement with Prior's intuitions and the arguments that rest upon them. However, I will argue that those intuitions do not of themselves lead to Q, but that one must also accept a certain picture of what it is for a proposition to be (...) possible. That picture, though, is not inevitable. Rather, implicit in Prior's own account is an alternative picture that has already appeared in various guises, most prominently in the work of Adams, Fine, Deutsch, and Almog. I, too, will opt for this alternative, though I will spell it out rather differently than these philosophers. I will then show that, starting with the alternative picture, Prior's intuitions can lead instead to a much happier and more standard quantified modal logic than Q. The last section of the paper is devoted to the formal development of the logic and its metatheory. (shrink)

Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for insight into the (...) modal structure of reality. For possible world semantics, it is supposed, commits one to possibilism. In this paper I take issue with this view. To the contrary, I argue that one can take possible world semantics seriously and yet remain in full compliance with actualist scruples. (shrink)

Analytic philosophers usually think about modality in terms of possible worlds. According to the possible worlds framework, a proposition is necessary if it is true according to all possible worlds; it is possible if it is true according to some possible world. There are as many possible worlds as there are ways the actual world might be. Only one world is actual.

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

Perhaps no one has done more in the last 30 years to advance thinking in the metaphysics of modality than has Alvin Plantinga. Collected here are some of his most important essays on this influential subject. Dating back from the late 1960's to the present, they chronicle the development of Plantinga's thoughts about some of the most fundamental issues in metaphysics: what is the nature of abstract objects like possible worlds, properties, propositions, and such phenomena? Are there possible but non-actual (...) objects? Can objects that do not exist exemplify properties? Plantinga gives thorough and penetrating to all of these questions and many others. This volume contains some of the best work in metaphysics from the past 30 years, and will remain a source of critical contention and keen interest among philosophers of metaphysics and philosophical logic for years to come. (shrink)

Armstrong's combinatorialism, in his own words, is the following project: "My central metaphysical hypothesis is that all there is is the world of space and time. It is this world which is to supply the actual elements for the totality of combinations. So what is proposed is a Naturalistic form of a combinatorial theory."2 Armstrong calls his central hypothesis "Naturalism." He intends his well−known theory of universals to satisfy this thesis. He now attempts to give a naturalistic theory of modality.

Particular possibilities -- such as that this particular chair occupy the only vacant corner of my office -- are commonly supposed to depend on what actual things there are and what they are like, whereas general possibilities -- such as that some chair or other occupy some vacant corner or other of some office or other -- are commonly supposed not to be so dependent. I articulate a different conception whereby general possibilities are no less determined by what actual things (...) there are and what they are like than particular possibilities. Ramifications of this approach are highlighted and brought to bear on a problem often raised for actualist essentialism. (shrink)

The aim of this paper is to show that the definition of a possible world in the actualist tradition of A. Plantinga, R.M. Adams, R. Chisholm, J. Pollock and N . Wolterstorff is unable to accomodate tensed states of affairs. An example of a tensed state of affairs is the transiently obtaining state of affairs that the storm is present, which obtains only if its negation, it is not the case that the storm is present also obtains but at different (...) times. A possible world that includes tensed states of affairs and their negations cannot be defined in the traditional way, which states that a possible world is a state of affairs S that includes every state of affairs S' or (exclusive disjunction) the negation of S'. Rather, it must be defined in a new way: A possible world is a state of affairs S that includes every state of affairs S' or (inclusive disjunction) the negation of S', such that for every pair P of mutually contradictory tensed states of affairs entailed by S, the members of P obtain nonsimultaneously in S. (shrink)

(No abstract is available for this citation).

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)

The standard Kripkean semantic theories for quantified modal logic allow the individuals that exist at other worlds to vary from those that exist at the actual world. This causes a problem for those who deny the existence of non-actual individuals. I focus on two prominent strategies for solving this problem, due respectively to Bernard Linsky and Edward Zalta (who identify the possible individuals with the actual individuals) and Alvin Plantinga (who identifies the possible individuals with the individual essences). I argue, (...) contra various commentators, that both of these solutions are acceptable by the lights of those who deny the existence of mere possibilia. (shrink)

Deep theorizing about possibility requires theorizing about possible objects. One popular approach regards the notion of a possible object as intertwined with the notion of a possible world. There are two widely discussed types of theory concerning the nature of possible worlds: actualist representationism and possibilist realism. They support two opposing views about possible objects. Examination of the ways in which they do so reveals difficulties on both sides. There is another popular approach, which has been influenced by the philosophy (...) of Alexius Meinong. The Meinongian approach is relevant to theorizing about possible objects because it attempts to construct a general theory of objects other than ordinary concrete existing objects. Independently of the debate about the nature of possible worlds or about Meinongianism, it is not always as straightforward as it may at first appear to determine whether putative possible objects are indeed possible. Another category of object similar to that of a possible object is the category of a fictional object. Although initially attractive, the idea that fictional objects are possible objects should not be accepted blindly. An important instance of theoretical usefulness of possible objects is their central role in the validation of two controversial theorems of a simple quantified modal logic. (shrink)

Modal realism -- Time, space, world -- Existence -- Actuality -- Modal realism and modal tense -- Transworld individuals and their identity -- Existensionalism -- Impossibility -- Proposition and relief -- Fictional worlds -- Epistemology.

I defend a neo-logicist approach in the debate over the metaphysics of possible worlds. I start by examining a series of proposals put forward by Robert Stalnaker. All of them have a shared theme of deriving ontological commitment to problematic abstract objects from the commitment to the practice quantifying over them. These general proposals find a crisper formulation in Frege’s context principle. I build the case for the employment of a modal analogue of Hume’s Principle: possible worlds are to be (...) identified by the statements true on them. The analogy with arithmetic is limited, as we lack singular terms for possible worlds. The preferred solution is to take Quine’s criterion of ontological commitment on board. I finish by formulating the criterion of application for the sortal concept of possible world. (shrink)

The most commonly heard proposals for reducing possible worlds to language succumb to a simple cardinality argument: it can be shown that there are more possible worlds than there are linguistic entities provided by the proposal. In this paper, I show how the standard proposals can be generalized in a natural way so as to make better use of the resources available to them, and thereby circumvent the cardinality argument. Once it is seen just what the limitations are on these (...) more general proposals, it can be clearly seen where the real difficulty lies with any attempt to reduce possible worlds to language. Roughly, the difficulty is this: no actual language could have the descriptive resources needed to represent all the ways things might have been. I conclude by arguing that this same difficulty spells doom for any nominalist or conceptualist proposal for reducing possible worlds. (shrink)

It is sometimes said that no living philosopher is a genuine modal realist. This is no doubt an exaggeration. But at least this much is true: while we all partake of possible world talk when philosophizing, most of us regard this talk as incurring no commitment to a plurality of concrete worlds.

The authors first address two paradoxes in the theory of possible worlds and propositions stemming from Russell and Kaplan and show that these paradoxes don't affect the object-theoretic analysis of worlds and propositions. However, Kit Fine has formulated an object theoretic version of Kaplan's paradox that threatens to show that object theory is, after all, no better off. The initial, most straightforward version of the paradox is blocked by theoretical restrictions specific to object theory, but the paradox can be revised (...) so as to comport with these restrictions by redefining one of the terms in an essential premise. The authors then argue that the premise that results given the new definition is entirely implausible if propositions are understood, as they are in object theory, to be fine-grained intensional entities rather than sets of possible worlds. Object theory, therefore, can block the revised paradox as well. (shrink)

In this paper, I distinguish between two varieties of actualism—hardcore actualism and softcore actualism—and I critically discuss Ross Cameron’s recent arguments for preferring a softcore actualist account of the truthmakers for modal truths over hardcore actualist ones. In the process, I offer some arguments for preferring the hardcore actualist account of modal truthmakers over the softcore actualist one.

In this paper, I attack David Lewis’s objection to a generic theory of modality he calls “Magical Ersatzism”. His objection takes the form of a dilemma directed at its linchpin, a relation he calls “selection”. This, he argues, must be either an internal or an external relation, but is unintelligible either way. However, his argument against classifying selection as internal is really just a version of the general problem of how we manage to grasp predicates in cases of underdetermination. This (...) problem is not peculiar to Magical Ersatzism, and it is amenable to some familiar solutions. His argument against classifying selection as external is even worse off. He provides no compelling grounds for the putative unintelligibility and anyway it has a false presupposition. I conclude that Magical Ersatzism is still a viable option in the metaphysics of modality. (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)

Are there, in addition to the various actual objects that make up the world, various possible objects? Are there merely possible people, for example, or merely possible electrons, or even merely possible kinds? We certainly talk as if there were such things. Given a particular sperm and egg, I may wonder whether that particular child which would result from their union would have blue eyes. But if the sperm and egg are never in fact brought together, then there is no (...) actual object that my thought is about.1 Or again, in the semanti cs for modal logic we presuppose an ontology of possibilia twice over.2 For first, we coutenance various possible worlds, in addition to the actual world; and second, each of these worlds is taken to be endowed with its own domai n of objects. These will be the actual objects of the world in question, but they need not be actual simpliciter, i.e., actual objects of our world. W ha t a r e w e t o m a k e o f such discourse? There are four options: (i) the discourse is taken to be unintelligible; (ii) it is taken to be intelligible but nonfactual, i.e. as not in the business of stating facts; (iii) it is taken to be factual but reducible to discourse involving no reference to possibilia; (iv) it is taken to be both factual and irreducible.3 These options range from a fullblooded form of actualism at one extreme to a full-blooded form of possibilism at the other. The two intermediate positions are possibilist in that they accept the intelligibility of possibilist discourse but actualist in that they attempt to dispense with its prima facie commitment to possibilia. All four positions have found advocates in the literature. Quine, in his less irenic moments, favours option (i); Forbes ([85], p. 94) advocates option (ii), at least for certain parts of possibilist discourse; many philosophers, including Adams [74] and myself, opt for (iii); while Lewis [86] and Stalnaker [75] have endorsed versions of (iv), that differ in how full-blooded they take the possible objects to be.. (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)

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)

Bringsjord (1985) argues that the definition W of possible worlds as maximal possible sets of propositions is incoherent. Menzel (1986a) notes that Bringsjord’s argument depends on the Powerset axiom and that the axiom can be reasonably denied. Grim (1986) counters that W can be proved to be incoherent without Powerset. Grim was right. However, the argument he provided is deeply flawed. The purpose of this note is to detail the problems with Grim’s argument and to present a sound alternative argument (...) for his conclusion – basically the argument Russell gave to establish a well-known paradox in The Principles of Mathematics. (shrink)

In this paper, an argument of Alvin Plantinga's for the existence of abstract possible worlds is shown to be unsound. The argument is based on a principle Plantinga calls "Quasicompactness", due to its structural similarity to the notion of compactness in first-order logic. The principle is shown to be false.

This summarizes of some prominent views about the metaphysics of possible worlds.

While many are impressed with the utility of possible worlds in linguistics and philosophy, few can accept the modal realism of David Lewis, who regards possible worlds as sui generis entities of a kind with the concrete world we inhabit.1 Not all uses of possible worlds require exotic ontology. Consider, for instance, the use of Kripke models to establish formal results in modal logic. These models contain sets often regarded for heuristic reasons as sets of “possible worlds”. But the “worlds” (...) in these sets can be anything at all; they can be numbers, or people, or sh. The set of worlds, together with the accessibility relation and the rest of the model, is used as a purely formal structure.2 One can even go beyond establishing results about formal systems and apply Kripke models to English, as Charles Chihara has recently argued.3 Chihara shows, for instance, how to use Kripke models (plus primitive modal notions) to give an account of validity for English modal sentences. In other cases worlds are not really needed at all. It is often vivid to give a counterexample thus: “There is a possible world in which P. Since your theory implies that in all worlds, not-P, your theory is wrong.” But the counterexample could just as easily be given using modal operators: “Possibly, P. Since your theory implies that it is necessary that not-P, your theory is wrong.”. (shrink)

(No abstract is available for this citation).

It is sometimes said that no living philosopher is a genuine modal realist. This is no doubt an exaggeration. But at least this much is true: while we all partake of possible world talk when philosophizing, most of us regard this talk as incurring no commitment to a plurality of concrete worlds.

Modal fictionalists propose to defuse the unwanted ontological commitments of modal realism by treating modal realism as a fictional story, and modal assertions as assertions, prefixed by a fictionalist operator, that something is true in that story. However, consideration of conditionals with modal antecedents raises the problem ofembedding, which shows that the simple prefixing strategy cannotsucceed. A compositional version of the fictionalist strategy isdeveloped and critiqued, and some general semantic morals aredrawn from the failures of both strategies.

and argue that (2) is similarly not true, but a convention: we use talk of pos• sibility to capture claims about consistency, or whatever. (This is merely an example; I don't suppose that (2) appeals to anyone particularly as a neces• sary truth about possibility or consistency.) Again, the kind of thing that is in..

This paper examines the logic of fictions within fictions. I argue that consistently nested consistent fictions must have certain formal characteristics. The most important is that they form a tree structure. Depending on one’s theory of fictional objects, additional constraints may apply regarding the appearance of a fictional object in two or more fictional universes. The background motivation for the paper is to use iterated fiction operators as a tool for making sense of iterated modal operators; I conclude by noting (...) briefly where the results about nested fictions can, and where they cannot, be extended to nested possible worlds. (shrink)

In this paper, I will defend modalfictionalism. The paper has two parts. In thefirst part, I will suggest a revised version ofmodal fictionalism which can avoid certaintechnical problems. In the second part, I willpropose a nominalized version of modalfictionalism and a general scheme offictionalism for the nominalist.

The Brock-Rosen problem has been one of the most thoroughly discussed objections to the modal fictionalism bruited in Gideon Rosen’s ‘Modal Fictionalism’. But there is a more fundamental problem with modal fictionalism, at least as it is normally explained: the position does not resolve the tension that motivated it. I argue that if we pay attention to a neglected aspect of modal fictionalism, we will see how to resolve this tension—and we will also find a persuasive reply to the Brock-Rosen (...) objection. Finally, I discuss an alternative reading of Rosen, and argue that this position is also able to fend off the Brock-Rosen objection. (shrink)

This article examines one way in which a fiction can carry ontological commitments. The ontological commitments that the article examines arise in cases where there are norms governing discourse about items in a fiction that cannot be accounted for by reference to the contents of the sentences that constitute a canonical telling of that fiction. In such cases, a fiction may depend for its contents on the real-world properties of real-world items, and the fiction may, in that sense, be ontologically (...) committed. Having outlined a way of gauging the ontological commitments of a fiction, the article concludes by illustrating the way in which these considerations can be put to work in assessing the prospects of using fictionalism as a tactic for understanding the metaphysics of modality without incurring a commitment to the real existence of merely possible worlds. (shrink)

Bob Hale in Hale 1995b posed a dilemma for modal fictionalism (more specifically, Rosen's version of modal fictionalism). A modal fictionalist who maintains the version outlined in Rosen 1990 believes that the fiction of possible worlds (PW, to use Rosen and Hale's abbreviation) is not literally true. The question arises, however, about its modal status. Is it necessarily false, or contingently false? In either case, Hale argues, the modal fictionalist is in trouble. Should the modal fictionalist claim that the story (...) of possible worlds is necessarily false, then the modal fictionalist cannot gloss their "according to the fiction of possible worlds ... ." prefix as "were the fiction of possible worlds true, then ... would be true". This is because, according to Hale, conditional claims with antecedents which are necessarily false are automatically true, so it follows that if the fiction of possible worlds is taken to be necessarily false, all conditionals of the form "were the fiction of possible worlds true then ..." are true, and not merely the ones that the modal fictionalist wishes to endorse. If the modal fiction is to be useful, not everything should be true according to it: examples of claims that had better not be true according to it include the claim that 2+2=7, or the claim that there are no possible worlds. On the other hand, if the fiction of possible worlds (PW) is only contingently false, Hale claims this also lands the Rosen's fictionalism in unacceptable trouble, though it is not so clear why (see below). Let me discuss these horns in turn. (shrink)

Questions about necessity (or what has to be, or what cannot be otherwise) and possibility (or what can be, or what could be otherwise) are questions about modality. Fictionalism is an approach to theoretical matters in a given area which treats the claims in that area as being in some sense analogous to fictional claims: claims we do not literally accept at face value, but which we nevertheless think serve some useful function. However, despite its name, “Modal Fictionalism” in its (...) usual manifestations is not primarily fictionalism about claims of necessity and possibility, but rather a fictionalist approach to claims about possible worlds. (For instance, modal fictionalism is not normally fictionalist about the claim that “it is possible that there be a species of tail-less kangaroo”, but rather about the claim that “there is a possible world in which there is a species of tail-less kangaroo”.) The practice of taking possible worlds to be merely convenient fictions, or of treating talk about possible worlds as being useful without being literally correct, is quite common in philosophical circles. It is only recently, however, that philosophers have seriously examined the implications of taking possible worlds to be merely fictional objects, like Sherlock Holmes or a frictionless surface. (shrink)

This paper attacks the modal ontological argument, as advocated by Plantinga among others. Whereas other criticisms in the literature reject one of its premises, the present line is that the argument is invalid. This becomes apparent once we run the argument assuming fictionalism about possible worlds. Broadly speaking, the problem is that if one defines “x” as something that exists, it does not follow that there is anything satisfying the definition. Yet unlike non-modal ontological arguments, the modal argument commits this (...) “existential fallacy” not in relation to the definition of ‘God’. Rather, it occurs in relation to the modal facts quantified over within a Kripkean modal logic. In brief, we can describe the modal facts by whichever logic we prefer—yet it does not follow that there are genuine modal facts, as opposed to mere facts-according-to-the-fiction. A broader consequence of the discussion is that the existential fallacy is an issue for many projects in “armchair metaphysics.”. (shrink)

Here I explore the prospects for fictionalism about the mental, modeled after fictionalism about possible worlds. Mental fictionalism holds that the mental states posited by folk psychology do not exist, yet that some sentences of folk psychological discourse are true. This is accomplished by construing truths of folk psychology as “truths according to the mentalistic fiction.” After formulating the view, I identify five ways that the view appears self-refuting. Moreover, I argue that this cannot be fixed by semantic ascent or (...) by a kind of primitivism. Even so, I also show that the “self-refutation” charges are subtly question-begging. Nevertheless, the reply reveals that a mental fictionalist ought to be a kind of quietist. (shrink)

This summarizes of some prominent views about the metaphysics of possible worlds.

A nonexistent possible is a particular concrete object which exists in some possible world but doesn't exist in the actual world. A definite description may be said to individuate a nonexistent possible if just one possible object satisfies the condition specified by that description, and this possible object doesn't exist in the actual world. Given a plausible form of mereological essentialism, certain mereological and causal descriptions which determine a thing's composition individuate nonexistent possible hunks of matter which are mereological or (...) causal products of actual objects. Other sorts of descriptions such as 'the possible fat man in that doorway' and ones associated with typical fictional, imaginary, and mythical things do not individuate a nonexistent possible, and it is problematical whether we can individuate a nonexistent possible which is disjoint, viz., one which is not a mereological or causal product of actual objects. (shrink)

Introduction -- What is fiction? -- Realism about fictional objects -- Fictional objects are nonexistents -- Worlds and truth : fictional worlds, possible worlds, and impossible worlds -- Fictional entities are abstract artifacts -- Irrealism : fiction and intentionality -- Some fictionalists -- Fictionalism about possible worlds -- Moral fictionalism -- Retrospect.

Accounts of modality in terms of fictional possible worlds face an objection based on the idea that when modal claims are analysed in terms of fictions, the connection between analysans and analysandum seems artificial. Strong modal fictionalism, the theory according to which modal claims are analysed in terms of a fiction, has been defended by, among others, Seahwa Kim, who has recently claimed that the philosophical objection that the connection between modality and fictions is artificial can be met. I propose (...) a new way of spelling out the intuition of artificiality and show that strong modal fictionalism should be rejected. (shrink)

Possible worlds present a formidable challenge for the lover of desert landscapes. One cannot ignore their usefulness; they provide, as David Lewis puts it, “a philosophers’ paradise”.1 But to enter paradise possibilia must be fit into a believable ontology. Some follow Lewis and accept worlds at face value, but most prefer some other choice from the current menu. Part of Chihara’s book is a critical discussion of some of these menu options: Lewis’s modal realism, Alvin Plantinga’s abstract modal realism, (...) Graeme Forbes’s anti-realism and Gideon Rosen’s modal fictionalism. These discussions are very detailed and conversant with the literature. The discussions of Forbes (pp. 142-167) and of paradox within Plantinga’s system (pp. 120-141) are particularly enlightening. The rest of the book is devoted to Chihara’s positive project: developing an account of the status of model theory for non-modal logic, and then applying it to the modal case. The prize is an understanding of possible worlds semantics that requires no commitment to possible worlds at all (beyond the purely formal “possible worlds” of the standard Kripke-models.) What does the relativized notion of truth in an interpretation studied in (non-modal) model theory have to do with plain old truth? Chihara’s answer involves “connecting theorems” that relate truth-in to truth (chapter 5). A “natural-language proto-interpretation of the sentential calculus” (NLPI of SC) is a function that assigns meanings of declarative sentences of English to sentence letters. Where I is an NLPI of SC and φ is a sentence letter, Chihara uses ‘[φ/I ]’ to refer to “φ with the meaning it has been assigned by I ” (p. 191); where φ is not atomic, he says (p. 192). (shrink)

Gideon Rosen proposes a view called "modal fictionalism" which Rosen thinks has all the benefits of modal realism without its ontological costs. Whereas modal realists have a paraphrase r(0) of a modal claim "0", modal fictionalists claim that the correct translation of "0" is rather the result of prefixing "according to the hypothesis of a plurality of worlds" to r(0). Rosen takes the prefix to be primitive and defines other modal notions in terms of it. Bob Hale, however, thinks the (...) fictionalist's project suffers from a "simple" dilemma. The purpose of this paper is to show that Rosen is right in taking the prefix as primitive and Hale is wrong in thinking fictionalism as being threatened by the dilemma. (shrink)

The modal fictionalist faces a problem due to the fact that her chosen story seems to be incomplete—certain things are neither fictionally true nor fictionally false. The significance of this problem is not localized to modal fictionalism, however, since many fictionalists will face it too. By examining how the fictionalist should analyze the notion of truth according to her story, and, in particular, the role that conditionals play for the fictionalist, I develop a novel and elegant solution to the incompleteness (...) problem. (shrink)

This article examines a popular complaint against the fictionalist account of possible objects bruited by Gideon Rosen. This is the complaint that modal fictionalism is, in some sense or other, hopelessly artificial. I shall separate two different strands to this worry and examine each in turn. As we shall see, neither strand to the objection is intractable.

Gideon Rosen’s [1990 Modal fictionalism. Mind, 99, 327–354] Modal Fictionalist aims to secure the benefits of realism about possible-worlds, whilst avoiding commitment to the existence of any world other than our own. Rosen [1993 A problem for fictionalism about possible worlds. Analysis, 53, 71–81] and Stuart Brock [1993 Modal fictionalism: A response to Rosen. Mind, 102, 147–150] both argue that fictionalism is self-defeating since the fictionalist is tacitly committed to the existence of a plurality of worlds. In this paper, I (...) develop a new strategy for the fictionalist to pursue in response to the Brock–Rosen objection. I begin by arguing that modal fictionalism is best understood as a paraphrase strategy that concerns the propositions that are expressed, in a given context, by modal sentences. I go on to argue that what is interesting about paraphrastic fictionalism is that it allows the fictionalist to accept that the sentence ‘there is a plurality of worlds’ is true without thereby committing her to the existence of a plurality of worlds. I then argue that the paraphrastic fictionalist can appeal to a form of semantic contextualism in order to communicate her status as an anti-realist. Finally, I generalise my conception of fictionalism and argue that Daniel Nolan and John O’Leary-Hawthorne [1996 Reflexive fictionalisms. Analysis, 56, 26–32] are wrong to suggest that the Brock-Rosen objection reveals a structural flaw with all species of fictionalism. (shrink)

Modal realism -- Time, space, world -- Existence -- Actuality -- Modal realism and modal tense -- Transworld individuals and their identity -- Existensionalism -- Impossibility -- Proposition and relief -- Fictional worlds -- Epistemology.

A major criticism of David Lewis’ counterfactual theory of causation is that it allows too many things to count as causes, especially since Lewis allows, in addition to events, absences to be causes as well. Peter Menzies has advanced this concern under the title “the problem of profligate causation.” In this paper, I argue that the problem of profligate causation provides resources for exposing a tension between Lewis’ acceptance of absence causation and his modal realism. The result is a different (...) problem of profligate causation—one that attacks the internal consistency of Lewisian metaphysics rather than employing common sense judgments or intuitions that conflict with Lewis’ extensive list of causes. (shrink)