A definição de verdade de Tarski
DOI:
https://doi.org/10.61378/enun.v4i2.76Palavras-chave:
Tarski, verdade, esquema T, indefinibilidade da verdadeResumo
O objetivo deste texto é apresentar, de um modo tecnicamente acessível, a definição de verdade de Tarski, o teorema da indefinibilidade da verdade, e discutir duas críticas a aspectos conceituais do trabalho de Tarski sobre a verdade, a saber, se a definição captura a noção de verdade como correspondência e a objeção de Kripke à hierarquia de linguagens.Referências
BOOLOS, G.; BURGUESS, J.; JEFFREY, R. Computabilidade e lógica. Tradução de Cezar Mortari. São Paulo: Ed. Unesp, 2012.
BURGE, T. Semantical paradox. In: MARTIN, R. L. (Ed.). Recent essays on truth and the liar paradox. Oxford: Oxford University Press, 1984. p. 83–117. CARDOSO, G. O paradoxo do mentiroso: uma introdução. Campinas, SP: Coleção CLE, 2018.
CHATEAUBRIAND, O. Logical forms. Part I. Campinas, SP: Coleção CLE, 2001.
FEFERMAN, S. Axioms for determinateness and truth. The Review of Symbolic Logic, v. 1, n. 2, p. 204–217, 2008.
FENSTAD, J. E. Tarski, truth and natural languages. Annals of Pure and Applied Logic, v. 126, p. 15–26, 2004.
FROST-ARNOLD, G. Was tarski’s theory of truth motivated by physicalism? History and Philosophy of Logic, v. 25, p. 265–280, 2004.
HECK, R. Self-reference and the languages of arithmetic. Philosophia Mathematica, III, n. 15, p. 1–29, 2007.
HORSTEN, L. The tarskian turn. Deflationism and axiomatic truth. Cambridge, Massachusetts: MIT Press, 2011.
KOLÁR, P. Truth, correspondence, satisfaction. In: PEREGRIN, J. (Ed.). Truth and its Nature (if any). Dordrecht: Kluwer, 1999. p. 67–79.
KRIPKE, S. Outline of a theory of truth. In: MARTIN, R. L. (Ed.). Recent essays on truth and the liar paradox. Oxford: Oxford University Press, 1984. p. 54–81.
MORTARI, C. Introdução à lógica. São Paulo: Unesp Editora, 2001.
PARSONS, C. The liar paradox. In: MARTIN, R. L. (Ed.). Recent essays on truth and the liar paradox. Oxford: Oxford University Press, 1984. p. 9–45.
POPPER, K. Objective knowledge. Oxford: Clarendon Press, 1972.
PUTNAM, H. Do true assertions correspond to reality? In: Realism and reason – Philosophical Papers vol. 2. New York: Cambridge University Press, 1979. p.69–86.
ROJSZCZAK, A. Philosophical background and philosophical content of the semantic definition of truth. Erkenntnis, v. 56, p. 29–62, 2002.
SHER, G. What is Tarski’s theory of truth? Topoi, v. 18, p. 149–166, 1999a.
SHER, G. On the possibility of a substantive theory of truth. Synthese, v. 117, p.133–172, 1999b.
SHER, G. Truth, logical structure, and compositionality. Synthese, v. 126, p.195–219, 2001.
TARSKI, A. Truth and proof. Scientific American, p. 63–70, 75–77, jun. 1969.
TARSKI, A. Logic, semantics, metamathematics. Indiana: Hacket Publishing Company, 1983.
TARSKI, A. A concepção semântica da verdade. São Paulo: Editora Unesp, 2006.
TARSKI, A. O conceito de verdade nas linguagens formalizadas (CVLF). In: A concepção semântica da verdade: textos clássicos de Tarski. São Paulo: Editora Unesp, 2006a. p. 19–148.
TARSKI, A. O estabelecimento da semântica científica. In: A concepção semântica da verdade: textos clássicos de Tarski. São Paulo: Editora Unesp, 2006b. p.149–156.
TARSKI, A. A concepção semântica da verdade e os fundamentos da semântica (CSV). In: A concepção semântica da verdade: textos clássicos de Tarski. São Paulo: Editora Unesp, 2006c. p. 157–201.
Downloads
Publicado
Edição
Seção
Licença
Declaro que o artigo ou resenhas ou tradução é original.Ao publicar neste periódico, concordo que:
a) meus direitos autorais serão mantidos, concedendo à revista o direito de primeira publicação.
b) posso assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
c) os artigos podem ser impressos desde que a fonte do periódico seja informada e o(s) autor(es) sejam devidamente creditados.
