1 Introduction: Frege's Life and Work
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
On Dummett's Pragmatist Justification Procedure
On Dummett's Pragmatist Justification Procedure Herm´ogenesOliveira Abstract I show that propositional intuitionistic logic is complete with re- spect to an adaptation of Dummett's pragmatist justification proce- dure. In particular, given a pragmatist justification of an argument, I show how to obtain a natural deduction derivation of the conclusion of the argument from, at most, the same assumptions. 1 Introduction Proof-theoretic definitions of validity can be considered as loosely inspired by Wittgenstein's ideas relating meaning and use. They attempt to explain of the concept of logical validity in terms of the deductive use of the log- ical constants, as expressed by inference rules. In this context, Gentzen's investigations into deduction, particularly his calculus of natural deduction, are often used as a starting point for explaining the meaning of the logical constants on the basis of rules governing their use. In the standard natural deduction calculus [6, 10], the deductive use of a logical constant is governed by its introduction and elimination rules. Thus, from a semantic perspective where meaning is explained on the basis of use, arXiv:1701.03380v2 [math.LO] 30 Jul 2018 the introduction and elimination rules express the canonical manner in which a sentence with a logical constant as main operator is used in a deductive argument: the introduction rules express the canonical use of the sentence as a conclusion, the elimination rules express the canonical use of the sentence as an assumption. Along these lines, Dummett [2, 3] proposed that the analysis of the deductive meaning of a logical constant into introduction and elimination rules accounts for two distinct aspects of its use. -
Gottlob Frege Patricia A
Gottlob Frege Patricia A. Blanchette This is the penultimate version of the essay whose final version appears in the Oxford Handbook of Nineteenth-Century German Philosophy, M. Forster and K. Gjesdal (eds), Oxford University Press 2015, pp 207-227 Abstract Gottlob Frege (1848-1925) made significant contributions to both pure mathematics and philosophy. His most important technical contribution, of both mathematical and philosophical significance, is the introduction of a formal system of quantified logic. His work of a more purely- philosophical kind includes the articulation and persuasive defense of anti-psychologism in mathematics and logic, the rigorous pursuit of the thesis that arithmetic is reducible to logic, and the introduction of the distinction between sense and reference in the philosophy of language. Frege’s work has gone on to influence contemporary work across a broad spectrum, including the philosophy of mathematics and logic, the philosophy of language, and the philosophy of mind. This essay describes the historical development of Frege’s central views, and the connections between those views. Introduction Friedrich Ludwig Gottlob Frege was born on November 8, 1848 in the Hanseatic town of Wismar. He was educated in mathematics at the University of Jena and at the University of Göttingen, from which latter he received his doctorate in 1873. He defended his Habilitation the next year in Jena, and took up a position immediately at the University of Jena. Here he spent his entire academic career, lecturing in mathematics and logic, retiring in 1918. His death came on July 26, 1925 in the nearby town of Bad Kleinen.1 Frege is best known for three significant contributions to philosophy. -
Gottlob Frege: on Sense and Reference Professor Jeeloo Liu [Introduction]
Phil/Ling 375: Meaning and Mind [Handout #13] Gottlob Frege: On Sense and Reference Professor JeeLoo Liu [Introduction] I. Language and the World ___ How does language depict reality? Does reality have the same structure as the structure of language? For instance, the basic linguistic structure is a subject and a predicate, and the basic structure of the world is a particular and a universal (e.g. “Socrates is wise”). The subject usually is something of the world and we describe some property it has or does not have. A is F is true is A is really F, is false when A is not F. II. Different Elements of Language Singular terms: Terms that designate particular things Proper names Indexicals: now, today, here, I… Demonstratives: that, this… Pronouns (singular): he, she,… Definite descriptions (the so-and-so): Indefinite (singular) descriptions (a so-and-so) General terms: Terms that designate a kind of things or a certain property Mass nouns ___ natural kind terms (‘water,’ ‘tiger,’ ‘lemon’) ___ non-natural kind terms (‘bachelor’, ‘contract,’ ‘chair’) Adjectives (predicates): colors, shapes, etc. III. Traditional Theories of Meaning Prior to Frege [A] The Ideational Theory ___ The meaning of a linguistic expression is the speaker’s idea that is associated with the expression. [B] Mill’s Theory [the Object Theory] ___ The meaning of a singular term is the thing designated by that term; ___ the meaning of a name is just what the name stands for; the name does not have any other meaning e.g. ‘Socrates’ means Socrates e.g. ‘Dartmouth’ e.g. -
Metaphysics Today and Tomorrow*
1 Metaphysics Today and Tomorrow* Raphaël Millière École normale supérieure, Paris – October 2011 Translated by Mark Ohm with the assistance of Leah Orth, Jon Cogburn, and Emily Beck Cogburn “By metaphysics, I do not mean those abstract considerations of certain imaginary properties, the principal use of which is to furnish the wherewithal for endless dispute to those who want to dispute. By this science I mean the general truths which can serve as principles for the particular sciences.” Malebranche Dialogues on Metaphysics and Religion 1. The interminable agony of metaphysics Throughout the twentieth century, numerous philosophers sounded the death knell of metaphysics. Ludwig Wittgenstein, Rudolf Carnap, Martin Heidegger, Gilbert Ryle, J. L. Austin, Jacques Derrida, Jürgen Habermas, Richard Rorty, and, henceforth, Hilary Putnam: a great many tutelary figures have extolled the rejection, the exceeding, the elimination, or the deconstruction of first philosophy. All these necrological chronicles do not have the same radiance, the same seriousness, nor the same motivations, but they all agree to dismiss the discipline, which in the past was considered “the queen of the sciences”, with a violence at times comparable to the prestige it commanded at the time of its impunity. Even today, certain philosophers hastily spread the tragic news with contempt for philosophical inquiry, as if its grave solemnity bestowed upon it some obviousness. Thus, Franco Volpi writes: ‘Grand metaphysics is dead!’ is the slogan which applies to the majority of contemporary philosophers, whether continentals or of analytic profession. They all treat metaphysics as a dead dog.1 In this way, the “path of modern thought” would declare itself vociferously “anti- metaphysical and finally post-metaphysical”. -
Rudolf Carnap Papers, 1920-1968
http://oac.cdlib.org/findaid/ark:/13030/tf7q2nb520 No online items Finding Aid for the Rudolf Carnap papers, 1920-1968 Processed by UCLA Library Special Collections staff; machine-readable finding aid created by Caroline Cubé UCLA Library Special Collections UCLA Library Special Collections staff Room A1713, Charles E. Young Research Library Box 951575 Los Angeles, CA 90095-1575 Email: [email protected] URL: http://www.library.ucla.edu/libraries/special/scweb/ © 1998 The Regents of the University of California. All rights reserved. Note Arts and Humanities --PhilosophyHistory --History, University of California --History, UC Los AngelesGeographical (By Place) --University of California --University of California Los Angeles Finding Aid for the Rudolf Carnap 1029 1 papers, 1920-1968 Finding Aid for the Rudolf Carnap papers, 1920-1968 Collection number: 1029 UCLA Library Special Collections UCLA Library Special Collections staff Los Angeles, CA Contact Information UCLA Library Special Collections staff UCLA Library Special Collections Room A1713, Charles E. Young Research Library Box 951575 Los Angeles, CA 90095-1575 Telephone: 310/825-4988 (10:00 a.m. - 4:45 p.m., Pacific Time) Email: [email protected] URL: http://www.library.ucla.edu/libraries/special/scweb/ Processed by: UCLA Library Special Collections staff, 1998 Encoded by: Caroline Cubé Online finding aid edited by: Josh Fiala, June 2002 © 1998 The Regents of the University of California. All rights reserved. Descriptive Summary Title: Rudolf Carnap papers, Date (inclusive): 1920-1968 Collection number: 1029 Creator: Carnap, Rudolf, 1891-1970 Extent: 56 boxes (28 linear ft.) Repository: University of California, Los Angeles. Library Special Collections. -
Does 2 + 3 = 5? : in Defense of a Near Absurdity
This is a repository copy of Does 2 + 3 = 5? : In Defense of a Near Absurdity. White Rose Research Online URL for this paper: https://eprints.whiterose.ac.uk/127022/ Version: Accepted Version Article: Leng, Mary Catherine orcid.org/0000-0001-9936-5453 (2018) Does 2 + 3 = 5? : In Defense of a Near Absurdity. The Mathematical Intelligencer. ISSN 1866-7414 https://doi.org/10.1007/s00283-017-9752-8 Reuse Items deposited in White Rose Research Online are protected by copyright, with all rights reserved unless indicated otherwise. They may be downloaded and/or printed for private study, or other acts as permitted by national copyright laws. The publisher or other rights holders may allow further reproduction and re-use of the full text version. This is indicated by the licence information on the White Rose Research Online record for the item. Takedown If you consider content in White Rose Research Online to be in breach of UK law, please notify us by emailing [email protected] including the URL of the record and the reason for the withdrawal request. [email protected] https://eprints.whiterose.ac.uk/ Does 2 + 3 = 5? In defence of a near absurdity1 Mary Leng (Department of Philosophy, University of York) James Robert Brown asks, “Is anyone really agnostic about 2 + 3 = 5, and willing only to give assent to PA 2 + 3 = 5?” (where PA stands for the Peano axioms for arithmetic). In fact Brown should qualify his ‘anyone’ with ‘anyone not already hopelessly corrupted by philosophy’, since, as he knows full well, there are plenty of so-called nominalist philosophers – myself included – who, wishing to avoid commitment to abstract (that is, non-spatiotemporal, acausal, mind- and language- independent) objects, take precisely this attitude to mathematical claims. -
Michael Dummett the Nature and Future of Philosophy. New York: Columbia University Press 2010
Philosophy in Review XXXI (2011), no. 1 Michael Dummett The Nature and Future of Philosophy. New York: Columbia University Press 2010. 158 pages US$69.50 (cloth ISBN 978-0-231-15052-1); US$19.95 (paper ISBN 978-0-231-15053-8) This essay, first published in 2001 in Italian, is more a personal statement than an essay on the nature and future of philosophy. Dummett says how he thinks philosophy should be done and how he would like to see it develop. In particular, he summarizes his views regarding language, thought and the world with sidelong glances at other philosophers’ ideas and wrong turns. In Chapter 1 common apologies for philosophy are discounted in favor of defending the discipline on the grounds that ‘thought, without any specialized input from experience, can advance knowledge in unexpected directions’ (5). Next, in Chapter 2 (‘What is a Philosophical Question?’) and Chapter 3 (‘Philosophy as the Grammar of Thought’), Dummett nails his flag to the mast. We learn that philosophy ‘concerns our view of reality by seeking to clarify the concepts in terms of which we conceive of it, and hence the linguistic expressions by means of which we formulate our conception’ (11). So philosophy is not, as Quine would have it, continuous with ‘the most abstract part of science’, nor, as Wittgenstein insists, devoted to ‘cast[ing] light on what we already know from other sources, enabling us to see it with eyes unclouded by intellectual confusion’ (7). Indeed, when we consider how philosophers debate a philosophical question—Dummett discusses ‘Does time really pass?’ (8-10)—we see that philosophy is from beginning to end a conceptual endeavor. -
Plato on the Foundations of Modern Theorem Provers
The Mathematics Enthusiast Volume 13 Number 3 Number 3 Article 8 8-2016 Plato on the foundations of Modern Theorem Provers Ines Hipolito Follow this and additional works at: https://scholarworks.umt.edu/tme Part of the Mathematics Commons Let us know how access to this document benefits ou.y Recommended Citation Hipolito, Ines (2016) "Plato on the foundations of Modern Theorem Provers," The Mathematics Enthusiast: Vol. 13 : No. 3 , Article 8. Available at: https://scholarworks.umt.edu/tme/vol13/iss3/8 This Article is brought to you for free and open access by ScholarWorks at University of Montana. It has been accepted for inclusion in The Mathematics Enthusiast by an authorized editor of ScholarWorks at University of Montana. For more information, please contact [email protected]. TME, vol. 13, no.3, p.303 Plato on the foundations of Modern Theorem Provers Inês Hipolito1 Nova University of Lisbon Abstract: Is it possible to achieve such a proof that is independent of both acts and dispositions of the human mind? Plato is one of the great contributors to the foundations of mathematics. He discussed, 2400 years ago, the importance of clear and precise definitions as fundamental entities in mathematics, independent of the human mind. In the seventh book of his masterpiece, The Republic, Plato states “arithmetic has a very great and elevating effect, compelling the soul to reason about abstract number, and rebelling against the introduction of visible or tangible objects into the argument” (525c). In the light of this thought, I will discuss the status of mathematical entities in the twentieth first century, an era when it is already possible to demonstrate theorems and construct formal axiomatic derivations of remarkable complexity with artificial intelligent agents the modern theorem provers. -
Consequences of Pragmatism University of Minnesota Press, 1982
estratto dal volume: RICHARD RORTY Consequences of Pragmatism University of Minnesota Press, 1982 INTRODUCTION 1. Platonists, Positivists, and Pragmatists The essays in this book are attempts to draw consequences from a prag- matist theory about truth. This theory says that truth is not the sort of thing one should expect to have a philosophically interesting theory about. For pragmatists, “truth” is just the name of a property which all true statements share. It is what is common to “Bacon did not write Shakespeare,” “It rained yesterday,” “E equals mc²” “Love is better than hate,” “The Alle- gory of Painting was Vermeer’s best work,” “2 plus 2 is 4,” and “There are nondenumerable infinities.” Pragmatists doubt that there is much to be said about this common feature. They doubt this for the same reason they doubt that there is much to be said about the common feature shared by such morally praiseworthy actions as Susan leaving her husband, Ameri- ca joining the war against the Nazis, America pulling out of Vietnam, Socrates not escaping from jail, Roger picking up litter from the trail, and the suicide of the Jews at Masada. They see certain acts as good ones to perform, under the circumstances, but doubt that there is anything gen- eral and useful to say about what makes them all good. The assertion of a given sentence—or the adoption of a disposition to assert the sentence, the conscious acquisition of a belief—is a justifiable, praiseworthy act in certain circumstances. But, a fortiori, it is not likely that there is something general and useful to be said about what makes All such actions good-about the common feature of all the sentences which one should ac- quire a disposition to assert. -
Frege's Influence on Wittgenstein: Reversing Metaphysics Via the Context Principle*
Frege's Influence on Wittgenstein: Reversing Metaphysics via the Context Principle* Erich H. Reck Gottlob Frege and Ludwig Wittgenstein (the later Wittgenstein) are often seen as polar opposites with respect to their fundamental philosophical outlooks: Frege as a paradig- matic "realist", Wittgenstein as a paradigmatic "anti-realist". This opposition is supposed to find its clearest expression with respect to mathematics: Frege is seen as the "arch-pla- tonist", Wittgenstein as some sort of "radical anti-platonist". Furthermore, seeing them as such fits nicely with a widely shared view about their relation: the later Wittgenstein is supposed to have developed his ideas in direct opposition to Frege. The purpose of this paper is to challenge these standard assumptions. I will argue that Frege's and Wittgen- stein's basic outlooks have something crucial in common; and I will argue that this is the result of the positive influence Frege had on Wittgenstein. It would be absurd to claim that there are no important differences between Frege and Wittgenstein. Likewise, it would be absurd to claim that the later Wittgenstein was not critical of some of Frege's ideas. What, then, is the common element I see? My sugges- tion is that the two thinkers agree on what I call a reversal of metaphysics (relative to a standard kind of metaphysics attacked by both). This is not an agreement on one particu- lar thesis or on one argument. Rather, it has to do with what is prior and what is posterior when it comes to certain fundamental explanations in metaphysics (also, relatedly, in semantics and epistemology). -
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. -
An Interview with Donald Davidson
An interview with Donald Davidson Donald Davidson is an analytic philosopher in the tradition of Wittgenstein and Quine, and his formulations of action, truth and communicative interaction have generated considerable debate in philosophical circles around the world. The following "interview" actually took place over two continents and several years. It's merely a part of what must now be literally hundreds of hours of taped conversations between Professor Davidson and myself. I hope that what follows will give you a flavor of Donald Davidson, the person, as well as the philosopher. I begin with some of the first tapes he and I made, beginning in Venice, spring of 1988, continuing in San Marino, in spring of 1990, and in St Louis, in winter of 1991, concerning his induction into academia. With some insight into how Professor Davidson came to the profession, a reader might look anew at some of his philosophical writings; as well as get a sense of how the careerism unfortunately so integral to academic life today was so alien to the generation of philosophers Davidson is a member of. The very last part of this interview is from more recent tapes and represents Professor Davidson's effort to try to make his philosophical ideas available to a more general audience. Lepore: Tell me a bit about the early days. Davidson: I was born in Springfield, Massachusetts, on March 6, 1917 to Clarence ("Davie") Herbert Davidson and Grace Cordelia Anthony. My mother's father's name was "Anthony" but her mother had married twice and by coincidence both her husbands were named "Anthony".