数学 > 逻辑
[提交于 2024年12月22日
]
标题： 塔斯基的真理定义
标题： A definição de verdade de Tarski
摘要： 本文的目的是以技术上易于理解的方式，介绍塔斯基的真理定义、不可定义性定理，并讨论塔斯基在真理研究中的两个方面，即该定义是否捕捉了符合论的真理概念，以及克里普克对语言层次的反对意见。
收藏
文献和引用工具
与本文相关的代码，数据和媒体
alphaXiv (什么是 alphaXiv？)
CatalyzeX 代码查找器 (什么是 CatalyzeX？)
DagsHub (什么是 DagsHub？)
Gotit.pub (什么是 GotitPub？)
Hugging Face (什么是 Huggingface？)
带有代码的论文 (什么是带有代码的论文？)
ScienceCast (什么是 ScienceCast？)
演示
推荐器和搜索工具
arXivLabs：与社区合作伙伴的实验项目
arXivLabs 是一个框架，允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观，即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观，并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗？ 了解更多关于 arXivLabs 的信息.