Um, “this statement is true iff it is provable” directly depends on both truth and provability. It does refer to its own “platonic” truth value in the “real world”.
It refers to its truth value but not in a paradox generating way.
Um, “this statement is true iff it is provable” directly depends on both truth and provability. It does refer to its own “platonic” truth value in the “real world”.
It refers to its truth value but not in a paradox generating way.