[FOM] "This sentence is true"

[schiphol@altern.org]

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
>>question 
>
>Doesn't this amount to forbid all self-referential
>sentences? 

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.

Cheers,
Manolo