Philosophical theory that asserting that a statement is true is completely equivalent to asserting the statement itself