DOCSLIB.ORG

Georg Kreisel Correspondence with Jean Van Heijenoort

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Georg Kreisel Correspondence with Jean Van Heijenoort http://oac.cdlib.org/findaid/ark:/13030/c84q7wxh No online items Guide to the Georg Kreisel Correspondence with Jean van Heijenoort Daniel Hartwig Stanford University. Libraries.Department of Special Collections and University Archives Stanford, California October 2010 Copyright © 2015 The Board of Trustees of the Leland Stanford Junior University. All rights reserved. Note This encoded finding aid is compliant with Stanford EAD Best Practice Guidelines, Version 1.0. Guide to the Georg Kreisel SC0233 1 Correspondence with Jean van Heijenoort Overview Call Number: SC0233 Creator: Kreisel, Georg, 1923- Title: Georg Kreisel correspondence with Jean van Heijenoort Dates: 1949-1981 Physical Description: 6 Linear feet Summary: Correspondence, notes, memoranda, articles and other materials by Professor Georg Kreisel, sent to his colleague, Professor J. van Heijenoort of Harvard University. Includes some correspondence with other colleagues. Language(s): The materials are in English. Repository: Department of Special Collections and University Archives Green Library 557 Escondido Mall Stanford, CA 94305-6064 Email: [email protected] Phone: (650) 725-1022 URL: http://library.stanford.edu/spc Gift of J. van Heijenoort, 1981. Information about Access This collection is open for research. Ownership & Copyright All requests to reproduce, publish, quote from, or otherwise use collection materials must be submitted in writing to the Head of Special Collections and University Archives, Stanford University Libraries, Stanford, California 94304-6064. Consent is given on behalf of Special Collections as the owner of the physical items and is not intended to include or imply permission from the copyright owner. Such permission must be obtained from the copyright owner, heir(s) or assigns. See: http://library.stanford.edu/depts/spc/pubserv/permissions.html. Restrictions also apply to digital representations of the original materials. Use of digital files is restricted to research and educational purposes. Cite As Georg Kreisel Correspondence with Jean van Heijenoort (SC0233). Dept. of Special Collections and University Archives, Stanford University Libraries, Stanford, Calif. Description of the Collection Correspondence, notes, memoranda, articles and other materials by Professor Georg Kreisel, sent to his colleague, Professor J. van Heijenoort of Harvard University. Includes some correspondence with other colleagues. Access Terms Heijenoort, Jean van. Kreisel, Georg, 1923- Stanford University. Department of Philosophy. Faculty. Logic, Symbolic and Mathematical. Philosophy. Correspondence 1949-1981 Box 1, Folder 1 Kreisel-Buffalo, Notions of Proof undated Box 1, Folder 2 Foundations of Mathematics 1900-1950 undated Box 1, Folder 3 Interpretations of Analysis 1957 Box 1, Folder 4 Review of Mostowski 1953 Box 1, Folder 5 Two Expository Notes on Foundations undated Box 1, Folder 6 Kreisel - Misc. 1949 Box 1, Folder 7 Kreisel - Predicative Analysis 1958 Box 1, Folder 8 Kreisel - Misc. Letters 1950 Guide to the Georg Kreisel SC0233 2 Correspondence with Jean van Heijenoort Correspondence 1949-1981 Box 1, Folder 9 Elementary Logic undated Box 1, Folder 10 Kriesel 1952 Box 1, Folder 11 Some Concepts concerning formal systems... 1952 Box 1, Folder 12 Kreisel - Brussels Congress 1953 Box 1, Folder 13 A variant to Hilbert's Theory... 1953 Box 1, Folder 14 On a problem of Henkin's 1953 Box 1, Folder 15 Remark on Complete Interpretations by Models 1954 Box 1, Folder 16 Mathematical significance of Consistency Proofs 1957 Box 1, Folder 17 Ordinal Logics and the Characterization of Informal Concepts of Proof 1958 Box 1, Folder 18 Kreisel - Wittgenstein's Remarks on the Foundation of Mathematics 1958 Box 1, Folder 19 Mathematical significance of Consistency Proofs 1958 Box 1, Folder 20 Kreisel - Cantor- Bendixson Theorem 1959 Box 1, Folder 21 The axiom of choice and the class of Hyper-Arithmetic Functions 1962 Box 1, Folder 22 Kreisel - Letter to Wang 1963 Box 1, Folder 23 Kreisel - Letter to Parsons 23410 Box 1, Folder 24 Kreisel- Review of Dreben, Andrews and Aanderaa 1964 Box 1, Folder 25 Functions, ordinals, species 1967 Box 1, Folder 26 Functions, ordinals, species 1967 Box 1, Folder 27 Kreisel - Mathematical logic...[Russell volume] 1967 Box 1, Folder 28 Kreisel - Buffalo - Draft 1968 Box 1, Folder 29 Lawless Sequences of Natural Numbers 1968 Box 1, Folder 30 Functions, ordinals, species 1968 Box 1, Folder 31 Kreisel - The Formalist - positivist doctrine of... 1969 Box 1, Folder 32 Note on arithmetic models for consistent forumlae of the predicate calculus 1950 Box 1, Folder 33 Kreisel - Set theoretic problems suggested by the notion of potential totality undated Box 2, Folder 1 Kreisel - Intuitionistic mathematics undated Box 2, Folder 2 Lectures, Course Notes undated Box 2, Folder 3 Kreisel - Lectures on proof theory undated Box 2, Folder 4 Formal Rules and Questions of Justifying Mathematical Practice undated Box 2, Folder 5 Kreisel undated Box 2, Folder 6 Kreisel - Report on intuitionsim - Vol. 2 undated Box 3, Folder 1 Kreisel - Der unheilvolle Einbruch de Logik in die Mathematik 1975 Box 3, Folder 2 Various Articles by Kreisel circa 1969-1973 Box 3, Folder 3 Review of Brouwer's Collected Works I 1975 Box 3, Folder 4 Kreisel - Hilbert's Problem 1974 Box 3, Folder 5 Kreisel, Jeferman 1968 Box 3, Folder 6 Notions of Proof undated Box 3, Folder 7 Bertraud Russell's logic 1970 Box 3, Folder 8 Kreisel - Oslo - Draft 1970 Box 3, Folder 9 Axiomatizations of Nonstandard Analysis 1969 Box 3, Folder 10 Kreisel - Buffalo 1968 Box 3, Folder 11 Kreisel - Lecture Notes undated Box 3, Folder 12 Some Concepts concerning formal systems of number theory 1952 Box 3, Folder 13 Kreisel - Cours undated Box 4, Folder 1 Kreisel- AAAS Meeting Papers 1974 Box 4, Folder 2 Some purposes of generalizing recursion theory 1969 Box 4, Folder 3 Der unheilvolle Einbruch de Logik in die Mathematik 1975 Box 4, Folder 4 Review of Brouwer's Collected Works 1975 Box 4, Folder 5 Elementary logic: Some... 1976 Box 4, Folder 6 Miscellaneous undated Box 4, Folder 7 Predicative Analysis 1958 Box 4, Folder 8 Kreisel 1975 Box 4, Folder 9 Proposed Research 1975 Box 4, Folder 10 Kreisel - Letters to Van Heijenoort 1973 Box 4, Folder 11 Farikh 1975 Box 4, Folder 12 Misc. Correspondence 1970-1975 Box 4, Folder 13 Generalized inductive definitions undated Guide to the Georg Kreisel SC0233 3 Correspondence with Jean van Heijenoort Correspondence 1949-1981 Box 4, Folder 14 La predicativite 1960 Box 4, Folder 15 Lawless Sequences of Natural Numbers 1968 Box 4, Folder 16 Only Recursive Problems are Positively Reducible 1971 Box 4, Folder 17 Kreisel & Krivine - Corrections undated Box 4, Folder 18 Kreisel & Wang 1953 Box 4, Folder 19 Elementary completeness properties of intuitionistic logic 1958 Box 4, Folder 20 Kreisel on Herbrand undated Box 4, Folder 21 On the interpretation of... 1951-1952 Box 4, Folder 22 On the concepts of completeness 1952 Box 4, Folder 23 Niffo-American Conference 1973 Box 4, Folder 24 On the concepts of completeness 1952 Box 5, Folder 1 Topics in Proof Theory 1971 Box 5, Folder 2 Some conservative extensions of Primitive Recursive Arithmetic 1971 Box 5, Folder 3 Review of Gentzen Box 5, Folder 4 Bibliography undated Box 5, Folder 5 Report on intuitionism undated Box 5, Folder 6 Kreisel, Mints, Simpson undated Box 5, Folder 7 Formal Rules and Questions of Justifying Mathematical Practice 1974 Box 5, Folder 8 Elements of proof theory undated Box 5, Folder 9 Course on intuitionism 1973 Box 6, Folder 1 Kreisel 1976 Box 6, Folder 2 Kreisel - Misc. Correspondence 1973 Box 6, Folder 3 Kreisel - Memoirs 1974 Box 6, Folder 4 Countable Functions and Neighborhood Functions undated Box 6, Folder 5 Kreisel Seminar Notes and Construction Proof Theory 1969 Box 6, Folder 6 Kreisel - Proofs and Rules: Topics for illustrating Wittgenstein's style of thoughts 1976 Box 6, Folder 7 Kreisel - The motto of "Investigations" and the philosophy of proofs and rules 1976 Box 6, Folder 8 Memos and Papers circa 1977 Box 6, Folder 9 Kreisel - Rapport Sur La These de Girard 1972 Box 6, Folder 10 Kreisel - Finitely definable number theoretic functions... 1972 Box 6, Folder 11 Review of Dreisel, Buffalo - Church's Thesis 1970 Box 6, Folder 12 Kreisel - Facts and Fantasies about logic in philosophy 1970 Box 6, Folder 13 Kreisel - Some reasons for Generalizing Recursion Theory 1970 Box 6, Folder 14 Report on intuitionism - Stanford 1963 Box 7, Folder 1 J. Van Heijenoort - Constructionist Approch to Logic 1979 Jun 25 Box 7, Folder 2 Seminar 1978, Definitions and Preface 1978 Box 7, Folder 3 Memos and Letters 1979 Box 7, Folder 4 "On the Kind of Date Needed for a Theory of Proofs" 1976 Nov 4 Box 7, Folder 5 Kreisel 1981 Box 7, Folder 6 Kreisel 1981 Box 7, Folder 7 Kreisel 1975 Box 7, Folder 8 Kreisel 1976 Box 7, Folder 9 Kreisel Proofs of Rules 1976 Box 7, Folder 10 Memos and Letters 1979 Box 7, Folder 11 Kreisel Letter to Lopez-Escobar 1974 Box 8, Folder 1 Kreisel Some uses of Mathmatics 1956 Box 8, Folder 2 Kreisel Two Notes 1969 Box 8, Folder 3 Kreisel A Survey of Proof Theories 1970 Box 8, Folder 4 Review of... Undated Box 8, Folder 5 Kreisel 1980 Box 8, Folder 6 Kreisel- Foundations of Mathmatics:1900-1950 Undated Box 8, Folder 7 Axiomatizations of nonstandard analysis 1969 Box 8, Folder 8 Letter to Heyting 1970 Box 8, Folder 9 Observations of a recent 1976 Box 8, Folder 10 Wie die Beweistheorie undated Box 8, Folder 11 Kreisel Introduction 1978 Oct 11 Box 8, Folder 12 Kreisel Letters undated Guide to the Georg Kreisel SC0233 4 Correspondence with Jean van Heijenoort Correspondence 1949-1981 Box 8, Folder 13 Class notes 1969 Box 8, Folder 14 GK Closed Undated Box 8, Folder 15 Mints Correspondence 1970 Oct Box 8, Folder 16 Dreben Crrespondence with Kresiel 1968 Oct 9 Box 8, Folder 17 Correspondence Confidential Letters 1969-1977 Box 8, Folder 18 Kreisel 1974-1979 Box 8, Folder 19 On "Kurt Godel" and a Paper by G.
Load more

Recommended publications
  • “Gödel's Modernism: on Set-Theoretic Incompleteness,” Revisited
    “G¨odel'sModernism: on Set-Theoretic Incompleteness," revisited∗ Mark van Atten and Juliette Kennedy As to problems with the answer Yes or No, the con- viction that they are always decidable remains un- touched by these results. —G¨odel Contents 1 Introduction 1.1 Questions of incompleteness On Friday, November 15, 1940, Kurt G¨odelgave a talk on set theory at Brown University.1 The topic was his recent proof of the consistency of Cantor's Con- tinuum Hypothesis, henceforth CH,2 with the axiomatic system for set theory ZFC.3 His friend from their days in Vienna, Rudolf Carnap, was in the audience, and afterward wrote a note to himself in which he raised a number of questions on incompleteness:4 (Remarks I planned to make, but did not) Discussion on G¨odel'slecture on the Continuum Hypothesis, November 14,5 1940 There seems to be a difference: between the undecidable propo- sitions of the kind of his example [i.e., 1931] and propositions such as the Axiom of Choice, and the Axiom of the Continuum [CH ]. We used to ask: \When these two have been decided, is then everything decided?" (The Poles, Tarski I think, suspected that this would be the case.) Now we know that (on the basis of the usual finitary rules) there will always remain undecided propositions. ∗An earlier version of this paper appeared as ‘G¨odel'smodernism: on set-theoretic incom- pleteness', Graduate Faculty Philosophy Journal, 25(2), 2004, pp.289{349. Erratum facing page of contents in 26(1), 2005. 1 1. Can we nevertheless still ask an analogous question? I.e.
    [Show full text]
  • Mathematical Induction - a Miscellany of Theory, History and Technique
    Mathematical Induction - a miscellany of theory, history and technique Theory and applications for advanced secondary students Part 4 Peter Haggstrom This work is subject to Copyright. It is a chapter in a larger work. You can however copy this chapter for educational purposes under the Statutory License of the Copyright Act 1968 - Part VB For more information [email protected] Copyright 2009 [email protected] The building blocks of Gödelʼs Theorem The foundations of Gödel’s Theorem (ie his undecidability theorem) are to be found in about 50 papers contained in a book by Jean van Heijenoort:, “From Frege to Gödel: A Source Book in Mathematical Logic, 1879 - 1931”. Every serious logic student has read this book. Van Heijenoort is worth mentioning even if only for his colourful past which is described by Benjamin H Yandell in his book “The Honors Class: Hilbert’s Problems and Their Solvers”, A K Peters, 2002, page 66. I quote in full: “ I assumed van Heijenoort was merely a logician as I gratefully pored over his book and was astounded when I learned that as a young man, in the 1930s, he had followed Leon Trotsky from Turkey to France to Norway to Mexico, as his body guard and secretary. Anita Feferman’s ”From Trotsky to Gödel”: The Life of Jean van Heijenoort” tells van Heijenoort’s remarkable story. Trotsky and his camp were pursued by Stalinist agents; van Heijenoort always packed a gun. Van Heijenoort had an affair with an artist Frida Kahlo. He epitomized cool and was attractive to women, and this continued even after he became a logician, He had grown tired of the rigors of life with Trotsky and traveled to New York in 1939 on a somewhat vague mission.
    [Show full text]
  • Georg Kreisel Papers SC0136
    http://oac.cdlib.org/findaid/ark:/13030/kt4k403759 No online items Guide to the Georg Kreisel Papers SC0136 Daniel Hartwig & Jenny Johnson Department of Special Collections and University Archives October 2010 Green Library 557 Escondido Mall Stanford 94305-6064 [email protected] URL: http://library.stanford.edu/spc Note This encoded finding aid is compliant with Stanford EAD Best Practice Guidelines, Version 1.0.This encoded finding aid is compliant with Stanford EAD Best Practice Guidelines, Version 1.0. Guide to the Georg Kreisel Papers SC0136 1 SC0136 Language of Material: English Contributing Institution: Department of Special Collections and University Archives Title: Georg Kreisel papers creator: Kreisel, Georg Identifier/Call Number: SC0136 Physical Description: 24.75 Linear Feet Date (inclusive): 1957-1984 Language of Material: English Language of Material: English Abstract: Correspondence with professional colleagues, collaborators, students, and others, primarily from 1962 to 1984, lecture notes, manuscripts and other writings. Ownership & Copyright All requests to reproduce, publish, quote from, or otherwise use collection materials must be submitted in writing to the Head of Special Collections and University Archives, Stanford University Libraries, Stanford, California 94304-6064. Consent is given on behalf of Special Collections as the owner of the physical items and is not intended to include or imply permission from the copyright owner. Such permission must be obtained from the copyright owner, heir(s) or assigns. See: http://library.stanford.edu/depts/spc/pubserv/permissions.html. Restrictions also apply to digital representations of the original materials. Use of digital files is restricted to research and educational purposes. Biographical/Historical Sketch Professor of Logic and the Foundations of Mathematics at Stanford University.
    [Show full text]
  • Kreisel and Wittgenstein
    Kreisel and Wittgenstein Akihiro Kanamori September 17, 2018 Georg Kreisel (15 September 1923 { 1 March 2015) was a formidable math- ematical logician during a formative period when the subject was becoming a sophisticated field at the crossing of mathematics and logic. Both with his technical sophistication for his time and his dialectical engagement with man- dates, aspirations and goals, he inspired wide-ranging investigation in the meta- mathematics of constructivity, proof theory and generalized recursion theory. Kreisel's mathematics and interactions with colleagues and students have been memorably described in Kreiseliana ([Odifreddi, 1996]). At a different level of interpersonal conceptual interaction, Kreisel during his life time had extended engagement with two celebrated logicians, the mathematical Kurt G¨odeland the philosophical Ludwig Wittgenstein. About G¨odel,with modern mathemat- ical logic palpably emanating from his work, Kreisel has reflected and written over a wide mathematical landscape. About Wittgenstein on the other hand, with an early personal connection established Kreisel would return as if with an anxiety of influence to their ways of thinking about logic and mathematics, ever in a sort of dialectic interplay. In what follows we draw this out through his published essays|and one letter|both to elicit aspects of influence in his own terms and to set out a picture of Kreisel's evolving thinking about logic and mathematics in comparative relief.1 As a conceit, we divide Kreisel's engagements with Wittgenstein into the \early", \middle", and \later" Kreisel, and account for each in successive sec- tions. x1 has the \early" Kreisel directly interacting with Wittgenstein in the 1940s and initial work on constructive content of proofs.
    [Show full text]
  • How Peircean Was the “'Fregean' Revolution” in Logic?
    HOW PEIRCEAN WAS THE “‘FREGEAN’ REVOLUTION” IN LOGIC? Irving H. Anellis Peirce Edition, Institute for American Thought Indiana University – Purdue University at Indianapolis Indianapolis, IN, USA [email protected] Abstract. The historiography of logic conceives of a Fregean revolution in which modern mathematical logic (also called symbolic logic) has replaced Aristotelian logic. The preeminent expositors of this conception are Jean van Heijenoort (1912–1986) and Don- ald Angus Gillies. The innovations and characteristics that comprise mathematical logic and distinguish it from Aristotelian logic, according to this conception, created ex nihlo by Gottlob Frege (1848–1925) in his Begriffsschrift of 1879, and with Bertrand Rus- sell (1872–1970) as its chief This position likewise understands the algebraic logic of Augustus De Morgan (1806–1871), George Boole (1815–1864), Charles Sanders Peirce (1838–1914), and Ernst Schröder (1841–1902) as belonging to the Aristotelian tradi- tion. The “Booleans” are understood, from this vantage point, to merely have rewritten Aristotelian syllogistic in algebraic guise. The most detailed listing and elaboration of Frege’s innovations, and the characteristics that distinguish mathematical logic from Aristotelian logic, were set forth by van Heijenoort. I consider each of the elements of van Heijenoort’s list and note the extent to which Peirce had also developed each of these aspects of logic. I also consider the extent to which Peirce and Frege were aware of, and may have influenced, one another’s logical writings. AMS (MOS) 2010 subject classifications: Primary: 03-03, 03A05, 03C05, 03C10, 03G27, 01A55; secondary: 03B05, 03B10, 03E30, 08A20; Key words and phrases: Peirce, abstract algebraic logic; propositional logic; first-order logic; quantifier elimina- tion, equational classes, relational systems §0.
    [Show full text]
  • An Interview with Martin Davis
    Notices of the American Mathematical Society ISSN 0002-9920 ABCD springer.com New and Noteworthy from Springer Geometry Ramanujan‘s Lost Notebook An Introduction to Mathematical of the American Mathematical Society Selected Topics in Plane and Solid Part II Cryptography May 2008 Volume 55, Number 5 Geometry G. E. Andrews, Penn State University, University J. Hoffstein, J. Pipher, J. Silverman, Brown J. Aarts, Delft University of Technology, Park, PA, USA; B. C. Berndt, University of Illinois University, Providence, RI, USA Mediamatics, The Netherlands at Urbana, IL, USA This self-contained introduction to modern This is a book on Euclidean geometry that covers The “lost notebook” contains considerable cryptography emphasizes the mathematics the standard material in a completely new way, material on mock theta functions—undoubtedly behind the theory of public key cryptosystems while also introducing a number of new topics emanating from the last year of Ramanujan’s life. and digital signature schemes. The book focuses Interview with Martin Davis that would be suitable as a junior-senior level It should be emphasized that the material on on these key topics while developing the undergraduate textbook. The author does not mock theta functions is perhaps Ramanujan’s mathematical tools needed for the construction page 560 begin in the traditional manner with abstract deepest work more than half of the material in and security analysis of diverse cryptosystems. geometric axioms. Instead, he assumes the real the book is on q- series, including mock theta Only basic linear algebra is required of the numbers, and begins his treatment by functions; the remaining part deals with theta reader; techniques from algebra, number theory, introducing such modern concepts as a metric function identities, modular equations, and probability are introduced and developed as space, vector space notation, and groups, and incomplete elliptic integrals of the first kind and required.
    [Show full text]
  • Bio-Bibliographical Sketch of Jean Van Heijenoort
    Lubitz’ TrotskyanaNet Jean Van Heijenoort Bio-Bibliographical Sketch Contents: Basic biographical data Biographical sketch Selective bibliography Sidelines, notes on archives Basic biographical data Name: Jean Van Heijenoort Other names (by-names, pseud. etc.): Alex Barbon ; Jacques Carton ; García Cestero ; Jarvis Gerland ; J.v.H. ; Vladimir Ivlev ; John ; Marcel Letourneur ; Daniel Logan ; Marc Loris ; K.M. ; M. Marcel ; Karl Mayer ; Karl Meyer ; Jean Rebel ; V. ; Van ; Jean Louis Maxime Van Heijenoort ; John Van Heijenoort ; Jean Vannier ; Ann Vincent ; J. Walter Wind ; Windy Date and place of birth: July 23, 1912, Creil (France) Date and place of death: March 29, 1986, México, D.F. (México) Nationality: French ; USA Occupations, careers: Professor of philosophy, mathematician, logician, archivist, writer, editor, translator, secretary, political activist Time of activity in Trotskyist movement: 1931 - 1948 Biographical sketch Jean Van Heijenoort was undoubtedly one of the most distinguished and devoted persons who shared the Trotskyist movement: first a secretary and bodyguard to Trotsky, then a secretary of the Fourth International and eventually one of the most eminent scholars in the field of modern mathematics and history of logic. His remark- able and quite extraordinary itinerary has been described and appraised by various renowned historians and scholars such as Pierre Broué or Irving H. Anellis, and a rich book-length biography about him from Anita B. Feferman's pen has been available since 19931. Jean (Louis Maxime) Van Heijenoort was born in Creil (Département Oise, France) on July 23, 1912 as son of a working-class family: his father was Jean Théodore Didier van Heijenoort (b. 1885), a Dutchman who had immigrated to France, and his mother was Charlotte Hélène Balagny (b.
    [Show full text]
  • On Diagonal Argument. Russell Absurdities and an Uncountable Notion of Lingua Characterica
    ON DIAGONAL ARGUMENT. RUSSELL ABSURDITIES AND AN UNCOUNTABLE NOTION OF LINGUA CHARACTERICA JAMES DOUGLASS KING Bachelor of Arts, University of Lethbridge, 1996 A Thesis Submitted to the School of Graduate Studies of the University of Lethbridge in Partial Fulfillment of the Requirements for the Degree MASTER OF ARTS Department of Philosophy University of Lethbridge LETHBRIDGE, ALBERTA, CANADA © James Douglass King, 2004 ABSTRACT There is an interesting connection between cardinality of language and the distinction of lingua characterica from calculus rationator. Calculus-type languages have only a countable number of sentences, and only a single semantic valuation per sentence. By contrast, some of the sentences of a lingua have available an uncountable number of semantic valuations. Thus, the lingua-type of language appears to have a greater degree of semantic universality than that of a calculus. It is suggested that the present notion of lingua provides a platform for a theory of ambiguity, whereby single sentences may have multiply - indeed, uncountably - many semantic valuations. It is further suggested that this might lead to a pacification of paradox. This thesis involves Peter Aczel's notion of a universal syntax, Russell's question, Keith Simmons* theory of diagonal argument, Curry's paradox, and a 'Leibnizian' notion of language. iii ACKNOWLEDGEMENTS The following people are due great thanks and gratitude for their constant support and understanding over the considerable time that it took to develop this thesis. They are each sine qua non of my success. Bryson Brown has supported my efforts from beginning to end, since my undergraduate studies when I first found my love of logic and philosophy; he also brought me to understand much that I have otherwise found obscure and/or irrelevant, and he provided important moral support.
    [Show full text]
  • “YOU MUST REMEMBER THIS” Abraham (“Abe”) Edel
    MATERIAL FOR “YOU MUST REMEMBER THIS” Abraham (“Abe”) Edel (6 December 1908 – 22 June 2007) “Twenty-Seven Uses of Science in Ethics,” 7/2/67 Abraham Edel, In Memoriam, by Peter Hare and Guy Stroh Abraham Edel, 1908-2007 Abraham Edel was born in Pittsburgh, Pennsylvania on December 6, 1908. Raised in Yorkton, Canada with his older brother Leon who would become a biographer of Henry James, Edel studied Classics and Philosophy at McGill University, earning a BA in 1927 and an MA in 1928. He continued his education at Oxford where, as he recalled, “W.D. Ross and H.A. Prichard were lecturing in ethics, H.W.B. Joseph on Plato, and the influence of G. E. Moore and Bertrand Russell extended from Cambridge. Controversy on moral theory was high. The same was true of epistemology, where Prichard posed realistic epistemology against Harold Joachim who was defending Bradley and Bosanquet against the metaphysical realism of Cook Wilson.” He received a BA in Litterae Humaniores from Oxford in 1930. In that year he moved to New York City for doctoral studies at Columbia University, and in 1931 began teaching at City College, first as an assistant to Morris Raphael Cohen. F.J.E. Woodbridge directed his Columbia dissertation, Aristotle’s Theory of the Infinite (1934). This monograph and two subsequent books on Aristotle were influenced by Woodbridge’s interpretation of Aristotle as a philosophical naturalist. Although his dissertation concerned ancient Greek philosophy, he was much impressed by research in the social sciences at Columbia, and the teaching of Cohen at City College showed him how philosophical issues lay at the root of the disciplines of psychology, sociology, history, as well as the natural sciences.
    [Show full text]
  • Una Fundamentaci´On De La Historia De Las Matem´Aticas
    UNA FUNDAMENTACION´ DE LA HISTORIA DE LAS MATEMATICAS´ UNA FUNDAMENTACION´ DE LA HISTORIA DE LAS MATEMATICAS´ Jesus Hernando P´erezAlc´azar OSCAR´ ARMANDO IBARRA RUSSI Rector ALEJANDRO ALVAREZ´ GALLEGO Vicerrector Acad´emico MARIO BALLESTEROS MEJ´IA Vicerrector Administrativo y Financiero NOHORA PATRICIA MORENO GARC´IA Vicerrectora de Gesti´onUniversitaria c Universidad Pedag´ogicaNacional c Jes´us Hernando P´erez Alc´azar Profesor investigador Universidad Sergio Arboleda ISBN: Primera edici´on,2007 Preparaci´oneditorial Universidad Pedag´ogicaNacional Fondo Editorial LUIS EDUARDO VASQUEZ´ SALAMANCA Coordinador Impresi´on Bogot´a,Colombia, 2007 Dedicado a: La memoria de mi padre, el educador matem´atico Jos´e Ignacio P´erez, Mi madre Aura Mar´ıaAlc´azar. Contenido Agradecimientos IV Presentaci´on V Prefacio VIII 1. Principios orientadores para la fundamentaci´onde la historia de la matem´aticas 1 1.1. (P1) Principio de Durkheim o de la divisi´onsocial trabajo . 1 1.2. (P2) Principio ´eticoy legal o de las tensiones entre permitido versus prohibido y conveniente versus inconveniente . 2 1.3. (P3) Principio acad´emico o de la dial´ecticaimaginarios versus teor´ıas 4 1.4. (P4) Principio de historicidad . 8 1.5. (P5) Principio de Chomsky o de la tensi´onentre finito e infinito . 10 1.6. (P6) Principio anfibi´oticoo de la tensi´onentre ser y no ser . 14 2. Ejemplos iniciales de documentos historiogr´aficos 19 2.1. Un art´ıculode divulgaci´on. 19 2.2. Un trabajo hist´orico-filos´ofico . 24 2.3. Historia de la historia . 27 2.4. (P7) Principio de Struik o de la dignificaci´onde la especie humana 30 2.4.
    [Show full text]
  • On Godel's Way In: the Influence of Rudolf Carnap
    On Godel's Way In: The Influence of Rudolf Carnap The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters Citation Goldfarb, Warren. 2005. On Godel's way in: The influence of Rudolf Carnap. Bulletin of Symbolic Logic 11, no. 2: 185-193. Published Version http://dx.doi.org/10.2178/bsl/1120231629 Citable link http://nrs.harvard.edu/urn-3:HUL.InstRepos:3153305 Terms of Use This article was downloaded from Harvard University’s DASH repository, and is made available under the terms and conditions applicable to Other Posted Material, as set forth at http:// nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of- use#LAA On Godel's Way in: The Influence of Rudolf Carnap Author(s): Warren Goldfarb Source: The Bulletin of Symbolic Logic, Vol. 11, No. 2 (Jun., 2005), pp. 185-193 Published by: Association for Symbolic Logic Stable URL: http://www.jstor.org/stable/1556748 Accessed: 24/06/2009 18:20 Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/action/showPublisher?publisherCode=asl.
    [Show full text]
  • Some Views of Russell and Russell's Logic by His
    SOME VIEWS OF RUSSELL AND RUSSELL’S LOGIC BY HIS CONTEMPORARIES, WITH PARTICULAR REFERENCE TO PEIRCE IRVING H. ANELLIS In the years prior to World War I, it was not yet definitively certain that the new logistic developed and espoused by Frege and Russell was the “wave of the future” of mathematical logic. Ernst Schröder’s Vorlesungen über die Algebra der Logik (1895– 1905) was still new and viewed as the cutting edge of (algebraic—as opposed to Aristote- lian) logic; Giuseppe Peano still proclaimed, in his earliest work on logic, his indebted- ness to George Boole, Charles Peirce, and Ernst Schröder, in the first footnote of his Arithmetices principia nova methodo exposita (1898), while, in a letter to Russell of 19 March 1901,1 Peano told Russell that his paper “Sur la logique des relations avec des ap- plications à la théorie des séries” on the logic of relations (1901) just “fills a gap between the work of Peirce and Schröder on the one hand and” his own “Formulaire on the other;” Alfred North Whitehead’s Treatise on Universal Algebra (1898) also still new, brought together the algebraic logic of Boole with the linear and multilinear algebras of Arthur Cayley, James Joseph Sylvester, William Rowan Hamilton, and Charles Peirce’s father Benjamin Peirce, and the calculus of extension of Hermann Grassmann. In his Treatise, Whitehead (p. x) not only named Hamilton and De Morgan as “the first to ex- press quite clearly the general possibilities of algebraic symbolism,” but continually ex- pressed his indebtedness to Boole, Grassmann, De Morgan, Schröder, and John Venn; and he described his Treatise (p.
    [Show full text]