What the Tortoise Said to Kripke: the Adoption Problem and the Epistemology of Logic

Total Page:16

File Type:pdf, Size:1020Kb

What the Tortoise Said to Kripke: the Adoption Problem and the Epistemology of Logic City University of New York (CUNY) CUNY Academic Works All Dissertations, Theses, and Capstone Projects Dissertations, Theses, and Capstone Projects 2-2015 What the Tortoise Said to Kripke: the Adoption Problem and the Epistemology of Logic Romina Padro Graduate Center, City University of New York How does access to this work benefit ou?y Let us know! More information about this work at: https://academicworks.cuny.edu/gc_etds/603 Discover additional works at: https://academicworks.cuny.edu This work is made publicly available by the City University of New York (CUNY). Contact: AcademicWorks@cuny.edu WHAT THE TORTOISE SAID TO KRIPKE: THE ADOPTION PROBLEM AND THE EPISTEMOLOGY OF LOGIC by ROMINA PADRO A dissertation submitted to the Graduate Faculty in Philosophy in partial fulfillment of the requirements for the degree of Doctor of Philosophy, The City University of New York 2015 © 2015 ROMINA PADRO All Rights Reserved ii This manuscript has been read and accepted for the Graduate Faculty in Philosophy in satisfaction of the dissertation requirement for the degree of Doctor of Philosophy. Gary Ostertag October 7th, 2014 _________________________________ Date Chair of Examining Committee Rosemarie Iannuzzi October 7th, 2014 _________________________________ Date Executive Officer Michael Devitt, Advisor Arnold Koslow Michael Levin Paul Boghossian Supervisory Committee THE CITY UNIVERSITY OF NEW YORK iii Abstract WHAT THE TORTOISE SAID TO KRIPKE: THE ADOPTION PROBLEM AND THE EPISTEMOLOGY OF LOGIC by ROMINA PADRO Advisor: Michael Devitt In chapter 1 I introduce the main topics to be addressed and provide a summary of the dissertation. In chapter 2 I summarize Lewis Carroll’s famous note “What the Tortoise Said to Achilles” and briefly review some of its most influential interpretations. The rest of the chapter is devoted to Kripke’s unpublished interpretation of Carroll’s note and the moral he draws from it: in section 2.2 I present and discuss what I call the “adoption problem” and in section 2.3 I clarify certain aspects of it. In chapter 3 I consider a modification of the original set up of the adoption problem in terms of rules of inference and argue that they cannot help us overcome it. I also compare Kripke’s interpretation of Carroll with his famous interpretation of Wittgenstein in Wittgenstein on Rules and Private Language and discuss some points of connection between Wittgenstein’s and Kripke’s views on the relation between inferential acts and logical principles or rules. The following three chapters are meant to discuss, in view of the adoption problem, versions of what have perhaps been the most influential proposals for the justification of basic logical principles: empiricism a la Quine, rational intuition, and concept-constitution. In chapter 4 I examine Kripke’s use of the adoption problem to criticize Quine’s views in “Two Dogmas of Empiricism.” Since Kripke argues that Quine fails to see that the same objections he directs against Carnap in “Truth by Convention” can be applied to his own point of view in “Two iv Dogmas,” I start with a brief review of Carnap’s proposal and Quine’s famous objection to it. I continue with Quine’s “Two Dogmas” views, examine Kripke’s criticisms, and claim that Quine’s argument against Carnap should not be identified with Kripke’s argument against Quine. I also distinguish what I call the “standard objection” to Quine’s views from the objection based on the adoption problem and critically consider an attempt to overcome the latter by introducing some modifications to the Quinean system. In the final section I discuss Kripke’s Carroll-inspired metaphysical argument against the Cartesian doctrine on the creation of eternal truths and propose a related epistemological version of the argument. In chapter 5 I introduce Kripke’s intuition-based proposal for accounting for basic logical beliefs and inferences outlined in his talks and seminars and argue that it should be rejected because it overlooks his own adoption problem. I also note some possible variations of the proposal and claim that they do not fare better. In chapter 6 I focus on Boghossian’s concept-constituting account. I discuss in detail his proposal for dealing with the justification of basic logical beliefs and some of the criticisms it has received. I argue that the main problem of this proposal is that it fails to accommodate the lessons that can be drawn from the adoption problem concerning the nature of inferring. In chapter 7 I reconsider the significance of the adoption problem and focus on Ryle’s famous distinction between knowing how and knowing that. In section 7.2 I argue that “intellectualism,” the claim that knowledge how can be defined in terms of propositional knowledge (knowledge that), is not an option when it comes to basic deductive inferences and that some sort of knowing how is needed for an account of both propositional knowledge of basic logical principles and inferential uses (Kripke’s interpretation of Carroll will play a key role in my argument). I then discuss two different ways of understanding the nature of basic inferences: a view in which deductive inferential rules are ‘hardwired’ in us and govern our inferences without being represented, and a v view where basic inferential acts are taken as a primitive ability, not internally informed by logical principles, though encouraged and improved by our direct immersion in inferential practices. I discuss some problems affecting the former proposal problems and leave the prospects of the latter as an open question. Finally, I argue that independently of what it is ultimately to be made of the nature of basic inferences, the adoption problem already indicates the need for rethinking the problem of the justification of basic logical principles and rules and what we hoped to achieve with its solution. vi To the Memory of Jonathan E. Adler vii Acknowledgements The late Jonathan Adler was my advisor when the first three quarters of this dissertation were being prepared. He was extremely supportive and helped me shape the main ideas I defend here. Perhaps one of the most difficult parts of the writing process was to set aside some issues I originally thought should be included. Jonathan had a crucial role in making me see that not everything I wished to include could possibly be discussed. Even in the last months of his life he continued to be there for me, returning comments and checking on my progress. I feel very fortunate to have had him as my advisor and will never forget his kindness and intelligence. Michael Devitt stepped up as my advisor when Jonathan passed away. He gave me encouragement at key moments, always-needed pressure, and valuable and abundant criticism and advice. His die-hard Quinean heart has challenged me and pushed me to better articulate my views. We have certainly disagreed on several issues; I won some battles, he won others, but I know these issues are far from settled and that we will continue discussing them in the future. Working with him on this project and at the Saul Kripke Center has been a lot of fun and I am profoundly indebted to him for his patience and friendship. My committee members and readers have been very generous with their time and have offered thoughtful criticism and advice. Arnold Koslow has been enormously supportive of me and my work since we first met, and I am grateful to him for his vote of confidence and his valuable suggestions. Michael Levin has been a very careful and dedicated reader, making many helpful remarks and criticisms. His interest in my project and the discussions I had with him over the years have been very important to me. Paul Boghossian kindly agreed to set time aside to be one of my readers during a sabbatical. His excellent criticisms will surely keep me occupied in the years to come, and I hope he is aware of how much his positive comments on my writing have meant to me. Gary Ostertag read a number of versions of this dissertation, anticipated different criticisms, and made suggestions to improve my arguments. His generosity, friendship, and support has been vital to me during these years. Each of the members of my committee contributed in different ways to make my work better. And for that, I am truly grateful. Meeting Saul Kripke was, without a doubt, the best part of studying at the Graduate Center. It was, indeed, a life-changing event. I have worked with him at the Saul Kripke Center for many viii years now and the depth of his intelligence and knowledge on virtually any topic never ceases to amaze me. But it is his contagious enthusiasm for philosophical problems – which has served as a reminder, in more than one occasion, of my true reasons for pursuing this subject – and his unwavering intellectual honesty, that I admire the most. It is hard for me to express how grateful I am for getting to know Saul and for having the privilege of working with such an exceptional person. It will be clear to the reader that I have benefited tremendously from conversations with him on the nature of logic and on other philosophical topics. Indeed, I doubt there is a page in this dissertation that doesn’t betray his influence on my work. I also want to thank him for reading and commenting on different versions, for letting me quote his unpublished work, and for agreeing to write a summary of his argument against Descartes’ views on the eternal truths to be included here (chapter 4). Versions of the first three chapters of this dissertation were presented at Fudan University, Pekin University, Southwest University at Chongqing, Shandong University, and the University of Nebraska at Omaha.
Recommended publications
  • 5. Essence and Natural Kinds: When Science Meets Preschooler Intuition1 Sarah-Jane Leslie
    978–0–19–954696–1 05-Gendler-Hawthorne-c05-drv Gendler (Typeset by SPi) 108 of 346 February 5, 2013 6:20 OUP UNCORRECTED PROOF – FIRST PROOF,5/2/2013, SPi 5. Essence and Natural Kinds: When Science Meets Preschooler Intuition1 Sarah-Jane Leslie INTRODUCTION It is common practice in philosophy to “rely on intuitions” in the course of an argument, or sometimes simply to establish a conclusion. One question that is therefore important to settle is: what is the source of these intuitions? Correspondingly: what is their epistemological status? Philosophical discus- sion often proceeds as though these intuitions stem from insight into the nature of things—as though they are born of rational reflection and judicious discernment. If these intuitions do not have some such status, then their role in philosophical theorizing rapidly becomes suspect. We would not, for example, wish to place philosophical weight on intuitions that are in effect the unreflective articulation of inchoate cognitive biases. Developmental psychology has discovered a range of belief sets that emerge in the first few years of life, and which plausibly go beyond the evidence to which the child has had access in that time period. In such cases, it is reasonable to suppose that the belief sets do not derive solely from the child’s rational reflection on her evidence, but rather show something about the way human beings are fundamentally disposed to see the world. (In some cases, the deep-seated dispositions are also shared with non-human animals.) There are many explanations of why we may be fundamentally disposed to see the world in a particular way, only one of which is that metaphysically or scientifically speaking, the world actually is that way.
    [Show full text]
  • On Basic Probability Logic Inequalities †
    mathematics Article On Basic Probability Logic Inequalities † Marija Boriˇci´cJoksimovi´c Faculty of Organizational Sciences, University of Belgrade, Jove Ili´ca154, 11000 Belgrade, Serbia; marija.boricic@fon.bg.ac.rs † The conclusions given in this paper were partially presented at the European Summer Meetings of the Association for Symbolic Logic, Logic Colloquium 2012, held in Manchester on 12–18 July 2012. Abstract: We give some simple examples of applying some of the well-known elementary probability theory inequalities and properties in the field of logical argumentation. A probabilistic version of the hypothetical syllogism inference rule is as follows: if propositions A, B, C, A ! B, and B ! C have probabilities a, b, c, r, and s, respectively, then for probability p of A ! C, we have f (a, b, c, r, s) ≤ p ≤ g(a, b, c, r, s), for some functions f and g of given parameters. In this paper, after a short overview of known rules related to conjunction and disjunction, we proposed some probabilized forms of the hypothetical syllogism inference rule, with the best possible bounds for the probability of conclusion, covering simultaneously the probabilistic versions of both modus ponens and modus tollens rules, as already considered by Suppes, Hailperin, and Wagner. Keywords: inequality; probability logic; inference rule MSC: 03B48; 03B05; 60E15; 26D20; 60A05 1. Introduction The main part of probabilization of logical inference rules is defining the correspond- Citation: Boriˇci´cJoksimovi´c,M. On ing best possible bounds for probabilities of propositions. Some of them, connected with Basic Probability Logic Inequalities. conjunction and disjunction, can be obtained immediately from the well-known Boole’s Mathematics 2021, 9, 1409.
    [Show full text]
  • 7.1 Rules of Implication I
    Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic. The method consists of using sets of Rules of Inference (valid argument forms) to derive either a conclusion or a series of intermediate conclusions that link the premises of an argument with the stated conclusion. The First Four Rules of Inference: ◦ Modus Ponens (MP): p q p q ◦ Modus Tollens (MT): p q ~q ~p ◦ Pure Hypothetical Syllogism (HS): p q q r p r ◦ Disjunctive Syllogism (DS): p v q ~p q Common strategies for constructing a proof involving the first four rules: ◦ Always begin by attempting to find the conclusion in the premises. If the conclusion is not present in its entirely in the premises, look at the main operator of the conclusion. This will provide a clue as to how the conclusion should be derived. ◦ If the conclusion contains a letter that appears in the consequent of a conditional statement in the premises, consider obtaining that letter via modus ponens. ◦ If the conclusion contains a negated letter and that letter appears in the antecedent of a conditional statement in the premises, consider obtaining the negated letter via modus tollens. ◦ If the conclusion is a conditional statement, consider obtaining it via pure hypothetical syllogism. ◦ If the conclusion contains a letter that appears in a disjunctive statement in the premises, consider obtaining that letter via disjunctive syllogism. Four Additional Rules of Inference: ◦ Constructive Dilemma (CD): (p q) • (r s) p v r q v s ◦ Simplification (Simp): p • q p ◦ Conjunction (Conj): p q p • q ◦ Addition (Add): p p v q Common Misapplications Common strategies involving the additional rules of inference: ◦ If the conclusion contains a letter that appears in a conjunctive statement in the premises, consider obtaining that letter via simplification.
    [Show full text]
  • Putnam's Theory of Natural Kinds and Their Names Is Not The
    PUTNAM’S THEORY OF NATURAL KINDS AND THEIR NAMES IS NOT THE SAME AS KRIPKE’S IAN HACKING Collège de France Abstract Philosophers have been referring to the “Kripke–Putnam” theory of natural- kind terms for over 30 years. Although there is one common starting point, the two philosophers began with different motivations and presuppositions, and developed in different ways. Putnam’s publications on the topic evolved over the decades, certainly clarifying and probably modifying his analysis, while Kripke published nothing after 1980. The result is two very different theories about natural kinds and their names. Both accept that the meaning of a natural- kind term is not given by a description or defining properties, but is specified by its referents. From then on, Putnam rejected even the label, causal theory of reference, preferring to say historical, or collective. He called his own approach indexical. His account of substance identity stops short a number of objections that were later raised, such as what is called the qua problem. He came to reject the thought that water is necessarily H2O, and to denounce the idea of metaphysical necessity that goes beyond physical necessity. Essences never had a role in his analysis; there is no sense in which he was an essentialist. He thought of hidden structures as the usual determinant of natural kinds, but always insisted that what counts as a natural kind is relative to interests. “Natural kind” itself is itself an importantly theoretical concept, he argued. The paper also notes that Putnam says a great deal about what natural kinds are, while Kripke did not.
    [Show full text]
  • Methods of Proof Direct Direct Contrapositive Contradiction Pc P→ C ¬ P ∨ C ¬ C → ¬ Pp ∧ ¬ C
    Proof Methods Methods of proof Direct Direct Contrapositive Contradiction pc p→ c ¬ p ∨ c ¬ c → ¬ pp ∧ ¬ c TT T T T F Section 1.6 & 1.7 T F F F F T FT T T T F FF T T T F MSU/CSE 260 Fall 2009 1 MSU/CSE 260 Fall 2009 2 How are these questions related? Proof Methods h1 ∧ h2 ∧ … ∧ hn ⇒ c ? 1. Does p logically imply c ? Let p = h ∧ h ∧ … ∧ h . The following 2. Is the proposition (p → c) a tautology? 1 2 n propositions are equivalent: 3. Is the proposition (¬ p ∨ c) is a tautology? 1. p ⇒ c 4. Is the proposition (¬ c → ¬ p) is a tautology? 2. (p → c) is a tautology. Direct 5. Is the proposition (p ∧ ¬ c) is a contradiction? 3. (¬ p ∨ c) is a tautology. Direct 4. (¬ c → ¬ p)is a tautology. Contrapositive 5. (p ∧ ¬ c) is a contradiction. Contradiction MSU/CSE 260 Fall 2009 3 MSU/CSE 260 Fall 2009 4 © 2006 by A-H. Esfahanian. All Rights Reserved. 1- Formal Proofs Formal Proof A proof is equivalent to establishing a logical To prove: implication chain h1 ∧ h2 ∧ … ∧ hn ⇒ c p1 Premise p Tautology Given premises (hypotheses) h1 , h2 , … , hn and Produce a series of wffs, 2 conclusion c, to give a formal proof that the … . p1 , p2 , pn, c . p k, k’, Inf. Rule hypotheses imply the conclusion, entails such that each wff pr is: r . establishing one of the premises or . a tautology, or pn _____ h1 ∧ h2 ∧ … ∧ hn ⇒ c an axiom/law of the domain (e.g., 1+3=4 or x > x+1 ) ∴ c justified by definition, or logically equivalent to or implied by one or more propositions pk where 1 ≤ k < r.
    [Show full text]
  • Chapter 9: Answers and Comments Step 1 Exercises 1. Simplification. 2. Absorption. 3. See Textbook. 4. Modus Tollens. 5. Modus P
    Chapter 9: Answers and Comments Step 1 Exercises 1. Simplification. 2. Absorption. 3. See textbook. 4. Modus Tollens. 5. Modus Ponens. 6. Simplification. 7. X -- A very common student mistake; can't use Simplification unless the major con- nective of the premise is a conjunction. 8. Disjunctive Syllogism. 9. X -- Fallacy of Denying the Antecedent. 10. X 11. Constructive Dilemma. 12. See textbook. 13. Hypothetical Syllogism. 14. Hypothetical Syllogism. 15. Conjunction. 16. See textbook. 17. Addition. 18. Modus Ponens. 19. X -- Fallacy of Affirming the Consequent. 20. Disjunctive Syllogism. 21. X -- not HS, the (D v G) does not match (D v C). This is deliberate to make sure you don't just focus on generalities, and make sure the entire form fits. 22. Constructive Dilemma. 23. See textbook. 24. Simplification. 25. Modus Ponens. 26. Modus Tollens. 27. See textbook. 28. Disjunctive Syllogism. 29. Modus Ponens. 30. Disjunctive Syllogism. Step 2 Exercises #1 1 Z A 2. (Z v B) C / Z C 3. Z (1)Simp. 4. Z v B (3) Add. 5. C (2)(4)MP 6. Z C (3)(5) Conj. For line 4 it is easy to get locked into line 2 and strategy 1. But they do not work. #2 1. K (B v I) 2. K 3. ~B 4. I (~T N) 5. N T / ~N 6. B v I (1)(2) MP 7. I (6)(3) DS 8. ~T N (4)(7) MP 9. ~T (8) Simp. 10. ~N (5)(9) MT #3 See textbook. #4 1. H I 2. I J 3.
    [Show full text]
  • The New Theory of Reference: Kripke, Marcus, and Its Origins
    THE NEW THEORY OF REFERENCE SYNTHESE LIBRARY STUDIES IN EPISTEMOLOGY, LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE Managing Editor: JAAKKO HINTIKKA, Boston University Editors: DIRK V AN DALEN, University of Utrecht, The Netherlands DONALD DAVIDSON, University of California, Berkeley THEO A.F. KUIPERS, University ofGroningen, The Netherlands PATRICK SUPPES, Stanford University, California JAN WOLEN-SKI, Jagielionian University, KrakOw, Poland THE NEW THEORY OF REFERENCE: KRIPKE, MARCUS, AND ITS ORIGINS Edited by PAUL W. HUMPHREYS University of Virginia, Charlottesville, VA, U S.A. and JAMES H. FETZER University of Minnesota, Duluth, MN, US.A . ..... SPRINGER-SCIENCE+BUSINESS" MEDIA, B.V. Library of Congress Cataloging-in-Publication Data is available. ISBN 978-0-7923-5578-6 ISBN 978-94-011-5250-1 (eBook) DOI 10.1007/978-94-011-5250-1 Printed on acid-free paper AII Rights Reserved © 1998 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 1998 Softcover reprint of the hardcover 1st edition 1998 No part ofthis publication may be reproduced or utilized in any form or by any means, electronic, mechanical, inc1uding photocopying, recording or by any information storage and retrieval system, without written permis sion from the copyright owner. TABLE OF CONTENTS PAUL W. HUMPHREYS and JAMES H. FETZER / Introduction vii PART I: THE APA EXCHANGE 1. QUENTIN SMITH / Marcus, Kripke, and the Origin of the New Theory of Reference 3 2. SCOTT SOAMES / Revisionism about Reference: A Reply to Smith 13 3. QUENTIN SMITH / Marcus and the New Theory of Reference: A Reply to Scott Soames 37 PART II: REPLIES 4. SCOTT SOAMES / More Revisionism about Reference 65 5.
    [Show full text]
  • Argument Forms and Fallacies
    6.6 Common Argument Forms and Fallacies 1. Common Valid Argument Forms: In the previous section (6.4), we learned how to determine whether or not an argument is valid using truth tables. There are certain forms of valid and invalid argument that are extremely common. If we memorize some of these common argument forms, it will save us time because we will be able to immediately recognize whether or not certain arguments are valid or invalid without having to draw out a truth table. Let’s begin: 1. Disjunctive Syllogism: The following argument is valid: “The coin is either in my right hand or my left hand. It’s not in my right hand. So, it must be in my left hand.” Let “R”=”The coin is in my right hand” and let “L”=”The coin is in my left hand”. The argument in symbolic form is this: R ˅ L ~R __________________________________________________ L Any argument with the form just stated is valid. This form of argument is called a disjunctive syllogism. Basically, the argument gives you two options and says that, since one option is FALSE, the other option must be TRUE. 2. Pure Hypothetical Syllogism: The following argument is valid: “If you hit the ball in on this turn, you’ll get a hole in one; and if you get a hole in one you’ll win the game. So, if you hit the ball in on this turn, you’ll win the game.” Let “B”=”You hit the ball in on this turn”, “H”=”You get a hole in one”, and “W”=”you win the game”.
    [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]
  • Holism and Compositionality
    Holism and Compositionality Francis Jeffry Pelletier 1 Introduction A brief acquaintance with the web shows that the terms ‘holism’1 and ‘compositionality’ are used in many different fields, both academic and non-academic. And given any two academic fields, it is usually not obvious that the terms mean the same to the practitioners. Even just within philosophy and linguistics it seems that rather different conceptions are in play when we read any two different authors. We start, therefore, with a brief survey of some of the senses in which these terms are used. A little later we will make some more careful remarks about the notions. 1.1 Two Kinds of Compositionality A recent interdisciplinary conference revealed that there are (at least) two different things that are thought of when the issue of compositionality is considered. One concerns a (generalized) notion of “what is a complex item (of my theory) made of?” Here are a few places where this notion arose: Prototypes: Current prototype theory says that a prototype is a structure that has a number of attribute-value pairs. A question of interest in this area is: Given that prototype-1 has a structure [A: value-a; B: value-b; . ] and that prototype-2 has the structure [C: value-c; D: value-d . ], is the prototype of the “combined prototypes” (that is, the conceptual combination of the two proto- types) made up only from the material in the two component prototypes, that is, from the attribute-value pairs that are in one or the other of the prototypes? 1 ‘Whole’, and presumably also ’hole’, is derived from the Greek .
    [Show full text]
  • Kripke's Naming and Necessity: Lecture II
    Kripke’s Naming and Necessity: Lecture II PHIL 83104 October 12, 2011 1. Varieties of descriptivism (end of Lecture I) ....................................................................1 2. Kripke’s arguments against descriptivism (71-90) ...........................................................2 2.1. The modal argument (48-49, 71-77) 2.1.1. Rigidified descriptions 2.1.2. Wide-scoping descriptions 2.2. The semantic argument (78-85) 2.3. The epistemic argument (86-87) 3. Kripke’s alternative picture of reference (91-97) ..............................................................5 4. Identity sentences and the necessary a posteriori (97-105) ..............................................7 4.1. The necessity of identity 4.2. A prioricity and qualitatively identical situations 4.3. Some sources of skepticism about Kripke’s claim 4.3.1. Contingent identities? 4.3.2. The illusion of contingency 4.3.3. Millianism about names 1. VARIETIES OF DESCRIPTIVISM (END OF LECTURE I) We’ve already seen two distinctions Kripke makes between different versions of descriptivism: • The distinction between descriptivist views which let a single description do the work, and those which rely on a cluster of descriptions • The distinctiopn between views according to which a description gives the meaning of a name, and those according to which it merely fixes the reference of the name Here Kripke introduces a third distinction: between circular and non-circular descriptivist views. This distinction is not like the others; it is less a distinction between varieties of descriptivism than a constraint on descriptivist views. What exactly is this constraint? Suppose we identified the meaning of the name “Aristotle” with the meaning of the description “the person called ‘Aristotle’” or “the referent of ‘Aristotle.’” These would be examples of descriptivist views which fail to meet the non-circularity condition, since to determine what object satisfies the description, we must first know which object is the referent of the name in question.
    [Show full text]
  • A Critical Examination of Quinean Naturalism______A Closer Look at Quine’S Naturalized Epistemology
    A Critical Examination of Quinean Naturalism_________ A Closer Look at Quine’s Naturalized Epistemology Ashley Spring Florida Atlantic University We always speak from within a theory, a system of the world. There is no neutral or presuppositionless position from which we can make judgments about the world and our theory of it: all of our judgments must be evaluated as being part of a substantive theory of the world. In particular our philosophical remarks are made from within such a theory. —Peter Hylton Introduction The resources of traditional epistemology have been exhausted. The result is the necessary paradigmatic shift from ‘first philosophy’ to a more plausible, and albeit, naturalized enterprise. W.V. Quine’s shift towards naturalizing epistemology serves as a catalyst for epistemic inquiry through the inclusion of the natural sciences in epistemology. In so naturalizing epistemology, Quine does not view epistemology as a prior or foundational discipline that can be justified a priori but rather, as an integral part of our web of beliefs about the world. 1 Such a radical departure from the foundationalist program better captures our epistemic aims by focusing on the resources found in the natural sciences relative to knowledge acquisition. This paper will provide a critical examination of Quiean naturalism through a close examination of Quine’s “Epistemology Naturalized.” Indeed, through this critical examination of Quine’s epistemological project, we should see how Quine’s naturalized epistemology serves as a radical yet, practical starting point for epistemic inquiry, along with how such a naturalized shift establishes a more philosophically plausible approach to epistemology.
    [Show full text]