A defini\c{c}\~ao de verdade de Tarski
Guilherme Cardoso, Abilio Rodrigues
TL;DR
This paper explains Tarski's formal definition of truth, discusses its relation to the concept of correspondence, and examines critiques like Kripke's objection to the hierarchical approach.
Contribution
It provides an accessible presentation of Tarski's truth definition, analyzes its philosophical implications, and discusses key objections and debates.
Findings
Tarski's definition formalizes truth in a precise, logical framework.
The paper discusses the relation between Tarski's definition and the notion of correspondence.
It addresses Kripke's critique of the hierarchical approach to truth.
Abstract
The aim of this text is to present, in a technically accessible way, Tarski's definition of truth, the indefinability theorem, and to discuss two aspects of Tarski's work on truth, namely, whether or not the definition captures the notion of truth as correspondence, and Kripke's objection to the hierarchy of languages.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLinguistics and Language Studies