  What Ramsey did not anticipate was the classification of his view either as a redundancy or as a pro-sentential theory. On the contrary, he thought that it would be interpreted as a correspondence theory of truth, and although he did not accept the metaphysical commitments of the many versions of correspondentism, he did not reject the label either. In fact, he acknowledges that truth is objective correspondence to the facts (see for instance 1929c, [OT] 11; 1929d, 36). Dokic and Engel (2002, 25) point out that Ramsey was a realist about truth conditions and also about truth, but this realism was modulated by his pragmatism: ‘his kind of realism is distinct from the kind of realism which underlies a full-blown correspondence theory of truth. It is a form of pragmatic realism, which associates truth to beliefs-habits and to actions.’ Thus, Ramsey’s take on truth has a pragmatist background, but it is not a pragmatist view of truth. It is a kind of sophisticated redundancy theory that is realist about truth conditions, and also includes some of the technical apparatus that prosentential theories developed later on (see Williams 1976, Grover 1992, Brandom 1994, Frápolli 2013).