[FOM] "This sentence is true"
schiphol at altern.org
Thu Sep 5 13:45:03 EDT 2002
In a former message, I wrote:
>>I claim that paradoxicality consists in THERE NOT BEING
>> any normal-form
>>proof, or normal-form disproof, of the statement in
>Doesn't this amount to forbid all self-referential
This is a mistake, of course: "This sentence has five words" is self-referential and perfectly admits a normal form proof. I don't know, too much caffeine in my blood stream, maybe.
About "This sentence is true", what I can say is that asigning a truth value to it does not lead to any further complication. This is not true of the Liar. It would be nice for a solution to the Liar to save this difference.
More information about the FOM