Quatona, isnt every statement an assertion of truth, so saying "this is wrong" is a contradiction. So its akin, in your example, to saying truth is false.
I mean, saying "the sun is warming" means "its true that the sun is warming" under normal linguistic circumstances.
I am thinking that all paradoxes are contradictions, but I havent worked out a "formal proof" yet. Brains not desingned well enough, maybe.
But maybe "this is true: this is false." entails anything.
Here goes my
humble attempt at using
logical explosion:
1: "this is true: this is false"
2: "This is true; this is false" entails this is true.
3: "This is true" or "sun is cooling". (disjunctive statement, true, because this is true is true (step 2) - and you can add anyhting to that and still have a true disjunction,just as you can say "the earth is a planet
or I am 100000 feet tall" is true, because its true that the earth is a planet.)
4: "This is true and this is false" entails this is false.
5: "This is false."
6: Therefore "this is false" and "ther sun is cooling", must have one true element (as established earlier, at step 3).
7: "Therefore the sun is cooling" is true, because "this is false" has been eliminated by "this is true" (ie in the sense of non contradiction either "this is true" or "this is false" but not both).
Likewise:
"I am lying" entails I am telling the truth and telling falsehood.
SO "I am lying" is logically equivalent to a contradiction, like "both A and not A." From which you may derive anything, according to
PoE.