A definição de verdade de Tarski
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910759328415744 |
|---|---|
| author | Cardoso, Guilherme Rodrigues, Abilio |
| author_facet | Cardoso, Guilherme Rodrigues, Abilio |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_17089 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A definição de verdade de Tarski Cardoso, Guilherme Rodrigues, Abilio Logic History and Overview 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. |
| title | A definição de verdade de Tarski |
| topic | Logic History and Overview |
| url | https://arxiv.org/abs/2412.17089 |