· Partamos del axioma: todo es explicable (por los medios que sea).
· En concreto, los medios serán: texto (en Trebuchet) e imágenes (estáticas y en movimiento)
La idea de hoy es la siguiente: una mujer entra en una farmacia (donde están sacando la Aldara de la caja fuerte) y dice:
-¿Puedo hacerle una pregunta?
Con lo que claro, el farmacéutico queda en la tesitura de, o bien responder una obviedad: "Sí." (porque ya lo ha hecho), o bien un absurdo ("no").
Esto se puede llevar aún más lejos, parando a alguien por la calle y preguntándole: "¿puedo pararle un momento por la calle?", o bien "¿Es usted un mentiroso?" (que obligaría al increpado a responder "no", por no llevar la situación a una paradoja con un "sí").
Lo que me recuerda la siguiente situación: se trata de averiguar si la teoría "Toda teoría acerca de la realidad es falsa" es falsa o verdadera.
Procedamos por pasos:
·Si es verdadera, entonces indica que todas las teorías son falsas, incluyéndose a sí misma: "toda teoría acerca de la realidad es falsa" ES FALSA (como teoría). Llevándonos a una paradoja del tipo "Soy un mentiroso", o "Esta frase es falsa". Lo descartamos! Pasando!
Por ejemplo, en "esta frase es mentira", si suponemos que es falsa, llegamos a un absurdo. Pero eso no obliga a que sea verdadera, porque eso lleva a otro absurdo.
ResponderEliminarEn cambio, en "toda teoría sobre la realidad es falsa", como suponer que es verdadera lleva a un absurdo deduces que es falsa.
Algo está fallando aquí...
Es que "Por ejemplo, en "esta frase es mentira", si suponemos que es falsa, llegamos a un absurdo. Pero eso no obliga a que sea verdadera, porque eso lleva a otro absurdo.
ResponderEliminarEn cambio, en "toda teoría sobre la realidad es falsa", como suponer que es verdadera lleva a un absurdo deduces que es falsa." es un absurdo.
Nah era broma, lo q quería decir realmente era que el método de suponer algo verdadero y llegar a un absurdo para demostrar la falsedad de alguna cosa es de uso común en la matemática y la lógica (http://es.wikipedia.org/wiki/Reducci%C3%B3n_al_absurdo), y me dejé llevar por la emoción.
ResponderEliminarDe todas formas no quiero descartar la posibilidad de que todo el edificio de las matemáticas haya sido construído con plastilina en vez de con cemento y que ahora pueda todo doblarse lentamente!
O que haya otra nueva clasificación para los enunciados, aparte de absurdos, falsos, verdaderos, contradictorios y paradójicos (q son los q se me ocurren ahora).
Creo q en si la oraciones que habeis citado son paradojicas por construccion.
ResponderEliminar"esta frase es mentira",
"toda teoría sobre la realidad es falsa"
el verbo "es" hace las veces de "=" y metira o falsa las veces de "distinto" (no encontré el simbolo :D), añade una componente de recursibilidad "este" o "realidad" en el que la oración hable de si misma para entrar en un callejon sin salida.
Si las deducciones matematicas no tienen esta estructura a priori no daran lugares a paradojas, y nos joderemos con su algamasa fuerte y resistente.
me parece igualmente interesante el tema
propongo otra:
"toda frase afirma su contrario"
..... pensando en esa misma estructura creo q salen muchas mas oraciones asi.