A survey of current evidence available concerning Wittgenstein's attitude toward, and knowledge of, Gödel's first incompleteness theorem, including his discussions with Turing, Watson and others in 1937–1939, and later testimony of Goodstein and Kreisel; 2) Discussion of the philosophical and historical importance of Wittgenstein's attitude toward Gödel's and other theorems in mathematical logic, contrasting this attitude with that of, e.g., Penrose; 3) Replies to an instructive criticism of my 1995 paper by Mark Steiner which assesses the importance of Tarski's semantical (...) work, both for our understanding of Wittgenstein's remarks on Gödel, and our understanding of Gödel's theorem itself. (shrink)
A German translation with 2017 postscript of Floyd, Juliet. 2012. "Wittgenstein's Diagonal Argument: A Variation on Cantor and Turing." In Epistemology versus Ontology, Logic, Epistemology: Essays in Honor of Per Martin-Löf, edited by P. Dybjer, S. Lindström, E. Palmgren and G. Sundholm, 25-44. Dordrecht: Springer Science+Business Media. An analysis of philosophical aspects of Turing's diagonal argument in his (136) "On computable numbers, with an application to the Entscheidungsproblem" in relation to Wittgenstein's writings on Turing and Cantor.
This essay accounts for the notion of _Lebensform_ by assigning it a _logical _role in Wittgenstein’s later philosophy. Wittgenstein’s additions of the notion to his manuscripts of the _PI_ occurred during the initial drafting of the book 1936-7, after he abandoned his effort to revise _The Brown Book_. It is argued that this constituted a substantive step forward in his attitude toward the notion of simplicity as it figures within the notion of logical analysis. Next, a reconstruction of his later (...) remarks on _Lebensformen_ is offered which factors in his reading of Alan Turing’s “On computable numbers, with an application to the _Entscheidungsproblem_“, as well as his discussions with Turing 1937-1939. An interpretation of the five occurrences of _Lebensform_ in the PI is then given in terms of a logical “regression” to _Lebensform_ as a fundamental notion. This regression characterizes Wittgenstein’s mature answer to the question, “What is the nature of the logical?”. (shrink)
This collection of previously unpublished essays presents a new approach to the history of analytic philosophy--one that does not assume at the outset a general characterization of the distinguishing elements of the analytic tradition. Drawing together a venerable group of contributors, including John Rawls and Hilary Putnam, this volume explores the historical contexts in which analytic philosophers have worked, revealing multiple discontinuities and misunderstandings as well as a complex interaction between science and philosophical reflection.
1) A survey of current evidence available concerning Wittgenstein's attitude toward, and knowledge of, Gödel's first incompleteness theorem, including his discussions with Turing, Watson and others in 1937–1939, and later testimony of Goodstein and Kreisel; 2) Discussion of the philosophical and historical importance of Wittgenstein's attitude toward Gödel's and other theorems in mathematical logic, contrasting this attitude with that of, e.g. , Penrose; 3) Replies to an instructive criticism of my 1995 paper by Mark Steiner which assesses the importance of (...) Tarski's semantical work, both for our understanding of Wittgenstein's remarks on Gödel, and our understanding of Gödel's theorem itself. (shrink)
A survey of the emergence of early analytic philosophy as a subfield of the history of philosophy. The importance of recent literature on Frege, Russell, and Wittgenstein is stressed, as is the widening interest in understanding the nineteenth-century scientific and Kantian backgrounds. In contrast to recent histories of early analytic philosophy by P.M.S. Hacker and Scott Soames, the importance of historical and philosophical work on the significance of formalization is highlighted, as are the contributions made by those focusing on systematic (...) treatments of individual philosophers, traditions, and periods in relation to contemporary issues (rule-following, neo-Fregeanism, contextualism, theory of meaning). (shrink)
A survey of Wittgenstein's writings on logic and mathematics; an analytical bibliography of contemporary articles on rule-following, social constructivism, Wittgenstein, Godel, and constructivism is appended. Various historical accounts of the nature of mathematical knowledge glossed over the effects of linguistic expression on our understanding of its status and content. Initially Wittgenstein rejected Frege's and Russell's logicism, aiming to operationalize the notions of logical consequence, necessity and sense. Vienna positivists took this to place analysis of meaning at the heart of philosophy, (...) while Ramey took extensionalism to result. Wittgenstein's interest in rule-following emerged through his reactions to these attempted appropriations. (shrink)
If we consider Wittgenstein's career as a whole, it appears that he wrote more on the philosophy of logic and mathematics than any other subject. Yet his writings on these subjects have exerted little influence. Indeed, the tide of response to Remarks on the Foundations of Mathematics, which contains the bulk of his latest views of mathematics, has been for the most part overwhelmingly negative. Given his later emphasis on the context-bound character of language, mathematics and logic--where language apparently operates (...) in an maximally precise, clear and general way--represent two of the most difficult cases for Wittgenstein to confront. My thesis aims to defend Wittgenstein from the charges of benighted arrogance traditionally levelled against him. I argue that Wittgenstein's later discussions of mathematics form a central part of a larger philosophical project, internally related to Philosophical Investigations and shaping in specific ways Wittgenstein's reaction to both scepticism and accounts of the nature of logical and mathematical truth. I see Wittgenstein criticizing the unreflective use of mathematical tools in philosophy, not offering a competing philosophy of mathematics. ;Too few of Wittgenstein's readers have been willing to offer detailed exegesis of his writing . This has made it difficult to understand how the aphoristic style of his late writing bears on the philosophical problems being discussed. On my view, the quality of Wittgenstein's writing is intrinsic to his later conception of the nature of logic, mathematics and philosophy. Line by line engagement with his texts is thus imperative in order to achieve an understanding of his philosophical objectives and criticisms. My dissertation offers as a paradigm of such reading a detailed exegesis and criticism of the opening five sections of Remarks on the Foundations of Mathematics. ;I briefly explore in some detail the origin and genesis of Wittgenstein's interest in rule-following, from its roots in the Tractatus's conception of logical syntax. This background illuminates Wittgenstein's later conception of logical truth and his criticisms of Frege's and Russell's arguments for logicism. To explore these criticisms, I focus on Wittgenstein' s discussions of the Frege-Russell definition of "Number" in "logical" terms. Placed in their appropriate philosophical and historical context, Wittgenstein's seemingly outrageous remarks about the nature of proof, mathematical logic and the foundations of mathematics do not simply betray his ignorance. Nor do they commit him to a revisionist attitude toward mathematical practice. Rather, they raise fundamental questions about the philosophical presuppositions lying behind attempts to bring particular mathematical results to bear in philosophy. (shrink)
O presente artigo procede, em primeiro lugar, a um exame das evidências disponíveis referentes à atitude de Wittgenstein em relação ao, bem como conhecimento do, primeiro teorema da incompletude de Gödel, incluindo as suas discussões com Turing, Watson e outros em 1937-1939, e o testemunho posterior de Goodstein e Kreisel Em segundo lugar, o artigo discute a importância filosófica e histórica da atitude de Wittgenstein em relação ao teorema de Gödel e outros teoremas da lógica matemática, contrastando esta atitude com (...) a de, por exemplo, Penrose. Finalmente, a autora responde também a criticas instrutivas feitas por Mark Steiner a um artigo seu publicado em 1995, as quais estabelecem a importância do trabalho semântico de Tarski, quer para o nosso entendimento das observacoes de Wittgenstein. /// This paper presents, first, a survey of current evidence available concerning Wittgenstein's attitude toward, and knowledge of, Gödel's first incompleteness theorem, including his discussions with Turing, Watson and others in 1937-1939, and later testimony of Goodstein and Kreisel Secondly, the article discusses the philosophical and historical importance of Wittgenstein's attitude toward Gödal's and other theorems in mathematical logic, contrasting this attitude with that of, e. g., Penrose. Finally, the author also replies to an instructive criticism of her 1995 paper by Mark Steiner which assesses the importance ofTarskih semantical work, both for our understanding of Wittgenstein's remarks on Godel, and our understanding ofGodeVs theorem itself. (shrink)
BOOK REVIEWS 475 mean the traditional notion of arche, i.e., a present homogeneous origin/kingdom" . The significance of this Ursprung is that of the event of world pretheoretically yielding itself itself and things . Van Buren's basic contention is that Heidegger's demythologized question about being in the early Freiburg period is overtaken by remythologizing tendencies, from the existential-transcendental configuration of the question in Being and Time to various mythopoetic reconfigurations. The latter developments are at odds with Heidegger's earlier Freiburg elaboration (...) of the concrete historicity and the personal, lived, anarchic character of the question of being. One intriguing and far-reaching implication of van Buren's interpretation is that Being and Time amounts to an Abweg, a mistaken by-way, from which Heidegger, despite the Kehre, never fully recovers. The choice of the meta- phor of an Abwegis revealing and, in this connection, perhaps not entirely felicitous. For, if Being and Time is truly "off track," then there is presumably a right way and it must be possible to demonstrate both that right way and the nature of Being and Time's deviation from it. The terms of this crucial argument have been expertly set by van Buren in his monumental.. (shrink)