Turing, Lebensform, and the Emergence of Wittgenstein's Later
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
“The Church-Turing “Thesis” As a Special Corollary of Gödel's
“The Church-Turing “Thesis” as a Special Corollary of Gödel’s Completeness Theorem,” in Computability: Turing, Gödel, Church, and Beyond, B. J. Copeland, C. Posy, and O. Shagrir (eds.), MIT Press (Cambridge), 2013, pp. 77-104. Saul A. Kripke This is the published version of the book chapter indicated above, which can be obtained from the publisher at https://mitpress.mit.edu/books/computability. It is reproduced here by permission of the publisher who holds the copyright. © The MIT Press The Church-Turing “ Thesis ” as a Special Corollary of G ö del ’ s 4 Completeness Theorem 1 Saul A. Kripke Traditionally, many writers, following Kleene (1952) , thought of the Church-Turing thesis as unprovable by its nature but having various strong arguments in its favor, including Turing ’ s analysis of human computation. More recently, the beauty, power, and obvious fundamental importance of this analysis — what Turing (1936) calls “ argument I ” — has led some writers to give an almost exclusive emphasis on this argument as the unique justification for the Church-Turing thesis. In this chapter I advocate an alternative justification, essentially presupposed by Turing himself in what he calls “ argument II. ” The idea is that computation is a special form of math- ematical deduction. Assuming the steps of the deduction can be stated in a first- order language, the Church-Turing thesis follows as a special case of G ö del ’ s completeness theorem (first-order algorithm theorem). I propose this idea as an alternative foundation for the Church-Turing thesis, both for human and machine computation. Clearly the relevant assumptions are justified for computations pres- ently known. -
A Two-Dimensional Logic for Diagonalization and the a Priori∗†
A Two-Dimensional Logic for Diagonalization and the A Priori∗† Melissa Fusco February 10, 2020 A Introduction Two-dimensional semantics, which can represent a distinction between apriority and necessity, has wielded considerable influence in the philosophy of language. In this paper, I axiomatize the logic of the y operator of Stalnaker (1978) in the context of two-dimensional modal logic. This operator traces its ancestry through Segerberg (1973) and Åqvist (1973). In two-dimensional modal logic, the truth of a formula ϕ in a model M is relativized to two parameters: a parameter representing the world-as-actual, which in our semantic notation (as in (@), (y), and (■), below) appears first, and a parameter representing the world of evaluation, which we write second.1 My exposition leans on Stalnaker’s notion of diagonalization, and his characterization of a priori/necessary (A/■) distinction as the contrast between the truth of ■ y ϕ and the truth of ■ϕ. The Kripke models used for this result are shown to be equivalent to Stalnaker’s matrix models, which are well known in philosophy of language. I call this proof system B2D, for “basic two-dimensionalism”. The object language contains both “actually” (@) and the y operator. (@) M; y; x ⊨ @ϕ iff M; y; y ⊨ ϕ (y) M; y; x ⊨ yϕ iff M; x; x ⊨ ϕ The language also contains a global S5 modality ■ common in discussions of two-dimensional semantics (Crossley & Humberstone, 1977; Davies & Humberstone, 1980; Fritz, 2013, 2014): (■) M; y; x ⊨ ■ϕ iff for all x0: M; y; x0 ⊨ ϕ ∗Preprint. Forthcoming in Synthese (please cite published version). -
“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. -
Wittgenstein's Elimination of Identity for Quantifier-Free Logic
ZU064-05-FPR EliminationQFLApproved˙final 19 December 2019 17:0 The Review of Symbolic Logic Volume XXX, Number XXX, XXX YYY Wittgenstein's Elimination of Identity for Quantifier-Free Logic TIMM LAMPERT and MARKUS SABEL¨ Humboldt University Berlin Abstract. One of the central logical ideas in Wittgenstein's Tractatus logico-philoso- phicus is the elimination of the identity sign in favor of the so-called \exclusive interpre- tation" of names and quantifiers requiring different names to refer to different objects and (roughly) different variables to take different values. In this paper, we examine a recent development of these ideas in papers by Kai Wehmeier. We diagnose two main problems of Wehmeier's account, the first concerning the treatment of individual constants, the second concerning so-called \pseudo-propositions" (Scheins¨atze) of classical logic such as a = a or a = b ^ b = c ! a = c. We argue that overcoming these problems requires two fairly drastic departures from Wehmeier's account: (1) Not every formula of classical first- order logic will be translatable into a single formula of Wittgenstein's exclusive notation. Instead, there will often be a multiplicity of possible translations, revealing the original \inclusive" formulas to be ambiguous. (2) Certain formulas of first-order logic such as a = a will not be translatable into Wittgenstein's notation at all, being thereby revealed as nonsensical pseudo-propositions which should be excluded from a \correct" conceptual notation. We provide translation procedures from inclusive quantifier-free logic into the exclusive notation that take these modifications into account and define a notion of logical equivalence suitable for assessing these translations. -
Turing, Gödel and the Bright Abyss
Turing, Gödel and the “Bright Abyss” Juliet Floyd ! 2/5/2015 9:25 AM Comment [1]: 1. Check phone number okay to use this ong?; Also need 2. ABSTRACT of 1 Introduction 150-200 words and 3. a CONTRIBUTOR bi- ography of up to 100 words! Xxx, J. They have completely forgotten what is a mathematical creation: a vision that decants little by little over months and years, bringing to light the obvious [evident] thing that no one had seen, taking form in an obvious assertion of which no one had dreamed ... and that the first one to come along can then prove in five minutes, using techniques ready to hand [toutes cuites] • A. Grothendiek, Recoltes et Sémailles, 1986 Mathematics: there is that which is taken on faith and that which is proved; there is that which is buried deep inside the heart of the mathematician1 and that which is wholly public; there is intuition and fact and the “bright abyss” in be- tween; there is the raw, one might say, and the cooked. I hold up my hand and I count five fingers. I take it on faith that the mapping from fingers onto numbers is recursive in the sense of the mathematician’s defi- nition of the informal concept, “human calculability following a fixed routine.” I cannot prove the mapping is recursive—there is nothing to prove! Of course, mathematicians can prove many theorems about recursiveness, moving forward, so to speak, once the definition of the concept “recursive” has been isolated. Moving backwards is more difficult and this is as it should be: for how can one possibly hope to prove that a mathematical -
6 X 10.5 Long Title.P65
Cambridge University Press 978-0-521-83843-6 - Seeing Wittgenstein Anew Edited by William Day and Victor J. Krebs Frontmatter More information Seeing Wittgenstein Anew Seeing Wittgenstein Anew is the first collection to examine Ludwig Wittgenstein’s remarks on the concept of aspect-seeing. These essays show that aspect-seeing was not simply one more topic of in- vestigation in Wittgenstein’s later writings, but, rather, that it was a pervasive and guiding concept in his efforts to turn philosophy’s attention to the actual conditions of our common life in language. Arranged in sections that highlight the pertinence of the aspect- seeing remarks to aesthetic and moral perception, self-knowledge, mind and consciousness, linguistic agreement, philosophical therapy, and “seeing connections,” the sixteen essays, which were specially commissioned for this volume, demonstrate the unity of not only Philosophical Investigations but also Wittgenstein’s later thought as a whole. They open up novel paths across familiar fields of thought: the objectivity of interpretation, the fixity of the past, the acquisition of language, and the nature of human conscious- ness. Significantly, they exemplify how continuing consideration of the interrelated phenomena and concepts surrounding aspect- seeing might produce a fruitful way of doing philosophy. William Day is Associate Professor of Philosophy at Le Moyne College. A recipient of fellowships from the National Endowment for the Humanities, he has written articles on aesthetics and moral per- fectionist thought, with particular focus on the work of Wittgenstein, Cavell, Emerson, and Confucian thinkers. Victor J. Krebs is Associate Professor of Philosophy at the Pontificia Universidad Católica del Perú. -
The Cyber Entscheidungsproblem: Or Why Cyber Can’T Be Secured and What Military Forces Should Do About It
THE CYBER ENTSCHEIDUNGSPROBLEM: OR WHY CYBER CAN’T BE SECURED AND WHAT MILITARY FORCES SHOULD DO ABOUT IT Maj F.J.A. Lauzier JCSP 41 PCEMI 41 Exercise Solo Flight Exercice Solo Flight Disclaimer Avertissement Opinions expressed remain those of the author and Les opinons exprimées n’engagent que leurs auteurs do not represent Department of National Defence or et ne reflètent aucunement des politiques du Canadian Forces policy. This paper may not be used Ministère de la Défense nationale ou des Forces without written permission. canadiennes. Ce papier ne peut être reproduit sans autorisation écrite. © Her Majesty the Queen in Right of Canada, as © Sa Majesté la Reine du Chef du Canada, représentée par represented by the Minister of National Defence, 2015. le ministre de la Défense nationale, 2015. CANADIAN FORCES COLLEGE – COLLÈGE DES FORCES CANADIENNES JCSP 41 – PCEMI 41 2014 – 2015 EXERCISE SOLO FLIGHT – EXERCICE SOLO FLIGHT THE CYBER ENTSCHEIDUNGSPROBLEM: OR WHY CYBER CAN’T BE SECURED AND WHAT MILITARY FORCES SHOULD DO ABOUT IT Maj F.J.A. Lauzier “This paper was written by a student “La présente étude a été rédigée par un attending the Canadian Forces College stagiaire du Collège des Forces in fulfilment of one of the requirements canadiennes pour satisfaire à l'une des of the Course of Studies. The paper is a exigences du cours. L'étude est un scholastic document, and thus contains document qui se rapporte au cours et facts and opinions, which the author contient donc des faits et des opinions alone considered appropriate and que seul l'auteur considère appropriés et correct for the subject. -
Logic in the Tractatus
Logic in the Tractatus by Max Weiss A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY in The Faculty of Graduate and Postdoctoral Studies (Philosophy) THE UNIVERSITY OF BRITISH COLUMBIA (Vancouver) October 2013 © Max Weiss 2013 Abstract What is logic, in the Tractatus? There is a pretty good understanding what is logic in Grundgesetze, or Principia. With respect to the Tractatus no comparably definite answer has been received. One might think that this is because, whether through incompetence or obscurantism, Wittgenstein simply does not propound a definite conception. To the contrary, I argue that the text of the Tractatus sup- ports, up to a high degree of confidence, the attribution of a philosophically well-motivated and mathematically definite answer to the question what is logic. ii Preface Warum hier plötzlich Worte? (5.452) It is something of an accident that I ended up writing a dissertation about the Tractatus. In 2009, I was casting around for a thesis topic and somehow found myself in Carl Posy’s seminar on Brouwer at The Hebrew University. He seemed like a pretty good person to ask. When we met, he took out his copy of the Critique of Pure Reason and read out a passage in which he discerned insights later conveyed in certain early 1970s lectures at Princeton on the philosophy of language. History—or, better, long conversation—brings a structure that he thought I needed. It also helped that Posy clearly enjoys talking about Brouwer. Then it did come down to early Wittgenstein.1 In my first year as an under- graduate, my favorite course had been an introduction to logic taught by San- ford Shieh. -
Lambda Calculus and the Decision Problem
Lambda Calculus and the Decision Problem William Gunther November 8, 2010 Abstract In 1928, Alonzo Church formalized the λ-calculus, which was an attempt at providing a foundation for mathematics. At the heart of this system was the idea of function abstraction and application. In this talk, I will outline the early history and motivation for λ-calculus, especially in recursion theory. I will discuss the basic syntax and the primary rule: β-reduction. Then I will discuss how one would represent certain structures (numbers, pairs, boolean values) in this system. This will lead into some theorems about fixed points which will allow us have some fun and (if there is time) to supply a negative answer to Hilbert's Entscheidungsproblem: is there an effective way to give a yes or no answer to any mathematical statement. 1 History In 1928 Alonzo Church began work on his system. There were two goals of this system: to investigate the notion of 'function' and to create a powerful logical system sufficient for the foundation of mathematics. His main logical system was later (1935) found to be inconsistent by his students Stephen Kleene and J.B.Rosser, but the 'pure' system was proven consistent in 1936 with the Church-Rosser Theorem (which more details about will be discussed later). An application of λ-calculus is in the area of computability theory. There are three main notions of com- putability: Hebrand-G¨odel-Kleenerecursive functions, Turing Machines, and λ-definable functions. Church's Thesis (1935) states that λ-definable functions are exactly the functions that can be “effectively computed," in an intuitive way. -
On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem
On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem Yannick Forster Dominik Kirst Gert Smolka Saarland University Saarland University Saarland University Saarbrücken, Germany Saarbrücken, Germany Saarbrücken, Germany [email protected] [email protected] [email protected] Abstract like decidability, enumerability, and reductions are avail- We formalise the computational undecidability of validity, able without reference to a concrete model of computation satisfiability, and provability of first-order formulas follow- such as Turing machines, general recursive functions, or ing a synthetic approach based on the computation native the λ-calculus. For instance, representing a given decision to Coq’s constructive type theory. Concretely, we consider problem by a predicate p on a type X, a function f : X ! B Tarski and Kripke semantics as well as classical and intu- with 8x: p x $ f x = tt is a decision procedure, a function itionistic natural deduction systems and provide compact д : N ! X with 8x: p x $ ¹9n: д n = xº is an enumer- many-one reductions from the Post correspondence prob- ation, and a function h : X ! Y with 8x: p x $ q ¹h xº lem (PCP). Moreover, developing a basic framework for syn- for a predicate q on a type Y is a many-one reduction from thetic computability theory in Coq, we formalise standard p to q. Working formally with concrete models instead is results concerning decidability, enumerability, and reducibil- cumbersome, given that every defined procedure needs to ity without reference to a concrete model of computation. be shown representable by a concrete entity of the model. -
Westphal Says That His Exhibition of Two Sources of a Commitment in Kant to Mental Content Externalism Ought to Be Understood
Can Mental Content Externalism Prove Realism?1 (Axel Mueller, Northwestern University) Recently, Kenneth Westphal has presented a highly interesting and innovative reading of Kant's critical philosophy.2 This reading continues a tradition of Kant- scholarship of which, e.g., Paul Guyer's work is representative, and in which the anti- idealistic potential of Kant's critical philosophy is pitted against its idealistic self- understanding. Much of the work in this tradition leaves matters at observing the tensions this introduces in Kant's work. But Westphal's proposed interpretation goes farther. Its attractiveness derives for the most part from the promise that it permits an internal critique of Kant's transcendental idealism (TI), that is, a critique that is based on the very resources of Kantian transcendental philosophy.3 In contrast to these resources, which currently seem to go through a sort of revival in an enormous array of fields, TI is notorious for dismaying even sympathetic interpreters. How attractive and needed such an internal critique of TI would be becomes all the more patent when we place such a promise in the context of some of the contemporary discussions about TI after Allison's famous defense of it. Before directly engaging with Westphal's interpretation, I would therefore like to quickly sketch on what background it acquires its force (I). After characterizing the main features of Westphal's view (II), and supporting it in more detail by an account of Kant's theory of cognitive significance (III), I then want to review the extent of its success to present Kant as issuing an anti-skeptical argument (IV.1), or semantic views that are incompatible with TI (IV.2), or a 'proof of not merely empirical realism' (IV.3). -
2.2 Glock Et Al
Journal for the History of Book Symposium: Analytical Philosophy Hans-Johann Glock, What is Analytic Philosophy? Volume 2, Number 2 Introduction Hans-Johann Glock..................... 1 Editor in Chief Mark Textor, King’s College London Commentaries Guest Editor Leila Haaparanta......................... 2 Mirja Hartimo, University of Helsinki Christopher Pincock....................6 Editorial Board Panu Raatikainen........................11 Juliet Floyd, Boston University Graham Stevens.......................... 28 Greg Frost-Arnold, Hobart and William Smith Colleges Ryan Hickerson, University of Western Oregon Replies Henry Jackman, York University Hans-Johann Glock..................... 36 Sandra Lapointe, McMaster University Chris Pincock, Ohio State University Richard Zach, University of Calgary Production Editor Ryan Hickerson Editorial Assistant Daniel Harris, CUNY Graduate Center Design Douglas Patterson and Daniel Harris ©2013 The Authors What is Analytic Philosophy? shall not be able to respond to all of the noteworthy criticisms and questions of my commentators. I have divided my responses ac- Hans-Johann Glock cording to commentator rather than topic, while also indicating some connections between their ideas where appropriate. Let me start by thanking the Journal for the History of Analytical Phi- losophy for offering me this opportunity to discuss my book What is Analytical Philosophy? (Cambridge, 2008). I am also very grateful Hans-Johann Glock for the valuable feedback from the contributors. And I thank both University of Zurich the journal and the contributors for their patience in waiting for [email protected] my replies. I was pleased to discover that all of my commentators express a certain sympathy with the central contention of my book, namely that analytic philosophy is an intellectual movement of the twentieth-century (with roots in the nineteenth and offshoots in the twenty-first), held together by family-resemblances on the one hand, ties of historical influence on the other.