A1: Two plus two is three

Abstract: A method of supervaluation for Kripke's theory of truth is presented. It differs from Kripke's own method in that it employs trees; results in a compositional semantics; assigns the intuitively correct truth values to the sentences of a particularly tricky example of Gupta's; and it is argued is acceptable as an explication of the correspondence theory of truth. In his (1982) Gupta presents the following scenario in order to criticize Kripke's (1975) theory of truth: Assume that the sentence