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 metaphysicalmodality, 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)
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 metaphysicalmodality can accommodate these data compatible with both standard modal logic(s) and modal monism. Noting an analogy with two-dimensional semantics, we argue that metaphysicalmodality 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)
Beall and Restall 2000; 2001; 2006 advocate a comprehensive pluralist approach to logic, which they call Logical Pluralism, according to which there is not one true logic but many equally acceptable logical systems. They maintain that Logical Pluralism is compatible with monism about metaphysicalmodality, according to which there is just one correct logic of metaphysicalmodality. Wyatt 2004 contends that Logical Pluralism is incompatible with monism about metaphysicalmodality. We first suggest that if (...) Wyatt were right, Logical Pluralism would be strongly implausible because it would get upside down a dependence relation that holds between metaphysics and logic of modality. We then argue that Logical Pluralism is prima facie compatible with monism about metaphysicalmodality. (shrink)
The paper provides an explanation of our knowledge of metaphysicalmodality, or modal knowledge, from our ability to evaluate counterfactual conditionals. The latter ability lends itself to an evolutionary explanation since it enables us to learn from mistakes. Different logical principles linking counterfactuals to metaphysicalmodality can be employed to extend this explanation to the epistemology of modality. While the epistemological use of some of these principles is either philosophically implausible or empirically inadequate, the equivalence (...) of ‘Necessarily p’ with ‘For all q, if q were the case, p would be the case’ is a suitable starting-point for an explanation of modal knowledge. (shrink)
A striking feature of the traditional armchair method of philosophy is the use of imaginary examples: for instance, of Gettier cases as counterexamples to the justified true belief analysis of knowledge. The use of such examples is often thought to involve some sort of a priori rational intuition, which crude rationalists regard as a virtue and crude empiricists as a vice. It is argued here that, on the contrary, what is involved is simply an application of our general cognitive capacity (...) to handle counterfactual conditionals, which is not exclusively a priori and is not usefully conceived as a form of rational intuition. It is explained how questions of metaphysical possibility and necessity are equivalent to questions about counterfactuals, and the epistemology of the former (in particular, the role of conceiving or imagining) is a special case of the epistemology of the latter. A non-imaginary Gettier case is presented in order to show how little difference it makes. (shrink)
What is our epistemic access to metaphysicalmodality? Timothy Williamson suggests that the epistemology of counterfactuals will provide the answer. This paper challenges Williamson's account and argues that certain elements of the epistemology of counterfactuals that he discusses, namely so called background knowledge and constitutive facts, are already saturated with modal content which his account fails to explain. Williamson's account will first be outlined and the role of background knowledge and constitutive facts analysed. Their key role is to (...) restrict our imagination to rule out irrelevant counterfactual suppositions. However, background knowledge turns out to be problematic in cases where we are dealing with metaphysically possible counterfactual suppositions that violate the actual laws of physics. As we will see, unless Williamson assumes that background knowledge corresponds with the actual, true laws of physics and that these laws are metaphysically necessary, it will be difficult to address this problem. Furthermore, Williamson's account fails to accommodate the distinction between conceivable yet metaphysically impossible scenarios, and conceivable and metaphysically possible scenarios. This is because background knowledge and constitutive facts are based strictly on our knowledge of the actual world. Williamson does attempt to address this concern with regard to metaphysical necessities – as they hold across all possible worlds – but we will see that even in this case the explanation is questionable. These problems, it will be suggested, cannot be addressed in a counterfactual account of the epistemology of modality. The paper finishes with an analysis of Williamson's possible rejoinders and some discussion about the prospects of an alternative account of modal epistemology. (shrink)
A striking feature of the traditional armchair method of philosophy is the use of imaginary examples: for instance, of Gettier cases as counterexamples to the justified true belief analysis of knowledge. The use of such examples is often thought to involve some sort of a priori rational intuition, which crude rationalists regard as a virtue and crude empiricists as a vice. It is argued here that, on the contrary, what is involved is simply an application of our general cognitive capacity (...) to handle counterfactual conditionals, which is not exclusively a priori and is not usefully conceived as a form of rational intuition. It is explained how questions of metaphysical possibility and necessity are equivalent to questions about counterfactuals, and the epistemology of the former (in particular, the role of conceiving or imagining) is a special case of the epistemology of the latter. A non-imaginary Gettier case is presented in order to show how little difference it makes. (shrink)
“Counterfactual” readings of might/could have were previously analyzed using metaphysical modal bases. This paper presents examples and scenarios where the assumptions of such a branching-time semantics are not met, because there are facts at the base world that preclude the complement of the modal becoming true. Additional arguments show that counterfactual readings are context dependent. These data motivate a semantics using a circumstantial (or factual) modal base, which refers to context-dependent facts about a world and time. The analysis is (...) formulated in a version of premise semantics for modality. (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 metaphysicalmodality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysicalmodality 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)
In this paper I will offer a novel understanding of a priori knowledge. My claim is that the sharp distinction that is usually made between a priori and a posteriori knowledge is groundless. It will be argued that a plausible understanding of a priori and a posteriori knowledge has to acknowledge that they are in a constant bootstrapping relationship. It is also crucial that we distinguish between a priori propositions that hold in the actual world and merely possible, non-actual a (...) priori propositions, as we will see when considering cases like Euclidean geometry. Furthermore, contrary to what Kripke seems to suggest, a priori knowledge is intimately connected with metaphysicalmodality, indeed, grounded in it. The task of a priori reasoning, according to this account, is to delimit the space of metaphysically possible worlds in order for us to be able to determine what is actual. (shrink)
Analytic philosophy has recently demonstrated a revived interest in metaphysical problems about possibility and necessity. Graeme Forbes here provides a careful description of the logical background of recent work in this area for those who may be unfamiliar with it, moving on to d discuss the distinction between modality de re and modality de dicto and the ontological commitments of possible worlds semantics. In addition, Forbes offers a unified theory of the essential properties of sets, organisms, artefacts, (...) substances, and events, based on the doctrine that identity facts must be intrinsically grounded, and analyzes and rejects apparent counterexamples to this doctrine. (shrink)
We all have beliefs to the effect that if a certain thing were to happen a certain other thing would happen. We also believe that some things simply must be so, with no possibility of having been otherwise. And in acting intentionally we all take certain things to be good reason to believe or do certain things. In this book Barry Stroud argues that some beliefs of each of these kinds are indispensable to our having any conception of a world (...) at all. That means no one could consistently dismiss all beliefs of these kinds as merely ways of thinking that do not describe how things really are in the world as it is independently of us and our responses. But the unacceptability of any such negative 'unmasking' view does not support a satisfyingly positive metaphysical 'realism'. No metaphysical satisfaction is available either way, given the conditions of our holding the beliefs whose metaphysical status we wish to understand. This does not mean we will stop asking the metaphysical question. But we need a better understanding of how it can have whatever sense it has for us. This challenging volume takes up these large, fundamental questions in clear language accessible to a wide philosophical readership. (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)
Is what could have happened but never did as real as what did happen? What did happen, but isn't happening now, happened at another time. Analogously, one can say that what could have happened happens in another possible world. Whatever their views about the reality of such things as possible worlds, philosophers need to take this analogy seriously. Adriane Rini and Max Cresswell exhibit, in an easy step-by-step manner, the logical structure of temporal and modal discourse, and show that every (...) temporal construction has an exact parallel that requires a language that can refer to worlds, and vice versa. They make precise, in a way which can be articulated and tested, the claim that the parallel is at work behind even ordinary talk about time and modality. The book gives metaphysicians a sturdy framework for the investigation of time and modality - one that does not presuppose any particular metaphysical view. (shrink)
This appeared in Philosophy and Phenomenological Research 59:473-93, as a response to four papers in a symposium on my book The Conscious Mind . Most of it should be comprehensible without having read the papers in question. This paper is for an audience of philosophers and so is relatively technical. It will probably also help to have read some of the book. (There is a corresponding precis of the book, written for the symposium.) The papers I'm responding to are: Chris (...) Hill & Brian McLaughlin, There are fewer things in reality than are dreamt of in Chalmers' philosophy Brian Loar, David Chalmers' The Conscious Mind Sydney Shoemaker, On David Chalmers' The Conscious Mind Stephen Yablo, Concepts and consciousness Contents. (shrink)
One type of deflationism about metaphysicalmodality 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 metaphysicalmodality. (shrink)
Preface In these days, an anthology on the topic of possible worlds hardly needs justification. No issue has given rise to as much literature in the past ...
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)
Brian Leftow sets out to provide us with an account of Aquinas’s metaphysics of modality.1 Drawing on some important recent work, which is surely close to the spirit (if not quite the letter) of Aquinas’s thought, he frames his discussion in terms of “truthmakers”: what is it that makes true claims about possibility and necessity—that is to say, what serves as their ontological ground or ultimate metaphysical explanation?2 Leftow’s main thesis is that, for Aquinas, all true modal claims (...) are made true by one and the same thing—namely, God. Along the way, however, he also attempts to show that Aquinas’s endorsement of this thesis commits him to an objectionable form of Platonism about possible worlds. (shrink)
Two arguments have recently been advanced that Maxwell-Boltzmann particles areindistinguishable just like Bose–Einstein and Fermi–Dirac particles. Bringing modalmetaphysics to bear on these arguments shows that ontological indistinguishabilityfor classical (MB) particles does not follow. The first argument, resting on symmetryin the occupation representation for all three cases, fails since peculiar correlationsexist in the quantum (BE and FD) context as harbingers of ontic indistinguishability,while the indistinguishability of classical particles remains purely epistemic. The secondargument, deriving from the classical limits of quantum statistical partition (...) functions,embodies a conceptual confusion. After clarifying the doctrine of haecceitism, a thirdargument is considered that attempts to deflate metaphysical concerns altogether byshowing that the phase-space and distribution-space representations of MB-statisticshave contrary haecceitistic import. Careful analysis shows this argument to fail as well,leaving de re modality unproblematically grounding particle identity in the classicalcontext while genuine puzzlement about the underlying ontology remains for quantumstatistics. (shrink)
For the past 30 years, Alvin Plantinga's work in the metaphysics of modality has been both insightful and innovative; it is high time that his papers in this area be collected together in a single volume. This book contains 11 pieces of Plantinga's work in modal metaphysics, arranged in chronological order so one can trace the development of his thought on matters modal. In what follows I will lay out the principal concepts and arguments in these papers.
This book gathers together thirteen of Peter van Inwagen's essays on metaphysics, several of which have acquired the status of modern classics in their field. They range widely across such topics as Quine's philosophy of quantification, the ontology of fiction, the part-whole relation, the theory of 'temporal parts', and human knowledge of modal truths. In addition, van Inwagen considers the question as to whether the psychological continuity theory of personal identity is compatible with materialism, and defends the thesis that possible (...) states of affairs are abstract objects, in opposition to David Lewis's 'extreme modal realism'. A specially-written introduction completes the collection, which will be an invaluable resource for anyone interested in metaphysics. (shrink)
Recent work on probability in the Everett interpretation of quantum mechanics yields a decision-theoretic derivation of David Lewis’ Principal Principle, and hence a general metaphysical theory of probability; part 1 is a discussion of this remarkable result. I defend the claim that the ‘subjective uncertainty’ principle is required for the derivation to succeed, arguing that it amounts to a theoretical identification of chance. In part 2, I generalize this account, and suggest that the Everett interpretation, in combination with a (...) plausible view of natural laws, has the potential to provide a reductive theory of metaphysicalmodality. I defend the resulting naturalistic modal realism, and outline some of its implications for other parts of metaphysics. (shrink)
I offer an understanding of what it is for a term to be rigid which makes no serious metaphysical commitments to or about identity across possible worlds. What makes a term rigid is not that it 'refers to the same object(property) with respect to all worlds' - rather (roughly) it is that the criteria of application for the term with respect to other worlds, when combined with the criteria of identity associated with the term, ensure that whatever meets the (...) criteria of identity also meets the criteria of application and vice versa - in the simplest case, the criteria of application just are the criteria of identity - but things can be more complex to allow for the necessary a posteriori. This makes rigidity a non-metaphysically loaded semantic matters, and allows us to see that the phenomenon of and involving rigidity - especially the necessary a posteriori - are of no metaphysical significance on their own. (shrink)
A strong impossibility is a situation that is epistemically, but not metaphysically, possible. Opponents of strong impossibilities (including Chalmers, Jackson and Stalnaker) have argued that we have “overwhelming reason” to reject and “very little” or “no reason” to think that such impossibilities exist. This partial draft argues that there are strong impossibilities and (very briefly) discusses the manner in which the existence of strong impossibilities is related to some much-discussed arguments in the philosophy of conscious experience. (The full version of (...) the paper will ultimately include a reply to the most significant argument against strong impossibilities, and a (slightly) more involved discussion of the relevance of all of this to issues in the philosophy of conscious experience.). (shrink)
It is argued that miracles are best understood as natural events with supernatural causes and that such causal interaction is logically possible. Such miracles may, or may not, involve violations of natural laws. If violations of laws are possible, Humean supervenience views of laws are best avoided. Where miracles violate laws, it shows that what is naturally impossible may be actual and what is naturally necessary may not be actual. Whether or not miracles actually occur, this demonstrates that the nomic (...) modalities differ from the logical. The theory contrasts favourably with competitors and allows, contrary to an interpretation of Aquinas, that Creation would have been a miracle. (shrink)
This paper presents an account of the understanding of statements involving metaphysicalmodality, together with dovetailing theories of their truth conditions and epistemology. The account makes modal truth an objective matter, whilst avoiding both Lewisian modal realism and mind-dependent or expressivist treatments of the truth conditions of modal sentences. The theory proceeds by formulating constraints a world-description must meet if it is to represent a genuine possibility. Modal truth is fixed by the totality of the constraints. To understand (...) modal discourse is to have tacit knowledge of the body of information stated in these constraints. Modal knowledge is attained by evaluating modal statements in accordance with the constraints. The question of the general relations between modal truth and knowability is also addressed. The paper includes a discussion of which modal logic is supported by the presented theory of truth conditions for modal statements. (shrink)
Constructive empiricism is supposed to offer a positive alternative to scientific realism that dispenses with the need for metaphysics. I first review the terms of the debate before arguing that the standard objections to constructive empiricism are not decisive. I then explain van Fraassen's views on modality and counterfactuals, and argue that, because constructive empiricism recommends on epistemological grounds belief in the empirical adequacy rather than the truth of theories, it requires that there be an objective modal distinction between (...) the observable and the unobservable. This conclusion is incompatible with van Fraassen's empiricism. Finally I explain some further problems for constructive empiricism that arise when we consider modal matters. (shrink)
where F is a contradiction (I use his numbering). Tim says about these equivalences: (1) “modulo the implicit recognition of this equivalence, the epistemology of metaphysically modal thinking is a special case of the epistemology of counterfactual thinking. Whoever has what it takes to understand the counterfactual conditional and the elementary logical auxiliaries ~ and F has what it takes to understand possibility and necessity operators.” (158) (2) The idea that we evaluate metaphysically modal claims “by some quite different means (...) [from those we use to evaluate counterfactuals – CP] is highly fanciful, since it indicates a bizarre lack of cognitive economy and has no plausible explanation of where the alternative cognitive resources might come from” (162) (3) “the capacity to handle metaphysicalmodality is an “accidental” byproduct of the cognitive mechanisms that provide our capacity to handle counterfactual conditionals” (162). The biconditional corresponding to a proposed definition of a concept C may be necessary and a priori. But that leaves open these questions: (1) Does the definition contribute to an explanation of why what are in fact truths containing C are true? (The Explanation Question) (2) Does the definition contribute to an explanation of our knowledge of certain contents containing C? (Epistemic Question) (3) Does the definition contribute to an explanation of our understanding or grasp of contents containing C? (Understanding Question) I argue that applied to (17) and (18), considered as definitions, the answers to these three.. (shrink)
In this paper I argue that Modal Realism, the thesis that there exist non-actual possible individuals and worlds, can be made compatible with Metaphysical Nihilism, the thesis that it is possible that nothing concrete exists. Modal Realism as developed by Lewis rules out the possibility of a world where nothing concrete exists and so conflicts with Metaphysical Nihilism. In the paper I argue that Modal Realism can be modified so as to be compatible with Metaphysical Nihilism. Such (...) a modification makes Modal Realism neither incur further theoretical costs nor lose its theoretical benefits. Thus such a modification constitutes an improvement of Modal Realism. (shrink)
Due to the influence of Nathan Salmon’s views, endorsement of the “flexibility of origins” thesis is often thought to carry a commitment to the denial of S4. This paper rejects the existence of this commitment and examines how Peacocke’s theory of the modal may accommodate flexibility of origins without denying S4. One of the essential features of Peacocke’s account is the identification of the Principles of Possibility, which include the Modal Extension Principle (MEP), and a set of Constitutive Principles. Regarding (...) their modal status, Peacocke argues for the necessity of MEP, but leaves open the possibility that some of the Constitutive Principles be only contingently true. Here, I show that the contingency of the Constitutive Principles is inconsistent with the recursivity of MEP, and this makes the account validate S4. It is also shown that, compatibly with the necessity of the Constitutive Principles, the account can still accommodate intuitions about flexibility of origins. However, the account we end up with once those intuitions are consistently accommodated may not be satisfactory, and this opens up the debate about whether or not artefacts allow for some variation in their origins. (shrink)
The Kripkean metaphysicalmodality (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 metaphysicalmodality. 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)
According to the thesis of modal supervenience it is impossible that two objects be alike in their actual properties but differ in their modal properties. Some have argued that the concept of supervenience is inapplicable to the modal-actual case. Some have argued that the thesis of modal supervenience is trivially true. These arguments are refuted; a thesis of the supervenience of the modal on the actual is meaningful and nontrivial. The significance of the thesis is nevertheless limited by the problem (...) of finding a nonmodal specification for the purported subvenient properties. (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)
It would surely be strange if we had several senses sitting in us, as if in a wooden horse, and it wasn’t the case that all those things converged on some one kind of thing, a mind or whatever one ought to call it: something with which we perceive all the perceived things by means of the senses, as if by means of instruments (Plato, _Theaetetus_ 184d1–5).
Some of the most eminent and enduring philosophical questions concern matters of priority: what is prior to what? What 'grounds' what? Is, for instance, matter prior to mind? Recently, a vivid debate has arisen about how such questions have to be understood. Can the relevant notion or notions of priority be spelled out? And how do they relate to other metaphysical notions, such as modality, truth-making or essence? This volume of new essays, by leading figures in contemporary metaphysics, (...) is the first to address and investigate the metaphysical idea that certain facts are grounded in other facts. An introduction introduces and surveys the debate, examining its history as well as its central systematic aspects. The volume will be of wide interest to students and scholars of metaphysics. (shrink)
This paper introduces a modal epistemology that centers on inference to the best explanation (i.e. abduction). In introducing this abduction-centered modal epistemology, the paper has two main goals. First, it seeks to provide reasons for pursuing an abduction-centered modal epistemology by showing that this epistemology aids a popular stance on the mind-body problem and allows an appealing approach to modality. Second, the paper seeks to show that an abduction-centered modal epistemology can work by showing that abduction can establish claims (...) about necessity/possibility (i.e. modal claims)—where ‘necessity’ and ‘possibility’ denote metaphysical necessity and possibility, ways things may or may not have been given how they actually are. (shrink)
The eleven new papers in this volume address fundamental and interrelated philosophical issues concerning modality and identity, issues that were pivotal to the development of analytic philosophy in the twentieth century, and remain a key focus of debate in the twenty-first. Identity and Modality brings together leading researchers in metaphysics, the philosophy of mind, the philosophy of science, and the philosophy of mathematics.
I undertake a metaphysical investigation of Saul Kripke's modern classic, Naming and Necessity (1980). The general problem of my study may be expressed as follows: What is the metaphysical justification of the validity and existence of the pertinent classes of truths, the necessary a posteriori and the contingent a priori, according to the Kripke Paradigm? My approach is meant to disclose the logical and ontological principles underlying Kripke's arguments for the necessary a posteriori and the contingent a priori (...) respectively. The results of my study are to a certain extent negative: They attempt to show that the classes of the necessary a posteriori and the contingent a priori statements cannot possibly be valid. If the general argument of this thesis is sound, then, on this ground, the realist conception of metaphysical essentialism is rejected. The positive thesis of this study is the articulation of certain ways to frame the necessary a posteriori and the contingent a priori which avoid the problems of realistic essentialism and which suggest a certain transcendental reading of modality. According to the Kripke Paradigm, any de dicto modal status (of a statement) derives ultimately from the de re modality inherent in the object designated, as the object is characterised by contingent and necessary properties on the ontological level. Thus, the Kripke Paradigm is primarily a thesis in de re realist essentialism. The final verdict in this study is that the Kripke Paradigm cannot sustain the realistic conception of de re metaphysical essentialism. If we should adopt a transcendental reading of modality, then certain portions of the Kripke Paradigm are valid. I do not delineate or possess the details of a comprehensive doctrine of transcendental metaphysic. Nevertheless, the observations I make should suffice to bring about the rough orientation of how I conceive the notion of transcendental modality. (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)
There is a common approach to metaphysical disputes, which takes language as its starting point, and leads to a view about the range of acceptable metaphysical positions in any such dispute. I argue that this approach rests on accepting what I call the Strong Linguistic Thesis (SLT). In the metaphysical debate about time I argue that the new B-theory has rejected SLT, and for good reasons. The metaphysical debate about modality parallels the early metaphysical (...) debate about time. I argue that a position analogous to the new B-theory of time is available in the modal debate, and has some advantages over its rivals. (shrink)
This book consists of an introduction by the editor, eleven of Plantinga’s previously published pieces, and an index. The previously published works are presented in the following chronological order: “De Re et De Dicto” (1969); “World and Essence” (1970); “Transworld Identity or Worldbound Individuals?” (1973); Chapter VIII of The Nature of Necessity (1974); “Actualism and Possible Worlds” (1976); “The Boethian Compromise” (1978); “De Essentia” (1979); “On Existentialism” (1983); “Reply to John L. Pollock” (1985); “Two Concepts of Modality: Modal Realism (...) and Modal Reductionism” (1987); and “Why Propositions Cannot Be Concrete” (1993). (shrink)
James Ladyman ([2000]) argues that constructive empiricism is untenable because it cannot adequately account for modal statements about observability. In this paper, I attempt to resist Ladyman's conclusion, arguing that the constructive empiricist can grant his modal discourse objective, theory-independent truth-conditions, yet without compromising his empiricism.
The goals of this paper are two-fold: I wish to clarify the Aristotelian conception of the law of non-contradiction as a metaphysical rather than a semantic or logical principle, and to defend the truth of the principle in this sense. First I will explain what it in fact means that the law of non-contradiction is a metaphysical principle. The core idea is that the law of non-contradiction is a general principle derived from how things are in the world. (...) For example, there are certain constraints as to what kind of properties an object can have, and especially: some of these properties are mutually exclusive. Given this characterisation, I will advance to examine what kind of challenges the law of non-contradiction faces; the main opponent here is Graham Priest. I will consider these challenges and conclude that they do not threaten the truth of the law of non-contradiction understood as a metaphysical principle. (shrink)
How do we know what's (metaphysically) possible and impossible? Arguments from Kripke and Putnam suggest that possibility is not merely a matter of (coherent) conceivability/imaginability. For example, we can coherently imagine that Hesperus and Phosphorus are distinct objects even though they are not possibly distinct. Despite this apparent problem, we suggest, nevertheless, that imagination plays an important role in an adequate modal epistemology. When we discover what is possible or what is impossible, we generally exploit important connections between what is (...) possible and what we can coherently imagine. We can often come to knowledge of metaphysicalmodality a priori. (shrink)
It is argued that, because of scientific essentialism, two currently popular arguments against the mind-body identity thesis -- the multiple-realizability argument and the Nagel-Jackson knowledge argument -- are unsatisfactory as they stand and that their problems are incurable. It is then argued that a refutation of the identity thesis in its full generality can be achieved by weaving together two traditional Cartesian arguments -- the modal argument and the certainty argument. This argument establishes, not just the falsity of the identity (...) thesis, but also the metaphysical possibility of disembodiment. (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)
In recent work Timothy Williamson argues that the epistemology of metaphysicalmodality is a special case of the epistemology of counterfactuals. I argue that Williamson has not provided an adequate argument for this controversial claim, and that it is not obvious how what he says should be supplemented in order to derive such an argument. But I suggest that an important moral of his discussion survives this point. The moral is that experience could play an epistemic role which (...) is more epistemically significant than a mere 'enabling' role but not equivalent to an evidential role. (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)
Modal rationalism includes the thesis that ideal primary positive conceivability entails primary possibility. Modal monism is the thesis that the space of logically possible worlds is coextensive with the space of metaphysically possible worlds. In this paper I explore the relation between the two theses. My aim is to show that the former thesis implies the latter thesis, and that problems with the latter make the former implausible as a complete picture of the epistemology of modality. My argument explores (...) the relation between logical modality and metaphysicalmodality. (shrink)
In this paper I consider Saul Kripke’s famous Humphrey objection to David Lewis’s views on de re modality and argue that responses to this objection currently on the market fail to mitigate its force in any significant way.
It follows from Humean principles of plenitude, I argue, that island universes are possible: physical reality might have 'absolutely isolated' parts. This makes trouble for Lewis's modal realism; but the realist has a way out. First, accept absolute actuality, which is defensible, I argue, on independent grounds. Second, revise the standard analysis of modality: modal operators are 'plural', not 'individual', quantifiers over possible worlds. This solves the problem of island universes and confers three additional benefits: an 'unqualified' principle of (...) compossibility can be accepted; the possibility of nothing can be accommodated; and the identity of indiscernible worlds can be decisively refuted. (shrink)
I focus on a key argument for global external world scepticism resting on the underdetermination thesis: the argument according to which we cannot know any proposition about our physical environment because sense evidence for it equally justifies some sceptical alternative (e.g. the Cartesian demon conjecture). I contend that the underdetermination argument can go through only if the controversial thesis that conceivability is per se a source of evidence for metaphysical possibility is true. I also suggest a reason to doubt (...) that conceivability is per se a source of evidence for metaphysical possibility, and thus to doubt the underdetermination argument. (shrink)
Attention to the conversational role of alethic terms seems to dominate, and even sometimes exhaust, many contemporary analyses of the nature of truth. Yet, because truth plays a role in judgment and assertion regardless of whether alethic terms are expressly used, such analyses cannot be comprehensive or fully adequate. A more general analysis of the nature of truth is therefore required – one which continues to explain the significance of truth independently of the role alethic terms play in discourse. We (...) undertake such an analysis in this paper; in particular, we start with certain elements from Kant and Frege, and develop a construct of truth as a normative modality of cognitive acts (e.g., thought, judgment, assertion). Using the various biconditional T-schemas to sanction the general passage from assertions to (equivalent) assertions of truth, we then suggest that an illocutionary analysis of truth can contribute to its locutionary analysis as well, including the analysis of diverse constructions involving alethic terms that have been largely overlooked in the philosophical literature. Finally, we briefly indicate the importance of distinguishing between alethic and epistemic modalities. (shrink)
Many phenomena appear to be indeterminate, including material macro-object boundaries, predicates or properties admitting of borderline cases, and certain open future claims. Here I provide an account of indeterminacy in metaphysical, rather than semantic or epistemic, terms. Previous such accounts have been "meta-level" accounts, taking metaphysical indeterminacy (MI) to involve its being indeterminate which of various determinate states of affairs obtain. On my alternative, "object-level" account, MI involves its being determinate (or just plain true) that an indeterminate (less (...) than maximally specific) SOA obtains. I more specifically suggest that MI involves an object's (i) having a determinable property, but (ii) not having any unique determinate of that determinable. I motivate the needed extension of the traditional understanding of determinables, then argue that a determinable-based account of MI accommodates, in intuitive and intelligible fashion, a wide range of seeming cases of MI, while satisfactorily treating the usual concerns to accounts of MI, stemming from Evans's argument, the problem of the many, and Sorites paradoxes. (shrink)
Even though evidence underdetermines theory, often in science one theory only is regarded as acceptable in the light of the evidence. This suggests there are additional unacknowledged assumptions which constrain what theories are to be accepted. In the case of physics, these additional assumptions are metaphysical theses concerning the comprehensibility and knowability of the universe. Rigour demands that these implicit assumptions be made explicit within science, so that they can be critically assessed and, we may hope improved. This leads (...) to a new conception of science, one which we need to adopt in order to solve the problem of induction. (shrink)
Metaphysical graphical structuralism is the view that at some fundamental level the world is a mathematical graph of nodes and edges. Randall Dipert has advanced a graphical structuralist theory of fundamental particulars and Alexander Bird has advanced a graphical structuralist theory of fundamental properties. David Oderberg has posed a powerful challenge to graphical structuralism: that it entails the absurd inexistence of the world or the absurd cessation of all change. In this paper I defend graphical structuralism. A sharper formulation, (...) some theorems about such structures, and careful attention to the interaction of metaphysical and mathematical features, shows that the absurdities depend on assumptions that are not essential to the view and brings to light a surprising fact about the necessary structure of fundamental properties. (shrink)
Modality, morality and belief are among the most controversial topics in philosophy today, and few philosophers have shaped these debates as deeply as Ruth Barcan Marcus. Inspired by her work, a distinguished group of philosophers explore these issues, refine and sharpen arguments and develop new positions on such topics as possible worlds, moral dilemmas, essentialism, and the explanation of actions by beliefs. This 'state of the art' collection honours one of the most rigorous and iconoclastic of philosophical pioneers.
In the first edition of his book on the completeness of Kant’s table of judgments, Klaus Reich shortly indicates that the B-version of the metaphysical exposition of space in the Critique of pure reason is structured following the inverse order of the table of categories. In this paper, I develop Reich’s claim and provide further evidence for it. My argumentation is as follows: Through analysis of our actually given representation of space as some kind of object (the formal intuition (...) of space in general), the metaphysical exposition will show that this representation is secondary to space considered as an original, undetermined and as such unrepresentable intuitive manifold. Now, following Kant, the representation of any kind of object involves diversity, synthesis and unity. In the case of our representation of space as formal intuition, this involves, firstly, a manifold a priori, i.e. space as pure form, delivered by the transcendental Aesthetic, secondly, a figurative, productive synthesis of that manifold, and, thirdly, the unity provided by the categories. Analysing our given representation of space – the task of the metaphysical exposition – amounts to dismantling its unity and determine its characteristics with respect to the categories. (shrink)
In this discussion of Colin McGinn's book, 'Logical Properties', I comment first on the chapter "Existence", then on the chapter "Modality." With respect to existence, I argue that McGinn's view that existence is a property that some objects have and other objects lack requires the property of existence to be fundamentally unlike ordinary qualitative properties. Moreover, it opens up a challenging skeptical problem: how do I know that I exist? With respect to modality, I argue that McGinn's argument (...) that quantificational analyses of modality in terms of possible worlds are inevitably circular does not apply to modal theorists who hold that the notion of an impossible world is incoherent. (shrink)
This paper addresses the most fundamental question in metaphysics, Why is there something rather than nothing? The question is framed as a question about concrete entities, Why does a possible world containing concrete entities obtain rather than one containing no concrete entities? Traditional answers are in terms of there necessarily being some concrete entities, and include the possibility of a necessary being. But such answers are threatened by metaphysical nihilism, the thesis that there being nothing concrete is possible, and (...) the subtraction argument for this thesis, an argument that is the subject of considerable recent debate. I summarize and extend the debate about the argument, and answer the threat it poses, turning the tables on it to show how the subtraction argument supports a cosmological argument for a necessary being. (shrink)
Robert Stalnaker draws together in this volume his seminal work in metaphysics. The central theme is the role of possible worlds in articulating our various metaphysical commitments. The book begins with reflections on the general idea of a possible world, and then uses the framework of possible worlds to formulate and clarify some questions about properties and individuals, reference, thought, and experience. The essays also reflect on the nature of metaphysics, and on the relation between questions about what there (...) is and questions about how we talk and think about what there is. Two of the fourteen essays, plus an extensive introduction that sets the papers in context and draws out the essays' common threads, are published here for the first time. (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.
Recently, Terry Horgan and Matjaž Potrč have defended the thesis of ‘existence monism’, according to which the whole cosmos is the only concrete object. Their arguments appeal largely to considerations concerning vagueness. Crucially, they claim that ontological vagueness is impossible, and one key assumption in their defence of this claim is that vagueness always involves ‘sorites-susceptibility’. I aim to challenge both the claim and this assumption. As a consequence, I seek to undermine their defence of existence monism and support a (...) common-sense pluralist ontology of ‘ordinary objects’ as being fully consistent with a thoroughgoing metaphysical realism. (shrink)
The topic of this paper is whether there is metaphysical vagueness. It is shown that it is important to distinguish between the general phenomenon of indeterminacy and the more narrow phenomenon of vagueness (the phenomenon that paradigmatically rears its head in sorites reasoning). Relatedly, it is important to distinguish between metaphysical indeterminacy and metaphysical vagueness. One can wish to allow metaphysical indeterminacy but rule out metaphysical vagueness. As is discussed in the paper, central argument against (...)metaphysical vagueness, like those of Gareth Evans and Mark Sainsbury, would if successful rule out metaphysical indeterminacy. One way to argue specifically against the possibility of metaphysical vagueness might be thought to be to argue for a specific theory of the nature of vagueness according to which vagueness is a semantic phenomenon. But it is shown that there are complications also pertaining to arguments with that structure. Toward the end of the paper, I discuss Trenton Merricks’ well-known argument against a semantic view on vagueness and for a metaphysical view. (shrink)
Persuasive and perceptive, Rhetoric, Modality, Modernity is a novel rewriting of the history of rhetoric and a heady examination of the motives, issues, and ...
1. Reference and modality by W. V. O. Quine.--2. Modality and description by A. F. Smullyan.--3. Extensionality by R. B. Marcus.--4. Quantification into causal contexts by D. Føllesdal.--5. Semantical considerations on modal logic by S. A. Kripke.--6. Essentialism and quantified modal logic by T. Parsons.--7. Reference, essentialism, and modality by L. Linsky.--8. Quantifiers and propositional attitudes by W. V. O. Quine.--9. Quantifying in by D. Kaplan.--10. Semantics for propositional attitudes by J. Hintikka.--11. On Carnap's analysis of statements (...) of assertion and belief by A. Church.--Bibliography (p. [173]-175). (shrink)
This paper examines Descartes' controversial theory of the creation of eternal truths and the views of modality attributed to Descartes in recent interpretations of it. It shows why attempts to make Descartes' view intelligible by distinctions of different kinds of modality fail to do justice to his theory, which is radical indeed without being incoherent or involving universal possibilism or irrationalism. Descartes' opposition to traditional rationalist views of modality, it suggests, can be seen instead as foreshadowing contemporary (...) views prefixed, logical structure of reality or of the divine intellect. (shrink)
Kripke, argued like this: it seems possible that E; the appearance can't be explained away as really pertaining to a "presentation" of E; so, pending a different explanation, it is possible that E. Textbook Kripkeans see in the contrast between E and its presentation intimations of a quite general distinction between two sorts of meaning. E's secondary or a posteriori meaning is the set of all worlds w which E, as employed here, truly describes. Its primary or a priori meaning (...) is the set of all w such that if w is actual, then E is true. "Conceivability error" occurs when a primary possibility is mistaken for a secondary one. Textbook Kripkeanism is rejected on the grounds that it makes meaning too modal and modality too much a matter of meaning. (shrink)
Drawing on different suggestions from the literature, we outline a unified metaphysical framework, labeled as Modal Meinongian Metaphysics (MMM), combining Meinongian themes with a non-standard modal ontology. The MMM approach is based on (1) a comprehension principle (CP) for objects in unrestricted, but qualified form, and (2) the employment of an ontology of impossible worlds, besides possible ones. In §§1–2, we introduce the classical Meinongian metaphysics and consider two famous Russellian criticisms, namely (a) the charge of inconsistency and (b) (...) the claim that naïve Meinongianism allows one to prove that anything exists. In §3, we have impossible worlds enter the stage and provide independent justification for their use. In §4, we introduce our revised comprehension principle: our CP has no restriction on the (sets of) properties that can characterize objects, but parameterizes them to worlds, therefore having modality explicitly built into it. In §5, we propose an application of the MMM apparatus to fictional objects and defend the naturalness of our treatment against alternative approaches. Finally, in §6, we consider David Lewis’ notorious objection to impossibilia, and provide a reply to it by resorting to an ersatz account of worlds. (shrink)
Mistakes about necessity, possibility, counterpossibility and impossibility distort the notions of being and creation.1 Recently such errors cluster in the understanding of quantified modal logic (QML), a device that was for a while thought especially promising for metaphysics.2 Time has told a different story. The underlying modal platonism is gratuitous, without explanatory force and conflicts with the religion it is often used to explain. There are things to consider here that go beyond diagnosing mistakes.3..
In his metaphysical summa of 1986, The Plurality of Worlds, David Lewis famously defends a doctrine he calls ‘modal realism’, the idea that to account for the fact that some things are possible and some things are necessary we must postulate an infinity possible worlds, concrete entities like our own universe, but cut off from us in space and time. Possible worlds are required to account for the facts of modality without assuming that modality is primitive – (...) that there are irreducibly modal facts. We argue that on one reading, Lewis’s theory licenses us to assume maverick possible worlds which spread through logical space gobbling up all the rest. Because they exclude alternatives, these worlds result in contradictions, since different spread worlds are incompatible with one another. Plainly Lewis’s theory must be amended to exclude these excluders. But, we maintain, this cannot be done without bringing in modal primitives. And once we admit modal primitives, bang goes the rationale for Lewis’s modal realism. (shrink)
Open future is incompatible with realism about possible worlds. Since realistically conceived (concrete or abstract) possible worlds are maximal in the sense that they contain/represent the full history of a possible spacetime, past and future included, if such a world is actual now, the future is fully settled now, which rules out openness. The kind of metaphysical indeterminacy required for open future is incompatible with the kind of maximality which is built into the concept of possible worlds. The paper (...) discusses various modal realist responses and argues that they provide ersatz openness only, or they lead to incoherence, or they render the resulting theory inadequate as a theory of modality. The paper also considers various accounts of the open future, including rejection of bivalence, supervaluationism, and the ‘thin red line’ view (TRL), and claims that a version of (TRL) can avoid the incompatibility problem, but only at the cost of deflating the notion of openness. (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)
We argue that certain modal questions raise serious problems for a modal metaphysics on which we are permitted to quantify unrestrictedly over all possibilia. In particular, we argue that, on reasonable assumptions, both David Lewis's modal realism and Timothy Williamson's necessitism are saddled with the remarkable conclusion that there is some cardinal number of the form N α such that there could not be more than N α -many angels in existence. In the last section, we make use of similar (...) ideas to draw a moral for a recent debate in meta-ontology. (shrink)
Do mereological fusions have their parts necessarily? None of the axioms of non-modal formulations of classical mereology appear to speak directly to this question. And yet a great many philosophers who take the part-whole relation to be governed by classical mereology seem to assume that they do. In addition to this, many philosophers who make allowance for the part-whole relation to obtain merely contingently between a part and a mereological fusion tend to depart from non-modal formulations of classical mereology at (...) least when it comes to the axiom of Unique Fusion, which states that no two different mereological fusions ever fuse exactly the same objects. This is no coincidence. There are reasons of principle why one’s adherence to classical mereology should exert some pull towards the view that mereological fusions have their parts necessarily. There is, however, no direct route from the combination of classical mereology and propositional modal logic to the hypothesis that the part-whole relation obtains necessarily between a part and a mereological fusion. In order to bridge between a modal formulation of classical mereology and the hypothesis that fusions have their parts necessarily, one needs to strengthen the axiom of Unrestricted Fusion in a way that is agreeable to many philosophers on both sides of the debate. (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 the main article on Leibniz, it was claimed that Leibniz's philosophy can be seen as a reaction to the Cartesian theory of corporeal substance and the necessitarianism of Spinoza and Hobbes. This entry will address this second aspect of his philosophy. In the course of his writings, Leibniz developed an approach to questions of modality—necessity, possibility, contingency—that not only served an important function within his general metaphysics, epistemology, and philosophical theology but also has continuing interest today. Indeed, it (...) has.. (shrink)
Materialists who do not deny the existence of mental phenomena usually claim that the mental supervenes on the physical, i.e. that there cannot be a change in the mental life of a man without there being a change in the man's body. This modal claim is usually understood in terms of logical necessity. I argue that this is a mistake, resulting from assumptions inherited from logical empiricism, and that it should be understood in terms of synthetic necessity.
This is a book about the concept of a physical thing and about how the names of things relate to the things they name. It questions the prevalent view that names 'refer to' or 'denote' the things they name. Instead it presents a new theory of proper names, according to which names express certain special properties that the things they name exhibit. This theory leads to some important conclusions about whether things have any of their properties as a matter of (...) necessity. This will be an important book for philosophers in metaphysics and the philosophy of language, though it will also interest linguists concerned with the semantics of natural language. (shrink)
Eleven distinguished philosophers have contributed specially written essays on a set of topics much debated in recent years, including physicalism, qualia, semantic competence, conditionals, presuppositions, two-dimensional semantics, and the relation between logic and metaphysics. All these topics are prominent in the work of Robert Stalnaker, a major presence in contemporary philosophy, in honor of whom the volume is published. It also contains a substantial new essay in which Stalnaker replies to his critics, and sets out his current views on the (...) topics discussed. (shrink)
Consider two standard quantified modal languages and whose vocabularies comprise the identity predicate and the existence predicate, each endowed with a standard S5 Kripke semantics where the models have a distinguished actual world, which differ only in that the quantifiers of are actualist while those of are possibilist. Is it possible to enrich these languages in the same manner, in a non-trivial way, so that the two resulting languages are equally expressive—i.e., so that for each sentence of one language there (...) is a sentence of the other language such that given any model, the former sentence is true at the actual world of the model iff the latter is? Forbes (1989) shows that this can be done by adding to both languages a pair of sentential operators called Vlach-operators, and imposing a syntactic restriction on their occurrences in formulas. As Forbes himself recognizes, this restriction is somewhat artificial. The first result I establish in this paper is that one gets sameness of expressivity by introducing infinitely many distinct pairs of indexed Vlach-operators. I then study the effect of adding to our enriched modal languages a rigid actuality operator. Finally, I discuss another means of enriching both languages which makes them expressively equivalent, one that exploits devices introduced in Peacocke (1978). Forbes himself mentions that option but does not prove that the resulting languages are equally expressive. I do, and I also compare the Peacockian and the Vlachian methods. In due course, I introduce an alternative notion of expressivity and I compare the Peacockian and the Vlachian languages in terms of that other notion. (shrink)
The many worlds anthropic principle is explored here from the a priori perspective of rationalist metaphysics, within the framework of modal logic. It is shown how the apparent contradictions of quantum superposition can be thought of in terms of different levels of world models. The framework of modal logic is used, but given the rationalist assumption that all possible worlds exist. There is thus no absolute distinction between possibility and necessity. To take the point of view of a conscious being (...) in a world, however, is to adopt some such distinction--something we must do in order to do physics. This paper is intended to lay the groundwork for future attempts to develop theories of what is necessarily true in a world with conscious entities. It also contains some tentative speculations on the difficult issue of death and quantum mechanics. (shrink)
The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism.
This paper proposes a new line of attack on the conceivability argument for mind-body property dualism, based on the causal account of properties, according to which properties have their conditional powers essentially. It is argued that the epistemic possibility of physical but not phenomenal duplicates of actuality is identical to a metaphysical (understood as broadly logical) possibility, but irrelevant for establishing the falsity of physicalism. The proposed attack is in many ways inspired by a standard, broadly Kripkean approach to (...) epistemic and metaphysicalmodality. (shrink)
