A definição de verdade de Tarski
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2024
- DOI:
- arXiv:
- arXiv:2412.17089
- Bibcode:
- 2024arXiv241217089C
- Keywords:
-
- Mathematics - Logic;
- Mathematics - History and Overview
- E-Print:
- in Portuguese language