Zenón de Elea la razón te lía, I

Voy a publicar aquí algunas de las entradas menos malas de mis blogs para alumnos de bachillerato. Esta se refiere a la escuela de Elea (Historia de la Filsoofía, de segundo de Bachillerato).
 
(Diálogo entre Zenón de Elea y un paisano suyo.)

Paisano de Elea.- Oye, Zenón, ¿te pillo bien?
Zenón.- Sí, estoy sentado y no tengo escapatoria.
P.- Dime, por favor, algunos de esos tan inteligentes razonamientos un poco absurdos tuyos.

Z.- Vale, pero no son tan inteligentes ni un poco absurdos, son sólo absolutamente absurdos, o sea, totalmente inteligentes.
P.- Bueno, pues uno de esos.
Z.- Te preguntaré dos cosas, ¿te parece bien? ¿O te parecen muchas?
P.- No, dos no son muchas.
Z.- Está bien. Pues dime, la primera, cuántas cosas crees que hay en realidad. Y después, dime cuánto es de grande cada cosa.

P.- ¿Cuántas cosas hay? Muchas. Ya en mi salón creo que hay demasiadas, no te digo nada si hablamos de Elea entera o de toda Grecia. Muchas.
Z.- O sea, que no crees que haya ni una sola ni ninguna.
P.- Claro que no. Tú mismo me has preguntado ya dos cosas.
Z.- Muy bien dicho. Entonces, dime, esas muchas cosas que existen según tú ¿son en número infinito o finito? Quiero decir, ¿se podría alguna vez acabarlas de contar, o no?
P.- Ahí ya me pones en un apuro.
Z.- ¿No te parece que tienen que ser cuantas son, ni más ni menos?
P.- Claro.
Z.- Y eso tiene que ser una cantidad determinada, ¿no? Aunque ni tú ni yo podamos contarlas, tienen que ser una cantidad fija.
P.- Sí, parece sensato.
Z.- Pues piensa ahora lo siguiente. Supongamos que haya tres cosas, para abreviar.
P.- Por ejemplo, yo y mis dos perros.
Z.- Por ejemplo. Entonces te pregunto. ¿no habrá otra cosa que será tu cabeza? ¿Y los hocicos de tus perros, y, en fin, todas las partes de esas tres cosas?
P.- ¿Y las partes de cosas son cosas?
Z.- Dímelo tú.
P.- Yo creo que sí, la verdad.
Z.- ¿Y las partes de las partes, son cosas o no?
P.- Sí, claro, por la misma regla.
Z.- Así que parece que habrá una infinidad de cosas.
P.- Salvo que haya cosas, Zenón, que no tengan partes más pequeñas que ellas mismas.
Z.- Muy bien. Y ¿crees que podrías contar una cosa que no se pudiera partir?
P.- ¿Por qué no?
Z.- Porque una cosa que no se puede partir, creo yo, no ocupa nada ni es nada.
P.- Puede ser.

Z.- Piénsalo además de otra manera. Si hay tres cosas, hay siete, ¿no?
P.- ¿¡Cómo!?
Z.- Supón que haya estas tres, a, b y c. Entonces hay también la combinación de a y b, llamémosla, ab, y la de a y c, o sea, ac, y bc, y abc.
P.- Bueno, pero eso son otro tipo de cosas.
Z.- Ya, pero cuando yo te he preguntado por la cantidad de cosas que crees que hay, no te he pedido que distingas en tipos. Todos los tipos valen si hablamos de cantidad de cosas.
P.- Vale, hay siete.
Z.- ¿Siete? ¿Es que no sabes contar? ¿O no piensas contar a la combinación de a y ab, o sea, a(ab), y las demás combinaciones de las siete cosas?
P.- Ya veo a dónde vas. Entonces nunca podremos parar así tampoco.

Z.- Así es. Creo que en el siglo XIX vivirá un matemático alemán que demostrará de esa forma que nunca puede darse un conjunto que lo contenga todo, porque siempre el conjunto de todos los conjuntos que puedes hacer con los elementos de un conjunto dado, A digamos, es mayor que el propio A.
P.- Entonces ¿las cosas que hay son en número infinito?
Z.- Si tú puedes digerir eso…
P.- ¿Qué problema le ves, Zenón?
Z.- Hombre, dicen que la mitad de infinito es tan grande como infinito. La milmillonésima parte de infinito es igual de grande que el infinito…
P.- Todos los infinitos son iguales, claro.

Z.- Bueno, según ese matemático del que te he hablado, un tal Jorge Cantor, no es así, sino que hay unos infinitos más grandes que otros. Por ejemplo, el infinito de los números que resultan de una división sin resultado exacto, los Reales, como los llaman los matemáticos, tiene por lo menos un número que no está en la fila de los que llaman números naturales. Pero creo que con el infinito más pequeño tenemos ya bastante para inventar esos razonamientos absurdos inteligentes que vienes buscando.
P.- Tienes razón.
Z.- A mí el infinito no me parece una cantidad. No hay manera de partirlo en cachos más pequeños. Si te pones a caminar hacia el infinito, por mucho que andes estarás siempre a la misma distancia. Así que…
P.- ¡Menudo lío!
Z.- A eso venías, ¿no? ¿Estás ya satisfecho? Resumiendo, parece a la vez que, si hay muchas cosas, como dices tú (y aunque sean pocas), deben ser una cantidad finita e infinita, pero las dos opciones parecen absurdas.

P.- ¿Entonces, tú que piensas?
Z.- Puede que no hay ninguna, o que haya una sola cosa.
P.- ¿Eso te parece más lógico?
Z.- Que no haya ninguna, no me lo parece, la verdad.
P.- Claro, ya estás tú mismo, que eres una cosa, para desmentirlo.
Z.- No por eso, Calias. No me gusta razonar así.
P.- ¿Por qué?
Z.- Porque eso no es un razonamiento, sino un hecho, que estamos viendo. Y lo que nos estamos preguntando es si es lógico, no si nos parece que lo experimentamos, ¿entiendes?
P.- Creo que sí. ¿Entonces, que crees que es lógico?
Z.- Ninguna, no me parece. Porque, si hubiese ninguna, ya habría una, la nada o conjunto vacío.

P.- Pero el conjunto vacío no existe.
Z.- Pues para no existir está muy ocupado. ¿No sabes que estamos metiendo cosas en él continuamente? ¡Todo lo que no cabe en ningún otro! Fíjate, incluso, en que un lógico más o menos contemporáneo del matemático que te mencioné, definirá los números diciendo que el Uno es el conjunto que tiene como elemento al conjunto vacío, el Dos el que tiene como elementos al Uno y, por tanto, al Vacío, y así.

P.- Entonces ¿crees que hay una sola cosa?
Z.- Eso decía siempre mi maestro, el sapientísimo Parménides. Pero esa es una verdad, como también él decía, incomprensible para nosotros, los mortales. Sólo la diosa puede comprender que todo es uno y lo mismo, y que las diferencias son aparentes, porque en verdad el no-ser es nada, nada de nada, y sin el no-ser no podemos distinguir ni siquiera dos seres.
P.- Y ¿cómo dices que no podemos comprender lo que dice Parménides? A mí me acaba de parecer que lo he entendido, aunque me parece tan increíble que, como no me invites a un trago de esa buena cerveza que tienes en tu bodega…
Z.- Pues, aunque es muy lógico, también tiene su lado absurdo. Fíjate. Basta con que intente decirlo o pensarlo, que todo es uno, basta que lo diga o piense, te digo, para que me contradiga, porque la frase “todos es uno” (o “es uno”, si quieres acortarla) ya es más de uno, ya tiene por lo menos dos cosas, el ‘es’, y el ‘uno’. ¿Te das cuenta?
P.- Me doy.

Z.- Así que las cosas son muchas, infinitas, finitas, una y ninguna, y, a la vez, no son ni una ni muchas ni ninguna ni infinitas. ¿Me quieres decir ahora cuánto mide cada una?
P.- Eso lo dejamos para mañana, si no te parece mal. Por hoy, ya tengo bastante con una: al fin y al cabo, es como si me llevara infinitas ideas, o más bien ninguna, porque me has dejado la inteligencia más pelada que la cabeza de un etíope.
Z.- De acuerdo, mañana lo hablaremos. Ahora tómate conmigo una de esas cervezas que dices que tengo.

La continuación de este agradable diálogo está aquí

Ver también esta otra entrada sobre Parménides y esta entrada sobre Zenón de Elea