Switch to: Citations

Add references

You must login to add references.
  1. Alfred Tarski: Life and Logic.Anita Burdman Feferman & Solomon Feferman - 2004 - Cambridge, England: Cambridge University Press.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Recent Results in Set Theory.Andrzej Mostowski, Imre Lakatos, G. Kreisel, A. Robinson & A. Mostowski - 1972 - Journal of Symbolic Logic 37 (4):765-766.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science.Paolo Mancosu - 2005 - History and Philosophy of Logic 26 (4):327-357.
    Tarski, Carnap and Quine spent the academic year 1940?1941 together at Harvard. In their autobiographies, both Carnap and Quine highlight the importance of the conversations that took place among them during the year. These conversations centred around semantical issues related to the analytic/synthetic distinction and on the project of a finitist/nominalist construction of mathematics and science. Carnap's Nachlaß in Pittsburgh contains a set of detailed notes, amounting to more than 80 typescripted pages, taken by Carnap while these discussions were taking (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Was Tarski's Theory of Truth Motivated by Physicalism?Greg Frost-Arnold - 2004 - History and Philosophy of Logic 25 (4):265-280.
    Many commentators on Alfred Tarski have, following Hartry Field, claimed that Tarski's truth-definition was motivated by physicalism—the doctrine that all facts, including semantic facts, must be reducible to physical facts. I claim, instead, that Tarski did not aim to reduce semantic facts to physical ones. Thus, Field's criticism that Tarski's truth-definition fails to fulfill physicalist ambitions does not reveal Tarski to be inconsistent, since Tarski's goal is not to vindicate physicalism. I argue that Tarski's only published remarks that speak approvingly (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Mathematics without foundations.Hilary Putnam - 1967 - Journal of Philosophy 64 (1):5-22.
    Download  
     
    Export citation  
     
    Bookmark   140 citations  
  • Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.
    Download  
     
    Export citation  
     
    Bookmark   172 citations  
  • (1 other version)God, the Devil, and Gödel.Paul Benacerraf - 1967 - The Monist 51 (1):9-32.
    Download  
     
    Export citation  
     
    Bookmark   75 citations  
  • Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski.Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.
    This article presents Tarski's Address at the Princeton Bicentennial Conference on Problems of Mathematics, together with a separate summary. Two accounts of the discussion which followed are also included. The central topic of the Address and of the discussion is decision problems. The introductory note gives information about the Conference, about the background of the subjects discussed in the Address, and about subsequent developments to these subjects.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Problems in the philosophy of mathematics.Imre Lakatos (ed.) - 1967 - Amsterdam,: North-Holland Pub. Co..
    In the mathematical documents which have come down to us from these peoples, there are no theorems or demonstrations, and the fundamental concepts of ...
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • A Philosophical Letter of Alfred Tarski.Morton White - 1987 - Journal of Philosophy 84 (1):28-32.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • (1 other version)Alfred Tarski, Life and Logic.Anita Burdman Feferman & Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (4):535-540.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Problems in the Philosophy of Mathematics.John N. Crossley - 1968 - Philosophical Quarterly 18 (72):275-275.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Some Current Problems in Metamathematics 1.Alfred Tarski, Jan Tarski & Jan Woleński - 1995 - History and Philosophy of Logic 16 (2):159-168.
    In this article the author first described the developments which brought to focus the importance of consistency proofs for mathematics, and which led Hilbert to promote the science of metamathemat-ics. Further comments and remarks concern the (partly analogous) beginnings of the work on the decision problem, Gödel?s theorems and related matters, and general metamathematics. An appendix summarizes a text by the author on completeness and categoricity.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Philosophical implications of Tarski's work.Patrick Suppes - 1988 - Journal of Symbolic Logic 53 (1):80-91.
    In his published work and even more in conversations, Tarski emphasized what he thought were important philosophical aspects of his work. The English translation of his more philosophical papers [56m] was dedicated to his teacher Tadeusz Kotarbinski, and in informal discussions of philosophy he often referred to the influence of Kotarbinski. Also, the influence of Leiniewski, his dissertation adviser, is evident in his early papers. Moreover, some of his important papers of the 1930s were initially given to philosophical audiences. For (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations