Tarski 真理定义
逻辑
2024-12-24 v1 历史与综述
摘要
本文旨在以技术上易于理解的方式阐述 Tarski 的真理定义、不可定义性定理，并讨论其关于真理的两个方面，即该定义是否捕捉了真理作为对应关系的概念，以及 Kripke 对语言层级的异议。
引用
@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}
}
备注
in Portuguese language