This major new work by David Armstrong is a contribution to recent philosophical discussions about possible worlds. Taking Wittgenstein's Tractatus as his point of departure, Armstrong argues that non-actual possibilities and possible worlds are recombinations of actually existing elements and as such are useful fictions. Included is an extended criticism of the alternative possible worlds approach championed by the American philosopher David Lewis.

The object of this paper is to argue once again for the combinatorial account of possibility defended in earlier work (Armstrong, 1989, 1997). But there I failed fully to realise the dialectical advantages that accrue once one begins by assuming the hypothesis of logical atomism, the hypothesis that postulates simple particulars and simple universals (properties and relations) at the bottom of the world. Logical atomism is, I incline to think, no better than ‘speculative cosmology’ as opposed to ‘analytic ontology’, to (...) use Donald Williams’ terminology (Williams, 1966, p.74). It is, however, not an implausible hypothesis given the current state of quantum physics. More important for our purposes here, the strictly combinatorial theory that flows rather naturally from the atomist metaphysics shows some promise of continuing to hold (perhaps with a little mutatis mutandis) in a world that is not an atomist world. (shrink)

In this paper I argue that warrant for Lewis' principle of recombination presupposes warrant for a combinatorial analysis of intrinsicality, which in turn presupposes warrant for the principle of recombination. This, I claim, leads to a vicious circularity: warrant for neither doctrine can get off the ground.

This paper addresses a specific issue inherent to David Lewis’s conception of possible worlds, namely whether or not they are liable to being limited in size. The paper purports to show that, if a certain argument against unlimited worlds’ size is valid, then the way of countering it by means of positing an upper limit to size (as Lewis himself and John Divers have suggested) leads to a troublesome distortion of some modal phenomena, such as de re ascriptions of properties. (...) Even if somewhat disagreeing with Lewis’s favoured solution of the topic at issue, it must be remarked that what follows should not be intended neither as a defence nor as an attack on Lewis’ overall modal ontology. (shrink)

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.

Armstrong’s combinatorial theory of possibility faces the obvious difficulty that not all universals are compatible. In this paper I develop three objections against Armstrong’s attempt to account for property incompatibilities. First, Armstrong’s account cannot handle incompatibilities holding among properties that are either simple, or that are complex but stand to one another in the relation of overlap rather than in the part/ whole relation. Secondly, at the heart of Armstrong’s account lies a notion of structural universals which, building on an (...) objection by David Lewis, is shown to be incoherent. I consider and reject two alternative ways of construing the composition of structural universals in an attempt to meet Lewis’ objection. An important consequence of this is that all putative structural properties are in fact simple. Finally, I argue that the quasi-mereological account presupposes modality in a way that undermines the reductionist aim of the combinatorialist theory of which it is a central part. I conclude that Armstrong’ quasi-mereological account of property incompatibility fails. Without that account, however, Armstrong’s combinatorial theory either fails to get off the ground, or else must give up its goal of reducing the notion of possibility to something non-modal. (shrink)

The aim of this paper is to show that topology has a bearing on<br><br>combinatorial theories of possibility. The approach developed in this article is “mapping account” considering combinatorial worlds as mappings from individuals to properties. Topological structures are used to define constraints on the mappings thereby characterizing the “really possible” combinations. The mapping approach avoids the well-known incompatibility problems. Moreover, it is compatible with atomistic as well as with non-atomistic ontologies.It helps to elucidate the positions of logical atomism and monism (...) with theaid of topological separation axioms. (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.

This note is to show that a well-known point about David Lewis’s (1986) modal realism applies to Timothy Williamson’s (1998; 2002) theory of necessary existents as well.1 Each theory, together with certain “recombination” principles, generates individuals too numerous to form a set. The simplest version of the argument comes from Daniel Nolan (1996).2 Assume the following recombination principle: for each cardinal number, ν, it’s possible that there exist ν nonsets. Then given Lewis’s modal realism it follows that there can be (...) no set of all (that is, Absolutely All) the nonsets. For suppose for reductio that there were such a set, A; let ν be A’s cardinality; and let µ be any cardinal number larger than ν. By the recombination principle, it’s possible that there exist µ nonsets; by modal realism, there exists a possible world containing, as parts, µ nonsets; each of these nonsets is a member of A. (shrink)

The core idea of David Armstrong’s combinatorial theory of possibility is attractive. Rearrangement is the key to modality; possible worlds result from scrambling bits and pieces of other possible worlds. Yet I encounter great difficulty when trying to formulate the theory rigorously, and my best attempts are vulnerable to counterexamples. The Leibnizian biconditionals relate possibility and necessity to possible world and true in.

Many contemporary philosophers accept Hume's Dictum (HD), according to which there are no metaphysically necessary connections between distinct, intrinsically typed entities. Tacit in Lewis's work is a potential motivation for HD, according to which one should accept HD as presupposed by the best account of the range of metaphysical possibilities---namely, a combinatorial account, applied to spatiotemporal fundamentalia. Here I elucidate and assess this Ludovician motivation for HD. After refining HD and surveying its key, recurrent role in Lewis’s work, I present (...) Lewis’s appeal to HD as providing a broadly axiomatic generating basis for the space of metaphysical modality, and canvas the prima facie advantages of the resulting combinatorial principle---HD (L-combinatorialism)---as being principled, extensionally adequate and modally reductive. Most criticisms of Lewis's combinatorialism have targeted seeming ways in which the theory overgenerates the desired space; I rather argue that HD (L-combinatorialism) seriously undergenerates the desired space in three different ways. For each way I argue that available means of overcoming the undergeneration either fail to close the gap, undermine the claim that HD (L-combinatorialism) is a principled generator of metaphysical modal space, undermine the reductive status of Lewis's combinatorialism, or call into question the truth of HD. (shrink)

At present, there is an almost universal consensus that the linguistic doctrine of logical necessity is grotesque. This paper explores avenues for rehabilitating a limited version of the doctrine, according to which the special status of analytic statements like 'All vixens are female' is to be explained by reference to language. Far from being grotesque, this appeal to language has a respectable philosophical pedigree and chimes with common sense, as Quine came to realize. The problem lies in developing it in (...) a way that avoids the powerful objections facing previous versions of the linguistic doctrine. I argue tentatively that this can be done by reconciling Wittgenstein's claim that such statements have a normative role with Carnap's concession that they are true. (shrink)

God’s relationship to modalities poses a serious problem for the theist. If God determines modalities, then it seems that he can do anything. If, on the other hand, modalities determine God’s actions, then it seems that he is not genuinely free. Conceptualism offers a solution to this problem by maintaining that modalities are determined by what is conceivable for the intellects of the universe that God has chosen to create. Prior to the creation of intellects, there are no modalities restricting (...) God’s choice. Consequently, God is genuinely free. What is more, prior to creation there are no modalities, thus it is not the case that anything is possible. However, there are several problems with conceptualism. In particular, because the necessary features of the modal concepts themselves are independent of the shape of any intellect, no form of conceptualism will succeed as a solution to the problem of modalities. (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)

Standard truthmaker theory is committed to the existence of de re modal properties. But there are reasons to be skeptical about a fully realist account of de re modality. Can truthmaker theory survive in the face of such skepticism? In this paper, I argue that it can, but that only certain anti-realist perspectives on de re modality are acceptable for truthmaker theory. In particular, either a quasi-realist or conventionalist account of de re modality is needed to provide the best account (...) of essential and accidental properties that can be put to work in truthmaker theory. An added bonus of this approach is that it offers a powerful account of truthmaker theory that is consistent with robust nominalism about properties. (shrink)

Some truths are necessary, others could have been false. Why? What is the source of the distinction between the necessary and the contingent? What's so special about the necessary truths that account for their necessity? In this article, we look at some of the most promising accounts of the grounds of necessity: David Lewis' reduction of necessity to truth at all possible worlds; Kit Fine's reduction of necessity to essence; and accounts of necessity that take the distinction between the necessary (...) and the contingent to be a matter of convention. (shrink)

The philosophy of modality investigates necessity and possibility, and related notions--are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be explained in other terms? This volume presents new work on modality by established leaders in the field and by up-and-coming philosophers. Between them, the papers address fundamental questions concerning realism and anti-realism about modality, the nature and basis of facts about what is possible and what is necessary, the nature of modal knowledge, modal (...) logic and its relations to necessary existence and to counterfactual reasoning. The general introduction locates the individual contributions in the wider context of the contemporary discussion of the metaphysics and epistemology of modality. (shrink)

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

The Donkey Problem (as I am calling it) concerns the relationship between more and less fundamental ontologies. I will claim that the moral to draw from the Donkey Problem is that the less fundamental objects are merely conventional. This conventionalism has consequences for the 3D/4D debate. Four-dimensionalism is motivated by a desire to avoid coinciding objects, but once we accept that the non-fundamental ontology is conventional there is no longer any reason to reject coincidence. I therefore encourage 4Dists to become (...) even more radical—embrace the Donkey Problem’s conventionalism and deflate the debate between 3Dists and 4Dists. (shrink)

An account of modality is produced which takes as its foundation the idea that modal concepts are parasitic upon our background theoretical commitments. This position is distinguished from the majority of philosophies of modality, which are either primitivist or reductionist. It is in this sense that our account is less burdened by metaphysics. The primary purpose of the document is to demonstrate that our approach is a coherent one. It supports this claim in three stages. First, we identify the historical (...) lineage of our position and elucidate the main desiderata which must be met if the project is to succeed. Second, we provide a series of logical systems which are designed to meet our requirements. A raft of technical challenges beset this part of the project and this is where the bulk of the result in this thesis are located. Finally, we use the precise formalisation as a means to get a better understanding of what is at stake in the project and to understand the resultant position's relationship with other leading, contemporary philosophies of modality. (shrink)

My target in this paper is a view that has sometimes been called the ‘Linguistic Doctrine of Necessary Truth’ (L-DONT) and sometimes ‘Conventionalism about Necessity’. It is the view that necessity is grounded in the meanings of our expressions—meanings which are sometimes identified with the conventions governing those expressions—and that our knowledge of that necessity is based on our knowledge of those meanings or conventions. In its simplest form the view states that a truth, if it is necessary, is necessary (...) (and knowably necessary) because it is analytic. It is widely recognized that this simple version of the view faces a prima facie problem with the existence of the necessary a posteriori. Assuming that all analytic truths are a priori, if there are necessary a posteriori truths then there are necessary synthetic truths—contradicting the view’s claim that all necessary truths are analytic. Contemporary L-DONTers have things to say about the problem, but in this paper I want to suggest that there is a different, more serious, problem which arises from the phenomenon of indexicality, which L-DONTers have not taken account of. Though there are many versions of the problem, a simple one is this. Consider Kaplan’s celebrated sentence. (shrink)

A not-unpopular position in the metaphysics of material objects (Ted Sider's, for instance) combines realism about what objects there are and the conditions of objecthood with conventionalism about de re modality. I argue that this is not a coherent combination of views: one must go fully conventionalist, or fully realist. The central argument displays the difficulty for the modal conventionalist/object realist in specifying the object that satisfies de re modal predicates. I argue that if this is a mind-independent object, contradictions (...) arise when we consider the possibility or actuality of non-equivalent conventions both applying to 'the same object'. (shrink)

Logic begins but does not end with the study of truth and falsity. Within truth there are the modes of truth, ways of being true: necessary truth and contingent truth. When a proposition is true, we may ask whether it could have been false. If so, then it is contingently true. If not, then it is necessarily true; it must be true; it could not have been false. Falsity has modes as well: a false proposition that could not have been (...) true is impossible or necessarily false; one that could have been true is merely contingently false. The proposition that some humans are over seven feet tall is contingently true; the proposition that all humans over seven feet tall are over six feet tall is necessarily true; the proposition that some humans are over seven feet tall and under six feet tall is impossible, and the proposition that some humans are over nine feet tall is contingently false. Of these four modes of truth, let us focus on necessity, plus a fifth: possibility. A proposition is possible if it is or could have been true; hence propositions that are either necessarily true, contingently true, or contingently false are possible. Notions that are similar to the modes of truth in being concerned with what might have been are called modal. Dispositions are modal notions, for example the disposition of fragility. Relatedly, there are counterfactual conditionals, for example “if this glass were dropped, it would break.” And the notion of supervenience is modal.1 But let us focus here on necessity and possibility. Modal words are notoriously ambiguous (or at least context-sensitive2). I may reply to an invitation to give a talk in England by saying “I can’t come; I have to give a talk in California the day before”. This use of “can’t” is perfectly appropriate. But it would be equally appropriate for me to say that I could cancel my talk in California (although that would be rude) and give the talk in England instead. What I cannot do is give both talks.. (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)

One type of deflationism about metaphysical modality suggests that it can be analysed strictly in terms of linguistic or conceptual content and that there is nothing particularly metaphysical about modality. Scott Soames is explicitly opposed to this trend. However, a detailed study of Soames’s own account of modality reveals that it has striking similarities with the deflationary account. In this paper I will compare Soames’s account of a posteriori necessities concerning natural kinds with the deflationary one, specifically Alan Sidelle’s account, (...) and suggest that Soames’s account is vulnerable to the deflatonist’s critique. Furthermore, I conjecture that both the deflationary account and Soames’s account fail to fully explicate the metaphysical content of a posteriori necessities. Although I will focus on Soames, my argument may have more general implications towards the prospects of providing a meaning-based account of metaphysical modality. (shrink)

Kant's claim that modality is a 'category' provides an approach to modality to be contrasted with Lewis's reductive analysis. Lewis's position is unsatisfactory, since it depends on an inherently modal conception of a world. This suggests that modality is 'primitive'; and the Kantian position is a prima facie plausible position of this kind, which is filled out by considering the relationship between modality and inference. This provides a context for comparing the Kantian position with Wright's non-cognitivist 'conventionalism'. Wright's position is (...) vulnerable to the type of argument used against ethical non-cognitivism, and the Kantian position is further confirmed by Blackburn's acknowledgment that modality is 'antinaturalistic to its core'. The position is further elaborated to show that it can accommodate the famous Kripkean categories of the empirically necessary and the contingent a priori, and finally defended against the criticisms used by Quine against Carnap. (shrink)

Expressivism, broadly construed, is the view that the function of utterances in a given area of discourse is to give expression to our sentiments or other (non-cognitive) mental states or attitudes, rather than report or describe some range of facts. This view naturally seems an attractive option wherever it is suspected that there may not be a domain of facts for the given discourse to be describing. Familiarly, to avoid commitment to ethical facts, the ethical expressivist suggests that ethical utterances (...) (e.g., “Gratuitous torture is wrong”, “What John did was morally good”) do not serve to ascribe ethical properties to objects, actions, persons, or states of affairs. Instead, they simply function to give voice to certain of our sentiments (or ‘pro/con’ attitudes). Along similar lines, philosophers have entertained versions of expressivism about the aesthetic, the modal, the mental, what is funny, even about theoretical science and knowledge ascriptions. (shrink)

From political scandals at the highest levels to inflated repair bills at the local garage, we are seemingly surrounded with unethical behavior, so why should we behave any differently? Why should we go through life anchored down by rules no one else seems to follow? Writing with wit and elegance, Simon Blackburn tackles such questions in this lively look at ethics, highlighting the complications and doubts and troubling issues that spring from the very simple question of how we ought to (...) live. Blackburn dissects many common reasons why we are skeptical about ethics. Drawing on all-too-familiar examples from history, politics, religion and everyday personal experience, he shows how cynicism and self-consciousness can paralyze us into considering ethics a hopeless pursuit. But ethics is neither futile nor irrelevant, he assures us, but an intimate part of the nitty gritty issues of living--of birth, death, happiness, desire, freedom, pleasure, justice. Indeed, from moral dilemmas about abortion and euthanasia, to our obsession with personal rights, to our longing for a sense of meaning in life, our everyday struggles are rife with ethical issues, whether we notice it or not. Blackburn distills the arguments of Hume, Kant and Aristotle down to their essences, to underscore the timeless relevance of our voice of conscience, the pitfalls of complacency, and our concerns about truth, knowledge and human progress. Blackburn's rare combination of depth, rigor and sparkling prose, and his distinguished ranking among contemporary philosophers, mark Being Good as an important statement on our current disenchantment with ethics. It challenges us to take a more thoughtful reading of our ethical climate and to ponder more carefully our own standards of behavior. (shrink)

This volume collects some influential essays in which Simon Blackburn, one of our leading philosophers, explores one of the most profound and fertile of philosophical problems: the way in which our judgments relate to the world. This debate has centered on realism, or the view that what we say is validated by the way things stand in the world, and a variety of oppositions to it. Prominent among the latter are expressive and projective theories, but also a relaxed pluralism that (...) discourages the view that there are substantial issues at stake. The figure of the "quasi-realist" dramatizes the difficulty of conducting these debates. Typically philosophers thinking of themselves as realists will believe that they alone can give a proper or literal account of some of our attachments--to truth, to facts, to the independent world, to knowledge and certainty. The quasi-realist challenge, developed by Blackburn in this volume, is that we can have those attachments without any metaphysic that deserves to be called realism, so that the metaphysical picture that goes with our practices is quite idle. The cases treated here include the theories of value and knowledge, modality, probability, causation, intentionality and rule-following, and explanation. A substantial new introduction has been added, drawing together some of the central themes. The essays articulate a fresh alternative to a primitive realist/anti-realist opposition, and their cumulative effect is to yield a new appreciation of the delicacy of the debate in these central areas. (shrink)

Must we believe in logical necessity? I examine an argument for an affirmative answer given by Ian McFetridge in his posthumously published paper 'Logical Necessity: Some Issues', and explain why it fails, as it stands, to establish his conclusion. I contend, however, that McFetridge's argument can be effectively buttressed by drawing upon another argument aimed at establishing that we ought to believe that some propositions are logically necessary, given by Crispin Wright in his paper 'Inventing Logical necessity'. My contention is (...) that Wright's argument, whilst it likewise fails, as it stands, to establish the necessity of necessity, established enough to close off what appears to me to be the only effective-looking sceptical response to McFetridge's original argument. My paper falls into four principal parts. In the first I expound McFetridge's argument and draw attention to the possibility of a certain type of sceptical counter to it. In the second, I begin a response to this sceptical move, taking it as far as I can without reliance upon argument of the kind given by Wright. Turning, then, to Wright's argument, I explain to what extent I think it is successful and seek to rebut some objections to the argument which, were they well-taken, would show that the argument cannot enjoy even the partial success I which to claim for it. Finally, I return to my main theme and try to show, with the assistance of what I take to be solidly established by Wright's argument, that the sceptical response collapses. (shrink)

Expressivism is most widely known as a thesis that semantically complements non-cognitivism in meta-ethics: if there are no moral facts to be known, if moral judgements or statements are not capable of being true or false, then the meaning of morally evaluative sentences cannot centrally consist in their having a truth conditional content, expressing a truth-evaluable proposition. But since the truth conditional approach to meaning is widely accepted, non-cognitivists are called upon to offer an alternative theory of meaning for moral (...) sentences. What they frequently offer is expressivism, the view that the meaning of moral sentences must be analysed in terms of special kinds of illocutionary act, for the performance of which these sentences serve. To utter the sentence “Gambling is bad.”, for example, is not to assert the truth-evaluable proposition that gambling is bad (there is no such truth-evaluable item), but rather to condemn gambling and thereby to express one’s moral attitude towards gambling. Whether or not “expressivism” is a good label for this view (“speech-act analysis” might be a better one), there are highly analogous views about sentences other than moral ones, which we might conveniently label in the same way. Thus, as there are expressivists about morals, there might be expressivists about truth, about negation, about causality, about taste, about probability, about modality, about conditionals and more. All these views share the combination of two claims: a denial of the truth-evaluability of (the contents of) the sentences in a certain class X combined with a speech-act-analysis to account for the meaning of the sentences in X . So it would seem to be reasonable to assume that expressivism can be discussed in general for variable X. The aim of this paper is to re-examine and to generalise a certain line of objection against expressivisms, a line prominently taken by Searle (1969) and Geach (1960, 1965).. (shrink)

An account of modality is produced which takes as its foundation the idea that modal concepts are parasitic upon our background theoretical commitments. This position is distinguished from the majority of philosophies of modality, which are either primitivist or reductionist. It is in this sense that our account is less burdened by metaphysics. The primary purpose of the document is to demonstrate that our approach is a coherent one. It supports this claim in three stages. First, we identify the historical (...) lineage of our position and elucidate the main desiderata which must be met if the project is to succeed. Second, we provide a series of logical systems which are designed to meet our requirements. A raft of technical challenges beset this part of the project and this is where the bulk of the result in this thesis are located. Finally, we use the precise formalisation as a means to get a better understanding of what is at stake in the project and to understand the resultant position's relationship with other leading, contemporary philosophies of modality. (shrink)

Although contemporary pragmatists tend to be sympathetic to expressivist accounts of moral, modal and other problematic vocabularies, it is not clear that they have any right to be. The problem arises because contemporary pragmatists tend to favour deflationary accounts of truth and reference, thereby seeming to elide the distinction between expressive and repressentational uses of language. To address this problem, I develop a meta-theoretical framework for understanding what is involved in explanations of meaning in terms of use, and why some (...) but not all such explanations deflationary. Exploiting this framework, I argue that expressivist explanations of problematic vocabularies are really a particular kind of deflationary explanation. It follows that pragmatists can thus take such explanations on board without committing themselves to the distinction between expressive and robustly representational uses of language that articulations of expressivism typically invoke. (shrink)

Kant's claim that modality is a 'category' provides an approach to modality to be contrasted with Lewis's reductive analysis. Lewis's position is unsatisfactory, since it depends on an inherently modal conception of a world. This suggests that modality is 'primitive'; and the Kantian position is a prima facie plausible position of this kind, which is filled out by considering the relationship between modality and inference. This provides a context for comparing the Kantian position with Wright's non-cognitivist 'conventionalism'. Wright's position is (...) vulnerable to the type of argument used against ethical non-cognitivism, and the Kantian position is further confirmed by Blackburn's acknowledgment that modality is 'antinaturalistic to its core'. The position is further elaborated to show that it can accommodate the famous Kripkean categories of the empirically necessary and the contingent a priori, and finally defended against the criticisms used by Quine against Carnap. (shrink)

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)

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

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

There cannot be a reductive theory of modality constructed from the concepts of sparse particular and sparse universal. These concepts are suffused with modal notions. I seek to establish this conclusion by tracing out the pattern of modal entanglements in which these concepts are involved. In order to appreciate the structure of these entanglements a distinction must be drawn between the lower-order necessary connections in which particulars and universals apparently figure, and higher-order necesary connections. The former type of connection (...) relates specific entities. By contrast, the latter type of connection is unspecific: it relates entities to some others. I argue that whilst there may be techniques that succeed in providing reductive truth conditions for sentences that say particulars and universals figure in lower-order necessary connections, such techniques cannot succeed in providing reductive truth conditions for sentences that say these entities figure in higher-order necessary connections. I conclude that this situation leaves reductionists with a dilemma. If they wish to affirm that there are particulars and universals then the project of reducing modality by positing these entities must be abandoned. Alternatively, they may continue to deploy their usual reductive techniques but then they must abandon the doctrine that there is more than one fundamental category of entity. (shrink)

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (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.

Modal primitivism is the view that metaphysical modality cannot be reduced to something entirely non-modal. It is often rejected for reasons of ideological simplicity: the fewer primitive notions a theory requires, the better. Reductive theories of modality like Armstrong's combinatorialism are thus thought to hold the ideological high ground. According to combinatorialism, what's possible is reducible to recombinations of objects with fundamental properties and relations. If this reduction succeeds, we have a theory that uses no primitive ideology in its explanation (...) of the modal beyond what we already need to explain the non-modal. Combinatorialism faces two problems: the problem of spatio-temporal relations and the problem of determinates. I argue that in order to get around these problems the combinatorialist must adopt two primitive non-modal notions of her own. I then defend a modal primitivist theory, incompatibility primitivism, which takes as its primitive notion that of incompatibility between properties and relations. Such a theory is systematic and may reduce the combinatorialist's primitive non-modal notions, showing that with respect to number of primitive notions, the modal primitivist comes out ahead. Finally, I argue against reasons to think that there is something especially problematic about primitive modal notions as compared to primitive non-modal notions. (shrink)

– The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world—this one—and that all genuine possibilities are anchored by the dispositions exemplified in this world. This is the case regardless of whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to include possibilities that are quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. As well as the relevant dispositional notions required to lay out the view, the paper discusses the dispositional realism needed as the basis for the account of possibility. (shrink)

Some truths are necessary, others could have been false. Why? What is the source of the distinction between the necessary and the contingent? What's so special about the necessary truths that account for their necessity? In this article, we look at some of the most promising accounts of the grounds of necessity: David Lewis' reduction of necessity to truth at all possible worlds; Kit Fine's reduction of necessity to essence; and accounts of necessity that take the distinction between the necessary (...) and the contingent to be a matter of convention. (shrink)

Kant's speculative theistic proof rests on a distinction between “logical” and “real” modality that he developed very early in the pre-critical period. The only way to explain facts about real possibility, according to Kant, is to appeal to the properties of a unique, necessary, and “most real” being. Here I reconstruct the proof in its historical context, focusing on the role played by the theory of modality both in motivating the argument (in the pre-critical period) and, ultimately, in undoing it (...) as a source of knowledge of God's existence (in the critical period). Along the way I examine Kant's version of the now-popular “actualist” thesis that facts about what is possible must be explained by facts about what is actual. I conclude by discussing why the critical Kant claims both that there are rational grounds for accepting the conclusion of his theistic proof, and that such acceptance can not count as knowledge. This is important, I argue, because the same considerations ultimately motivate his prohibition on knowledge of things-in-themselves generally. -/- . (shrink)

It is commonly assumed that all propositions have modal profiles and therefore bear their truth-values either contingently or necessarily. I argue against this commonly assumed view and in defence of amodalism, according to which certain true propositions are neither necessarily nor contingently true, but only true simpliciter. I consider three arguments against ‘possible-worlds theories’, which hold that modal concepts are to be analysed in terms of possible worlds. Although each of these arguments targets a different version of possible-worlds theory, these (...) versions jointly exhaust the entire range of possible-worlds theories. After showing that each argument is naturally addressed by adopting amodalism, I argue that all defenders of possible-worlds theory ought to accept amodalism. (shrink)

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)

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)

Its significance for metaphysics is perhaps attributable to two main sources. In the first place, the concept may be used to characterize what the subject, or at least part of it, is about. For one of the central concerns of metaphysics is with the identity of things, with what they are. But the metaphysician is not interested in every property of the objects under consideration. In asking 'What is a person?', for example, he does not want to be told that (...) every person has a deep desire to be loved, even if this is in fact the case. (shrink)

Sydney Shoemaker’s Causal Theory of Properties is an important starting place for some contemporary metaphysical perspectives concerning the nature of properties. In this paper I discuss the causal and intrinsic criteria that Shoemaker stipulates for the identity of genuine properties and relations, and address George Molnar’s criticism that holding both criteria presents an unbridgeable hypothesis in the Causal Theory of Properties. The causal criterion requires that properties and relations contribute to the causal powers of objects if they are to be (...) deemed genuine rather than ‘mere-Cambridge’. The intrinsic criterion requires that all genuine properties and relations be intrinsic. Molnar’s S-property argument says that these criteria conflict if one considers extrinsic spatiotemporal properties and relations to contribute causally. In this paper I argue that a solution to the contradiction that Molnar identifies involves a denial of discreteness between objects, leading to a Power Holist perspective and a resulting deflationary account of intrinsicality. -/- Keywords: Shoemaker, Molnar, Holism, genuine properties, powers, Causal Theory of Properties . (shrink)

In this paper we discuss Brandom's definition of necessity, which is part of the incompatibility sematnics he develops in his fifth John Locke Lecture. By comparing incompatibility semantics to standard Kripkean possible worlds semantics for modality, we motivate an alternative definition of necessity in Brandom's own terms. Our investigation of this alternative necessity will show that - contra to Brandom's own results - incompatibility semantics does not necessarily lead to the notion of necessity of the modal logic S5.

This book addresses the importance of space and time, of existence unperceived, of publicity and action, and of natural laws. These are examined in a single argument which extends from Chapter Three to Chapter Seven and in the course of which the essential features of any comprehensible world are either assumed or derived. In Chapter Two, before this argument begins, the book introduces and argues for the methods by which this general argument is developed. In Chapter One, the book attempts (...) to show why it is important to consider the essential features of any comprehensible world. This chapter forms a prolegomenon to the inquiry. The argument in it is of a somewhat more impressionistic nature than the argument later in the inquiry; and so it is probably important to point out that the conclusions reached in the inquiry itself are practically independent of the argument of the first chapter. Those that are totally unconvinced by it may still be persuaded by the general argument which follows. (shrink)

Possible worlds, concrete or abstract as you like, are irrelevant to the truthmakers for modality—or so I shall argue in this paper. First, I present the Neo-Humean picture of modality, and explain why those who accept it deny a common sense view of modality. Second, I present what I take to be the most pressing objection to the Neo-Humean account, one that, I argue, applies equally well to any theory that grounds modality in possible worlds. Third, I present an alternative, (...) properties-based theory of modality and explore several specific ways to flesh the general proposal out, including my favored version, the Powers Theory. And, fourth, I offer a powers semantics for counterfactuals that each version of the properties-based theory of modality can accept, mutatis mutandis. Together with a definition of possibility and necessity in terms of counterfactuals, the powers semantics of counterfactuals generates a semantics for modality that appeals to causal powers and not possible worlds. (shrink)

Possibility offers a new analysis of the metaphysical concepts of possibility and necessity, one that does not rely on any sort of "possible worlds." The analysis proceeds from an account of the notion of a physical object and from the positing of properties and relations. It is motivated by considerations about how we actually speak of and think of objects. Michael Jubien discusses several closely related topics, including different purported varieties of possible worlds, the doctrine of "essentialism," natural kind terms (...) and alleged examples of necessity a posteriori. The book also offers a new theory of the functioning of proper names, both actual and fictional, and the discussion of natural kind terms and necessity a posteriori depends in part on this theory. (shrink)

For many years, Charles Peirce maintained that all senses of the modal terms "possible" and "necessary" can be defined in terms of "states of information." But in 1896, he was motivated by his work in set theory to criticize that account of modality, and in 1905 he characterized that criticism as a return "to the Aristotelian doctrine of a real possibility ... the great step that was needed to render pragmaticism an intelligible doctrine." But since Peirce was a realist about (...) modality before 1896, and since he continued defining "possibility" in terms of "states of information" after that date, it is not clear exactly what he changed his mind about. In this essay I explain what it was that Peirce changed his mind about and why, in retrospect, he viewed that change as a decisive step in the development of pragmaticism. (shrink)

There cannot be a reductive theory of modality constructed from the concepts of sparse particular and sparse universal. These concepts are suffused with modal notions. I seek to establish this conclusion by tracing out the pattern of modal entanglements in which these concepts are involved. In order to appreciate the structure of these entanglements a distinction must be drawn between the lower-order necessary connections in which particulars and universals apparently figure, and higher-order necesary connections. The former type of connection (...) relates specific entities. By contrast, the latter type of connection is unspecific: it relates entities to some others. I argue that whilst there may be techniques that succeed in providing reductive truth conditions for sentences that say particulars and universals figure in lower-order necessary connections, such techniques cannot succeed in providing reductive truth conditions for sentences that say these entities figure in higher-order necessary connections. I conclude that this situation leaves reductionists with a dilemma. If they wish to affirm that there are particulars and universals then the project of reducing modality by positing these entities must be abandoned. Alternatively, they may continue to deploy their usual reductive techniques but then they must abandon the doctrine that there is more than one fundamental category of entity. (shrink)

What are the most fundamental features of the world? Do minds stand outside the natural order? Is a unified picture of mental and physical reality possible? The Mind in Nature provides a staunchly realist account of the world as a unified system incorporating both the mental and the physical. C. B. Martin, an original and influential exponent of 'ontologically serious' metaphysics, echoes Locke's dictum that 'all things that exist are only particulars', and argues that properties are powerful qualities. He also (...) spells out the implications of this view for philosophical conceptions of causation, intentionality, consciousness, and the mind-body problem. -/- Martin emphasizes the importance of non-conscious 'vegetative' systems, which provide clear examples of intentionality in the form of representational use. The slide from representational use to consciousness involves a change in the material of use, but not the form of representation. A concluding chapter provides an argument for the view that an ontology of particular substances and properties leads ineluctably to monism: the bus we board with Locke takes us directly to the world of Spinoza and Einstein. Along the way, we are led to understand the nature of minds and conscious states of mind in a way that avoids both reductionism (the idea that mental is reducible to the non-mental) and dualism (the idea that mental substances or properties differ dramatically from physical substances and properties). (shrink)

According to the standard view, alethic (or modal) statements are intensional in that the Principle of Substitution (PS) fails for them -- e.g. substituting 'nine' in "Necessarily, nine is composite" with the co-referring 'the number of planets' turns this statement from true to false. It is argued in the paper that we could avoid ascribing intensionality to alethic statements altogether by separating between singular and functional uses of definite descriptions: on the singular use the description given above amounts to 'the (...) actual number of planets', which is salva veritate substitutable to 'nine' in all alethic statements; on the functional use, in turn, that description is really a function from possible worlds to numbers, and thus the Principle of Substitution is not violated in this case either, since such a function cannot be held to be co-referential with 'nine'. (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)

The fundamental principle of the theory of possible worlds is that a proposition p is possible if and only there is a possible world at which p is true. In this paper we present a valid derivation of this principle from a more general theory in which possible worlds are defined rather than taken as primitive. The general theory uses a primitive modality and axiomatizes abstract objects, properties, and propositions. We then show that this general theory has very small models (...) and hence that its ontological commitments — and, therefore, those of the fundamental principle of world theory — are minimal. (shrink)

There has been much discussion of powers or real dispositions in the past decade, but there remains an issue that has been inadequately treated. This concerns the precise modal value that comes with dispositionality. We contend in this paper that dispositionality involves a non-alethic, sui generis, irreducible modality. Dispositions only tend towards their manifestations; they do not necessitate them. Tendency is, of course, a dispositional term itself, so this last statement offers little by way of illumination. But given our thesis (...) on the irreducible nature of dispositionality, we maintain that it cannot be explicated correctly in non-dispositional terms. Nevertheless, we all have experience of dispositionality at work, through the exercise or our own powers and the action of other powers upon us. The notion of dispositionality that we acquire is one that involves a modality stronger than pure contingency but weaker than necessity. The recognition of this distinct modal value for dispositionality is one of the biggest oversights in the growing literature in the area. Yet it is there for all to see in even the most mundane example. (shrink)

It is commonly supposed that metaphysical modal claims are to be evaluated with respect to a single domain of possible worlds: a claim is metaphysically necessary just in case it is true in every possible world, and metaphysically possible just in case it is true in some possible world. We argue that the standard understanding is incorrect; rather, whether a given claim is metaphysically necessary or possible is relative to which world is indicatively actual. We motivate our view by attention (...) to discussions in Salmon 1989 and Fine 2005, in which various data are taken to support rejecting the transitivity of accessibility (Salmon) and modal monism (Fine); we argue that relativized metaphysical modality can accommodate these data compatible with both standard modal logic(s) and modal monism. Noting an analogy with two-dimensional semantics, we argue that metaphysical modality has a complex structure, reflecting what is counterfactually possible, relative to each indicatively actual world. In arguing for the need for relativization, we are broadly on the same side as Crossley and Humberstone (1977) and Davies and Humberstone (1979); our contribution here is, first, to offer distinctively metaphysical reasons for relativization, and second, to show that relativization can be incorporated in ways minimally departing from standard modal logic(s). (shrink)

In ‘A modal theory of function’, I gave an argument against all existing theories of function and outlined a new theory. Karen Neander and Alex Rosenberg argue against both my negative and my positive claim. My aim here is not merely to defend my account from their objections, but to (a) very briefly point out that the new account of etiological function they propose in response to my criticism cannot avoid the circularity worry either and, more importantly, to (b) highlight, (...) and attempt to make precise, an important feature of my modal theory that may have been understated in the original paper – that function attributions depend on the explanatory project at hand. (shrink)

I clarify some of the details of the modal theory of function I outlined in Nanay (2010): (a) I explicate what it means that the function of a token biological trait is fixed by modal facts; (b) I address an objection to my trait type individuation argument against etiological function and (c) I examine the consequences of replacing the etiological theory of function with a modal theory for the prospects of using the concept of biological function to explain mental content.

The question of the function of modal judgement is an interesting philosophical issue, and John Divers's paper (this volume) has persuaded me that it has not received the attention it deserves. I think it is an important and interesting question even apart from any more ambitious claims that are made about its role in settling other issues about modality. Even if we became convinced that the story about function put no constraints whatsoever, epistemologically or metaphysically, on a theory of modality, (...) it would still remain an interesting question about one of the pervasive and perhaps fundamental things we do in our cognitive lives. (shrink)

It is a consequence of Quine’s confirmation holism that the logical laws are in principle revisable. Some have worried this is at odds with another dictum in Quine, viz., that any translation which construes speakers as systematically illogical is ipso facto inadequate. In this paper, I try to formulate exactly what the problem is here, and offer a solution to it by (1) disambiguating the term ‘logic,’ and (2) appealing to a Quinean understanding of ‘necessity.’ The result is that the (...) different theses in Quine’s philosophy of logic are to be situated within different contexts of inquiry. (shrink)

This book is a survey, fortified by original material, of metaphysical theories of modality set in terms of possible worlds. Those theories include what Divers calls “genuine realism”, or “GR” — this is David Lewis’s “genuine modal realism” — and what Divers calls “actualist realism”, or “AR” — this seems to be the same as what Lewis called “ersatz modal realism”, which has also become widely know as “ersatzism”. Two important kinds of theory are not included: those that treat modality (...) by means not involving possible worlds at all (for example, modalism, various kind of non-cognitivism, and Quinean eliminativism about modality); and those that, while treating modality by talking about possible worlds, go on to deny that there are any possible worlds in one way or another (for example, Rosen’s fictionalism, and Divers’ own agnosticism about possible worlds). These get a short discussion towards the end of the introductory part of the book (sections 2.4–2.6), and Divers is planning to write a companion volume covering them. (shrink)

This volume contains his programmatic essay 'Towards an Analytic Pragmatism', in which Brandom shows how analytic philosophy can broaden its perspective so as ...

We use alethic modal language all the time. For instance, we say that someone did not do something she could have done, or that the existence of unicorns is possible, or that 2+2=4 could not have failed to be true. We make counterfactual assertions such as “Were I to drop this glass, which in fact I do not, it would fall.” We think it might have been the case that Hitler had never existed. In these locutions we are speaking about (...) situations and things that are not actual, of ways the universe might have been but was not. (shrink)

Morton White proposes two patterns of expansion for sentences of the form "Possible (x is Q)" in "On What Could Have Happened" (Philosophical Review, 1968). His attempts in "Ands and Cans" (Mind, 1974) and in "Positive Freedom, Negative Freedom, and Possibility" (Journal of Philosophy, 1973) to simplify these two patterns and his argument for abandoning the first pattern are mistaken. Although I question a number of White's claims, my purpose is to improve his treatment of possibility rather than to refute (...) it. Our understanding of what constitutes "the same circumstances" largely determines whether a given condition is appropriately mentioned in a first-pattern expansion. This point helps support the form of compatibilism White advocates. (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.

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)

The Barcan formula (BF) is commonly paraphrased as the schematic conditional that if it is possible that there be a phi then something or other is possibly a phi. It is validated by the most straightforward systems of quantified modal logic. It is also widely considered to pose a threat to the commonsensical metaphysical view that there are no non-actual (or ‘merely possible’) things. I show how BF can be cleared of such a charge by construing it as a bridge (...) principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters. (shrink)

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)

(No abstract is available for this citation).