Notes on Leitgeb's "What truth depends on"

In Hannes Leitgeb's article What truth depends on [10] 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. [10] Leitgeb, Hannes, 'What truth depends on', Journal of Philosophical Logic, 34 (2005), 155-192.