A defini\c{c}\~ao de verdade de Tarski
Logic
2024-12-24 v1 History and Overview
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.
Cite
@article{arxiv.2412.17089,
title = {A defini\c{c}\~ao de verdade de Tarski},
author = {Guilherme Cardoso and Abilio Rodrigues},
journal= {arXiv preprint arXiv:2412.17089},
year = {2024}
}
Comments
in Portuguese language