– 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)

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

This paper argues that there are true synthetic modal claims and that modal questions in philosophy are to be interpreted not in terms of logical necessity but in terms of synthetic necessity. I begin by sketching the debate about modality between logical empiricism and phenome-nology. Logical empiricism taught us to equate analyticity and neces-sity. The now common view is that analytic statements are necessary in the narrow sense but that there is also necessity in a wider sense. I argue against (...) this that we should distinguish analyticity and necessity more strictly. (shrink)

This article argues that there is a great divide between semantics and metaphysics. Much of what is called metaphysics today is still stuck in the linguistic turn. This is illustrated by showing how Fraser MacBride misunderstands David Armstrong's theory of modality.

This paper argues that there are true synthetic modal claims and that modal questions in philosophy in general are to be interpreted not in terms of logical necessity but in terms of syn- thetic necessity. I begin by sketching the debate about modality between logical empiricism and phenomenology. Logical empiri- cism taught us to equate being tautological with being necessary. The now common view is that tautologies are necessary in the narrow sense but that there is also necessity in a (...) wider sense. I argue against this that we should distinguish analyticity and necessity more strictly. (shrink)

It is not quite as easy to see that there is in fact no formula of this modal language having the same truth conditions (in terms of S5 Kripke semantics) as (1). This was rst conjectured by Allen Hazen2 and later proved by Harold Hodes3. We present a simple direct proof of this result and discuss some consequences for the logical analysis of ordinary modal discourse.

The Kripkean metaphysical modality (i.e. possibility and necessity) is one of the most important concepts in contemporary analytic philosophy and is the basis of many metaphysical speculations. These metaphysical speculations frequently commit to entities that do not belong to this physical universe, such as merely possible entities, abstract entities, mental entities or qualities not realizable by the physical, which seems to contradict naturalism or physicalism. This paper proposes a naturalistic interpretation of the Kripkean modality, as a naturalist’s response to these (...) metaphysical speculations. It will show that naturalism can accommodate the Kripkean metaphysical modality. In particular, it will show that naturalism can help to resolve the puzzles surrounding Kripke’s a posteriori necessary propositions and a priori contingent propositions. (shrink)