13 Counterpart Theory 13.2 Syntax of CT Counterpart Theory Does Not Make Use of Individual 13.1 Philosophical Preliminaries Constants

Total Page:16

File Type:pdf, Size:1020Kb

13 Counterpart Theory 13.2 Syntax of CT Counterpart Theory Does Not Make Use of Individual 13.1 Philosophical Preliminaries Constants 13 Counterpart Theory 13.2 Syntax of CT Counterpart theory does not make use of individual 13.1 Philosophical Preliminaries constants. (This requires slightly adjusting the in- ference rules so that \arbitrary" constants are not As originally presented in 1968, David Lewis's coun- needed for (Q8In); instead free variables are used. terpart theory represents a way to translate the lan- Some of you may already be familiar with the use of gauge of quantified modal logic into a first-order log- free variables in proofs.) ical theory (one with classical quantifier rules) with- Counterpart theory (CT) makes use of the follow- out any intensional operators, but in which, instead, ing predicates along with the intended meaning listed: we quantify over worlds in the object language, and introduce additional predicates for such things as in- clusion within worlds, and the counterpart relation Wx x is a world for objects in different worlds. Ixy x is in (world) y Lewis regards possible worlds as genuine entities, Ax x is actual (exists in the actual world) and the things in them as well. He accepts a theory Cxy x is a counterpart of y known as modal realism according to which possible objects, although not actual, are taken to be gen- Lewis also adopts the following definition: uinely real things in the full sense. Considered as a formal theory, one need not accept Lewis's meta- @ abbreviates x 8y(Iyx $ Ay) physics of modality to accept CT; however, one must maintain that it is somehow intelligible to quantify Here, @ is the actual world, or the world contain- over worlds and non-actual objects. ing all and only actual things. Lewis defines this with a description; but it seems clear that he accepts (Of course, we do that in the metalanguage when the Russellian method for eliminating descriptions in we do Garson-style semantics for modal logic; how- context. (He should have given us conventions for re- ever, it is arguable that the commitment to possible solving scope ambiguities for @, but in virtue of (P7) worlds in accepting a theory like fS5 is at least much below, such ambiguities won't matter much. more oblique. Again considered as a formal system, Lewis might have instead taken @ as the theory's one might accept fS5 and think of modality as a sui own individual constant and defined \Ax" instead as generis notion. Garson's models are then perhaps \Ix@". heuristics or constructs that can be used to define a notion of validity for a logic with modal operators that is extensionally right, without showing the true 13.3 Axioms of CT nature of necessity or possibility.) System CT is built on pure first-order logic with iden- Lewis's counterpart relation C is paramount his tity (roughly, Garson's QL, modulo the lack of indi- way of thinking of de re modality. In standard (Krip- vidual constants), and adds the following particular kean) objectual semantics for modal logics, whether axioms: or not it is possible for me to have a property I don't have, or whether it is possible for me not to have (P1) 8x 8y(Ixy ! Wy) some property I do have, depends on what properties (P2) 8x 8y 8z(Ixy & Ixz ! y = z) I have in other possible worlds. This presupposes the (P3) 8x 8y(Cxy ! 9z Ixz) intelligibility of trans-world identity, the same thing (P4) 8x 8y(Cxy ! 9z Iyz) (me) existing at multiple possible worlds. Lewis in- (P5) 8x 8y 8z(Ixy & Izy & Cxz ! x = z) stead understands de re modal questions in terms (P6) 8x 8y(Ixy ! Cxx) of the properties had by my counterparts in other (P7) 9x(Wx & 8y(Iyx $ Ay)) worlds, people who closely resemble me in some rel- (P8) 9x Ax evant sense. It is possible for me to have worn a dif- ferent color shirt today because in some other world (P1) says that things are only in worlds. (P2) says there is someone qualitatively exactly like me, except that nothing is in more than one world. This is some- wearing a different color shirt (sitting in a room qual- times called the principle of world-bound individuals, itatively like this one, teaching students very similar and is in effect Lewis's rejection of transworld iden- to you, etc.) tity, strictly speaking. 72 (P3) and (P4) together say that all counterparts (It then follows from their definitions that if A are in worlds. (P5) and (P6) together say anything in takes the form (B & C), then jAjw is (jBjw & any world has itself, and only itself, as its counterpart jCjw), and so on for ∼, _ and $.) in that world. w (P7) says that there is a world that contains all and 3. If A takes the form 8x Bx, then jAj is w only actual things; it is this axiom that allows us to 8x(Ixw ! jBxj ). introduce \@" by description (without fear that the (It follows that if A takes the form 9x Bx then existential clause of the contextual definition will be jAjw is 9x(Ixw & jBxjw).) false). (P8) says that something is actual. Lewis considers but rejects certain additional 4. If A takes the form 2 B, and the free w principles. variables of B are x1; : : : ; xn, then jAj 0 0 0 is 8w 8y1 ::: 8yn(Ww &Iy1w & ::: & 0 Iynw &Cy1x1 & ::: &Cynxn ! 8x 8y(Cxy ! Cyx) 0 0CT j[::: [B]y1 =x :::]yn =x jw ). (The counterpart relation need not be 1 n symmetric.) (It follows that if A takes the form 3 B, CT 8x 8y 8y(Cxy & Cyz ! Cxz) and the free variables of B are x1; : : : ; xn, 0 w 0 0 0 (The counterpart relation need not be then jAj is 9w 9y1 ::: 9yn(Ww &Iy1w & 0 ::: &Iynw &Cy1x1 & ::: &Cynxn & transitive.) 0 j[::: [B]y1 =x :::]yn =x jw ).) 0CT 8x 8y 8z 8w(Cxy & Cxz & Iyw & Izw ! y = z) 1 n (Something needn't be counterpart • Hence, if B is a sentence without free vari- to only one thing in a world.) 0 ables, then j 2 Bjw is 8w0(Ww0 ! jBjw ). 0CT 8x 8y 8z(Cyx & Czx & Iyw & Izw ! y = z) (Something needn't have only one • If Bx has one free variable, x, then j 2 Bxjw 0 counterpart in a world.) is 8w0 8y(Ww0 &Iyw0 &Cyx ! jByjw ). 8x 8w 8w0(Ww & Ww0 & Ixw ! 0CT w 9y(Iyw0 & Cyx)) jAj is basically the translation of A relativized to (Something needn't have a world w. The complete translation of a sentence A counterpart in every other world.) of QML in Lewis's CT is A relativized to the actual @ w 0 0 world jAj , or more fully 9w(8x(Ixw $ Ax)& jAj ). 0CT 8x 8w 8w (Ww & Ww & Ixw ! 9y(Iyw0 & Cxy)) (Don't confuse the schematic \A", italics, with the (Something needn't be the counterpart predicate \A" of Lewis's langauge, no italics.) of something in every other world.) Examples: • The translation of \8x Fx" is \8x(Ix@ ! Fx)". 13.4 Translating from QML to CT • The translation of \3 9x Rxx" is \9w(Ww & Lewis provides a means for translating sentences 9x(Ixw & Rxx))". stated in the language of quantified modal logic (one The translation of \9x 3 Fx" is \9x(Ix@ & that adds only \2", or it with \3" to a standard • 9w 9y(Ww & Iyw & Cyx & Fy))." first-order predicate language), such as Garson's qK or fK or their extensions, into the language of CT. Homework: Translate the following from QML to At the core of a translation is a function, which CT: we may write jAjw, where A is formula and w is a variable for worlds. We can define this recursively as 1. 2 8x Fx follows: 2. 8x 2 Fx 1. If A is an atomic sentence or \?", then jAjw is 3. 8x 3 9y Ryx A itself. 4. 2 8x(Fx ! 3 Gx) 2. If A takes the form (B ! C), then jAjw is (jBjw ! jCjw). Translation in the other direction (from CT to QML), however, is not always possible. 73 13.5 Comparison with other systems • We translation of the Converse Barcan Formula: • While the rules for the quantifiers are classical, (CBF) 2 8x Ax ! 8x 2 Ax and have a univocal domain, ranging over all pos- sibilia, quantification is often restricted to actual is a theorem of CT, but not the translation of things, or all those in some world, so in practice, the Barcan Formula: the theory has some of the features of a free logic. However, it has no genuine terms, and a fortiori, (BF) 8x 2 Ax ! 2 8x Ax none that don't refer to an existent thing. The reason the latter fails is that there may be • The de re/de dicto distinction is captured by objects in other possible worlds that are not the treating all individually referring expressions ac- counterparts of any objects in this world. (As we cording to Russell's theory of descriptions and saw, Lewis rejects the idea that every object in a applying the contextual definitions accordingly. given world must be the counterpart of anything in a given other world.) • In some ways the modality espoused is close to that of S5, since it in effect defines necessity in Most difficulties with (CBF), moreover, are dif- terms of truth in all possible worlds whatever. fused by the nature of the system as a whole. In line with this, for every A which is a closed sentence, the translations of the appropriate in- 13.6 Possible Expansions/ stances of the following are theorems: Modifications (M) 2 A ! A (B) A ! 2 3 A As Lewis points out, counterpart theory could also (4) 2 A ! 2 2 A be made to proxy for logics with other kinds of inten- (5) 3 A ! 2 3 A sional or modal operators (deontic operators, epis- However, these are restricted to closed sentences.
Recommended publications
  • Haecceitism, Chance
    HAECCEITISM, CHANCE, AND COUNTERFACTUALS Boris Kment Abstract. Anti-haecceitists believe that all facts about specific individuals—such as the fact that Fred exists, or that Katie is tall—globally supervene on purely qualitative facts. Haecceitists deny that. The issue is not only of interest in itself, but receives additional importance from its intimate connection to the question of whether all fundamental facts are qualitative or whether they include facts about which specific individuals there are and how qualitative properties and relations are distributed over them. Those who think that all fundamental facts are qualitative are arguably committed to anti-haecceitism. The goal of this paper is to point out some problems for anti-haecceitism (and therefore for the thesis that all fundamental facts are qualitative). The article focuses on two common assumptions about possible worlds: (i) Sets of possible worlds are the bearers of objective physical chance. (ii) Counterfactual conditionals can be defined by appeal to a relation of closeness between possible worlds. The essay tries to show that absurd consequences ensue if either of these assumptions is combined with anti-haecceitism. Then it considers a natural response by the anti-haecceitist, which is to deny that worlds play the role described in (i) and (ii). Instead, the reply continues, we can introduce a new set of entities that are defined in terms of worlds and that behave the way worlds do on the haecceitist position. That allows the anti-haecceitist to formulate anti-haecceitist friendly versions of (i) and (ii) by replacing the appeal to possible worlds with reference to the newly introduced entities.
    [Show full text]
  • Reply to Stone on Counterpart Theory and Four-Dimensionalism Antony Eagle
    reply to stone on counterpart theory 159 Blackwell Publishing Ltd.Oxford, UK and Malden, USAANALAnalysis0003-26382007 Blackwell Publishing Ltd.April 200767215962Original ArticlesAntony Eagle REPLY TO STONE ON COUNTERPART THEORY Reply to Stone on counterpart theory and four-dimensionalism Antony Eagle In a recent article, Jim Stone argues that counterpart theory and four- dimensionalism are incompatible (Stone 2005). His arguments carry no obvious weight against the stage view defended by Sider (2001). Nor do they undermine the more vulnerable combination of the worm view and counterpart theory – or so I shall argue. Stone considers a space-time worm A which is a bronze statue of a unicorn throughout its entire existence, from t1 to t10 (scenario I). Since the bronze could survive being melted down while the statue could not, there is a (distinct) situation (scenario II), where A is melted down, and recast at t11. Stone claims that in II A both does and does not have more temporal parts than it has in scenario I, in virtue of the bronze counterparts of A surviving but the statue-shaped counterparts of A failing to survive. As it stands, this argument is invalid: if eternalism is true, the bronze in scenario II is not identical to A, since it is true throughout II that the Analysis 67.2, April 2007, pp. 159–62. © Antony Eagle 160 antony eagle bronze B outlives the worm A. Dialectically, since eternalism is likely to be held for independent reasons by the four-dimensionalist, Stone’s argu- ment has no force. Moreover, according to the counterpart theorist, A does not exist in II; at best, some counterpart of A exists in that scenario.
    [Show full text]
  • Comments on Sider's Four Dimensionalism
    Sally Haslanger MIT Department of Linguistics and Philosophy [email protected] 12/30/03 Comments on Sider I. Introduction Congratulations to Ted on the APA Prize. Ted’s book Four Dimensionalism is an impressive piece of work, and it is an honor to be included in this session. The book is a paradigm of systematic work in analytic metaphysics. It demonstrates a comprehensive understanding of a variety of debates over time, persistence, material constitution, as well as a sensitivity to background issues concerning methodology in metaphysics. It is a significant accomplishment. I’ll start by giving a very brief summary of Sider’s position and will identify some points on which my own position differs from his. I’ll then raise four issues, viz., how to articulate the 3-dimensionalist view, the trade-offs between Ted’s stage view of persistence and endurance with respect to intrinsic properties, the endurantist’s response to the argument from vagueness, and finally more general questions about what’s at stake in the debate. I don’t believe that anything I say raises insurmountable problems for Sider’s view; and in fact, I’m sure he’s in a better position to defend his view more convincingly than I’m able to defend mine. However, there is plenty worth discussing further. Sider defends what he calls “four dimensionalism,” but we should start by being clear how he understands this position.1 He defines “four dimensionalism” as “an ontology of the material world according to which objects have temporal as well as spatial parts.” (xiii) So the thesis of four-dimensionalism Sider is interested in is a thesis about objects and their parts.
    [Show full text]
  • Parts of Persons Identity and Persistence in a Perdurantist World
    UNIVERSITÀ DEGLI STUDI DI MILANO Doctoral School in Philosophy and Human Sciences (XXXI Cycle) Department of Philosophy “Piero Martinetti” Parts of Persons Identity and persistence in a perdurantist world Ph.D. Candidate Valerio BUONOMO Tutors Prof. Giuliano TORRENGO Prof. Paolo VALORE Coordinator of the Doctoral School Prof. Marcello D’AGOSTINO Academic year 2017-2018 1 Content CONTENT ........................................................................................................................... 2 ACKNOWLEDGMENTS ........................................................................................................... 4 INTRODUCTION ................................................................................................................... 5 CHAPTER 1. PERSONAL IDENTITY AND PERSISTENCE...................................................................... 8 1.1. The persistence of persons and the criteria of identity over time .................................. 8 1.2. The accounts of personal persistence: a standard classification ................................... 14 1.2.1. Mentalist accounts of personal persistence ............................................................................ 15 1.2.2. Somatic accounts of personal persistence .............................................................................. 15 1.2.3. Anti-criterialist accounts of personal persistence ................................................................... 16 1.3. The metaphysics of persistence: the mereological account .........................................
    [Show full text]
  • Counterfactuals and Antirealism
    ISSN 2664-4002 (Print) & ISSN 2664-6714 (Online) South Asian Research Journal of Humanities and Social Sciences Abbreviated Key Title: South Asian Res J Human Soc Sci | Volume-1 | Issue-1| Jun-Jul -2019 | Short Communication Counterfactuals and Antirealism Panayot Butchvarov* The University of Iowa USA *Corresponding Author Panayot Butchvarov Article History Received: 12.07.2019 Accepted: 24.07.2019 Published: 30.07.2019 Abstract: There could be no causal connections in the world because if there were there would be counterfactual facts, and there are no such facts. Cognition of the world must employ counterfactual statements, roughly of the form “If p were true, then q would be true,” but obviously there are no counterfactual facts. Keywords: cognition, antirealism, causality, counterfactual The ways to antirealism Metaphysical antirealism is seemingly incredible but, paradoxically, also self-evident. It seems self-evident insofar as it says that if there is a world that we do not and cannot cognize (Kant‟s “things-in-themselves”) then we can ignore it, and if there is a world that we do or at least can cognize (Kant‟s “things-for-us”) then it can only be the world as we do or can cognize it. So the world we do cognize seems, in a sense, dependent on our cognition of it. (We may think of cognition as the capacity for knowledge, and of knowledge as the successful exercise of that capacity.) Metaphysical antirealism is not solipsistic – it‟s about what we, not what I, do or can cognize. For cognition of a world, unlike cognition of a toothache but like cognition of physics, mathematics, geography, or history, is inseparable from others‟ cognition – from the common language we speak to most of the views we espouse.
    [Show full text]
  • Concrete Possible Worlds (Final)
    CONCRETE POSSIBLE WORLDS Phillip Bricker 1. INTRODUCTION. Open a book or article of contemporary analytic philosophy, and you are likely to find talk of possible worlds therein. This applies not only to analytic metaphysics, but to areas as diverse as philosophy of language, philosophy of science, epistemology, and ethics. Philosophers agree, for the most part, that possible worlds talk is extremely useful for explicating concepts and formulating theories. They disagree, however, over its proper interpretation. In this chapter, I discuss the view, championed by David Lewis, that philosophers’ talk of possible worlds is the literal truth.1 There exists a plurality of worlds. One of these is our world, the actual world, the physical universe that contains us and all our surroundings. The others are merely possible worlds containing merely possible beings, such as flying pigs and talking donkeys. But the other worlds are no less real or concrete for being merely possible. Fantastic? Yes! What could motivate a philosopher to believe such a tale? I start, as is customary, with modality.2 Truths about the world divide into two sorts: categorical and modal. Categorical truths describe how things are, what is actually the case. Modal truths describe how things could or must be, what is possibly or 1 The fullest statement of Lewis’s theory of possible worlds is contained in his magnum opus, Lewis (1986), On the Plurality of Worlds. Lewis’s view is sometimes called “modal realism.” 2 Historically, it was the attempt to provide semantics for modal logic that catapulted possible worlds to the forefront of analytic philosophy.
    [Show full text]
  • Possible Worlds I: Modal Realism
    Possible Worlds I: Modal Realism May 31, 2009 It is difficult to wander far in contemporary metaphysics without bumping into talk of possible worlds. And reference to possible worlds is not confined to metaphysics. It can be found in contemporary epistemology and ethics, and has even found its way into linguistics and decision theory. But what are those possible worlds, the entities to which theorists in these disciplines all appeal? Call any attempt to answer this question a theory of possible worlds. This paper sets out and evaluates a leading contemporary theory of possible worlds. The view’s principal proponent is David Lewis, and his label for it is ‘Modal Realism,’ which I will abbreviate ‘MR.’1 The view accepts the following sys- tematic correspondence between certain modal facts and facts regarding the existence of possible worlds: (SC) it is possible that φ iff there is a w such that w is a possible world and ‘φ’ is true at w. Lewis proposes MR, in part, as an attempt to specify the nature of the possible worlds whose existence is required by (SC)’s instances. This paper outlines Lewis’s view and discusses some main lines of objection. I will start by noting two competing ambitions for a theory of possible worlds (§1): that a theory of possible worlds be reductive and user-friendly. I will then outline Lewis’s version of MR (§2), and consider objections on the grounds that MR is not reductive (§3) and not user-friendly (§4). 1 Two Ambitions for a Theory of Possible Worlds There are at least two ambitions one might have for a theory of possible worlds.
    [Show full text]
  • Philosophy of Time: a Slightly Opinionated Introduction
    Philosophy of time: A slightly opinionated introduction Florian Fischer There are several intertwined debates in the area of contemporary philos- ophy of time. One field of inquiry is the nature of time itself. Presentists think that only the present moment exists whereas eternalists believe that all of (space-)time exists on a par. The second main field of inquiry is the question of how objects persist through time. The endurantist claims that objects are three-dimensional wholes, which persist by being wholly1 present, whereas the perdurantist thinks that objects are four- dimensional and that their temporal parts are the bearers of properties. The third debate in the field of contemporary philosophy of time is about tense- versus tenseless theory. Tensers are at odds with detensers about the status of the linguistic reference to the present moment. These are only very crude characterizations and it is even disputed by some ad- vocates of the corresponding positions that they are accurate. However this very sketchy picture already reveals a fundamental difference: The eternalism/presentism and endurance/perdurance discussions belong to the field of metaphysics, whereas tense is in the first instance a linguistic phenomenon. Among the many fields of philosophy, there are two that are more intimately interconnected than most but whose practi- tioners have too long pursued relatively independent paths. On the one hand, there are philosophers of language, who have devoted much attention to indexicals (`now', etc.), tem- poral operators (`it has been the case that', etc.), and tensed sentences. On the other hand, there are the philosophers of tensed and tenseless time (also called A-time or B-time, dynamic time or static time, etc.).
    [Show full text]
  • A Case for Stage View Presentism
    1 A Case for Stage View Presentism 0. Abstract Until recently, perdurantism has been considered to be incompatible with the presentist ontology of time. However, discussions about presentist theories of perdurance are now surfacing, one of the most prominent arguments for which being Berit Brogaard’s essay: “Presentist Four-Dimensionalism”. In this paper, I examine Brogaard’s argument in contrast to Ted Sider’s arguments for (an Eternalist theory of) the “Stage View”. I then argue for another (and, I think, novel) view of presentist perdurantism, which avoids the problematic consequences that Brogaard’s view faces, and which also successfully solves philosophical puzzles without the difficulties that Sider’s view faces. This view, which I call “Stage View Presentism,” thus seems to be an appealing alternative for presentists who remain impartial to both the endurantist and the worm theories of persistence. 1. Presentism, Eternalism, and Perdurantism In her paper entitled “Presentist Four-Dimensionalism”1, Berit Brogaard argues for a presentist theory of perdurantism. Perdurantism is the view that objects are ‘spacetime worms’, which persist through time in virtue of having temporal parts at any particular time. Objects, then, are aggregates of these temporal parts (which I will call stages). Each stage is not temporally extended per se, but each spacetime worm (or aggregate of stages) extends temporally by having stages fixed at many successive times. Thus, perdurantists argue that stages exist at a time, whereas worms exist over time. Presentism, in contrast, is the view that “the only things that exist are things that presently exist” [Brogaard 2000: 3]. Presentism is often regarded as being incompatible with perdurantism.
    [Show full text]
  • The End of Counterpart Theory*
    THE END OF COUNTERPART THEORY* Journal of Philosophy 100 (2003): 521-549. Counterpart theory says roughly that, for any object O and any property F, O is possibly F if and only if O has a counterpart that is F. Moreover, O is essentially F if and only if all of O’s counterparts are F.1 According to David Lewis, the theory’s leading advocate, our counterparts are typically a lot like us. Lewis holds that I am possibly forty feet tall if and only if there is someone in a universe spatiotemporally isolated from ours—one of Lewis’s “possible worlds”—who, though otherwise appropriately like me, is forty feet tall. Many find counterpart theory attractive.2 But most reject Lewis’s modal realism. So most deny that we have flesh-and-blood counterparts in unreachable but humanly inhabited universes. They insist, instead, that our counterparts are somehow “abstract.” It is that sort of counterpart theory—the sort endorsed by virtually every counterpart theorist except for Lewis himself—that I shall argue is untenable. (Indeed, as we shall see, there are good reasons to reject any reduction of modal properties to abstract worlds, counterpart-theoretic or otherwise.) Because I do not believe Lewis’s ontology, I think his version of counterpart theory is also mistaken. And so—I conclude—we should reject every sort of counterpart theory. I. COUNTERPART THEORY AND THE ANALYSIS OF MODAL PROPERTIES The counterpart theorist says that, for any object O and any property F, O is possibly F if and only if O has a counterpart that is F.
    [Show full text]
  • Matter and Mereology∗
    Matter and mereology∗ Jeremy Goodman Draft of March 22, 2015 I am a material thing. But I am not the same thing as the matter out of which I am composed, since my matter, unlike me, could have existed as scattered interstellar dust. The distinction between matter and objects that are merely composed of matter is central to our ordinary conception of the material world. According to that conception, material objects have a hierarchical structure with matter at its foundation. This paper shows how matter and material constitution can be understood in terms of the part-whole relation.1 I present a novel mereology and apply it to debates about the persistence and plenitude of material objects, and compare my view to more familiar hylomorphic ones. A formal model of the theory is given in an appendix. 1 Anti-symmetry Consider the following principle: weak supplementation: If x is a proper part of y, then y has a part that does not overlap x. where x is a proper part of y =df x is a part of y and x 6= y. x overlaps y =df some part of x is part of y. Everyday cases of material coincidence are counterexamples to weak supple- mentation. A statue s composed of some clay c. c is distinct from s, since squashing c would destroy s but would not destroy c.2 c is part of s, since any ∗Thanks to Andrew Bacon, Cian Dorr, Maegan Fairchild, Kit Fine, Peter Fritz, John Hawthorne, Harvey Lederman, Gabriel Uzquiano, Tim Williamson and an anonymous referee for No^us for comments on previous versions of this paper, and to an audience at the University of Cambridge.
    [Show full text]
  • Rudolf Carnap and David Lewis on Metaphysics: a Volume 9, Number 1 Question of Historical Ancestry Editor in Chief Fraser Macbride Audrey Yap, University of Victoria
    Journal for the History of Analytical Philosophy Rudolf Carnap and David Lewis on Metaphysics: A Volume 9, Number 1 Question of Historical Ancestry Editor in Chief Fraser MacBride Audrey Yap, University of Victoria Editorial Board In an unpublished speech from 1991, David Lewis told his audi- Annalisa Coliva, UC Irvine ence that he counted ‘the metaphysician Carnap (not to be con- Henry Jackman, York University fused with the anti-metaphysician Carnap, who is better known)’ Frederique Janssen-Lauret, University of Manchester amongst his historical ancestors. Here I provide a novel inter- Kevin C. Klement, University of Massachusetts pretation of the Aufbau that allows us to make sense of Lewis’s Consuelo Preti, The College of New Jersey claim. Drawing upon Lewis’s correspondence, I argue it was the Marcus Rossberg, University of Connecticut Carnap of the Aufbau whom Lewis read as a metaphysician, be- Anthony Skelton, Western University cause Carnap’s appeal to the notion of founded relations in the Mark Textor, King’s College London Aufbau echoes Lewis’s own appeal to the metaphysics of natu- Richard Zach, University of Calgary ral properties. I further maintain that Lewis was right to read Carnap this way and that the notion of a founded relation has Editors for Special Issues a legitimate claim to be both logical and metaphysical. I also Sandra Lapointe, McMaster University argue that Carnap’s initial response to Goodman’s puzzle about Alexander Klein, McMaster University ‘grue’ relies upon a metaphysics of simple properties which also Review Editors prefigures Lewis’s own response to Goodman invoking natural Sean Morris, Metropolitan State University of Denver properties.
    [Show full text]