Kripke真理理论中的模态可定义性
逻辑
2025-03-27 v4
摘要
在《真理的概述》中，Kripke引入了逻辑研究真理与悖论的一些核心概念。他使用模态措辞非正式地定义了其中一些——例如， groundedness和悖论性。我们引入一种模态语言，用于规范化这些非正式定义。虽然groundedness和悖论性可在模态语言中表达，但我们证明了intrinsicality——Kripke强调但未以模态方式定义的概念——不可定义。我们对可定义的模态关系进行了表征，并完全公理化了模态语义。
引用
@article{arxiv.2406.17091,
title = {Modal definability in Kripke's theory of truth},
author = {James Walsh},
journal= {arXiv preprint arXiv:2406.17091},
year = {2025}
}
备注
Some typos have been corrected. Some citations have been added