A definição de verdade de Tarski

Guilherme Cardoso, Abilio Rodrigues

Resumo


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.


Palavras-chave


Tarski, verdade, esquema T, indefinibilidade da verdade

Texto completo:

PDF

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.


Apontamentos

  • Não há apontamentos.


Direitos autorais 2020 Guilherme Cardoso, Abilio Rodrigues