Lewis (1973) gave a short argument against conditional excluded middle, based on his treatment of ‘might’ counterfactuals. Bennett (2003), with much of the recent literature, gives an alternative take on ‘might’ counterfactuals. But Bennett claims the might-argument against CEM still goes through. This turns on a specific claim I call Bennett’s Hypothesis. I argue that independently of issues to do with the proper analysis of might-counterfactuals, Bennett’s Hypothesis is inconsistent with CEM. But Bennett’s Hypothesis is independently objectionable, so we should (...) resolve this tension by dropping the Hypothesis, not by dropping CEM. (shrink)

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)

In this paper I attempt two things. First, I argue that one can coherently imagine different communities using languages structurally similar to English, but in which the meanings of the quantifiers vary, so that the answers to ontological questions, such as ‘Under what circumstances do some things compose something?’, are different. Second, I argue that nevertheless, one can make sense of the idea that of the various possible assignments of meanings to the quantifiers, one is especially fundamental, so that there (...) is still room for genuine debate as regards the answers to ontological questions construed in the fundamental way. My attempt to explain what is distinctive about the fundamental senses of the quantifiers involves a generalisation of the idea that claims of existence are never analytic.<br>. (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 and of paradox within Plantinga’s system 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 What does the relativized notion of truth in an interpretation studied in model theory have to do with plain old truth? Chihara’s answer involves “connecting theorems” that relate truth-in to truth. A “natural-language proto-interpretation of the sentential calculus” 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 ” ; where φ is not atomic, he says. (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)

There is a class of fictionalist strategies (the reflexive fictionalisms) which appear to suffer from a common problem: the problem that the entities which are supposedly fictional turn out, by the lights of the fictionalist theory itself, to exist. The appropriate solution is to reject so-called strong fictionalism in each case: that is, to reject the variety of fictionalism which takes appeal to the domain of fictional entities to provide an explanation or analysis of the operators or predicates with which (...) the objects are systematically correlated. (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. Or again, in the semantics for modal logic we presuppose an ontology of possibilia twice over. For first, we countenance various possible worlds, in addition to the actual world; and second, each of these worlds is taken to be endowed with its own domain 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. What are we to make of 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. These options range from a full-blooded 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 advocates option (ii), at least for certain parts of possibilist discourse; many philosophers, including Adams and myself, opt for (iii); while Lewis and Stalnaker have endorsed versions of (iv), that differ in how full-blooded they take the possible objects to be.. (shrink)

This chapter contains sections titled: 1 A Question about Composition 2 Some Answers 3 How Shall We Decide? 4 Common Sense and Unrestricted Composition 5 Common Sense and Compositional Nihilism 6 Compositional Nihilism and the Self 7 The Appeal to Science 8 Problem or Pseudoproblem? What To Do?

Despite protestations to the contrary, philosophers have always been renowned for espousing theories that do violence to common-sense opinion. In the last twenty years or so there has been a growing number of philosophers keen to follow in this tradition. According to these philosophers, if a story of pure fic-tion tells us that an individual exists, then there really is such an individual. According to these realists about fictional characters, ‘Scarlett O’Hara,’ ‘Char-lie Brown,’ ‘Batman,’ ‘Superman,’ ‘Tweedledum’ and ‘Tweedledee’ are not (...) denotationless terms, but names that really refer. What is truly surprising about this situation is that almost no one has inveighed against this unfortunate real-ist tendency. My aim here will be to challenge this new orthodoxy, and to defend an anti-realist position against the arguments proffered by the realist. (shrink)

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)