Disquotational principle
The disquotational principle is a philosophical theorem which holds that a rational speaker will accept "p" if and only if he or she believes p. The quotes indicate that the statement p is being treated as a sentence, and not as a proposition. This principle is presupposed by claims that hold that substitution fails in certain intensional contexts.