Proof and Other Dilemmas: Mathematics and Philosophy
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
The Julius Caesar Objection
The Julius Caesar Objection Richard G. Heck, Jnr. Department of Philosophy Harvard University Published in R. Heck, ed. Language, Thought, and Logic: Essays in Honour of Michael Dummett New York and Oxford: Oxford University Press, 1997, pp. 273-308 1. Opening Recent research has revealed three important points about Frege’s philosophy of arithmetic. First, his attempt to derive axioms for arithmetic from principles of logic does not require Frege to appeal to his Axiom V, the axiom which gives rise to Russell’s Paradox. The proofs sketched in Die Grundlagen der Arithmetik depend only upon what (alluding to Frege’s method of introducing it) may be called Hume’s Principle: The number of Fs is the same as the number of Gs just in case there is a one- one correspondence between the Fs and the Gs.1 Formally, the relevant result is that, if a formalization of this Principle is added as an axiom to standard, axiomatic second-order logic, second-order arithmetic can be interpreted in the resulting theory.2 Secondly, this theory—which may be called Fregean Arithmetic—is itself interpretable in second-order arithmetic and so, presumably, is consistent.3 And thirdly, Frege’s own formal proofs of axioms for arithmetic, given in his Grundgesetze der Arithmetik, do not depend essentially upon Axiom V.4 Indeed, Frege himself knew that he did not require any more than Hume’s Principle, this being essential if he is to draw certain of the philosophical conclusions he wishes to base upon his formal results.5 All of this having been said, the question arises why, upon receiving Russell’s famous letter, Frege did not simply drop Axiom V, install Hume’s Principle as an axiom, and claim himself to have established logicism anyway. -
Vol. 62, No. 3; September 1984 PUTNAM's PARADOX David Lewis Introduction. Hilary Putnam Has Devised a Bomb That Threatens To
Australasian Journal of Philosophy Vol. 62, No. 3; September 1984 PUTNAM'S PARADOX David Lewis Introduction. Hilary Putnam has devised a bomb that threatens to devastate the realist philosophy we know and love. 1 He explains how he has learned to stop worrying and love the bomb. He welcomes the new order that it would bring. (RT&H, Preface) But we who still live in the target area do not agree. The bomb must be banned. Putnam's thesis (the bomb) is that, in virtue of considerations from the theory of reference, it makes no sense to suppose that an empirically ideal theory, as verified as can be, might nevertheless be false because the world is not the way the theory says it is. The reason given is, roughly, that there is no semantic glue to stick our words onto their referents, and so reference is very much up for grabs; but there is one force constraining reference, and that is our intention to refer in such a way that we come out right; and there is no countervailing force; and the world, no matter what it is like (almost), will afford some scheme of reference that makes us come out right; so how can we fail to come out right? 2 Putnam's thesis is incredible. We are in the presence of paradox, as surely as when we meet the man who offers us a proof that there are no people, and in particular that he himself does not exist. 3 It is out of the question to follow the argument where it leads. -
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. -
The Fact of Modern Mathematics: Geometry, Logic, and Concept Formation in Kant and Cassirer
THE FACT OF MODERN MATHEMATICS: GEOMETRY, LOGIC, AND CONCEPT FORMATION IN KANT AND CASSIRER by Jeremy Heis B.A., Michigan State University, 1999 Submitted to the Graduate Faculty of Arts and Sciences in partial fulfillment of the requirements for the degree of Doctor of Philosophy University of Pittsburgh 2007 UNIVERSITY OF PITTSBURGH COLLEGE OF ARTS AND SCIENCES This dissertation was presented by Jeremy Heis It was defended on September 5, 2007 and approved by Jeremy Avigad, Associate Professor, Philosophy, Carnegie Mellon University Stephen Engstrom, Associate Professor, Philosophy, University of Pittsburgh Anil Gupta, Distinguished Professor, Philosophy, University of Pittsburgh Kenneth Manders, Associate Professor, Philosophy, University of Pittsburgh Thomas Ricketts, Professor, Philosophy, University of Pittsburgh Dissertation Advisor: Mark Wilson, Professor, Philosophy, University of Pittsburgh ii Copyright © by Jeremy Heis 2007 iii THE FACT OF MODERN MATHEMATICS: GEOMETRY, LOGIC, AND CONCEPT FORMATION IN KANT AND CASSIRER Jeremy Heis, PhD University of Pittsburgh, 2007 It is now commonly accepted that any adequate history of late nineteenth and early twentieth century philosophy—and thus of the origins of analytic philosophy—must take seriously the role of Neo-Kantianism and Kant interpretation in the period. This dissertation is a contribution to our understanding of this interesting but poorly understood stage in the history of philosophy. Kant’s theory of the concepts, postulates, and proofs of geometry was informed by philosophical reflection on diagram-based geometry in the Greek synthetic tradition. However, even before the widespread acceptance of non-Euclidean geometry, the projective revolution in nineteenth century geometry eliminated diagrams from proofs and introduced “ideal” elements that could not be given a straightforward interpretation in empirical space. -
The Catholic University of America
THE CATHOLIC UNIVERSITY OF AMERICA Empty and Filled Intentions in Husserl‘s Early Work A DISSERTATION Submitted to the Faculty of the School of Philosophy Of The Catholic University of America In Partial Fulfillment of the Requirements For the Degree Doctor of Philosophy © Copyright All Rights Reserved By Micah D. Tillman Washington, D.C. 2011 Empty and Filled Intentions in Husserl‘s Early Work Micah D. Tillman, Ph.D. Director: Robert Sokolowski, Ph.D. Our theme in this dissertation is the theory of empty and filled intentions (leere und erfüllte Intentionen), as that theory is introduced, developed, and employed in the opening years of Husserl‘s career. The first major exposition and employment of the theory is provided by Husserl‘s Logical Investigations (Logische Untersuchungen, 1900/1). In chapter 1, we show how the introduction of empty and filled intentions in Investigation I arises from Husserl‘s attempt to understand the nature and function of signs. In chapter 2, we turn to Husserl‘s further exploration and use of the theory of empty and filled intentions in Investigations V and VI. To elucidate the background and development of the theory of empty and filled intentions, we turn to Philosophy of Arithmetic (Philosophie der Arithmetik, 1891). In chapters 3 and 4, we uncover a series of parallels between the theory of empty and filled intentions in Logical Investigations and the theory of ―symbolic and authentic presentations‖ (symbolische und eigentliche Vorstellungen) in Philosophy of Arithmetic. This leads us to argue that the theory of empty and filled intentions is actually a more mature version of the theory of symbolic and authentic presentations. -
1 Hilary Putnam, Reason, Truth and History, (Cambridge: Harvard University Press, 1979). Henceforth 'RTH'. the Position Th
[The Journal of Philosophical Research XVII (1992): 313-345] Brains in a Vat, Subjectivity, and the Causal Theory of Reference Kirk Ludwig Department of Philosophy University of Florida Gainesville, FL 32611-8545 1. Introduction In the first chapter of Reason, Truth and History,1 Putnam argued that it is not epistemically possible that we are brains in a vat (of a certain sort). If his argument is correct, and can be extended in certain ways, then it seems that we can lay to rest the traditional skeptical worry that most or all of our beliefs about the external world are false. Putnam’s argument has two parts. The first is an argument for a theory of reference2 according to which we cannot refer to an object or a type of object unless we have had a certain sort of causal interaction with it. The second part argues from this theory to the conclusion that we can know that we are not brains in a vat. In this paper I will argue that Putnam’s argument to show that we cannot be brains in a vat is unsuccessful. However, the flaw is not in the argument from the theory of reference to the conclusion 1 Hilary Putnam, Reason, Truth and History, (Cambridge: Harvard University Press, 1979). Henceforth ‘RTH’. The position that Putnam advances in this first chapter is one that in later chapters of RTH he abandons in favor of the position that he calls ‘internal realism’. He represents the arguments he gives in chapter 1 as a problem posed for the ‘external realist’, who assumes the possibility of a God’s eye point of view. -
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. -
Stumpf and Husserl on Phenomenology and Descriptive Psychology
Denis Fisette Stumpf and Husserl on Phenomenology and Descriptive Psychology One of the most stringent criticisms aimed at Husserl’s version of phenomenology comes from Stumpf himself in his posthumous book Erkenntnislehre (1939 Section 13), in which he tackles the transcendental phenomenology developed by Husserl in the first volume of Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy (Ideas I). This criticism is all the more credible when one considers that the two philosophers maintained a close relationship for over fifty years and that Stumpf followed with interest the evolution of the thought of a friend who was once his student in Halle. This criticism addresses, in fact, the very principles of Husserl’s “pure” phenomenology, and we will see that it is motivated largely by the principles of what he also called phenomenology understood in its narrower sense as the field of sensory phenomena. It is clear from his discussion of Ideas I that his own motives in this criticism are as philosophical as those that led Husserl to a form of transcendental philosophy. However, since the latter broke with the philosophical program that Husserl still defended in his Logical Investigations and to which Stumpf always remained faithful (see Fisette 2009), the question raised in Erkenntnislehre concerns precisely the reasons for his emancipation from the initial program and to what extent it innovates compared to the phenomenology of the Logical Investigations understood as descriptive psychology. Stumpf basically wanted to show that this new version of phenomenology not only presupposes the essential elements of the original program (including intentionality), but where it claims to innovate in relating itself to the Kantian tradition, it espouses a philosophical cause which is one of the main targets of Brentano’s criticism. -
Hilary Putnam on Logic and Mathematics , by Geoffrey Hellman
Hilary Putnam on Logic and Mathematics, by Geoffrey Hellman and Roy T. Cook (eds). Springer, 2018. pp. x+274. This review is due to be published in Mind. This is a pre-print and may be subject to minor alterations. The authoritative version should be sought at Mind. Putnam’s most famous contribution to mathematical logic was his role in investigating Hilbert’s Tenth Problem; Putnam is the ‘P’ in the MRDP Theorem. This volume, though, focusses mostly on Putnam’s work on the philosophy of logic and mathematics. It is a somewhat bumpy ride. Of the twelve papers, two scarcely mention Putnam. Three others focus primarily on Putnam’s ‘Mathematics without foundations’ (1967), but with no in- terplay between them. The remaining seven papers apparently tackle unrelated themes. Some of this disjointedness would doubtless have been addressed, if Putnam had been able to compose his replies to these papers; sadly, he died before this was possible. In this review, I will do my best to tease out some connections between the paper; and there are some really interesting connections to be made. Ultimately, though, my review will be only a little less bumpy than the volume itself. 1 Formal logic and mathematics Goldfarb’s paper is a short gem. In four-and-a-half sides, it provides a nice proof and discussion of one of Putnam’s (1965) ‘lesser-known but quite interesting’ theorems (p.45): if φ is a satisfi- able, identity-free, first-order formula, then there is a model of φ which interprets each primitive predicate of φ as a boolean combination of Σ1 sets. -
Philosophy of Mind
Introduction to Philosophy: Philosophy of Mind INTRODUCTION TO PHILOSOPHY: PHILOSOPHY OF MIND ERAN ASOULIN, PAUL RICHARD BLUM, TONY CHENG, DANIEL HAAS, JASON NEWMAN, HENRY SHEVLIN, ELLY VINTIADIS, HEATHER SALAZAR (EDITOR), AND CHRISTINA HENDRICKS (SERIES EDITOR) Rebus Community Introduction to Philosophy: Philosophy of Mind by Eran Asoulin, Paul Richard Blum, Tony Cheng, Daniel Haas, Jason Newman, Henry Shevlin, Elly Vintiadis, Heather Salazar (Editor), and Christina Hendricks (Series Editor) is licensed under a Creative Commons Attribution 4.0 International License, except where otherwise noted. CONTENTS What is an open textbook? vii Christina Hendricks How to access and use the books ix Christina Hendricks Introduction to the Series xi Christina Hendricks Praise for the Book xiv Adriano Palma Acknowledgements xv Heather Salazar and Christina Hendricks Introduction to the Book 1 Heather Salazar 1. Substance Dualism in Descartes 3 Paul Richard Blum 2. Materialism and Behaviorism 10 Heather Salazar 3. Functionalism 19 Jason Newman 4. Property Dualism 26 Elly Vintiadis 5. Qualia and Raw Feels 34 Henry Shevlin 6. Consciousness 41 Tony Cheng 7. Concepts and Content 49 Eran Asoulin 8. Freedom of the Will 58 Daniel Haas About the Contributors 69 Feedback and Suggestions 72 Adoption Form 73 Licensing and Attribution Information 74 Review Statement 76 Accessibility Assessment 77 Version History 79 WHAT IS AN OPEN TEXTBOOK? CHRISTINA HENDRICKS An open textbook is like a commercial textbook, except: (1) it is publicly available online free of charge (and at low-cost in print), and (2) it has an open license that allows others to reuse it, download and revise it, and redistribute it. -
Putnam and Diamond on Religious Belief and the “Gulfs Between Us” Sofia Miguens*
The Monist, 2020, 103, 404–414 doi: 10.1093/monist/onaa013 Article Downloaded from https://academic.oup.com/monist/article/103/4/404/5905779 by University of Chicago user on 03 November 2020 The Human Face of Naturalism: Putnam and Diamond on Religious Belief and the “Gulfs between Us” Sofia Miguens* ABSTRACT Hilary Putnam and Cora Diamond both wrote on Wittgenstein’s Three Lectures on Religious Belief. They did it quite differently; my ultimate aim in this article is to explore this difference. Putnam’s view of religion is largely a view of ethical life; I look thus into his writings on ethics and his proposals to face the relativist menace therein. Still, in his incursions into philosophy of religion, describing religious experience through authors such as Rosenzweig, Buber, or Levinas, Putnam deals with what Diamond calls, after Wittgenstein, “the gulfs between us.” Such gulfs, and the threat of relativism they bring, need to be accounted for. With that purpose in mind I complement Putnam’s reading of the Three Lectures with Diamond’s own reading. Those who know my writings from that period [the early 1950s] may wonder how I reconciled my religious streak, which existed to some extent even back then, and my general scientific materialist worldview at that time. The answer is that I didn’t recon- cile them. I was a thoroughgoing atheist, and I was a believer. I simply kept these two parts of myself separate. —Hilary Putnam (1992,1) 1. RELIGION AS ETHICS AND THE NATURE OF PUTNAM’S WRITINGS ON RELIGION How does religion, broadly conceived, sit with Putnam’s philosophy? In what follows I try to answer this question. -
Frege and the Logic of Sense and Reference
FREGE AND THE LOGIC OF SENSE AND REFERENCE Kevin C. Klement Routledge New York & London Published in 2002 by Routledge 29 West 35th Street New York, NY 10001 Published in Great Britain by Routledge 11 New Fetter Lane London EC4P 4EE Routledge is an imprint of the Taylor & Francis Group Printed in the United States of America on acid-free paper. Copyright © 2002 by Kevin C. Klement All rights reserved. No part of this book may be reprinted or reproduced or utilized in any form or by any electronic, mechanical or other means, now known or hereafter invented, including photocopying and recording, or in any infomration storage or retrieval system, without permission in writing from the publisher. 10 9 8 7 6 5 4 3 2 1 Library of Congress Cataloging-in-Publication Data Klement, Kevin C., 1974– Frege and the logic of sense and reference / by Kevin Klement. p. cm — (Studies in philosophy) Includes bibliographical references and index ISBN 0-415-93790-6 1. Frege, Gottlob, 1848–1925. 2. Sense (Philosophy) 3. Reference (Philosophy) I. Title II. Studies in philosophy (New York, N. Y.) B3245.F24 K54 2001 12'.68'092—dc21 2001048169 Contents Page Preface ix Abbreviations xiii 1. The Need for a Logical Calculus for the Theory of Sinn and Bedeutung 3 Introduction 3 Frege’s Project: Logicism and the Notion of Begriffsschrift 4 The Theory of Sinn and Bedeutung 8 The Limitations of the Begriffsschrift 14 Filling the Gap 21 2. The Logic of the Grundgesetze 25 Logical Language and the Content of Logic 25 Functionality and Predication 28 Quantifiers and Gothic Letters 32 Roman Letters: An Alternative Notation for Generality 38 Value-Ranges and Extensions of Concepts 42 The Syntactic Rules of the Begriffsschrift 44 The Axiomatization of Frege’s System 49 Responses to the Paradox 56 v vi Contents 3.