History and Philosophy of Logic 19 (3):153-160 (1998)
The paper is devoted to the discussion of some philosophical and historical problems connected with the theorem on the undefinability of the notion of truth. In particular the problem of the priority of proving this theorem will be considered. It is claimed that Tarski obtained this theorem independently though he made clear his indebtedness to Gödel?s methods. On the other hand, Gödel was aware of the formal undefinability of truth in 1931, but he did not publish this result. Reasons for that are also considered
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Gödel, Kant, and the Path of a Science.Srećko Kovač - 2008 - Inquiry: Journal of Philosophy 51 (2):147-169.
The Concept of Truth in a Finite Universe.Panu Raatikainen - 2000 - Journal of Philosophical Logic 29 (6):617-633.
Similar books and articles
Circularity or Lacunae in Tarski's Truth-Schemata.Dale Jacquette - 2010 - Journal of Logic, Language and Information 19 (3):315-326.
Prose Versus Proof: Wittgenstein on Gödel, Tarski and Truth.Juliet Floyd - 2001 - Philosophia Mathematica 9 (3):280-307.
Was Tarski's Theory of Truth Motivated by Physicalism?Greg Frost-Arnold - 2004 - History and Philosophy of Logic 25 (4):265-280.
What Were Tarski's Truth-Definitions For?John F. Fox - 1989 - History and Philosophy of Logic 10 (2):165-179.
Tarski, Truth and Model Theory.Peter Milne - 1999 - Proceedings of the Aristotelian Society 99 (2):141–167.
Tarski on “Essentially Richer” Metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.
Added to index2010-08-10
Total downloads38 ( #135,564 of 2,169,146 )
Recent downloads (6 months)3 ( #126,686 of 2,169,146 )
How can I increase my downloads?