I strongly agree. This has been discussed in the literature, I believe. For instance, it comes up in discussions of the semantic paradoxes. There is no paradox involved in “disquotation” for propositions: the proposition that p just is the proposition that it’s true that p.
When you’re talking about sentences though, you run into the liar paradox if you say that “p” is true if and only if p.
I strongly agree. This has been discussed in the literature, I believe. For instance, it comes up in discussions of the semantic paradoxes. There is no paradox involved in “disquotation” for propositions: the proposition that p just is the proposition that it’s true that p.
When you’re talking about sentences though, you run into the liar paradox if you say that “p” is true if and only if p.