tag:blogger.com,1999:blog-7266202737815096083.post6782124821380777007..comments2022-04-07T14:29:01.469+02:00Comments on 161803398874: Paradoja: Soy adivinoAnonymoushttp://www.blogger.com/profile/06161854258978728736noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-7266202737815096083.post-1971058974326095822013-01-28T00:10:29.425+01:002013-01-28T00:10:29.425+01:00En lógica formal, tu sistema con las dos frases, l...En lógica formal, tu sistema con las dos frases, llamadas técnicamente sentencias que conforman un sistema formal, es inconsistente (incoherente).<br /><br />Las paradojas tienen esa aparente coherencia «a priori» porque no solemos estar familiarizados con un concepto importante: la indecidibilidad. Esto significa que hay sentencias, frases, que no son explícitamente ni verdaderas ni falsas. O bien, no pueden demostrarse verdaderas o falsas. En ese sentido, por considerar ya inherentemente a las sentencias indecidibles como verdaderas en un análisis deductivo se obtienen resultados erróneos, contradictorios.<br /><br />Por decir, en la paradoja que planteas, la indecidibilidad radica en asumir que realmente la sentencia 2° es verdadera, cuando en verdad es indecidible.<br /><br />Por otra parte, "Esta frase es falsa" es en sí indecidible, y, por lo tanto, asumirla verdadera concede posibilidad a contradicciones.<br /><br />Sólo para finalizar, recomiendo la siguiente explicación, que es más formal:<br /><br />http://ciencia-y-logica-suficientes.blogspot.mx/2012/12/resolucion-general-de-las-paradojas.html<br /><br />Saludos. :DKurt Friedrich Gödelhttps://www.blogger.com/profile/15337836212469781324noreply@blogger.com