Eutifrón, en un evento en honor a Magidor

Hace pocos días en Jerusalén tuvo lugar el evento Menachem Magidor 70th Birthday Conference.

Juliette Kennedy dio una conferencia en ese evento, con título The Philosopher’s Second Sailing, or: Reading Gödel on the Euthyphro.

El ensayo de Kennedy para el evento de Magidor es sumamente interesante. Espero que pronto se convierta en un artículo. El tema está bien descrito en el título: el segundo zarpar del filósofo fue un tema que a Husserl le llamó la atención, pues en 1909 él mismo tuvo una crisis vital que lo obligó a cambiar de rumbo fuertemente a nivel filosófico. Kennedy parte de las conversaciones que sostuvieron Gödel (en los años finales de su vida) y Sue Toledo.

Algunos de los temas que aparecen desarrollados en el artículo de Kennedy:

  • la crisis de 1909 en Husserl; parece que el tema obsesionaba a Gödel
  • finitismo, intuicionismo, y el Eutifrón – el diálogo platónico sobre lo sagrado
  • a Gödel parecía interesarle más el Husserl post-1909 que el anterior (por ejemplo, el de las Investigaciones Lógicas de 1904) – a Gödel parecía atraerlo mucho más la visión fenomenológica que desarrolló Husserl a partir de esa fecha
  • el ego fenomenológico que no es algo separado de sus experiencias; es simplemente idéntico a la unidad interconectada de éstas
  • es también la época en que emerge de manera más contundente el concepto de epojé (Einklammerung, bracketing, poner entre paréntesis) y su rol en la fenomenología – y el rol del sujeto como parte activa del problema de la existencia de objetos matemáticos – la raíz de ἐποχή parece ser la misma de “mantener a raya” o “mantener en suspenso” – como condicionar un pago o trancar físicamente a alguien…
  • en su segundo zarpar en 1909, Husserl parece obscurecer intencionalmente su lenguaje – un poco como si quisiera obligar al lector a ir muy despacio, como si dar demasiada claridad permita que el lector “se salte” puntos claves – ¿giro de lo exotérico a lo esotérico en Husserl? Aparentemente a Gödel le interesaba mucho este punto del lenguaje que cambia y que se obscurece, claramente de manera intencional. Hay un punto en común muy interesante ahí con el lenguaje de los místicos y su oscuridad. Un poco inverso a lo que en general buscamos viniendo de la matemática – venimos de un lenguaje que es oscuro para casi todo el mundo y sufrimos las consecuencias de eso; en Husserl como en ciertos místicos (y seguramente en Gödel tardío) parece haber un valor especial en lo oscuro, en lo oculto…
  • el diálogo Eutifrón es una de esas búsquedas infructuosas en torno al concepto de lo sagrado, lo sacro – iniciado por el encuentro de Sócrates con Eutifrón en las cortes atenienses; Sócrates está siendo juzgado por impiedad y corrupción de menores, Eutifrón demandó a su padre por asesinato de uno de sus criados; el padre de Eutifrón había apresado al criado y lo había dejado morir en una zanja después de que el criado a su vez había matado, borracho, a otro criado…  dadas las leyes atenienses, la demanda de un hijo contra su padre era improcedente (a menos que hubiera matado a algún familiar, pero ciertamente no si había matado a un criado) y se rumoraba en Atenas que Eutifrón era impío (no sé si otra palabra describa/traduzca mejor el atributo) por haber denunciado a su padre, sobre todo cuando el que este había matado “ni siquiera era de la familia”…
  • como las acusaciones contra Sócrates y contra Eutifrón eran similares, Sócrates decide explorar lo sacro, lo sagrado, aprovechando la experiencia de alguien que ya pasó por pensar en esos temas, en los estrados – después de cinco definiciones fallidas, el tema sigue abierto
  • aparentemente Gödel trataba de entender el porqué de la debilidad de Eutifrón en sus argumentos, el porqué de la cobardía de Eutifrón (sale corriendo al no encontrar solución): a Gödel parecía preocuparle la cobardía de refugiarse en leyes y no encarar las consecuencias de sus propios razonamientos – Eutifrón usa “religión racional” al acusar a su padre pero no entiende las consecuencias de lo que está haciendo

El artículo explora más a fondo las preocupaciones de Gödel en esas conversaciones al final de su vida con el tema de la honestidad intelectual. Kennedy adicionalmente lleva el problema al entender fenomenológicamente el tipo de objetos de la teoría de conjuntos (Kennedy, Magidor y Väänänen tienen además un proyecto de definibilidad intermedia entre primer y segundo orden, algo que en un extremo daría el universo conjuntístico construible de Gödel, L, y en otro extremo daría HOD, pero hilando fino con diversas definibilidades resultan obteniendo otras nociones intermedias, algunas muy robustas a forcing y con conexiones sorprendentes con grandes cardinales).

 

IMG_0035
Menachem Magidor en el Instituto Mittag-Leffler, 2009. [Foto: AV]

[Nota Bene: Para muchas personas, un hombre tan multifacético como Magidor no necesita presentación, pero vale la pena recordar brevemente aquí que, además de ser uno de los especialistas más sofisticados en teoría de conjuntos (trabajos importantes desde la década de 1970 hasta el presente) a nivel mundial, Magidor ha sido rector de la Universidad Hebrea de Jerusalén (entre 1997 y 2009), dirigido tesis doctorales en varios temas (además de matemática, en filosofía y en computación), y según entiendo tiene trabajos incluso con equipos de arqueología de Israel.

Mi recuerdo de él cuando estuve en Jerusalén es tenue, pues él estaba en sabático fuera del país durante mis primeros meses allá, y cuando llegó era el decano de Ciencias y luego el rector.  Pero sí recuerdo vívidamente que aún siendo rector iba al café Beit Belgia en el campus los viernes por la mañana (en Israel, los viernes son como nuestros sábados, pues la semana laboral es de domingo a jueves y a veces el viernes por la mañana), donde paraban muchos de los estudiantes de doctorado en matemáticas y trabajaba con algunos de ellos, siendo rector. Era un rector profundamente comprometido con los temas académicos.

Su trabajo en teoría de conjuntos tiene contribuciones cruciales como sus trabajos ya clásicos en cardinales fuertemente compactos, en axiomas de forcing (Martin’s Maximum, variantes más fuertes), en toda clase de variantes de definibilidad en lógicas intermedias entre primer y segundo orden, en cuantificadores generalizados, en forcing semipropio, en propiedades de compacidad generalizadas, etc.]

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s