 Kripke’s work on truth was developed in conjunction with some important ideas about inductive definitions (as we see, for instance, in the later parts of Kripke 1975). These connections are explored further in work of Burgess (1986) and McGee (1991). We also pause to mention work of Aczel (1980) combining ideas about inductive definitions and the lambda calculus.