The Goodman-Kripke Paradox

Total Page:16

File Type:pdf, Size:1020Kb

The Goodman-Kripke Paradox The Goodman-Kripke Paradox Robert Kowalenko King’s College London PhD Philosophy 2003 © Robert Kowalenko 2 Abstract The Kripke/Wittgenstein paradox and Goodman’s riddle of induction can be construed as problems of multiple redescription, where the relevant sceptical chal- lenge is to provide factual grounds justifying the description we favour. A choice of description or predicate, in turn, is tantamount to the choice of a curve over a set of data, a choice apparently governed by implicitly operating constraints on the relevant space of possibilities. Armed with this analysis of the two paradoxes, several realist solutions of Kripke’s paradox are examined that appeal to dispositions or other non- occurrent properties. It is found that all neglect crucial epistemological issues: the en- tities typically appealed to are not observational and must be inferred on the basis of observed entities or events; yet, the relevant sceptical challenge concerns precisely the factual basis on which this inference is made and the constraints operating on it. All disposition ascriptions, the thesis goes on to argue, contain elements of idealiza- tion. To ward off the danger of vacuity resulting from the fact that any disposition ascription is true under just the right ideal conditions, dispositional theories need to specify limits on legitimate forms of idealization. This is best done by construing dis- position ascriptions as forms of (implicit) curve-fitting, I argue, where the “data” is not necessarily numeric, and the “curve” fitted not necessarily graphic. This brings us full circle: Goodman’s and Kripke’s problems are problems concerning curve-fitting, and the solutions for it appeal to entities the postulation of which is the result of curve-fitting. The way to break the circle must come from a methodology governing the xidealizations, or inferences to the best idealization, that are a part of curve- fitting. The thesis closes with an argument for why natural science cannot be ex- pected to be of much help in this domain, given the ubiquity of idealization. © Robert Kowalenko 3 Table of Contents Abstract .................................................................................................................................. 2 Table of Contents ........................................................................................................................ 2 Introduction .................................................................................................................................. 5 1. Two Paradoxes ...................................................................................................................... 13 1.1 Kripke’s “Sceptical Problem” ........................................................................................... 15 1.1.1 Plus vs. Quus ........................................................................................................... 15 1.1.2 ‘Infinitary’ Meaning................................................................................................... 24 1.2 Goodman’s Riddle of Induction ....................................................................................... 30 1.2.1 The Riddle................................................................................................................ 31 1.2.2 Simplicity Relativized............................................................................................... 36 1.3 Curves and Redescriptions ............................................................................................. 43 1.3.1 The Curve-Fitting Problem...................................................................................... 43 1.3.2 Multiple Redescription ............................................................................................. 52 1.3.3 Similarity Relativized ............................................................................................... 57 2. Realism about Dispositions................................................................................................. 65 2.1 Empiricism about dispositions......................................................................................... 67 2.1.1 Carnap...................................................................................................................... 69 2.1.2 Goodman.................................................................................................................. 75 2.2 Ontological Realism ......................................................................................................... 80 2.2.1 What Do Statements About Dispositions Mean? .................................................. 82 2.2.2 The Metaphysics of Dispositions ............................................................................ 86 2.2.3 Pregnant Spinsters and Unwanted Children (Epistemological Worries I) ........... 92 2.3 Counterfactual Realism ................................................................................................. 100 2.3.1 Do Disposition Ascriptions Report ‘Conditional Facts’?...................................... 100 2.3.2 Reduction Sentences ............................................................................................102 2.3.3 Omniscience (Epistemological Worries II) ...........................................................104 2.4 Teleological Realism...................................................................................................... 108 2.4.1 Rule-following, Biological Purposes, and Competence ...................................... 108 2.4.2 Competences and Deep Dispositions.................................................................. 114 2.5. Nomological Realism .................................................................................................... 120 2.5.1 Dispositions, ceteris paribus ................................................................................. 120 2.5.2 Absolute Exceptions, Impossible Completers, and Scientific Reputation ......... 132 2.5.3 Completers and Independent Explainers.............................................................146 3. Ceteris Paribus-Laws, Dispositions, and Idealization .................................................. 161 3.1 Disposition-ascriptions as Ampliative Inference ..........................................................162 3.1.1 Context-relative Disposition-ascriptions...............................................................163 3.1.2 Disposition-ascriptions as Curve-fitting................................................................172 3.2 Curve-Fitting and Idealization........................................................................................181 3.2.1 Curve-fitting as Idealization................................................................................... 182 © Robert Kowalenko 4 3.2.2 Idealization vs. approximation .............................................................................. 185 3.2.2 Curve-fitting and Approximation. The Akaike Information Criterion (AIC)......... 192 3.3 “Carving Nature at its Joints”—Yes, but Which Ones? ............................................... 205 3.3.1 Disentangling vs. Limiting Case Laws.................................................................. 205 3.3.2 Natural Laws and Modal Properties ..................................................................... 218 3.4 Inference to the Best Idealization? Or: Conclusion ..................................................... 224 Index........................................................................................................................................... 227 Bibliography .............................................................................................................................230 © Robert Kowalenko 5 Introduction In his foreword to the fourth edition of Nelson Goodman’s Fact, Fiction and Forecast1 Hilary Putnam points to a strong resemblance between Goodman’s treat- ment of induction and the later Wittgenstein’s considerations on rule-following. The resemblance obtains on a particular interpretation of Wittgenstein, as put forward in Saul Kripke’s well-known commentary Wittgenstein on Rules and Private Lan- guage.2 There, Kripke famously suggests that Wittgenstein ought to be considered the father of a new form of philosophical scepticism founded on a paradox about rule- following and meaning. Wittgenstein’s alleged scepticism ‘should be obvious to any reader of Goodman,’ Kripke points out, for Goodman’s strategy in deploying the “new riddle of induction” is strikingly close to Wittgenstein’s sceptical arguments (Kripke 1982, pp. 20, 58). Although he is not the first to make observations of this kind, Kripke’s exegesis proved particularly influential, generating, in the words of one commentator, ‘excitement unparalleled since the heyday of Wittgenstein scholar- ship in the early 1960s.’3 Kripke’s interpretation prompted a vast amount of new work on the (by that time) well-worn subject of rule-following, and even philoso- phers not normally concerned with Wittgenstein’s views took interest in the new form of meaning scepticism put forward. However, although some authors refer to Witt- genstein’s alleged sceptical stance in one breath with Goodman’s treatment of induc- tion,4 Kripke remains to date the only distinguished philosopher in the field to une- 1 First published as Goodman, N. (1954). Fact, Fiction, and Forecast, London, Athlone Press. All page references will be to the fourth edition,
Recommended publications
  • Ramsification and Inductive Inference
    Forthcoming in: SYNTHESE Ramsification and Inductive Inference Panu Raatikainen Abstract. An argument, different from the Newman objection, against the view that the cognitive content of a theory is exhausted by its Ramsey sentence is reviewed. The crux of the argument is that Ramsification may ruin inductive systematization between theory and observation. The argument also has some implications concerning the issue of underdetermination. 1. Introduction Scientific realism proposes that we are justified in believing that successful theories of mature science are at least approximately true, and that the unobservable theoretical entities they postulate really exist. The standard argument in favour of this view is the so•called “no• miracles argument”: the practical and observational success of science would be miraculous if scientific theories were not at least approximately true descriptions of the world, and the theoretical objects they postulate did not exist. Then again, arguments exist which seem to undermine scientific realism, and the no•miracles argument. Most importantly, perhaps, there are arguments which lean on the actual history of science and radical theory changes therein – for example, the notorious “pessimistic meta•induction”, and also various less general arguments to the same effect. Roughly, the thesis is that many past theories in science have turned out to be to a large extent false, and their theoretical terms non•referring; therefore – it is concluded – it is not justified to expect that the theoretical entities postulated by present theories exist either (see Laudan 1981). The view known asStructural Realism has emerged over the past two decades and seems to enjoy some popularity among philosophers of science.
    [Show full text]
  • Religious Language and Verificationism
    © Michael Lacewing Religious language and verificationism AYER’S ARGUMENT In the 1930s, a school of philosophy arose called logical positivism, concerned with the foundations and possibility of knowledge. It developed a criterion for meaningful statements, called the principle of verification. On A J Ayer’s version (Language, Truth and Logic), the principle of verification states that a statement only has meaning if it is either analytic or empirically verifiable. (can be shown by experience to be probably true/false). ‘God exists’, and so all other talk of God, is such a statement, claims Ayer. Despite the best attempts of the ontological argument, we cannot prove ‘God exists’ from a priori premises using deduction alone. So ‘God exists’ is not analytically true. Therefore, to be meaningful, ‘God exists’ must be empirically verifiable. Ayer argues it is not. If a statement is an empirical hypothesis, it predicts our experience will be different depending on whether it is true or false. But ‘God exists’ makes no such predictions. So it is meaningless. Some philosophers argue that religious language attempts to capture something of religious experience, although it is ‘inexpressible’ in literal terms. Ayer responds that whatever religious experiences reveal, they cannot be said to reveal any facts. Facts are the content of statements that purport to be intelligible and can be expressed literally. If talk of God is non-empirical, it is literally unintelligible, hence meaningless. Responses We can object that many people do think that ‘God exists’ has empirical content. For example, the argument from design argues that the design of the universe is evidence for the existence of God.
    [Show full text]
  • Quasi-Truth As Truth of a Ramsey Sentence
    Quasi-Truth as Truth of a Ramsey Sentence Sebastian Lutz∗ Draft: 2011–08–07 Abstract I show the quasi-truth of a sentence in a partial structure to be equivalent to the truth of a specific Ramsey sentence in a structure that corresponds naturally to the partial structure. Hence quasi-truth, the core notion of the partial structures approach, can be captured in the terms of the received view on scientific theories as developed by Carnap and Hempel. I further show that a mapping is a partial homomorphism/isomorphism between two partial structures if and only if it is a homomorphism/isomorphism between their corresponding structures. It is a corollary that the partial structures approach can be expressed in first or second order model theory. Keywords: partial structure; quasi-truth; pragmatic truth; partial truth; subtruth; partial homomorphism; partial isomorphism; model theory; expansion; Ramsey sentence; received view; logical empiricism The partial structures approach is in the vanguard of the semantic view on scientific theories and models (da Costa and French 2000; Le Bihan 2011, n. 3, §5), and is one of the main reasons why the received view on scientific theories as developed by, for example, Carnap(1966) and Hempel(1958) within logical empiricism is considered inferior to the semantic view (French and Ladyman 1999). I will show that the core notion of the partial structures approach, quasi-truth, can be captured very naturally within the received view. The partial structures approach is motivated by a simple epistemological point: Most of the time, scientists do not have enough information about a domain to determine its structure with arbitrary precision.
    [Show full text]
  • How to Define Theoretical Terms Author(S): David Lewis Reviewed Work(S): Source: the Journal of Philosophy, Vol
    Journal of Philosophy, Inc. How to Define Theoretical Terms Author(s): David Lewis Reviewed work(s): Source: The Journal of Philosophy, Vol. 67, No. 13 (Jul. 9, 1970), pp. 427-446 Published by: Journal of Philosophy, Inc. Stable URL: http://www.jstor.org/stable/2023861 . Accessed: 14/10/2012 20:19 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp . JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Journal of Philosophy, Inc. is collaborating with JSTOR to digitize, preserve and extend access to The Journal of Philosophy. http://www.jstor.org THE JOURNAL OF PHILOSOPHY VOLUME LXVII, NO. I3, JULY 9, 19-0 HOW TO DEFINE THEORETICAL TERMS M OST philosophers of science agree that, when a newly proposed scientific theory introduces new terms, we usually cannot define the new terms using only the old terms we understood beforehand. On the contrary, I contend that there is a general method for defining the newly introduced theo- retical terms. Most philosophers of science also agree that, in order to reduce one scientific theory to another, we need to posit bridge laws: new laws, independent of the reducing theory, which serve to identify phenomena described in terms of the reduced theory with phe nomena described in terms of the reducing theory.
    [Show full text]
  • Reexamining the Problem of Demarcating Science and Pseudoscience by Evan Westre B.A., Vancouver Island University, 2010 a Thesis
    Reexamining the Problem of Demarcating Science and Pseudoscience By Evan Westre B.A., Vancouver Island University, 2010 A Thesis Submitted in Partial Fulfillment of the Requirements For the Degree of MASTER OF ARTS ©Evan Westre, 2014 All Rights Reserved. This thesis may not be reproduced in whole or in part, by photocopy or other means, without the permission of the author. Supervisory Committee Reexamining the Problem of Demarcating Science and Pseudoscience By Evan Westre B.A., Vancouver Island University, 2010 Dr. Audrey Yap: Supervisor (Department of Philosophy) Dr. Jeffrey Foss: Departmental Member (Department of Philosophy) ii Abstract Supervisory Committee Dr. Audrey Yap: Supervisor (Department of Philosophy) Dr. Jeffrey Foss: Departmental Member (Department of Philosophy) The demarcation problem aims to articulate the boundary between science and pseudoscience. Solutions to the problem have been notably raised by the logical positivists (verificationism), Karl Popper (falsificationism), and Imre Lakatos (methodology of research programmes). Due, largely, to the conclusions drawn by Larry Laudan, in a pivotal 1981 paper which dismissed the problem of demarcation as a “pseudo-problem”, the issue was brushed aside for years. Recently, however, there has been a revival of attempts to reexamine the demarcation problem and synthesize new solutions. My aim is to survey two of the contemporary attempts and to assess these approaches over and against the broader historical trajectory of the demarcation problem. These are the efforts of Nicholas Maxwell (aim-oriented empiricism), and Paul Hoyningen-Huene (systematicity). I suggest that the main virtue of the new attempts is that they promote a self-reflexive character within the sciences.
    [Show full text]
  • 1 Phil. 4400 Notes #1: the Problem of Induction I. Basic Concepts
    Phil. 4400 Notes #1: The problem of induction I. Basic concepts: The problem of induction: • Philosophical problem concerning the justification of induction. • Due to David Hume (1748). Induction: A form of reasoning in which a) the premises say something about a certain group of objects (typically, observed objects) b) the conclusion generalizes from the premises: says the same thing about a wider class of objects, or about further objects of the same kind (typically, the unobserved objects of the same kind). • Examples: All observed ravens so far have been The sun has risen every day for the last 300 black. years. So (probably) all ravens are black. So (probably) the sun will rise tomorrow. Non-demonstrative (non-deductive) reasoning: • Reasoning that is not deductive. • A form of reasoning in which the premises are supposed to render the conclusion more probable (but not to entail the conclusion). Cogent vs. Valid & Confirm vs. Entail : ‘Cogent’ arguments have premises that confirm (render probable) their conclusions. ‘Valid’ arguments have premises that entail their conclusions. The importance of induction: • All scientific knowledge, and almost all knowledge depends on induction. • The problem had a great influence on Popper and other philosophers of science. Inductive skepticism: Philosophical thesis that induction provides no justification for ( no reason to believe) its conclusions. II. An argument for inductive skepticism 1. There are (at most) 3 kinds of knowledge/justified belief: a. Observations b. A priori knowledge c. Conclusions based on induction 2. All inductive reasoning presupposes the “Inductive Principle” (a.k.a. the “uniformity principle”): “The course of nature is uniform”, “The future will resemble the past”, “Unobserved objects will probably be similar to observed objects” 3.
    [Show full text]
  • Carnap on Empirical Significance
    Carnap on Empirical Significance Sebastian Lutz∗ Preprint: 2014–04–30 Abstract Carnap’s search for a criterion of empirical significance is usually con- sidered a failure. I argue that the results from two out of his three different approaches are at the very least problematic, but that one approach led to success. Carnap’s criterion of translatability into logical syntax is too vague to allow definite results. His criteria for terms—introducibility by reduction sentences and his criterion from “The Methodological Character of Theoretical Concepts”—are almost trivial and have no clear relation to the empirical significance of sentences. However, his criteria for sentences— translatability, verifiability, falsifiability, confirmability—are usable, and under assumption of the Carnap sentence, verifiability, falsifiability, and translatability become equivalent. The price for the Carnap sentence approach is that metaphysics cannot always be shown to be non-significant. Keywords: empirical significance; cognitive significance; meaningfulness; Carnap; logical empiricism; Ramsey sentence; Carnap sentence; verifiabil- ity; falsifiability; testability; translatability Contents 1 Introduction 2 2 Informal Translatability 3 3 Europe 6 3.1 Criteria for Sentences............................. 6 3.2 Criteria for Terms............................... 15 ∗Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München. se- [email protected]. A previous version was presented in 2013 at the workshop Carnap on Logic at the Ludwig-Maximilians-Universität München, some aspects were presented in 2013 at the work- shop Formal Epistemology and the Legacy of Logical Empiricism at the University of Texas at Austin and in 2012 at the Groningen/Munich Summer School Formal Methods in Philosophy. I thank the audiences for helpful comments and discussions.
    [Show full text]
  • Phenomenological Verificationism
    Husserlian Verificationism Gregor Bös Tue 29th Sept, 2020 Research Seminar Centre for Subjectivity Research, University of Copenhagen Abstract Abstract Verificationism is the name for a family of claims connecting meaning andepis- temic access, mostly known from logical empiricism. The widespread rejection of verificationism was a necessary step for the revival of metaphysics in ana- lytic philosophy, and has for this reason received much attention. Much less discussed are verificationist claims in the early phenomenological tradition. I aim to show in what sense and to what end Husserl commits to a form of ver- ificationism. I then present the Church-Fitch argument as a general challenge to such a commitment. Gregor Bös (KCL) Husserlian Verificationism 2020/09/24 1 / 25 Abstract Outline 1 Introduction: Unlikely Fellows 2 Verificationism in the Phenomenological Tradition 3 Verificationism in the Logical Empiricist Tradition 4 The Church-Fitch Argument against Epistemic Notions of Truth Gregor Bös (KCL) Husserlian Verificationism 2020/09/24 1 / 25 Introduction Outline 1 Introduction: Unlikely Fellows 2 Verificationism in the Phenomenological Tradition 3 Verificationism in the Logical Empiricist Tradition 4 The Church-Fitch Argument against Epistemic Notions of Truth Gregor Bös (KCL) Husserlian Verificationism 2020/09/24 1 / 25 Introduction Context and Background Assumptions Manifest and Scientific Images can get in conflict. Phenomenology promises to ground the scientific in the manifest. Overarching Goal: an explicit proposal for a phenomenological
    [Show full text]
  • Logical Positivism, Operationalism, and Behaviorism
    This dissertation has been microfilmed exactly as received 70-6878 SHANAB, Robert E lias Abu, 1939- LOGICAL POSITIVISM, OPERATIONALISM, AND BEHAVIORISM. The Ohio State University, Ph.D., 1969 Philosophy University Microfilms, Inc., Ann Arbor, Michigan LOGICAL POSITIVISM, OPERATIONALISM, AND BEHAVIORISM DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Robert Elias Abu Shanab, B.A., A.M. ******** The Ohio State University 1969 Approved by / Adviser Department of Philosophy Dedicated to Professor Virgil Hinshaw, ACKNOWLEDGMENTS I am especially indebted to my adviser, Professor Virgil Hinshaw, Jr. Several of his suggestions have been incorporated in the final manuscript. I wish also to express my thanks to Professor Charles F. Kielkopf. Finally I wish to extend affection and gratitude to my wife for encouragement, patience and for the hours spent typing and retyping manuscripts. ii VITA September 29, 1939 B o m - Jerusalem, Palestine 1962 ........ ........... B.A. , San Jose State College, San Jose, California 1964 ................... M.A., San Jose State College, San Jose, California 1965-1966 ............. Instructor, College of San Mateo, San Mateo, California 1967-1968 ....... Teaching Assistant, Department of Philosophy, The Ohio State University, Columbus, Ohio 1969 ................... Lecturer, The Ohio State University, Newark, Ohio iii CONTENTS. Page ACKNOWLEDGMENTS ..... ....................... ii V I T A ..............................................iii
    [Show full text]
  • The Representational Inadequacy of Ramsey Sentences
    The Representational Inadequacy of Ramsey Sentences by ARNOLD KOSLOW Department of Philosophy, CUNY Abstract: We canvas a number of past uses of Ramsey sentences which have yielded disappointing results, and then consider three very interesting recent attempts to deploy them for a Ramseyan Dialetheist theory of truth, a modal account of laws and theories, and a criterion for the existence of factual properties. We think that once attention is given to the specific kinds of theories that Ramsey had in mind, it becomes evident that their Ramsey sentences are not the best ways of presenting those theories. Keywords: Ramsey sentence, Ramseyan theoretical truth, Dialetheism, modal theories, factual properties. 1. Ramsey Sentences Old Replacement Problems. Ever since Frank P. Ramsey’s views on the- ories became known through Richard B. Braithwaite’s publication of a collection of his papers, the use of Ramsey sentences has been a simple yet powerful source of solutions to philosophically hard problems. In the first section we review several important early uses of Ramsey sentences and the loss of interest in those problems and the consequent loss of inter- est in the sentences themselves. In the second section we review a kind of revival: some recent uses of Ramsey sentences to settle problems about truth (Dialetheism), laws (their modal character), and to help determine what (factual) properties exist. Despite the real interest that these new uses of Ramsey sentences generates, we want to argue that that interest is seriously diminished once it is realized that there are reasons not to take the Ramsey sentence as a good representation of a theory.
    [Show full text]
  • Carnap Visits Canberra: Updating the Logical Positivist Criteria of Cognitive Significance
    CARNAP VISITS CANBERRA: UPDATING THE LOGICAL POSITIVIST CRITERIA OF COGNITIVE SIGNIFICANCE A thesis submitted to Kent State University in partial fulfillment of the requirements for the degree of Master of Arts by Andrew Whiteley Magrath May 2012 Thesis written by Andrew Whiteley Magrath B.A., Oberlin College, 2004 M.A., Kent State University, 2012 Approved by Deborah C. Smith___________________________, Advisor David Odell-Scott___________________________, Chair, Department of Philosophy Timothy Moerland___________________________, Dean, College of Arts and Sciences ii TABLE OF CONTENTS ACKNOWLEDGEMENTS………………………………………………………………v CHAPTER I. INTRODUCTION .................................................................................................. 1 Logical Positivism and the Canberra Plan: A Brief Introduction............... 1 Guiding Question & Structure of the Thesis............................................... 3 My Motivation ............................................................................................ 4 Structure & Methodological Considerations .............................................. 6 II. CARNAP AND LOGICAL POSITIVISM............................................................. 8 The Use of Logic in Positivism .................................................................. 8 The Positivists' Reductionism & Expressibility.......................................... 9 A Theory of Meaning: Analytic a Priori and Synthetic a Posteriori......... 11 Ramsification: Observation Terms and Theory Terms............................
    [Show full text]
  • Verificationism
    Verificationism PHIL 83104 September 27, 2011 1. The critique of metaphysics .............................................................................................1 2. Observation statements.................................................................................................... 2 3. ‘In principle’ verifiability .................................................................................................3 4. Strong verifiability ...........................................................................................................3 4.1. Conclusive verifiability 4.2. Conclusive falsifiability 4.3. Conclusive verifiability or falsifiability 4.3.1. Mixed quantification 4.3.2. ‘Most’ and other quantifiers 4.3.3. Statements about unobservables 5. Weak verification .............................................................................................................7 5.1. Ayer’s first definition 5.2. Ayer’s second definition 5.2.1. Hempel’s objection 5.2.2. Church’s objection 1. THE CRITIQUE OF METAPHYSICS Ayer's stated aim in Language, Truth & Logic is one which many philosophers have pursued: to establish beyond question what should be the purpose and method of a philosophical inquiry" (33). Central to this aim, as Ayer conceived of it, was the demolition of traditional metaphysics, where this was thought of as the attempt to say something about “a reality transcending the world of science and common sense.” Ayer thought that this metaphysical project was an impossible one. The reason why he thought this was a kind of empiricism: the view that all of our knowledge must be based in sense experience. In Ayer's view, scientific knowledge was the paradigm of knowledge that conformed to this empiricist restriction. Ayer, however, took this empiricism one step further. He thought not only that claims not based on sense experience must be unjustified, but also that claims that were not based on experience were nonsense: “… the fact that a conclusion does not follow from its putative premise is not sufficient to show that it is false.
    [Show full text]