Aprende Lógica/Paradojas

Paradoja del Cuadrado Perdido. En realidad, no es más que una simple ilusión óptica, pero ilustra la idea.

El término "paradoja" se utiliza para describir diversas situaciones conflictivas y contraintuitivas.

El estudio de las paradojas es más que una simple curiosidad lógica; tiene importantes consecuencias para la ciencia y las matemáticas. Por ejemplo la antigua paradoja del mentiroso está relacionada con el Teorema de Incompletitud de Gödel.

Paradoja del Mentiroso':Esta es una de las paradojas más antiguas de la autorreferencia y se ha formulado de varias maneras. Aquí la formularemos de la siguiente manera.

El contenido de esta caja es falso.

a) Si el contenido de la caja es verdadero, entonces, según sí misma, el contenido de la caja es falso.

b) Si el contenido de la caja es falso, entonces el contenido de la caja es verdadero.

Como vemos esto es una paradoja de autorreferencia, es decir, contradicciones lógicas resultantes de afirmaciones que se refieren a sí mismas, pero cuya contradicción no es evidente.