I understand how 'This statement is false' is not logically valid, but what about 'This statement is true'? I've always heard self-referential statements are not logically sound, but I can't really give a great explanation for why this one would not be. Anyone have a good argument one way or the other?
Asked
Active
Viewed 1.7k times
1 Answers
6
It could be consistently assigned either "true" or "false".
Interestingly enough, "this statement is provable" is provable (or more precisely, in a suitable formal system to which Gödel's theorems apply, a statement which asserts its own provability is in fact provable). See Löb's theorem
Robert Israel
- 448,999
-
Very Nice reference – mick Dec 13 '16 at 23:47