DOCSLIB.ORG

SPREAD WORLDS, PLENITUDE and MODAL REALISM: a PROBLEM for DAVID LEWIS by Charles R

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
SPREAD WORLDS, PLENITUDE and MODAL REALISM: a PROBLEM for DAVID LEWIS by Charles R 1 SPREAD WORLDS, PLENITUDE AND MODAL REALISM: A PROBLEM FOR DAVID LEWIS By Charles R. Pigden and Rebecca E. B. Entwisle 1. Introduction: Modal Realism and Meta-Philosophy David Lewis was famous (among other things) for the meta-philosophical claim that knock-down refutations are rare to non-existent in philosophy. You can argue that the costs of a theory exceed the intellectual benefits but it is difficult, if not impossible, to prove that it is false. When it comes to choosing between philosophical theories, it is generally a matter of ‘the price is right’, and when it comes to refuting a theory the best you can generally do is to drive up the costs whilst diminishing the benefits. There may come a time when the costs are so high and the benefits are so low that the theory can’t attract any takers, but this is usually due to a cumulative process of philosophical debate not to a sudden drop in net value brought about by a single decisive counterargument. When philosophers win, it’s nearly always a victory on points and almost never a knock-out. At the same time, Lewis subscribed to a philosophical thesis so outrageous as to cry out for knock-down refutation, namely that in order to make sense of modal truths, we must postulate an infinity of possible universes, all just as real as the one that we inhabit, but cut off from us in space and time. (This has the corollary that in order to make sense of causality we must postulate an infinity of items that have no causal connection to anything that happens in this universe.) Thus the temptation is to go for the double-whammy, the knock-down refutation of modal realism which is also a counterexample to the meta- philosophical claim. This was our aim when we first drafted this paper, but we can’t honestly claim the double victory that we originally hoped for. We may have given Lewis’s modal realism a drubbing but we don’t pretend to have decked it. Even if we have succeeded in driving up the costs of Lewis’s modal realism, it still retains enough benefits to attract some (rational) takers. Thus whatever the fate of Lewis’s philosophical thesis, the meta-philosophical claim remains intact. !We first wrote this article nearly twenty years ago when Lewis himself was very 2 much alive, but for one reason or another we never got around to publishing it. Rather than rewriting it to take account of the sad fact of his death we have decided to leave it in the present tense. We dedicate this paper not only to our friend and colleague, Colin Cheyne (who does not think we should believe in entities which cannot causally affect us), but to the memory of David Lewis, a great philosopher and a great teacher. 2. Modal Realism: Mad Dogs, Milksops and Primitives In his metaphysical summa of 1986, The Plurality of Worlds, (henceforward POW) David Lewis famously defends a doctrine he calls modal realism. The idea is that possible worlds are real, indeed really real. They are concrete entities just like our own world, but cut off from us in space and time. To every logically possible set-up there corresponds such a world. Lewis calls this the Principle of Plenitude. In fact, Lewis identifies his worlds with such set-ups - a move which makes it difficult to specify the Principle of Plenitude in a non-circular way (POW, pp. 86-92). Lycan (1988) calls this doctrine ‘mad dog’ modal realism’ ‘Rape-and-Loot modal realism’ and even ‘Nuclear Holocaust modal realism’, This is in contrast to moderate, milksop or, as Lewis describes it, ersatz modal realism. Ersatz realists believe in possible worlds all right. It is just that their possible worlds are less ontologically outrageous. Usually, they construct them out of actual entities of some kind: points, sets, sentences or what have you. This is ‘paradise on the cheap’, since we get all the theoretical advantages of possible worlds without the ontological drawbacks. !Lewis thinks he can do without modal primitives and that the milksop defenders of ersatz worlds cannot. This he holds to be the drawcard of an otherwise unpalatable theory. His possible worlds are admittedly implausible things (especially in such abundance) and the chief reason for believing in them, rather than in ersatz possibilia of some kind, is that they enable us to eliminate modal primitives. !Although sometimes denounced as a Meinongian, indeed a relentless Meinongian (Lycan, 1979), Lewis is, in fact, a rather heterodox Quinean. His aim is to explicate the modal concepts in terms of first order logic plus an ontology of possibilia. He retains a Quinean ideology, that is, the conviction that the resources of first-order logic, quantifiers, predicates, truth-functional connectives and the possible assistance of truth and 3 satisfaction, are adequate to describe reality.1 But unlike Quine (who prefers to believe there are no such things2) Lewis recognizes modal facts. To accommodate these facts within a Quinean ideology3, to explain the modalities in terms of quantification theory, Lewis has to invent more reality. The price of his ideological restraint is ontological inflation. He must posit an infinity of objects to quantify over. But it is important to realize that despite his ontological exuberance, what Lewis is putting forward is a reductive theory. It is just that the reductions are conceptual rather than ontological. The aim is to take the modality out of modality, to reduce modal to non-modal discourse even if the universe of discourse has to be inordinately expanded to do so. (It is for this reason that Plantinga (1987) denies Lewis his title to modal realism. For Plantinga, a modal realist must be a realist about modality and not just possibilia.) Moreover, in remaining true to the ideological constraints, Lewis has to ditch other aspects of the Quinean legacy. For Quine it is science that tells us What-There-Is. For Lewis that is true only of this world. Science tells us about that tiny portion of reality that is spatiotemporally related to us. As for the rest, a logically disciplined imagination is a better guide (POW, pp. 113-115). !The natural response to Lewis is a tu quoque. Milksop realists and plain modal sceptics have tried to pin Lewis down with modal primitives. They have tried to argue that he too implicitly relies on primitive notions of necessity and possibility. In which case his theory is no better than that of his milksop opponents, or indeed than the No- Theory Theory of Modality which simply assumes modal operators as primitives and leaves it at that. Indeed it is considerably worse off, since their ontologies are more believable. (See Lycan, 1988.) Our criticism is just such a riposte. !We shall argue that (on one reading) Lewis’s Principle of Plenitude licenses us to assume maverick possible worlds which spread through logical space gobbling up all the 1 Lewis’s ideological allegiance to Quine is most nakedly displayed in the opening paragraphs of his (1968) ‘Counterpart Theory and Quantified Modal Logic’. See also his POW pp. 1-20, and especially p. 4. However, in the nineties there was some degree of relaxation in Lewis’s ideological austerity. He came to accept the plural quantification theory of George Boolos. See Lewis (1991) Parts of Classes, especially pp. 62-71. But by adding the apparatus of plural quantification to his ideology, Lewis ceases to be a heterodox Quinean and becomes something close to an apostate. (Boolos is very explicitly an opponent of Quine. See his (1985) pp. 331-334.) We are inclined to think that this undermines the philosophical rationale for modal realism. After all, if we are allowed the ideological indulgence of plural quantification given the rather minimal ontological savings it brings in, why not allow us the further indulgence of modal primitives given that the ontological savings would be massive? 2 For an excellent survey of Quine’s views on modality and some sharp criticisms along the lines suggested see Haack (1979) ch. 10. 3 See Quine (1961) p. 131. 4 rest. Because they exclude alternatives, these worlds undermine Plenitude itself, and worse still, result in contradictions, since different spread worlds are incompatible with one another. Plainly the Principle of Plenitude 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. We then consider various replies, the chief of which is due to Lewis himself. He insists that Plenitude does not license the spread worlds and hence that no amendment is needed. A fortiori no amendment is needed which requires him to make use of modal primitives. We answer that in that case his theory is disturbingly unspecific about which things are possible. Its intellectual value is therefore much diminished. Perhaps the price is no longer right. 3. The Principle of Plenitude: Some Preliminaries. What is the Principle of Plenitude? It appears in two versions, a naive version (absolutely every way a world could possibly be is the way that some world is), and an official version which relies on the Principle of Recombination. The official version is required since the naive version is trivialized once Lewis identifies worlds with ways worlds could possibly be. Both the official and the naive versions of Plenitude look like attempts to improve on another principle which we shall refer to as ur-Plenitude. It goes like this: to every consistent set of sentences there corresponds (at least) one possible world.
Load more

Recommended publications
  • Forcopy-Editing Only
    i i “Abstractionism_OUP_for_copyediting” — 2016/4/20 — 11:40 — page 1 — #10 i i 1 Introduction to Abstractionism Philip A. Ebert and Marcus Rossberg 1.1 WHAT IS ABSTRACTIONISM? Abstractionism in philosophy of mathematics has its origins in Gottlob Frege’s logicism—a position Frege developed in the late nineteenth and early twenti- eth century. Frege’s main aim wasfor to reduce copy-editing arithmetic and analysis to only logic in order to provide a secure foundation for mathematical knowledge. As is well known, Frege’s development of logicism failed. The infamous Basic Law V— one of the six basic laws of logic— Frege proposed in his magnum opus Grund- gesetze der Arithmetik—is subject to Russell’s Paradox. The striking feature of Frege’s Basic Law V is that it takes the form of an abstraction principle. The general form of an abstraction principle can by symbolised like this:1 ↵ = β ↵ β §( ) §( ) $ ⇠ where ‘ ’ is a term-forming operator applicable to expression of the type of ↵ § and β, and is an equivalence relation on entities denoted by expressions of ⇠ that type. Accordingly, abstraction principles are biconditionals that feature an equivalence relation on the right-hand side and an identity statement on the left-hand side. The abstracta denoted by the terms featuring in the identity statement on the left are taken to be introduced, in some sense, by the ab- straction principle, giving the equivalence on the right-hand side conceptual priority over them. More on this below. Frege’s ill-fated Basic Law V, involves co-extentionality (of functions) as the relevant equivalence relation on the right-hand side, introducing, what Frege – termed value-ranges, "' " , on the left:2 ( ) 1Here and below, we will omit prefixed universal quantifiers in abstraction principles.
    [Show full text]
  • Greek and Latin Roots, Prefixes, and Suffixes
    GREEK AND LATIN ROOTS, PREFIXES, AND SUFFIXES This is a resource pack that I put together for myself to teach roots, prefixes, and suffixes as part of a separate vocabulary class (short weekly sessions). It is a combination of helpful resources that I have found on the web as well as some tips of my own (such as the simple lesson plan). Lesson Plan Ideas ........................................................................................................... 3 Simple Lesson Plan for Word Study: ........................................................................... 3 Lesson Plan Idea 2 ...................................................................................................... 3 Background Information .................................................................................................. 5 Why Study Word Roots, Prefixes, and Suffixes? ......................................................... 6 Latin and Greek Word Elements .............................................................................. 6 Latin Roots, Prefixes, and Suffixes .......................................................................... 6 Root, Prefix, and Suffix Lists ........................................................................................... 8 List 1: MEGA root list ................................................................................................... 9 List 2: Roots, Prefixes, and Suffixes .......................................................................... 32 List 3: Prefix List ......................................................................................................
    [Show full text]
  • The Logic of Provability
    The Logic of Provability Notes by R.J. Buehler Based on The Logic of Provability by George Boolos September 16, 2014 ii Contents Preface v 1 GL and Modal Logic1 1.1 Introduction..........................................1 1.2 Natural Deduction......................................2 1.2.1 ...........................................2 1.2.2 3 ...........................................2 1.3 Definitions and Terms....................................3 1.4 Normality...........................................4 1.5 Refining The System.....................................6 2 Peano Arithmetic 9 2.1 Introduction..........................................9 2.2 Basic Model Theory..................................... 10 2.3 The Theorems of PA..................................... 10 2.3.1 P-Terms........................................ 10 2.3.2Σ,Π, and∆ Formulas................................ 11 2.3.3 G¨odelNumbering................................... 12 2.3.4 Bew(x)........................................ 12 2.4 On the Choice of PA..................................... 13 3 The Box as Bew(x) 15 3.1 Realizations and Translations................................ 15 3.2 The Generalized Diagonal Lemma............................. 16 3.3 L¨ob'sTheorem........................................ 17 3.4 K4LR............................................. 19 3.5 The Box as Provability.................................... 20 3.6 GLS.............................................. 21 4 Model Theory for GL 23 5 Completeness & Decidability of GL 25 6 Canonical Models 27 7 On
    [Show full text]
  • Phil 252S Seminar on Meta-Metaphysics
    Phil 252S Seminar on Meta-metaphysics Professor: Sara Bernstein ([email protected]) Special Guest: Peter van Inwagen Metaphysics concerns questions about what exists: for example, do chairs really exist, or are there merely particles arranged chair-wise? What are the criteria for their existence? Meta-metaphysics concerns questions about the methodology and substantivity of metaphysics. For example, does reality furnish answers to metaphysical questions? If so, do we have epistemic access to the answers? Or is it our language and social conventions that give us answers to metaphysical questions? Do answers to these questions determine the substantivity of metaphysical debates? Required Texts: Metametaphysics (ed. Wasserman and Chalmers) Requirements: For undergraduate students: weekly well-formed questions due on Tuesdays at 6pm (20%) one in-class presentations on a course reading (20%) one 6-8 page term paper (40%) class participation (20%) For graduate students: weekly well-formed questions due on Tuesdays at 6pm (10%) one in-class presentation on a course reading (10%) one presentation on your own term paper and term paper (60%) class participation (20%) Schedule: Wednesday, January 19: Introduction to Metametaphysics Ted Sider, “Ontology” (chapter 9) and “Metametaphysics” (chapter 5) from Writing the Book of the World (unpublished draft) (Blackboard) 1 January 26: First-Order Ontological Debates Peter van Inwagen, Material Beings, Chapters 2 and 3 (Blackboard) David Lewis and Stephanie Lewis, “Holes” (Blackboard) February 2:
    [Show full text]
  • Yesterday's Algorithm: Penrose on the Gödel Argument
    Yesterday’s Algorithm: Penrose and the Gödel Argument §1. The Gödel Argument. Roger Penrose is justly famous for his work in physics and mathematics but he is notorious for his endorsement of the Gödel argument (see his 1989, 1994, 1997). This argument, first advanced by J. R. Lucas (in 1961), attempts to show that Gödel’s (first) incompleteness theorem can be seen to reveal that the human mind transcends all algorithmic models of it1. Penrose's version of the argument has been seen to fall victim to the original objections raised against Lucas (see Boolos (1990) and for a particularly intemperate review, Putnam (1994)). Yet I believe that more can and should be said about the argument. Only a brief review is necessary here although I wish to present the argument in a somewhat peculiar form. Let us suppose that the human cognitive abilities that underlie our propensities to acquire mathematical beliefs on the basis of what we call proofs can be given a classical cognitive psychological or computational explanation (henceforth I will often use ‘belief’ as short for ‘belief on the basis of proof’). These propensities are of at least two types: the ability to appreciate chains of logical reasoning but also the ability to recognise ‘elementary proofs’ or, it would perhaps be better to say, elementary truths, such as if a = b and b = c then a = c, without any need or, often, any possibility of proof in the first sense. On this supposition, these propensities are the realization of a certain definite algorithm or program somehow implemented by the neural hardware of the brain.
    [Show full text]
  • Parmenides' Theistic Metaphysics
    Parmenides’ Theistic Metaphysics BY ©2016 Jeremy C. DeLong Submitted to the graduate degree program in Philosophy and the Graduate Faculty of the University of Kansas in partial fulfillment of the requirements for the degree of Doctor of Philosophy. ________________________________ Chairperson: Tom Tuozzo ________________________________ Eileen Nutting ________________________________ Scott Jenkins ________________________________ John Symons ________________________________ John Younger Date Defended: May 6th, 2016 ii The Dissertation Committee for Jeremy C. DeLong certifies that this is the approved version of the following thesis: Parmenides’ Theistic Metaphysics ________________________________ Chairperson: Thomas Tuozzo Date Defended: May 6th, 2016 iii Abstract: The primary interpretative challenge for understanding Parmenides’ poem revolves around explaining both the meaning of, and the relationship between, its two primary sections: a) the positively endorsed metaphysical arguments which describe some unified, unchanging, motionless, and eternal “reality” (Aletheia), and b) the ensuing cosmology (Doxa), which incorporates the very principles explicitly denied in Aletheia. I will refer to this problem as the “A-D Paradox.” I advocate resolving this paradoxical relationship by reading Parmenides’ poem as a ring-composition, and incorporating a modified version of Palmer’s modal interpretation of Aletheia. On my interpretation, Parmenides’ thesis in Aletheia is not a counter-intuitive description of how all the world (or its fundamental, genuine entities) must truly be, but rather a radical rethinking of divine nature. Understanding Aletheia in this way, the ensuing “cosmology” (Doxa) can be straightforwardly rejected as an exposition of how traditional, mythopoetic accounts have misled mortals in their understanding of divinity. Not only does this interpretative view provide a resolution to the A-D Paradox, it offers a more holistic account of the poem by making the opening lines of introduction (Proem) integral to understanding Parmenides’ message.
    [Show full text]
  • And If .L Didn't Do
    Sorryfor the conditionof this document. I almost didn't put in on thesystem, but it is an importantwork; and if .l didn'tdo it I wouldbe doingsomething less important at the moment. SteveBayne . www.hist-analytic.org META.MEDITATIOT{S: Studiesin Descartes edircdb1 Alexander Sesonsfr'eand Noel Flerrting SANTA BARBARA UNIVERSITY OF CALIFORNIA' WADSWORTH STUDIES IN PHILOSOPHICAL CRITICISM Alexander Sesonshe and, Noel Flemi.ng, Edi,tors HUMAN UNDERSTANDING: Studies philosophy in the of DavidHume J META.MEDITATIONS: Studiesin Descartes PLATO'S MENO: Texr and Criticism fnc' Wadsuorth. Publish'ing Cornparyt' BELMONT' CALIFORNIA Cogito, Ergo Sum 5l Augustine'santicipation. [t cannot be denied,of course,that the simi- COGITO, ERGO SUM: larities are striking. One may wonder, howevcr, whether they are all there is to the matter. Perhapsthere are also dissimilaritiesbetween INFERBNCB Descartesand Augustine important enough to justify or at least to ex- plain the one's reluctance to acknowledge tlrc cxtent of the other's OR PERFORMANCE?* anticipation. But we cannot tell whether thcrc is more ro Descartes's cogito, ergo sum than there is to St. Augustinc'ssirrilar f Hinti,kha argumentbe- aaho fore we cantell exactlywhat thereis to the cogittt:lrgrrmcnt. rv If there are important differences betwccn l)cscartes and his 2n predecessors,the questionwill also arisewhcthcr sonlc of thc anticipa- tions are closerthan others.For instance,Descartcs corrkl havefound l. Cogito, crgo sum as a problem. The fame (some would say the no- the principlein St. ThomasAquinas as well asin St. Augustine.Which toriety) of thc ntltgc cogito, ergo fl,rm makes one expect that scholarly of the two saintscomes closer to the cogito, ergo sum? industry hns l<lng sincc exhaustedwhatever interest it may have histor- 3.
    [Show full text]
  • Modal Realism and Metaphysical Nihilism Gonzalo Rodriguez-Pereyra
    Mind, 2004, 113 (452), pp. 683-704. Modal Realism and Metaphysical Nihilism Gonzalo Rodriguez-Pereyra 1. Modal Realism is an ontological doctrine whose most characteristic thesis is that there exist non-actual possible individuals which are of a kind with actual individuals. That is, there are non-actual chairs, tables, donkeys, people and stars. As developed by David Lewis, Modal Realism is accompanied by a cluster of theses, for instance that all possible worlds (i.e. actual and non-actual possible worlds) exist, that all possible worlds are of a kind, that possible worlds are maximal sums of spatiotemporally related objects, and that a sentence like ‘it is possible that p’ is true just in case there is a possible world where p. Modal Realism has, among its theoretical benefits, a reductive account, within limits, of modality. Among its costs, it counts clashing with several intuitive views. One of these is the view that it is possible that nothing exists, that is, that there could have been nothing. Lewis saw that his Modal Realism is incompatible with this view (Lewis 1986, p. 73 and Lewis 1991, p. 13, footnote 6). Another closely related intuitive view with which Lewis’s Modal Realism is incompatible is what has recently been called Metaphysical Nihilism, namely that it is possible that nothing concrete exists, that is, that there could have been nothing concrete. Metaphysical Nihilism is not only intuitive, there are persuasive arguments in its favour. So, other things being equal, to be compatible with Metaphysical Nihilism is a theoretical virtue. In this paper I shall argue that Modal Realism can be modified so as to be compatible with Metaphysical Nihilism.
    [Show full text]
  • Sometime a Paradox, Now Proof: Non-First-Order-Izability of Yablo's
    Sometime a Paradox, Now Proof: Non-First-Order-izability of Yablo’s Paradox Saeed Salehi, Research Institute for Fundamental Sciences (RIFS), University of Tabriz, P.O.Box 51666-16471, Tabriz, Iran. School of Mathematics, Institute for Research in Fundamental Sciences, P.O.Box 19395–5746, Tehran, Iran. E-mail: [email protected] Abstract Paradoxes are interesting puzzles in philosophy and mathematics, and they could be even more fascinating when turned into proofs and theorems. For example, Liar’s paradox can be translated into a propositional tautology, and Barber’s paradox turns into a first-order tautology. Russell’s paradox, which collapsed Frege’s foundational framework, is now a classical theorem in set theory, implying that no set of all sets can exist. Paradoxes can be used in proofs of some other theorems; Liar’s paradox has been used in the classical proof of Tarski’s theorem on the undefinability of truth in sufficiently rich languages. This paradox (and also Richard’s paradox) appears implicitly in G¨odel’s proof of his celebrated first incompleteness theorem. In this paper, we study Yablo’s paradox from the viewpoint of first and second order logics. We prove that a formalization of Yablo’s paradox (which is second-order in nature) is non-first-order-izable in the sense of George Boolos (1984). 2010 AMS Subject Classification: 03B05 · 03B10 · 03C07. Keywords: Yablo’s Paradox · Non-first-orderizability. This was sometime a paradox, but now the time gives it proof. — William Shakespeare (Hamlet, Act 3, Scene 1). 1 Introduction If mathematicians and philosophers have come to the conclusion that some (if not almost all) of the paradoxes cannot be (re)solved, or as Priest [10, p.
    [Show full text]
  • A Logical Framework†
    Revista del Instituto de Filosofía, Universidad de Valparaíso, Año 1, N° 1. Junio 2013. Pags. 35 – 40 A logical framework† Göran Sundholm Resumen El artículo presenta un marco de distinciones para la filosofía de la lógica en la que las interrelaciones entre algunas nociones lógicas centrales, como la de declaración, juicio (el acto), juicio, (el resultado de juzgar), proposición (contenido), consecuencia e inferencia, se detallan. PALABRAS CLAVE: Declaración, juicio, proposición, consecuencia, inferencia. Abstract The paper presents a framework of distinctions for the philosophy of logic in which the interrelations between some central logical notions, such as statement, judgement (-act), judgement (made), proposition (al content), consequence, and inference are spelled out. KEY WORDS: Statement, judgement, proposition, consequence, inference. 1. Hilary Putnam, and, following him, George Boolos, have, on different occasions, taken exception to Quine's dictum that "Logic is an old subject, and since 1879 it has been a great one", with which he opened the first editions of his Methods of Logic.1 In their opinion, Quine's implicit preference for Frege's Begriffsschrift does an injustice to Boole (Boolos and Putnam) and the Booleans, of whom Peirce in particular (Putnam). Ten years ago, in an inaugural lecture at Leyden, also I argued that Quine presented too narrow a view of logic, and, that as far as the nineteenth century was concerned, the crucial date in the development of logical doctrine is not 1879 (nor 1847, I would add today, disagreeing
    [Show full text]
  • The Logic of Frege's Theorem
    The Logic of Frege’s Theorem Richard G Heck Jr Department of Philosophy, Brown University 1 Opening As is now well-known, axioms for arithmetic can be interpreted in second-order logic plus ‘Hume’s Princi- ple’, or HP: Nx : F x = Nx : Gx iff ∃R[∀x∀y∀z∀w(Rxy ∧ Rzw → x = z ≡ y = w)∧ ∀x(F x → ∃y(Rxy ∧ Gy))∧ ∀y(Gy → ∃x(Rxy ∧ F x))] This result is Frege’s Theorem. Its philosophical interest has been a matter of some controversy, most of which has concerned the status of HP itself. To use Frege’s Theorem to re-instate logicism, for example, one would have to claim that HP was a logical truth. So far as I know, no-one has really been tempted by that claim. But Crispin Wright claimed, in his book Frege’s Conception of Numbers as Objects (1983), that, even though HP is not a logical truth, it nonetheless has the epistemological virtues that were really central to Frege’s logicism. Not everyone has agreed.1 But even if Wright’s view were accepted, there would be another question to be asked, namely, whether the sorts of inferences employed in the derivation of axioms for arithmetic from HP preserve whatever interesting epistemological property HP is supposed to have. Only then would the axioms of arithmetic then have been shown to have such interesting properties. The problem is clearest for a logicist. If the axioms of arithmetic are to be shown to be logical truths, not only must HP be a logical truth, the modes of inference used in deriving axioms of arithmetic from it must preserve logical truth.
    [Show full text]
  • Neofregeanism and Quantifier Variance∗
    NeoFregeanism and Quanti er Variance∗ Theodore Sider Aristotelian Society, Supplementary Volume 81 (2007): 201–32 NeoFregeanism is an intriguing but elusive philosophy of mathematical exis- tence. At crucial points, it goes cryptic and metaphorical. I want to put forward an interpretation of neoFregeanism—perhaps not one that actual neoFregeans will embrace—that makes sense of much of what they say. NeoFregeans should embrace quanti er variance.1 1. NeoFregeanism The neoFregeanism of Bob Hale and Crispin Wright is an attempt to resuscitate Frege’s logicism about arithmetic. Its goal is to combine two ideas. First: platonism about arithmetic. There really do exist numbers; numbers are mind- independent. Second: logicism. Arithmetic derives from logic plus de nitions. Thus, arithmetic knowledge rests on logical knowledge, even though its object is a realm of mind-independent abstract entities. 1.1 Frege on arithmetic Let us review Frege’s attempt to derive arithmetic from logic plus de nitions. “Arithmetic” here means second-order Peano arithmetic. “Logic” means (im- predicative) second-order logic.2 The “de nition” is what is now known as Hume’s Principle: Hume’s Principle F G(#x:F x=#x:Gx Eq(F,G)) 8 8 $ ∗Matti Eklund’s work connecting neoFregeanism to questions about the ontology of material objects (2006b, 2006a) sparked my interest in these topics. Thanks to Matti for helpful comments, and to Frank Arntzenius, Deniz Dagci, Kit Fine, John Hawthorne, Eli Hirsch, Anders Strand, Jason Turner, Dean Zimmerman, attendees of the 2006 BSPC conference (especially Joshua Brown, my commentator), and participants in my Spring 2006 seminar on metaontology.
    [Show full text]