[FOM] On >>this sentence cannot be proven true<<

[laureano luna]

Arnon Avron wrote on Aug 22 2003 04:41:43 in the thread [FOM] Godel Sentence & The Liar :
   
>"This sentence cannot be proven true" immediately leads to a 
>paradox if we assume (wrongly, I am convinced) that it expresses
>a meaningful proposition. 
   
  This is not exactly so. Call "K" the sentence at issue. The assumption that K expresses a proposition, and hence that K has a truth value, leads to the conclusion that K is true. Only the assumption that we know that K expresses a proposition leads to a paradox. 
   
  Anyway, I'm inclined to agree with Arnon Avron on the essential. I also think that most probably K expresses no proposition. My concern here is: can this be proven? 
   
  Can you help me with this?
   
  Regards,
   
  Laureano Luna Cabañero

 		
---------------------------------

LLama Gratis a cualquier PC del Mundo.
Llamadas a fijos y móviles desde 1 céntimo por minuto.
http://es.voice.yahoo.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: /pipermail/fom/attachments/20060724/a0aa8dd7/attachment.html