Notes on Leitgeb’s What Truth Depends on

Abstract

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.