Publicado 2001-11-01
Este trabalho está licenciado sob uma licença Creative Commons Attribution-NonCommercial 4.0 International License.
Resumo
This is the second part of a two-part paper devoted toa study of some historical, logical and philosophical issues arising from a reading of Tarski's celebrated "Wahrheitsbegriff' monograph. This second part concentrates on issues related to Tarski's "Wahrheitsbegriff' version of the theorem on the indefinability of truth. One of these issues is the correct exegesis of Tarski's claim that a truth definition cannot be constructed in a metalanguage if its order is not higher than that of the object language. Another issue is the correct contrast between Tarski's mathernatical achievement in offering his version of the indefinability result and Godel's achievement in his earlier discovery of another version of the result. The correct contrast must emphasize the fact that (contrary to frequent claims) Tarski's version does not use semantic notions (either defined or intuitive); no way towards a version of the indefinability theorem not employing intuitive semantic notions appears in Godel, despite the
fact that he, like Tarski, sought to find non-semantic versions of his results.