In Hannes Leitgeb’s article What truth depends on (Leitgeb in J Philos Logic 34:155–192, 2005) the author provides a formally correct and materially adequate truth definition for the set of all grounded sentences, defined as the least fixed point of a monotone operator of semantic dependence. In this paper we will focus on the mathematical aspects of Leitgeb’s notions of dependence, grounding and truth, recasting Leitgeb’s construction in a functional setting in which we establish some new facts about these notions.

中文翻译：

---

关于莱特格布的《真理取决于什么》的注释

在 Hannes Leitgeb 的文章 What truth depends on (Leitgeb in J Philos Logic 34:155–192, 2005) 中，作者为所有有根据的句子集合提供了形式上正确且实质充分的真值定义，定义为单调的最小固定点语义依赖算子。在本文中，我们将重点关注 Leitgeb 的依赖、基础和真理概念的数学方面，在函数设置中重新构建 Leitgeb 的构造，在其中我们建立了关于这些概念的一些新事实。