Switch to: References

Add citations

You must login to add citations.
  1. A Renaissance of Empiricism in the Recent Philosophy of Mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.
  • Address At The Princeton University Bicentennial Conference On Problems Of Mathematics , By, Pages 1 -- 44.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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Gödel on Tarski.Stanisław Krajewski - 2004 - Annals of Pure and Applied Logic 127 (1-3):303-323.
    Contacts of the two logicians are listed, and all Gödel's written mentions of Tarski's work are quoted. Why did Gödel almost never mention Tarski's definition of truth in his notes and papers? This puzzle of Gödel's silence, proposed by Feferman, is not merely biographical or psychological but has interesting connections to Gödel's philosophical views.No satisfactory answer is given by the three “standard” explanations: no need to repeat the work already done; Tarski's achievement was obvious to Gödel; Gödel's exceptional caution. In (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • The Indefinability of Truth in the “Wahrheitsbegriff”.Mario Gómez-Torrente - 2004 - Annals of Pure and Applied Logic 126 (1-3):27-37.
    Contrary to what often seems to be the implicit belief, Tarski's 1933 version of the theorem on the indefinability of truth did not mention semantic notions, either defined or intuitive. I state this version in a somewhat modernized form and explain briefly the self-imposed mathematico-philosophical constraints that led Tarski to formulate it as he did. I also point out that close attention to its content suggests a refined view of the exact contrast between Tarski's achievement and Gödel's achievement in his (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Incompleteness and Truth Definitions.G. Germano - 1971 - Theoria 37 (1):86-90.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • On the Matter of Essential Richness.Greg Ray - 2005 - Journal of Philosophical Logic 34 (4):433-457.
    Alfred Tarski (1944) wrote that "the condition of the 'essential richness' of the metalanguage proves to be, not only necessary, but also sufficient for the construction of a satisfactory definition of truth." But it has remained unclear what Tarski meant by an 'essentially richer' metalanguage. Moreover, DeVidi and Solomon (1999) have argued in this Journal that there is nothing that Tarski could have meant by that phrase which would make his pronouncement true. We develop an answer to the historical question (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Tarski on “Essentially Richer” Metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.
    It is well known that Tarski proved a result which can be stated roughly as: no sufficiently rich, consistent, classical language can contain its own truth definition. Tarski's way around this problem is to deal with two languages at a time, an object language for which we are defining truth and a metalanguage in which the definition occurs. An obvious question then is: under what conditions can we construct a definition of truth for a given object language. Tarski claims that (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • An Alternative to Giere’s Perspectival Realism.Grivas Muchineripi Kayange - 2019 - Heythrop Journal 60 (1):41-54.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • What Were Tarski's Truth-Definitions For?John F. Fox - 1989 - History and Philosophy of Logic 10 (2):165-179.
    Tarski's manner of defining truth is generally considered highly significant. About why, there is less consensus. I argue first, that in his truth-definitions Tarski was trying to solve a set of philosophical problems; second, that he solved them successfully; third, that all of these that are simply problems about defining truth are as well or better solved by a simpler account of truth. But one of his crucial problems remains: to give an account of validity, one requires an account not (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations