Aquiles y la tortuga II

Responder
Avatar de Usuario
Siflun
Moderador global
Mensajes: 1692
Registrado: 12 Oct 2010, 22:46
Ubicación: Sevilla

Aquiles y la tortuga II

Mensaje por Siflun »

No es la respuesta al anterior, esto está escrito por Lewis Carroll y muestra otro problema que no termino de comprender muy bien. A ver qué os parece...

Aquiles había alcanzado a la tortuga y se había sentado cómodamente sobre su caparazón.

"¿De modo que ha llegado usted al final de nuestra carrera?" dijo la Tortuga. "¿Aún cuando consistía en una serie infinita de distancias? ¿Pensó que algún sabihondo había probado que la cuestión no podía ser realizada?"

"Sí puede ser realizada", dijo Aquiles. "¡Ella ha sido realizada! Solivitur ambulando. Usted ve, las distancias fueron disminuyendo constantemente y asi..."

"¿Pero si hubieran ido aumentando," interrumpió la tortuga, "entonces qué?"

"Entonces yo no debería estar aquí", replicó modestamente Aquiles; "y a estas alturas usted hubiera dado ya varias vueltas al mundo."

"Me aclama - aplana, quiero decir", dijo la Tortuga; "pues usted sí que es un peso pesado, ¡sin duda! Ahora bien, ¿le gustaría oir acerca de una carrera en la que la mayoría de la gente cree poder llegar con dos o tres pasos al final y que realmente consiste en un número infinito de distancias, cada una más larga que la distancia anterior?".

"¡Me encantaría, de veras!" dijo el guerrero griego mientras sacaba de su casco (pocos guerreros griegos poseían bolsillos en aquellos días) una enorme libreta de apuntes y un lápiz. "¡Empiece, y hable lentamente, por favor! ¡La taquigrafia aún no ha sido inventada!"

"¡El hermoso Primer Teorema de Euclides!", murmuró como en sueños la tortuga. "¿Admira usted a Euclides?"

"¡Apasionadamente! ¡Al menos, tanto como uno puede admirar un tratado que no será publicado hasta dentro de algunos siglos más!"

"Bien, en ese caso tomemos solo una pequeña parte del argumento de ese Primer Teorema: sólo dos pasos y la conclusión extraída de ellos. Tenga la bondad de registrarlos en su libreta. Y, a fin de referirnos a ellos convenientemente, llamémoslos A, B y Z.

(A) Dos cosas que son iguales a una tercera son iguales entre sí.

(B) Los dos lados de este triángulo son iguales a un tercero.

(Z) Los dos lados de este triángulo son iguales entre sí.

Los lectores de Euclides admitirán, supongo, que Z se sigue lógicamente de A y B, de modo que quien acepte A y B como verdaderas debe aceptar Z como verdadera, ¿no?"

"¡Sin duda! Hasta el más joven de los alumnos de una Escuela Superior -tan pronto como se inventen las Escuelas Superiores, cosa que no sucederá hasta dentro de dos mil años- admitirán eso."

"Y si algún lector no ha aceptado A y B como verdaderas, supongo que aún podría aceptar la secuencia como valida."

"Sin duda que podría existir un lector así. El podría decir 'Acepto como verdadera la Proposición Hipotética de que si A y B son verdaderas, Z debe ser verdadera, pero no acepto A y B como verdaderas'. Un lector así procedería sabiamente abandonando a Euclides y dedicándose al fútbol."

"¿Y no podría haber tambien algún lector que pudiera decir 'Acepto A y B como verdaderas, pero no acepto la Hipotética'?"

"Ciertamente podría haberlo. El, también, mejor se hubiera dedicado al fútbol."

"¿Y ninguno de estos lectores", continuó la Tortuga, "tiene hasta ahora alguna necesidad lógica de aceptar Z como verdadera?"

"Así es", asintió Aquiles.

"Ahora bien, quiero que Ud. me considere a mí como un lector del segundo tipo y que me fuerce, lógicamente, a aceptar Z como verdadera."

"Una Tortuga jugando al fútbol sería..." comenzó Aquiles.

"... Una anomalía, por supuesto", interrumpió airadamente la Tortuga. "¡No se desvíe del tema, Primero Z y después el fútbol!"

"¿Debo forzarlo a aceptar Z, o no?" preguntó Aquiles pensativamente. "Y su posición actual es que acepta A y B pero NO acepta la Hipotética..."

"Llamémosla C", dijo la tortuga; "pero no acepta que:

(C) Si A y B son verdaderas, Z debe ser verdadera."

"Esa es mi posición actual", dijo la Tortuga.

"Entonces debo pedirle que acepte C."

"Lo hará así", dijo la Tortuga, "tan pronto como lo haya registrado en su libreta de Apuntes. ¿Qué más tiene anotado?"

"¡Sólo unos pocos apuntes" dijo Aquiles agitando nerviosamente las hojas; "unos pocos apuntes de las batallas en las que me he distinguido!"

"¡Veo que hay un montón de hojas en blanco!" observó jovialmente la Tortuga. "¡Las necesitaremos todas!" (Aquiles se estremeció) "Ahora escriba mientras dicto:

(A) Dos cosas que son iguales a una tercera son iguales entre sí.

(B) Los dos lados de este triángulo son iguales a un tercero.

(C) Si A y B son verdaderas, Z debe ser verdadera.

(Z) Los dos lados de este triángulo son iguales entre sí."

"Debería llamarla D, no Z", dijo Aquiles. "Viene después de las otras tres. Si acepta A y B y C, debe aceptar Z."

"¿Y por qué debo?"

"Porque se desprende lógicamente de ellas. Si A y B y C son verdaderas, Z debe ser verdadera. No puede discutir eso, me imagino."

"Si A y B y C son verdaderas, Z debe ser verdadera", repitió pensativamente la Tortuga. "¿Esa es otra Hipótesis, o no? Y, si no reconociera su veracidad, ¿podría aceptar A y B y C, y todavía no aceptar Z, o no?"

"Podría", admitió el cándido héroe, "aunque tal obstinación sería ciertamente fenomenal. Sin embargo, el evento es posible. De modo que debo pedirle que admita una Hipótesis más."

"Muy bien, estoy ansioso por admitirla, tan pronto como la haya anotado. La llamaremos 'D'. Si A y B y C son verdaderas, Z debe ser verdadera. ¿Lo ha registrado en su libreta de apuntes?"

"¡Lo he hecho!" exclamó gozosamente Aquiles, mientras guardaba el lápiz en su estuche. "¡Y por fin hemos llegado al final de esta carrera ideal! Ahora que ha aceptado A y B y C y D, por supuesto acepta Z."

"¿La acepto?" dijo la Tortuga inocentemente. "Dejémoslo completamente claro. Acepto A y B y C y D. Suponga que todavía me niego a aceptar Z."

"¡Entonces la Lógica le agarraría del cuello y le forzaría a hacerlo!", replicó triunfalmente Aquiles. "La Lógica le diría, '¡No se puede librar. Ahora que ha aceptado A y B y C y D, debe aceptar Z!' De modo que no tiene alternativa, Ud. ve."

"Cualquier cosa que la Lógica tenga a bien decirme merece ser anotada", dijo la Tortuga, "de modo que regístrela en su libro, por favor. La llamaremos
'E' Si A y B y C y D son verdaderas, Z debe ser verdadera. Hasta que haya admitido eso, por supuesto no necesito admitir Z. De modo que es un paso completamente necesario, ¿ve Ud.?"

"Ya veo", dijo Aquiles; y había un toque de tristeza en su tono de voz.

Aquí el narrador, que tenía urgentes negocios en el Banco, se vio obligado a dejar a la simpática pareja y no pasó por el lugar nuevamente hasta algunos meses después. Cuando lo hizo, Aquiles estaba aún sentado sobre el caparazón de la muy tolerante Tortuga y seguía escribiendo en su libreta de apuntes que parecía estar casi llena.

La Tortuga estaba diciendo, "¿ha anotado el último paso? Si no he perdido la cuenta, ese es el mil uno. Quedan varios millones más todavía. Y le importaría, como un favor personal, considerando el rompecabezas que este coloquio nuestro proveería los Lógicos del siglo XIX. ¿le importaría adoptar un retruécano que mi prima la Tortugacuática Artificial hará entonces y permitirse ser renombrado 'Aquiles el Sutiles'?"

"¡Como guste!", replicó el cansado guerrero con un triste tono de desesperanza en su voz, mientras sepultaba la cara entre sus manos. "Siempre que usted, por su parte, adopte un retruécano que la Tortugacuática Artificial nunca hizo y se permita renombrarse 'Tortuga Tortura".
Avatar de Usuario
Morgos
Mensajes: 14
Registrado: 23 Feb 2011, 18:38
Rango personalizado: Nexus Atrum

Re: Aquiles y la tortuga II

Mensaje por Morgos »

Muy divertido, e interesante pero,
¿a qué va ésto?
o sea, ¿la verdad es imposible de alcanzar porque sería capás de caer en error siempre?
a lo que voy: Si A y B y C son verdaderas no por ello D será verdadera, y aunque lo fuere ¿hasta dónde seguirá siendo un caso de igualdad? si el paradigma rompiese en Q o en L o en M,,,, o en X... bla bla, porque siempre va a ver la laguna ante la afirmacion. (?

A ver ¿entendí bien o aquí el tema de discusión no era escepticismo? Pues igual digo que como historia fue entretenido y divertido.

Espero mis dudas sean degolladas, gracias.
Avatar de Usuario
Siflun
Moderador global
Mensajes: 1692
Registrado: 12 Oct 2010, 22:46
Ubicación: Sevilla

Re: Aquiles y la tortuga II

Mensaje por Siflun »

Leedlo por favor... a ver si entre todos lo aclaramos, tiene que ser una bobada pero no se cómo se resuelve.

"Y su posición actual es que acepta A y B pero NO acepta la Hipotética..."

"Llamémosla C", dijo la tortuga; "pero no acepta que:

(C) Si A y B son verdaderas, Z debe ser verdadera."

"Esa es mi posición actual", dijo la Tortuga.


Aceptando A y B ya se puede aceptar Z, sin necesidad de C.
C, por otra parte, es imposible de negar, porque ya la lógica dice que si A y B son verdaderas, Z debe serlo.

C entonces es un paso neutro que no cambia nada, aunque al formularse, se hace necesario aceptarlo y se añade un paso más.
La cosa será que estos pasos no son necesarios en absoluto.

Pero... ¿se podría esquivar a la lógica haciendo como la tortuga?
¿O simplemente, por ser estos pasos intermedios, imposibles de negar, dejan de ser pasos válidos?
Avatar de Usuario
toni
Mensajes: 4484
Registrado: 14 Oct 2010, 21:24

Re: Aquiles y la tortuga II

Mensaje por toni »

Es que es muy largo Siflun....y si luego va ha ser una bobada...
Avatar de Usuario
Sajuuk_
Mensajes: 1938
Registrado: 15 Feb 2011, 22:41

Re: Aquiles y la tortuga II

Mensaje por Sajuuk_ »

Es una escalada, empiezan en la lógica, pasan a la meta-lógica, siguen por la meta-meta-lógica y así ad infinitum.

Lo correcto sería hacer lo contrario, primero acordar las reglas que se van a seguir y luego aplicarlas.
Gott weiß ich will kein Engel sein
Avatar de Usuario
Siflun
Moderador global
Mensajes: 1692
Registrado: 12 Oct 2010, 22:46
Ubicación: Sevilla

Re: Aquiles y la tortuga II

Mensaje por Siflun »

Gracias y perdón por no tener ni idea;

¿la meta-lógica sigue usando la misma lógica? ¿o es otra?
No sé, parece que si usa siempre la misma lógica, aunque vaya ascendiendo, nunca podrá realmente avanzar en otra dirección más que en la dirección lógica y que lo que está haciendo se reduce a nada porque, aunque esté preguntando ¿puedo fiarme de la meta-lógica? ¿y de la meta-meta-lógica? en realidad sólo estaría preguntando una y otra vez si puede fiarse de la lógica. Sería una repetición que no aporta nada nuevo.
Avatar de Usuario
Sajuuk_
Mensajes: 1938
Registrado: 15 Feb 2011, 22:41

Re: Aquiles y la tortuga II

Mensaje por Sajuuk_ »

Eso es una cuestión terminológica. Yo diría que es meta-lógica porque lo que se cuestiona no es ninguna parte del antecedente ni el consecuente, sino la misma implicación (si no he leído mal en mi lectura un poco superficial).

De todas formas, sistemas como estos hay muchos, sin necesidad de ir a algo tan rebuscado como cuestionar la misma implicación, y son cuestiones medianamente estudiadas, no es que la tortuga haya hecho nada realmente especial.

Tal vez te interese esto:
http://es.wikipedia.org/wiki/Problema_de_la_parada
http://en.wikipedia.org/wiki/Normalizat ... writing%29
Gott weiß ich will kein Engel sein
Responder