A variant of redundancy theory is the "disquotational" theory, which uses a modified form of the logician Alfred Tarski's schema: proponents observe that to say that "'P' is true" is to assert "P". A version of this theory was defended by C. J. F. Williams (in his book What is Truth?). Yet another version of deflationism is the prosentential theory of truth, first developed by Dorothy Grover, Joseph Camp, and Nuel Belnap as an elaboration of Ramsey's claims. They argue that utterances such as "that's true", when said in response to (e.g.) "it's raining", are "prosentences"—expressions that merely repeat the content of other expressions. In the same way that it means the same as my dog in the statement "my dog was hungry, so I fed it", that's true is supposed to mean the same as it's raining when the former is said in reply to the latter.
A variant of redundancy theory is the "disquotational" theory which uses a modified form of the logician Alfred Tarski's schema proponents observe that to say that "'P' is true" is to assert "P" A version of this theory was defended by C J F Williams (in his book What is Truth) Yet another version of deflationism is the prosentential theory of truth first developed by Dorothy Grover Joseph Camp and Nuel Belnap as an elaboration of Ramsey's claims They argue that utterances such as "that's true" when said in response to (eg) "it's raining" are "prosentences"—expressions that merely repeat the content of other expressions In the same way that it means the same as my dog in the statement "my dog was hungry so I fed it" that's true is supposed to mean the same as it's raining when the former is said in reply to the latter