Abstract

Tim Maudlin’s Truth and Paradox, a book that is richly endowed with interesting analyses and original theses, chooses to ignore both the prosentential theory of truth from Grover, Camp and Belnap 1975 and the revision theory in its book form, Gupta and Belnap 1993. There is no discussion of either theory, nor even any mention of them in the list of references. I offer a pair of quotes chosen from among a number of T&P generalizations that Maudlin would doubtless have modified if RTT had been on his mind at the time of composition of T&P. “…every acceptable account of truth seems to imply that the TInferences must be valid”. My response is that the revision theory of truth is built on an explicit denial of this. Rather than taking them as “valid,” RTT takes the T-Inferences as stage-of-revision-shifting revision principles in the context of a definitional account of truth. “…most discussions of the Liar paradox and related paradoxes…do not address [such questions as]…where [T&P’s] Proof Lambda and Proof Gamma go wrong”. In fact, RTT is not open to this criticism. It’s simple natural-deduction calculus C0 addresses exactly such questions.