MATHESIS UNTVERSALIS EN PROCLO

DE LAS APORAS COSMOLGICAS AL UNIVERSO EUCLDEO

CARLOS ORTIZ DE LANDZURI

The author shows how Proclo is a precursor of 'Mathesis universalis' concept, without admiting the aporetic method of mathematics which is in Plato, Aristotle and Euclides thought. Today, his paradigm is rejected but it is a decisive factor to understand the sources of western thought. This study deals with the works of Brisson, Cleary, Trudeau, Beierwaltes and Schmitz.

1. Presentacin. Las matemticas siempre han sido para el platonismo y el neoplatonismo un medio adecuado para justificar un acceso dialctico a la metafsica1. Sin embargo no siempre ha sido el mismo su modo de concebir las matemticas, ni tampoco el tipo de fundamentacin dialctica que aporta la metafsica2. De hecho este uso dialctico de las matemticas gener un gran nmero de enigmas y paradojas, tanto en el platonismo como en el neoplatonismo, aunque en ningn caso supusiera una renuncia a su proyecto original3. Es ms, se puede decir que la aparicin de estas paradojasfixeun aliciente ms para que la especulacinfilosficaaportara un procedimiento de prueba an ms estricto, que permiti concebir las matemticas como un saber autnomo y autosuficiente, al modo

M.Tziatzi-Papagianni, Die Sprche der sieben Weisen. Zwei byzantinische Sammlungen: Einleitung Text, Testimonien und Kommentar, Teubner, Stuttgart, 1994. 2 B. Sandywell, Reflexmty and the Crisis of Western Reason. Logological Investigations, vols. 1-3, Routledge, London, 1996. 3 F. Ricken (ed), Philosophen der Antike I-II, Kohlhamrner, Stuttgart, 1996. K. F. Johansen, A History ofAncient Philosophy. From the Beginnings to Augustine, Routledge, London, 1998.
Anuario Filosfico, 2000 (33), 229-257

229

c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

CARLOS ORTIZ DE LANDAZURI

de Euclides, aunque dependiente de la metafsica, como al menos termin ocurriendo en Proclo4. 2. Brisson, 1994: las aporas geomtrco-cosmolgicas de la dialctica platnica. Luc Brisson ha reconstruido en El mismo y el otro5 la articulacin que Platn y el neoplatonismo establecieron entre la metafsica y la matemtica, distancindose de las interpretaciones de Taylor y Conford. A este respecto Brisson destaca la estructura ontolgica fundamental que, segn el Timeo, determina la naturaleza del mundo y de cada uno de sus elementos. A su vez se relega a un lugar muy secundario el papel que a este respecto desempe la matemtica de su poca, o en el propio pitagorismo, aunque sea un tpico afirmar lo contrario. En su opinin, el Timeo ya 10 se remite a la consabida relacin entre espacio y nmero, o sntre materia y forma6. Ms bien introduce una original relacin estructural de interdependencia mutua entre el principio de subsistencia (de uno respecto de el mismo) y de identidad (de uno respecto de lo otro). A su vez esta relacin se aplica a distintos niveles ontolgicos, tanto emprico como racional, dando lugar a una peculiar ordenacin jerrquica entre ellos. De este modo se consigui dar una respuesta a la dicotoma que Parmnides introdujo entre el ser y el no ser, permitiendo a su vez la compatibilidad entre contrarios simplemente relativos7. Es decir, se justific la peculiar relacin de participacin existente a dos niveles: por un lado, la participacin entre las distintas formas inteligibles; y por otro lado, la subsiguiente participacin de todas ellas respecto del mundo sensible, separando con claridad el mbito de lo inmvil

S. M. Cahn (ed.), Classics of western philosophy, Hackett, Indianapolis, 1995. 5 L. Brissom, Le Mme et l'autre dans la structure ontologique du Time' de Platn, Academia, Sankt Augustin, 1994. 6 H. Benz, Materie und Wahrnehmung in der Philosophie Plotins, Knigshausen & Neumann, Wizburg, 1990. 7 H. Peterreins, Sprache undSein bei Platn, Pfeil, Mnchen, 1994.

230
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

'MATHESIS UNIVERSAUS'EN PROCLO

respecto de lo mvil . En este contexto la referencia a las matemticas ocupa un lugar importante, pero simplemente intermedio, como lugar de trnsito entre estos dos mbitos, sin atribuir a las figuras geomtricas una naturaleza inteligible y subsistente, a pesar del mito que cre Aristteles a este respecto con la intencin de despus criticarlo9. De todos modos est claro que las matemticas forman parte del ideal platnico de bsqueda de un mundo superior de formas inteligibles del que a su vez participa el mundo sensible. Sin embargo esta bsqueda gener paradojas cosmolgicas insolubles, que fueron consecuencia de las limitaciones de su teora matemtica, pero que tambin condicionaron la validez de su propia metafsica. De todos modos Platn siempre concibi las aporas geomtrico-cosmolgicas de la dialctica como un reto que le exiga embarcarse en propuestas an ms ambiciosas, sin retractarse en ningn caso de sus principios10. Ahora se destacan siete aporas: 1) El enigma del demiurgo desempe un papel muy importante en la gnesis del as llamado platonismo medio, o ya antes, en Speusipo, y Xenocrates e incluso en la tradicin socrtica1 x. El propio Platn, en el Timeo, se vio obligado a admitir una progresiva sustitucin del demiurgo por el alma del mundo. Posteriormente incluso se propuso una separacin entre un alma del mundo irracional y otra racional, como ya hizo Plutarco, segn diera lugar a un caos o a un cosmos ordenado. Slo en este caso el cosmos participa de las formas inteligibles y de los modelos geomtricos12. 2) Los enigmas geomtricos que generan las formas inteligibles cuando se proyectan sobre el mundo sensible tambin fueron

H. Eibse (e&), Theosophorum Graecomm Fragmenta, B. G. Teubner, Stuttgart, Leipzig, 1995. 9 N. D. Smith (e&), Plato, Critical Assessments, vols. I-IV, Routledge, London, 1998. W. Wieland, Platn und die Formen des Wissens, Vandenhoeck & Ruprecht, Gttingen, 1999. 10 R. C.Trandle, Ancient greek philosophy: it's development and relevance to our time, Aldershot, Avebury, 1994. 11 B.Huss, Xenophons Symposion. Ein Komentar, B. G. Teubner, Stuttgart, 1999. 12 J. Mansfled, Studies in the Historiography of Greek Philosophy, Van Gorcum, Assen, 1990.

231
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

CARLOSORTIZ DE LANDZRI

abordados por Speusipo, Xenocrates o el propio Aristteles . En ese caso las formas inteligibles mantienen una relacin recproca de participacin entre todas ellas. Pero tambin dan lugar a determinados modelos geomtricos, que ahora se conciben como autnticos inteligibles demirgicos, sin ser completamente subsistentes, ni tampoco idnticos a las ideas, como despus seal Pro3) Los enigmas conceptuales generados por el medio espacial tambin fueron sealados por Speusipo, Xenocrates, Aristteles, al igual que por Plotino y Proclo 5. Especialmente cuando el platonismo medio y el neoplatonismo posterior pretendi articular tres nociones complementarias de caractersticas metafsicas opuestas: el desorden pre-csmico inicial, el medio espacial, cada vez ms identificado con la materia prima aristotlica, y la llamada materia inteligible, provocando una aparente inversin en las relaciones habituales de participacin16. 4) El alma del mundo tambin se volvi para la antigua academia y para el platonismo posterior un enigma cosmolgico de difcil solucin. En efecto, se concibi el alma del mundo como principio activo respecto del automovimiento existente en el medio espacial, segn un principio de orden de cuya vigencia no se puede dudar17. En este sentido Platn atribuy al alma del mundo una peculiar participacin de las formas inteligibles, asignndole incluso una estructura matemtica muy precisa, que ahora se analiza pormenorizadamente. Sin embargo siempre fue un principio metafsico de difcil clasificacin: ni se puede identificar con una forma inteligible inmvil, ni tampoco con una forma sensible co-

C. Mueller-Goldingen, Untersuchungen zu Xenophons Kyrupdie, B. G. Teubner, Stuttgart, 1995. 14 F. Tauste Alcocer, Opus naturae: la influencia de la tradicin del Timeo en la Cosmographia de Bernardo Silvestre, PPU, Barcelona, 1995. 15 H. Wilms, Techne undPaideia beiXenophon und Isokrates, B. G. Teubner, Stuttgart, 1995. 16 C. Eggers Lan (ed), Platn, los dilogos tardos: actas del Symposium Platonicum 1986, Sankt Augustin, Academia, Mxico, 1994. 17 E. Syska, Studien zur theologie im ersten Buch der Saturnalien des Ambrosias Theodosius Macrobius, Teubner, Stuttgart, 1993.

232
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

'MATHESIS UNIVERSAL'EN PROCLO

rruptible, por lo que se le atribuy una naturaleza hbrida de difcil justificacin18. 5) La presencia a un alma exiga remitirse a unafigurao cuerpo del mundo, que en la antigua academia y en el neoplatonismo posterior tambin gener enigmas geomtricos similares19. Especialmente cuando se concibi el mundo como un medio espacial estructurado segn dos tipos de principios contrapuestos: por un lado, los cuatro elementos naturales, que imitan las formas geomtricas pitagricas correspondientes; y, por otro lado, las esferas celestes de los cinco astros conocidos, cuya ordenacin se remite a los llamados cinco slidos regulares. En estos casos se tuvo que optar por una solucin geomtrica,fsico-matemticao simplemente aritmtica, segn se diera una primaca a los primeros elementos, al cuerpo del mundo, o simplemente al alma del mundo, como respectivamente propusieron Calcidio, Proclo y Adraste. Pero en todos estos casos aparecieron aporas de tipo terico y tambin prctico, sin lograr articular sus respectivas visiones espaciales, mecnicas o simplemente cinemticas del Universo fsico . 6) La constitucin del hombre tambin gener numerosas paradojas geomtricas en el neoplatonismo21. Especialmente cuando Proclo utiliz los plantermenos rficos-pitagricos para fundamentar la peculiar relacin que Platn estableci entre cuerpo y alma, entre lo sensible y lo inteligible, o entre el bien y el mal. En la mayora de estos casos se volvi a una interpretacin en gran parte mtica del saberfilosficoque, segn Brisson, ya haba ridiculizado Platn22.
T. Kobusch / B. Mojsisch (eds.), Platn. Seine Dialoge in der Sicht neuer Forschungen, Wissenschafliche Buchgesellschaft, Darmstadt, 1996. 19 C. Gnilka, Chrisis. Die Methode der Kirchenvter im Umgang mit der antiken Kultur, vol. II: Kultur undConversin, Schwabe, Basel, 1993. 20 L. Brisson, Einjuhrung in die Philosophie des Mythos, vol. 1: Antike, Mittelalter und Renaissance, Wissenschafliche Buchgesellschaft, Darmstadt, 1996. 21 M. Krger, lchgeburt. Orgenes und die Entstehung der christlichen Idee der Wiederverkrperung in der Denkbewegung von Pythagoras bis Lessing, Olms, Hdesheim, 1996. 22 W. Fauth, Helios megistos: zur synkretistischen Theologie der Sptantike, Brill, Leiden, 1995. A. Jagu, La conception grecque de l'home d'Homeres a Platn, George Olms, Hdesheim, 1997.

233
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

CARLOSORTIZDE LANDAZVRI

7) Por ltimo, la paradoja de la necesidad y del orden matemtico. Aperece cuando en el Timeo, al modo como antes ya haba hecho en el Poltico, cuando Platn concibe la necesidadfisicay matemtica como una mezcla de causalidad por uno mismo y de dependencia azarosa de lo otro, como si el mundo estuviera a su vez gobernado por un alma buena y otra mala23. En efecto, en el Poltico se recurre a un mito muy grfico a este respecto: la polis trata de imponer un orden civilizado dentro de la vida salvaje, sin prescindir en ningn caso de la naturaleza de la que depende. Pero algo similar ocurre cuando se trata de introducir una armona entre la causalidad y el azar, o entre el orden matemtico y la irracionalidad de los movimientos mecnicos espontneos, sin poder justificar en ningn caso que todo sea necesario, o que todo se rija por un orden exacto24. Luc Brisson ha puesto de manifiesto el papel propedutico que Platn asign a las matemticas en el Timeo, sin conseguir ta npoco resolver los numerosos enigmas y paradojas que por este motivo se originan. Por su parte el platonismo posterior mantuvo este modo aportico de abordar la metafsica, presente tambin en el modo como Euclides justifica los postulados de la geometra. Sin embargo hubo excepciones en este proceso, como al menos ocurri en Proclo. A este respecto cabe hacer una observacin: El uso propedutico de la geometra eucldea a travs de Proclo, permiti invertir el uso aportico que el neoplatonismo hasta entonces haba hecho de estas paradojas?25.

J. Folln, Suivre la Dmnit. Introduction l'esprit de laphilosophie ancien, Peeters, Louvain, 1997. 24 C. Rowe (ed), Reading the "Statesman": proceedings ofthe III Symposium Platonicum, 1992, Sankt Augustin, Academia, Bristol, 1995. 25 L. Brisson / F. W. Meyerstein, Inventig the Universe. Plato 's 'Timceus', The Bing Bang Andthe Problem ofScientific Knowledge, State University of New York Press, Albany, 1998.

234
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

MATHESIS UNIVERSAUS'EN PROCLO

3. Cleary, 1995: el uso aportico de las matemticas en Aristteles. John J. Cleary en 1995 ha puesto de manifiesto la crtica que la metafsica aristotlica formul a la concepcin platnica de las matemticas. Aristteles y las matemticas16 pone de manifiesto cmo Platn otorg a las matemticas un lugar propedutico desproporcionado. En efecto, las paradojas que genera la geometra pitagrica exigen otorgar a este saber un papel instrumental simplemente subsidiario, sin concebirlo como una antesala necesaria del propio saber metafsico. En este sentido Platn y Aristteles van a tener dos visiones contrapuestas de las matemticas, aunque a pesar de todo mantienen un punto de partida comn. En efecto, la metafsica, la cosmologa y la antropologa de Platn y de Aristteles siguen haciendo un uso aportico de las matemticas, sin otorgar a la geometra un valor demostrativo decisivo en este tipo de cuestiones, aunque ambos lleguen a esta conclusin por vas muy distintas. Para ambos la matemtica tiene un valor simplemente propedutico para justificar posteriormente un tipo de saber metafsico an ms alto, que a su vez permite resolver las aporas que a su vez generan las propias matemticas27. Sin embargo Platn sigui otorgando a las matemticas un valor propedutico absolutamente necesario para la propia metafsica. En cambio Aristteles slo otorg a las matemticas un valor meramente instrumental, que necesariamente pasa por renunciar a las pretensiones de saber metafsico que an haba en las matemticas pitagricas y platnicas. A este respecto Cleary defiende ocho tesis principales sobre el uso aportico que la metafsica, la cosmologa y la antropologa aristotlica hicieron de las matemticas, eludiendo de este modo la aparicin de paradojas28: 1) Aristteles transform la ontologa platnica de principios abstractos en otra ontologa de principios naturales jerarquizados.
J. J. Cleary, Aristotle and Mathematic. Aporetic Method in Cosmology and Metaphysics, Brill, Leiden, 1995. 27 S. M. Cohn / P. Curd / C. D. C. Reeve (eds.), Readings in ancient Greek philosophy: from Thales to Aristotle, Hackett, Indianapolis, 1995. 28 J. Bames, The Cambridge Companion to Aristotle, Cambridge University Press, Cambridge, 1995.

235
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

CARLOS ORTIZ DE LANDZURI

A partir de aqu concibi los objetos matemticos como simples hiptesis incompletas no subsistentes29. 2) Aristteles introdujo una progresiva diferenciacin entre dos mtodos especulativos: por un lado, el mtodo de la abstraccin de esencias caracterstico de lafsica,la cosmologa y la metafsica ofilosofaprimera; y, por otro lado, el mtodo cuasi-matemtico de la dialctica platnica, donde se lleva a cabo un proceso de substraccin incompleta, que culmina con el aislamiento de un sujeto formalmente apropiado respecto de sus propiedades efectivas. Por eso este mtodo slo tiene un valor instrumental y en ningn caso se puede concebir como un va propedutica para acceder a la metafsica30. 3) Las matemticas aristotlicas conciben las abstracciones dialcticas como meras hiptesis particulares en s mismas incompletas, sin atribuirles una verdadera autosuficiencia31. Reconoce que estas hiptesis pueden ser el sujeto formalmente ipropiado de sus respectivas propiedades, pero sin ser en ningn caso el sujeto ltimo o el supuesto metafisico, que da razn de su existencia. Por eso a estas hiptesis o constructos matemticos slo les atribuye el cometido especfico de salvar las apariencias3"2. 4) En Metafsica, m, Aristteles hace un uso autnticamente aportico de las opiniones matemticas, haciendo ver como con frecuencia dan lugar a contradicciones consigo mismas33. Aristteles consider el uso aportico de las matemticas como un paso previo a la determinacin de los objetos especficos propios de la

Aristteles, Aristotle 'De anima': books IIandIII (withpassagesfrom book I), Clarendon, Oxford, 1993. 30 T. Scaltsas / D. Charles / M. Owain / M. L. Gil (eds.), Unity, identity, and explanation in Aristotle s metaphysics, Clarendon, Oxford, 1994. W. R. Mann, The Discovery of Things. Aristotle 's Categories and Their ContexU Princeton University, New Jersey, 2000. 31 M. Gil / J. G. Lennox (eds.), Self-motion: from Aristotle to Newton, Princeton University, Princeton, 1994. 32 U. Marquardt, Die Einheit der Zeit bei Aristteles, Knigshausen und Neumann, Wrzburg, 1993. 33 Aristteles, Metaphysics: books gamma, delta and epsilon, Clarendon, Oxford, 1993.

236
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

'MATHESIS UNIVERSAL1S' ENPROCLO

metafsica, sin aceptar la intencionalidad sistemtica que, por ejemplo, les quiso dar Toms de Aquino34. 5) En Metafsica, XDI, Aristteles determin el estatuto ortolgico de los objetos matemticos35. Con estefinrecurri a la teora general de las proporciones, sin atribuirles una autosuficiencia completa, a diferencia de lo que pensaron Speusippus y Xenocrates desde planteamientos platnicos. Sin embargo Aristteles tampoco rechaz la posible entidad de este tipo de constructos abstractos. Ms bien propuso una nuevajerarqua ontolgica de principios naturales, que hacen posible la predicacin reduplicativa de algo en cuanto (qu) algo, sin atribuir por ello una subsistencia metafsica completa a entes meramente abstractos. De este modo Aristteles otorga a los objetos abstractos una predicacin per se necesaria, como si efectivamente pudieran desdoblarse. De este modo los atributos matemticos quedan en cierto modo sustancializados aunque no se les atribuya a una esencia completa determinada36. 6) Como consecuencia de esta transformacin se pudo sustituir la cosmologa matemtica de los platnicos por otra ms precisa, que separa con ms nitidez los aspectos geomtricos, mecnicos, cinemticos, o estrictamente metafsicos del Universo fsico. Aristteles tambin introdujo un orden jerrquico de tipo ideolgico entre todos estos principios, que puso de manifiesto la perfeccin inmanente del universo como un todo. Pero en ningn caso acudi a los principios abstractos de la matemtica, cuyo cometido se reduce ahora a "salvar las apariencias"37. 7) Las matemticas aristotlicas as configuradas presentan varias ventajas: por un lado respetan el modo de predicacin per se propio de la ciencia. Pero a la vez mantienen el modo meramente predicativo como los objetos matemticos formalizan el dualismo

34

C. Schroer, Praktische Vemunft bei Thomas von Aquin, Kohlharnmer, Stuttgart, 1995. 35 Aristteles, Metaphysics: books Z andH, Clarendon, Oxford, 1994. 36 H. J. Horn, Studien zum dritten Buch der aristotelischen Schrift De Anima, Vandenhoeck & Ruprecht, Gttingen, 1994. 37 J. Philoponus, On Aristotle Physics 3, Duckworth, London, 1994.

237
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

CARLOS ORTIZ DE LANDAZUR1

materia y forma, al igual que ocurre con la contraposicin cncavo y convexo38; 8) Las matemticas aristotlicas nunca rechazan el posible conocimiento de este tipo de objetos matemticos, ni les niegan el tipo de entidad que en cada caso les corresponde. En cambio las matemticas modernas, en su versin formalista, intuicionista, logicista o pragmatista, nunca admiten este tipo de referencias extramatemticas39. En estos casos las matemticas se suelen quedar en simples cuestiones de mtodo, acusando a los planteamientos aristotlicos de platnicos. Sin embargo la metafsica aristotlica hizo un uso aportico de las matemticas, en confrontacin con otras propuestas igualmente plausibles, pero sin negar por ello la validez que en cada caso les corresponde . John Cleaiy ha puesto de manifiesto el uso aportico que Aristteles hizo de las matemticas en Metafsica III y Xf]. Simultneamente justifica el procedimiento seguido por Aristteles para desactivar el creciente escepticismo que provocaron la Bparicin de estas aporas geomtricas en la cosmologa platnica y neoplatnica42. En este sentido ahora se insiste ms en la repercusin que este tipo de planteamientos tuvo en la matemtica moderna con aciertos indudables. Sin embargo no se explica el grado de incidencia efectiva que estas propuestas tuvieron en las discusiones de la poca43. A este respecto surgen algunos interrogantes: La renovacin de la metafsica llevada a cabo por parte de Platn y Aristteles fue consecuencia del uso aportico que ambos hicieron de las matemticas, o ms bien hay que atribuirla al hallazgo heurstico de otros valores metodolgicos que tambin estn insertos en la geometra?44. En este sentido el neoplatonismo posteH. S. Lang, The Order ofNature in Aristotles Physics. Place and the Elements, Cambridge University, Cambridge, 1998. 39 J. Hintikka, The Principies of Mathematics Revisited, Cambridge University, Cambridge, 1998. 40 A. Pieper, Aristteles, Deutscher Taschenbuch, Mnchen, 1997. 41 E. Sonderegger, Aristteles, Metaphysik Z1-12, Haupt, Bern, 1993. 42 A. O. Rorty, Essays on Aristotle's Rhetoric, University of California Press, Berkeley, 1994. 43 O. Hffe, Aristteles, Beck, Mnchen, 1996. 44 J. J. Sanguineti, Scienza aristotlica e scienza moderna, Armando, Roma, 1992.

238
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

'MA THESIS UNIVERSAUS' EN PROCLO

rior admiti el uso aportico de las matemticas como en Platn y Aristteles, o ms bien foment un uso lgico o metafsico ms edificante, a partir de otros principios eucldeos an ms estrictos? Evidentemente se trata de interrogantes que exigen tener en cuenta el impacto decisivo que en el neoplatonismo posterior ejerci la geometra eucldea, como forma de evitar las aporas cosmolgicas que ahora hemos analizado45.

4. Trudeau, 1987: el mtodo aportico de los Elementos de Euclides. Richard Trudeau ha analizado desde el punto de vista actual las aportaciones metodolgicas de la geometra eucldea. Revolucin de las geometras no eucldeas*** hace notar el impacto que Euclides ejerci en la superacin de estas aporas cosmolgicas, aunque l mismo paradjicamente sigui haciendo un uso aportico de las propias matemticas. En efecto, la geometra eucldea a lo largo de la historia se ha visto como un sistema de conocimientos vlido por s mismo, que el paso del tiempo no ha hecho ms que confirmar47. Sin embargo hoy sabemos que se trata de un sistema geomtrico similar a otros muchos, como pusieron de manifiesto las geometras no eucldeas. A este respecto Euclides sigui haciendo un uso aportico de las matemticas, similar al que antes haba hecho Platn o despus tambin hicieron las geometras no eucldeas48. Pero en ningn caso Euclides asign a la geometra un papel apodctico, acondicionado y transcendental, como despus hizo Kant A este respecto Trudeau comprueba como las geometras no eucldeas retrotraen este tipo de problemas a un momento inicial, donde paradjicamente se sigue fomentando un uso apo45

C. Moatti, La Raison de Rome. Naissance de l'esprit critique a la fin de la Rpublique (Ile-Ier sicle avant Jsus-Christ), Seuil, Pars, 1997. 46 R. Trudeau, The Non-Euclidean Revolution, (Die geometrische Revoution), Birkhauser, Boston, 1987 (1998). 47 A. Szab, Das geozentrische Weltbild: Astronomie, Geographie und Mathematik der Griechen, Deutscher Tascheribuch, Mnchen, 1992. 48 H. Wussing / W. Arnold, Biografa de los grandes matemticos, Universidad de Zaragoza, 1989,20-29.

239
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

CARLOS ORTIZ DE LANDAZVRI

rtico de las matemticas, con motivaciones ms especulativas que meramente prcticas, como de hecho sigui sucediendo en Euclides49. A este respecto se destacan tres rasgos bsicos de Euclides: 1) Euclides (360-300 a.C.) perteneci a la escuela platnica y pitagrica, antes de instalarse en Alejandra50. Introdujo una sistemtica axiomtica en el modo de formalizar la geometra, estableciendo una clara separacin entre los protoelementos primitivos, los axiomas, las definiciones y los teoremas. Tambin justific un tipo de prueba analtica que generalmente fue aceptada por el pensamiento matemtico, incluidas las geometras no eucldeas51. 2) La geometra eucldea tiene un modo peculiar de definir los protoelementos primitivos, como son el punto, la lnea, o la superficie. Con estefinutiliz criterios formales en s mismos neutrales, cuya operatividad efectiva slo se remite al mbito exclusivo de las matemticas, sin referencia a un sistema metafsico concreto52. A su vez Euclides separa el uso de los axiomas en sentido amplio (10) y en sentido estricto (5), a los que denomina especficamente postulados, segn se justifiquen a partir de otras ciencias o por s mismos. Por otro lado los Elementos separan cuidadosamente las proposiciones que se pueden probar sin remitirse necesariamente a estos cinco postulados; por ejemplo, la posible existencia de tringulos iguales, que se puede justificar introduciendo tres nuevos postulados53. Este modelo axiomtico posteriormente fue el punto de partida de la teora kantiana acerca de los distintos tipos de juicio, incluidos los analticos y los sintticos apriori, a los que se

M. Clagett, Ancient Egyptian Science. A Source Book, vol. II: Calendars, Clocks, and Astronopmy, American Philosophical Society, Philadelphia, 1995. 50 F. W. Walbank, Die hellenistische Welt, Deutscher Taschenbuch, Mnchen, 1994. A. Bemand, Alexandrie des Ptolemes, CNRS, Pars, 1995. 51 H. Flashar / K. Dring / H. J. Waschkies / C. Oser-Grote (eds.), Die Philosophie der Antike, 2/1, Sophistik, Sokrates, Sokratik, Mathemathik, Medizin, Schwabe, Basel, 1998. 52 R. H. Schlagel, Study ofthe Origins and Growth ofScientific Thought, vol. 1: Theogony through Ptolemyy Peter Lang, New York, 1995. 53 H. Wussing, Lecciones de Historia de las Matemticas, Siglo XXI, Madrid, 1998.

240
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

'MATHESIS UNIVERSAUS'EN PROCLO

atribuye una verdad inconmovible, aunque ste nunca fue el propsito de Euclides54. 3) Euclides sigui un mtodo aportico de fundamentacin de las matemticas, aunque aparentemente pudiera parecer lo contrario. En el platonismo antiguo ya hubo diversos intentos de conseguir una axiomatizacin completa de la geometra, justificando el postulado V, o de las paralelas, evitando as esta situacin aparentemente anmala55. Por ejemplo, Poseidonio intent una reorganizacin de todo el sistema formal axiomtico, comenzando por una reformulacin independiente del postulado V, iniciando un nuevo tipo de metageometra, aunque no consiguiera su propsito inicial. Posteriormente a lo largo de los siglos XVIII y XDC hubo muchos intentos similares56. Por ejemplo, Wallis reformul el postulado V, afirmando que "dada una lnea recta slo se puede construir un tringulo de igual superficie a otro dado"57. En cambio para Gauss: "es posible construir un tringulo cuya superficie sea igual a otra dada". Por su parte Sacheri demostr la "igualdad entre un tringulo de este tipo y un cuadrado rectngulo de igual base", justificando as que la suma de los ngulos del tringulo mide 180, aunque sin poder justificar la validez del postulado V. Incluso se intent una demostracin experimental topogrfica en 1827, bajo los auspicios del rey ingls Jorge IH, construyendo un gran tringulo entre Hohenhagen, Brocken y Ihselberg, que por supuesto result un xito58. De todos modos la justificacin del postulado V lleg por una va paradjica. El hallazgo de las geometras no-euclideas demostr que todos estos intentos de demostracin partan de un equvoco; otorgaban a los axiomas de la geometra un valor inconmovible cuando en todos estos casos se sigue haciendo un uso simplemente aportico de sus propios m54

Ch. Pietsch, Prinzipienfindung bei Aristteles: Methoden und erkenntnistheoretische Grundlagen, Teubner, Stuttgart, 1992. 55 K. Brthlein, Der Analogiebegriff bei den griechischen Mathematikem und bei Platn, Knigshausen & Neumann, Wizburg, 1996,197 pgs. 56 H. Flashar (ed.), Die hellenistische Philosophie, Schwabe, Basel, 1994. 57 D. M. Jesseph, Squaring the Circle. The War between Hobbes and Wallis, Chicago University, Chicago, 1999. 58 R. Lobl, Techne - Texhbe, Untersuchungen zur Bedeutung dieses Worts in der Zeit von Homer bis Aristones, vol. 1-2, Knigshausen und Neumann, Wizburg, 1997.

241
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

CARLOS OR77Z DE LANDZURI

todos de prueba, justificando simplemente la consistencia interna de sus respectivas conclusiones5 . De todos modos, segn Trudeau, hoy sabemos que la geometra eucldea tampoco tiene una consistencia inconmovible, como durante tanto tiempo se pens, dado que cualquier prueba de este tipo es en s misma indecidible, como ya demostr el teorema de Godel60. Evidentemente Trudeau ha puesto de manifiesto el uso aportico que Euclides sigui haciendo del mtodo geomtrico de los Elementos, sin utilizarlo para justificar una determinada metafsica, aunque histricamente hayan sido numerosos los intentos en este sentido61. A este respecto la posicin de Trudeau es muy clara, pero deja un punto sin explicar: cuales fueron las razones que dieron lugar a este 'giro metafisico' en el modo de valorar las conclusiones de la geometra eucldea?62. A este respecto ha habido diversos autores que asignan a Proclo un papel fundamental en la historia de la metafsica, pero tambin de las matemticas. Veamos sus propuestas.

5. Beierwaltes, 1965: la metafsica more geomtrico de Proclo. En 1965 Wemer Beierwaltes dedic a Proclo (411-485 d.C.)63 una importante monografa. S motivacin principal fue posiblemente histrica: recuperar el lugar central que la tradicin neoplatnica tuvo en el desarrollo del idealismo alemn, o antes en el cristianismo64. En su opinin, el neoplatonismo consigui recuperar el uso propedutco que las matemticas desempean en la
60

R. H. Schlagel, From Mith to Modern Mina\ vol H-I, Peter Lang, Bem, 1996. H. Lneburg, Die euklidische Ebene und ihre Verwandten, Birkhauser, Basel, 1999. 61 L. C. Taub, Ptolomy's universe: the natural philosophical and ethicalfoundaions ofPtolomy 's astronomy, Open Court, Chicago, 1993. 62 U. Mabbubi, An Islamic response to Greek astronomy: Kitab Ta 'dil Hay 'at al-Aflak ofSar aIShari'a, Brill, Leiden, 1995, VUI. 63 W. Beierwaltes, Proklos. Grudzge einer Metaphysik, Vittorio Klostermann, Frankfirt, 1965,1979. 64 W. Beierwaltes, Platonismw im Christentum, Vittorio Klostermann, Frankfirt, 1998.

59

242
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

'MATHESIS UNIVERSAUS'EN PROCLO

fundamentacin del propio saber metafsico, aunque fuera cerca de 700 aos despus, sin hacer ya un uso aportico de sus propias conclusiones, como haba sido habitual en Platn, Aristteles y tambin en Euclides65. Adems, el neoplatonismo de Proclo, a diferencia de Plotino66, proyecta sobre el ser en general, sobre el universo fsico y sobre la propia conciencia reflexiva un modelo geomtrico de gran transcendencia, que tendra su punto de partida en Euclides. De ah que a Proclo se le considere como un precedente indiscutible del tipo de autoconciencia y de apercepcin transcendental que Descartes, Leibniz y Kant atribuyeron al hombre. A este respecto Beierwaltes atribuye a Proclo la recuperacin del uso propedutico de las matemticas por parte del mtodo dialctico67. A este respecto se destacan cuatro aportaciones fundamentales de Proclo: 1) El mtodo dialctico de Proclo toma como punto de partida tres nociones bsicas de la geometra eucldea, al igual que despus ocurrir en el idealismo alemn, incluido ahora tambin Hegel, aunque lo haga con una intencionalidad metafsica muy distinta68: los tringulos, los crculos y los propios elementos de la geometra, permiten descubrir los axiomas, principios y definiciones de la dialctica. Con este fin se prosigue la argumentacin de Euclides ms all de sus planteamientos geomtricos, para justificar as un nuevo tipo de reflexin filosfica an ms profunda y mejor fundamentada. Es decir, permiten establecer entre estos elementos una relacin triangular, autorreferencial y autofundamentada, al modo como es habitual en la metafsica69. 2) Proclo concibe las tradas como esquemas elementales nterdependientes, que reflejan la naturaleza profunda del ser. De igual modo que los elementos constituyentes reflejan la figura geomtrica del tringulo, tambin los entes particulares manifiesP. Borgen, Philo of Alexandria An Exegete for His Time, Brill, Leiden, 1997. 66 L. P. Gerson, Plotirms, Rouege, London, 1994. 67 E. R. Schwinge (e&), Die Wissenschaften vom Altertum am Ende des 2 Jahrtausends n Chr., B. G. Tebner, Stuttgart, Leipzig, 1995. 68 R. Haas, Philosophie leben und Philosophie lehren nach Plato, Pfeil, Mnchen, 1993. 69 J. Halfwassen, Der Aufstieg zum Einen: Untersuchungen zu Platn und Plotin, Teubner, Stuttgart, 1992.

243
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

CARLOSORTIZ DE LANDZURI

tan un ser ms profundo, si realmente se reflexiona sobre su contenido notico respectivo. En este sentido elfinde la metafsica es descubrir la existencia de una unidad dialctica entre el ser, la comunidad y el espritu, que a su vez configura una trada interdependiente70. 3) El crculo se presenta como representacin del espritu. Segn Proclo, el crculo matemtico adquiere un sentido netamente metafsico, cuando se utiliza para expresar la autorreferencialidad que todos sus puntos hacen a otro punto central, midiendo garantizar una autorreversibilidad de todo este proceso l. La formalizacin del crculo y su axiomatizacin requiere como presupuesto incondicionado el reconocimiento del carcter autorreferencial y autorreversible de nuestro propio conocimiento. El crculo pone de manifiesto tres rasgos del conocimiento: la persistencia, la demostrabilidad y la revisionabilidad de sus respectivos presupuestos, ya sean de tipo geomtrico, metafsico, o simplemente antropolgico, como ahora se ha visto. En este sentido el alma tambin se concibe como un crculo, al igual que el mundo, el tiempo y la historia12. 4) La dialctica es el momento culminante del propio mtodo cuando la metafsica reflexiona sobre el carcter autorreferencial y autofundamentado de sus respectivos presupuestos. En este sentido la dialctica es inseparable de la idea, en la medida que slo la reflexin filosfica y la matemtica nos permite descubrir entidades de este tipo. Por eso ambos saberes son las nicas ciencias, que desarrollan completamente los cuatro momentos del mtodo dialctico: lafijacin,la prueba, la divisin y la resolucin de los problemas con tcnicas analticas muy estrictas. Evidentemente la dialctica puede justificar presupuestos o hiptesis de diversos niveles, segn sean objeto de un conocimiento dianotico, o simplemente notico, sin que las hiptesis geomtricas tengan el mismo valor que las metafsicas, como Platn ya haba sealado.
Hermeias von Alexandrien, Kommentar zu Platons Thaidros', H. Bemard, (ed), Mohr Siebeck, Tbingen, 1997. 71 M. Di Pasquale Baibanti, Proclo trafilosofae teurgia, Bonnano, Catania, 1993. 72 R. Broxton Onians, Les origines de la pense europenne. Sur le corps, Vesprit, l'ame, le monde, le temps, et le destn, Seuil, Pars, 1999.

244
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

'MATHESIS UNIVERSALIS'EN PROCLO

Por ello la dialctica hipottica propia de la geometra eucldea necesita de una prolongacin ortolgica, con su consiguiente proceso de subida y purificacin, que garantice el logro de su verdadero fin: es decir, el uno mismo, que siempre est sobreentendido tanto en su afirmacin como en su negacin, siendo el presupuesto implcito que permite invertir el sentido escptico de todas las anteriores paradojas73. Evidentemente Beierwaltes resalta el uso propedutico que Proclo hizo de algunos elementos de la geometra eucldea, dndoles un alcance metafisico inicialmente insospechado. Sin embargo todo este proceso tiene un presupuesto todava no justificado: realmente una lectura sin ms de Euclides permiti dar este salto insospechado, o previamente se tuvo que llevar a cabo un progresivo abandono del uso 'aportico' que el neoplatonismo tradicionalmente haba hecho de las matemticas? Evidentemente este paso no fue fcil ni sencillo, y tuvo una gran transcendencia histrica, como ahora vamos a comprobar74.

6. Schmitz, 1997: Proclo, precursor del ideal de una mathesis universalis. En 1997 Markus Schmitz ha defendido una interpretacin muy original de lafilosofade las matemticas contenida en los Comentarios de la geometra eucldea de Proclo. A este respecto Geometra eucldea15 destaca una aportacin principal: Proclo fue un precursor del ideal de una mathesis universalis, tal y como se hizo presente en Descartes, Leibniz, o Kant76. En su opinin, Proclo hizo explcita la teora de la prueba que ya estaba contenida en
F. Ricken, Antike Skeptiker, Beck, Mnchen, 1994. J. M. van Ophuijsen, Plato and Platonism, Catholic University of America, Washington, 1999. 74 E. Zeller, Outlines ofthe History ofGreek Philosophy (193]), Thoemmes, Bristol, 1997. 75 M. Schmitz, Euklids Geometrie und ihre mathematiktheoretische Grundlegung in der neuplatonischen Philosophie des Proklos, Knigshausen und Neumann, Wizburg, 1997. 76 V. Peckhaus, Logic, Mathesis universalis und allgemeine Wissenschqft, Akademie, Berln, 1996.

245
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

CARLOS ORTIZ DE LANDAZURI

la geometra eucldea, sacando adems las consecuencias epistemolgicas y metodolgicas oportunas, sin adoptar planteamientos simplemente anticuados o desfasados al respecto, como afirmaron Hartmann, Bretn, Charles-Saget, Altenburg y Beierwaltes77. En efecto, a partir de Proclo numerosos autores han atribuido a Euclides el descubrimiento de un mtodo deductivo estrictamente cientfico, basado a su vez en un principio de constructibilidad y de identificacin de la existencia (matemtica), cuando gran parte de este enfoque se debe sin duda a Proclo. En efecto, Proclo separa el uso terico y prctico de las matemticas, al modo como en el siglo XX tambin suceder en Klein o Vieta, concibiendo la geometra eucldea como una ciencia del espacio y sus propiedades78. Por eso se deben afirmar las definiciones, los postulados y los axiomas donde se fundamenta la geometra eucldea, como un requisito previo cualquier posible demostracin de sus teoremas y proposiciones, sin guiarse ya solamente por motivaciones de tipo prctico. Igualmente las hiptesis o constructos geomtricos se deben remitir a una mathesis especfica o sinopsis originaria, que configuran a su vez un espacio o extensin geomtrica, concebido como un fundamento ontolgico de tipo platnico79. Sin embargo los neokantianos malinterpretaron a Proclo, al menos en este punto. En ningn caso Proclo confunde las matemticas con la metafsica, como en general pretende el tpico antiplatnico80. Mas bien atribuy a la geometra eucldea la capacidad de anlisis y sntesis, uniendo dos elementos aparentemente contrapuestos esenciales a todo mtodo: por un lado, la definicin permite la construccin de un objeto geomtrico mediante sntesis adecuadas, que despus tambin se pueden comprobar en la experiencia ordinaria81; y, por otro lado, la demostracin de la existenL. Jerphagnon, Histoire de la pernee, vol. I: Antiquit e Moyen Age, Tallandier, Pars, 1993. 78 T. Kobusch / B. Mojsisch (eds.), Platn in der abendlndischen Geistesgeschiche, Wissenschaftliche Buchgesellschaft, Darmstadt, 1997. 79 M. Baltes, Dianohmata. Kleine Schriften zu Platn undzum Platonismus, B. G. Teubner, Stuttgart, 1999. 80 C. Markschies, Zwischen den Welten wandern. Struktures des antiken Christentums, Fischer, Frankfurt, 1997. 81 C. Horn, Plotin ber Sein, Zahl und Einheit Eine studie zu den systematischen Grundlagen der Enneaden, B. G. Teubner, Stuttgart, 1995.

246
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

'MATHESIS UN1VERSAUS'EN PROCLO

cia (matemtica) requiere llevar a cabo un anlisis exhaustivo de sus primeros elementos, aunque ello requiera un proceso de racionalizacin cada vez ms alejado de la experiencia. De este modo la geometra alcanza a travs de la fantasa un nivel superior de conciencia espontnea capaz de hacerse cargo de su propia peculiaridad82. Sin embargo la fantasa nunca deduce la geometra mediante una simple dialctica platnica o cartesiana, como pretenden Beierwaltes y Moutsopoulos respectivamente; ni tampoco mediante un esquematismo transcendental kantiano de tipo apriorista, como pretendi Altenburg; ni mediante un intuicionismo de tipo construccionista, al modo de Brouwers, como pretende Duncan. Ms bien lafantasa para Proclo es el lugar donde comparece el espacio y el tiempo, configurando diversas sinopsis elementales, o mathesis especficas, que ahora se afirman como condicin de posibilidad de la propia geometra83. Proclo reinterpret de un modo neoplatnico los elementos de la geometra eucldea84. En su opinin, la definicin de cada elemento requiere fijar un procedimiento previo para identificar su existencia, aportando a su vez algn tipo de prueba. Por ello no cabe justificar estos elementos de un modo nominalista, o simplemente voluntarista, como propusieron Mili, Sacheri, Leibniz, Lambert o el propio Hilbert, entre otros. O justificarlos de un modo apriori y psicologista, como ocurre con las definiciones reales de Kant o Brunschvicg. En su lugar Proclo vuelve a Platn. Por ejemplo, cuando define el crculo mediante un procedimiento de prueba adecuado, por referencia a objetos ya dados en una intuicin sensible, o en una abstraccin idealizada. De este modo concibe el punto, la lnea, o el plano, como elementos pertenecientes a un gnero comn, el espacio, a los que se aade alguna diferencia especfica. Esta actitud esencialista puede parecer una concesin obsoleta al realismo ingenuo griego, carente del ms mnimo sentido matemtico. Sin embargo ahora Markus Schmitz opina que al menos en Proclo esto no es as. En su opinin, Proclo utiliza con frecuencia estos mtodos de prueba meramente psicologistas, o
K. Oehler, Subjektivt und Selbstbewusstsein in der Antike, Knigshausen und Neumann, Wizburg, 1997. 83 J. Gregory, The Neoplatonist A Reader, Routledge, London, 1998. 84 G. Maurach, Geschichte der Rmischen Philosophie. Eine Einjuhrung, Wissenschaftiiche Buchgesellschaft, Darmstadt, 1997.

247
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

CARLOS ORTIZ DE LANDZURI

incluso fsicalistas; por ejemplo, los mtodos de superposicin para medir los volmenes esteriomtricos de los cuerpos geomtricos, al modo por ejemplo de Arqumedes. Sin embargo Proclo establece una separacin muy clara entre la validez estricta de las pruebas eucldeas, y estos otros mtodos que slo garantizan una validez libre de contradicciones85. Euclides y Proclo persiguieron un tipo de prueba muy estricta, que a su vez presupone la existencia previa de unas entidades matemticas muy concretas. Al menos as ocurre con los cinco cuerpos regulares platnicos, en virtud del valor paradigmtico que les atribuye la geometra eucldea86. Sin embargo Proclo dio un paso ms: plante en toda su radicalidad el tipo de realidad que se debe otorgar a este tipo de constructos geomtricos cuando se les atribuye un carcter existencia!, ya sea de un modo ideal-platnico o meramente abstracto-aristotlico87. Segn Proclo, Euclides descubri a este respecto un orden ontolgico existente entre las distintas esencias, o entidades matemticas, ya sean puntos, lneas, superficies, o figuras. Lo descubri a travs de un doble proceso metdico, internamente complementario, pero a su vez asimtrico, como seal Pappus. Por un lado, el anlisis hace posible la localizacin de los primeros elementos, que estn sobreentendidos en esta relacin de orden; por otro lado, la sntesis justifica la reconstruccin de un teorema, o consecuencia lgica, que ha permitido establecer esa relacin de orden, sin poder ya aislar ambos momentos del proceso discursivo o dianotico. Evidentemente se pueden considerar obsoletas y carentes de sentido las propuestas de Proclo, al defender algo que nunca estuvo en la intencin de Euclides. Sin embargo Markus Schmitz llega a la conclusin contraria: si las definiciones reales de la geometra moderna no se remiten a ningn fundamento, como el lgebra geomtrica y los formalismos axiomticos se pueden seguir proponiendo como modelos para el progreso cientfico?88.
T. Kouremenos, Aristotle on Mathematical Infinity, Franz Steiner, Stuttgart, 1995. 86 B. Freydberg, The Play ofthe Plaonic Dialogues, Peter Lang, New York, 1997. 87 T. A. Robinson, Aristotle in Outline, Hackett, Indianapolis, 1996. 88 K. Friis Johansen, A History of Ancient Philosophy, Routledge, London, 1998.

248
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

MATHESIS UNIVERSALJS'EN PROCLO

7. La reconstruccin del ideal eucldeo de prueba analtica. Proclo hizo una segunda aportacin importante en el comentario al Elemento I, Proposicin 32 de los Comentarios a Geometra eucldea: El desarrollo de tcnicas analticas apropiadas para justificar el ideal de una mathesis universalis. En efecto, la demostracin del teorema relativo a la suma de los ngulos internos de un tringulo siempre se ha tomado como si se tratara de un rasgo diferencial de la geometra eucldea, que permite afirmarlo como una antesala obligada del postulado V de las paralelas, al modo de Sacheri. Sin embargo Proclo le da un significado ms profundo. En su opinin, el teorema confirma la posibilidad de encontrar un tipo de prueba que justifique sus conclusiones por razones autnticas, basadas en las caractersticas del propio objeto. El propio Aristteles ya hizo notar en Analytica Posteriora, con referencia a esta misma proposicin, "el tringulo de suyo tiene que medir dos rectos", aunque despus hiciera un uso aportico de esta afirmacin89. Sin embargo Proclo utiliza este mismo ejemplo para distinguir tres tipos posibles de predicacin universal. 1) aquellas predicaciones que slo expresan una generalidad fctica; 2) las que expresan una predicacin esencial, que es objeto especfico del conocimiento cientfico* y 3)finalmente,aquellas que expresan indistintamente ambas9 . En las predicaciones esenciales la fantasa debe llevar a cabo un proceso previo de constitucin de los distintos elementos y proposiciones, y de demostracin de su existencia (matemtica), sin tomar en cuenta lo meramente accidental. A partir de aqu se analizan las condiciones de universalizacin que debe cumplir un posible predicado para atribuirle un carcter esencialmente cientfico91. O para concebirlo como un accidente esencial, si realmente esa propiedad se deriva de un modo necesario de su especfica naturaleza. De todos modos hay relaciones mera89

A. Menne / N. ffenberger (eds.), ber den Folgerungsbegriff in der Aristotelischen Logik, G. Olms, Hildesheim, 1995. 90 B. Freydberg, The Play ofthe Platonic Dialogues, Peter Lang, New York, 1997. 91 C. Hom, Antike Lebenskunsl Glck und Moral von Sobrales bis zu den Neuplatonikem, C. H. Beck, Mnchen, 1998.

249
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

CARLOS ORTIZ DE LANDAZURI

mente accidentales, como las que genera la divisin de un paralelogramo por su diagonal; y otras que en cambio son esenciales, como ocurre con la suma de los ngulos de un tringulo; en estos casos aunque se incrementa o disminuya la longitud de un lado se mantiene inalterable la suma de los ngulos92. La estructura deductiva de los Elementos tiene para Proclo un significado muy preciso. Por ejemplo, la formulacin del teorema V exige descubrir una relacin esencial de invarianza en el caso de la paralela; es decir, se descubre una situacin singular donde dos rectas no se cortan, aunque hay infinitas posibilidades de ocurrencia en el sentido opuesto. Precisamente se llama ahora elemento a este tipo de singularidades geomtricas a las que se atribuyen propiedades deductivas muy particulares, expresadas en un lema; es decir, a travs de una proposicin probada por mtodos muy estrictos. De este modo la geometra eucldea viene a confirmar la relacin interna de carcter deductivo, que se establece entre los elementos y sus respectivos lemas, confirmando la referencia obligada a un presupuesto previo: el orden de los elementos est ya dado en un espacio geomtrico, por ser la materia que hace posible el propio conocimiento cientfico93. Para Proclo el orden de los elementos tambin tiene un significado fsico94. La geometra a este respecto se concibe como una ciencia del espacio, sus magnitudes, susfiguras,sus singularidades y sus accidentes. Pero la geometra tiene un claro sentido platnico cuando se afirma como un presupuesto de las cienciasfsicas:por ejemplo, cuando Platn defiende en el Timeo la posible circunscripcin de los cinco cuerpos regulares platnicos dentro de un cubo95. De este modo se estara justificando la existencia de una materia csmica o extensin inteligible, que a su vez configura un universo geomtrico, o una mathesis universalis, en este caso de tipo eucldeo. Posteriormente Kepler tambin compartir este ideal
P. H. Byme, Analysis and Science in Aristotle, State University of New York, Albany, 1997. 93 F. A. Lewis / R. Bolton (eds.), Form, Matter, and Mixture in Aristotle, Blackwell, Oxford, 1997. 94 U. Seiderer (ed), Panta rhei. Der Fluss und seine Bilder, Reclam, Leipzig, 1999. M. P. Mittica, // divenire delVordine. Vinterazione normativa nella societ omerica, Giuffr, Milano, 1996.

250
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

'MATHESIS UNIVERSAUS'EN PROCLO

platnico, aunque en su caso la propuesta tiene un sentido meramente instrumental e hipottico. En cambio Proclo atribuye a Euclides un propsito esencialmente platnico, reivindicando la aplicacin de la geometra a las hiptesis astronmicas. Segn Proclo, la geometra permite llevar a cabo una reflexin sobre los presupuestos matemticos de la astronoma, o en general de la fsica, como de hecho sigui ocurriendo en Kant, con independencia de posibles errores circunstanciales, o incluso de una previsible refutacin, en el sentido por ejemplo de Poppe^6. Proclo de todos modos nunca renunci a un posible conocimiento de la realidad en s, en la medida que la geometra aporta un tipo de pruebas que permite llegar a un autntico conocimiento de las causas, o ms bien con-causas, de los fenmenos naturales97. Al menos as sucede cuando se atribuye a los primeros elementos una naturaleza matemtica, ofigurageomtrica, sin negar la influencia de otras posibles con-causas materiales, pero otorgando siempre la primaca a la dimensin formal o matemtica. Se reivindica as el mismo principio pitagrico desarrollado extensamente por Platn en el Timeo, cuando justific las relaciones de preeminencia y subordinacin entre los primeros elementos fsicos y geomtricos, otorgando una primaca a estos ltimos98.

8. La geometra eucldea como teora del mtodo cientfico. En tercer lugar Proclo advirti el papel fundamental que desempea el lgebra geomtrica en la ciencia natural del Universo fsico99. En efecto, segn Proclo, la geometra eucldea desempea un papel arquitectnico fundamental en la ordenacin de las distintas ciencias, incluida lafsica.La geometra se concibe como el paso obligado que permite unir los modelos matemticos con la
Manilio, Astrologa, F. Calero / M. J. Echarte (tr.), Gredos, Madrid, 1996. G. A. Press (ed.), Plao's Dialogues: new studies and interpretations, Rowman & Litefield, Lanham, 1993. 98 E. A. Laidlaw-Johson, Plato 's Epistemology. How Hard ls to Know?, Peter Lang, New York, 1997. 99 R. W. Sharples, Soics, Epicureans andSceptics. Routledge, London, 1996.

251
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

CARLOS ORTJZ DE LANDAZURI

propia observacin sensible, al modo como fue descrito por Platn, mediante el consabido proceso: percepcin sensible, abstraccin, fantasa rememorativa o anamnesis, pensamiento racional o dianotico, y juicio efectivo o noticom. Slo a partir de aqu se puede acceder al conocimiento del ser, o incluso del alma que piensa, justificando tambin una cierta unidad transcendental de la apercepcin, al modo kantiano. Pero en ningn caso la geometra se remite a un ser vaco y abstracto, ni a una unidad de apercepcin meramente formal. Ms bien la geometra eucldea se remite de un modo implcito a unos presupuestos ortolgicos^ an ms estrictos, que se justifican de un modo simplemente reflexivo o dialctico

Segn Proclo, el proceso demostrativo de los teoremas eucldeos tiene una primaca sobre la mera resolucin de problemas. En efecto, la demostracin de un teorema tiene tres partes: las premisas (ya se tomen como afirmaciones o suposiciones), la prueba y la conclusin. En cambio la resolucin de problemas, slo trata de garantizar la posible convergencia de distintos teoremas entre s, o en relacin con la propia experiencia102. Por ello la geometra siempre trata de resolver los problemas geomtricos en virtud de razones demostrativas, o simplemente cientficas, sin remitirse sin ms a la experiencia, como en cambio ocurre en la mecnica. A su vez estas pruebas se justifican en virtud una trada dialctica, que garantiza por mtodos estrictamente analticos tres rasgos: la persistencia, la demostrabilidad y la revisionabilidad de sus respectivos presupuestos previos, ya sean de tipo geomtrico y ontolgico, como ahora se ha visto1 . Por ejemplo, la validez de la propia geometra eucldea se remite a un tipo de mathesis especficas, o sinopsis elementales, como son el crculo y la recta, a las que ahora se les atribuye un ser real por aportar una posible prueba de su propia existencia (matemtica). Sin embargo la definicin de estos mismos elementos geomtricos, como son el punto, la
T. Schirren, Aisthesis vor Platn. Eine semantisch-systematische Untersuchungzum Problem der Wahrnehmung, B. G. Teubner, Stuttgart / Leipzig, 1998. 101 F. von Kutschera, Platons Parmenides, Walter de Gruyter, Berln, 1995. 102 R. Bhaskar, Plato etc.: the problems of philosophy and their resolution, Verso, London, 1994. 103 H. Seidl, Beitrge zu Aristteles' Naturphilosophie, Rodopi, Amsterdam, Atlanta, 1995,

252
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

'MATHESISUNIVERSAUS'EN PROCLO

recta, etc., se lleva a cabo asociando caractersticas de un modo sinttico a fin de resolver un determinado problema, utilizando sus propios criterios de justificacin, pero sin aportar ninguna prueba existencial explcita al respecto104. Evidentemente la nocin de prueba en Euclides y Proclo tiene unos presupuestos lgicos muy concretos: la descripcin que en los Elementos de Euclides, en 1,1 y 1,6, se hace de las reglas del silogismo categrico y del silogismo hipottico, siguiendo en este ltimo caso la regla del modus tollens. Al menos as sucede cuando se justifica la igualdad de dos crculos, en razn de la igualdad de sus radios, o de la igualdad de dos tringulos, en razn de la sus lados y ngulos. Sin embargo estos razonamientos no son reducibles a una de las cuatro formas bsicas de silogismo, ya que en estos casos su validez tambin depende del significado concreto de sus trminos. Se trata de silogismos hipotticos, o simplemente condicionales que, segn los estoicos, se pueden refutar aplicando la ley del modus tollens, reducindolos de este modo a silogismos simplemente apodcticos. En efecto, para los estoicos el condicional slo es falso, si el antecedente es verdadero y su consecuente es
1OS

falso . Proclo en cambio concibe los silogismos hipotticos siguiendo una nueva lgica modal, donde tambin cabe Imposibilidad de considerar un consecuente verdadero, aunque de hecho no lo sea106. Por eso rechaza la identificacin estoica entre silogismos condicionales e hipotticos, y en su lugar aplica a estos ltimos una interpretacin ms estricta del modus tollens101. Segn Proclo, un silogismo condicional slo es falso, si se demuestra que el consecuente es necesariamente falso y por tanto el antecedente tambin es necesariamente falso, como ocurrira si se lograra demostrar que los ngulos de un slo tringulo no suman dos rectos. Proclo localiza as un tipo demostracin esencial, o simplemente
P. Kolb,Platons 'Sophistes'. TheoriedesLogos undDialektik,Knigshausen undNeumann, Wrzburg, 1997. 105 Sneca, Naturales quaestiones. Naturwissenschqftliche Untersuchungen, Reclam, Stuttgart, 1999. L. A. Sneca, Philosophischen Schriften, M. Rosenbach (ed.), Wissenscafiche Buchgesellschaft, Darmstadt, 1999. 106 R. Schicker, Plotin, Metaphysik und Modalitat, Academia, Sankt Augustin, 1993. 107 M. Forschner, Die stoische Ethik, Wissenschafiliche Buchgesellschaft, Darmstadt, 1995.

253
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

CARLOS ORTIZ DE LANDAZURI

causal, similar a la sealada por Aristteles, o a la utilizada por Parmnides para justificar el alcance universal de su primera hiptesis: el ser108.

9. La extrapolacin del lgebra geomtrica al estudio del universo fsico. Proclo hizo una cuarta aportacin importante a la teora del mtodo cientfico: justific una extrapolacin del mtodo del lgebra geomtrica para el estudio del universofisico,aunque para ello debera evitar la aparicin de las aporas cosmolgicas antes sealadas109. Con este fin Proclo separ las pruebas analticas de la geometra eucldea respecto de las de la metafsica sin co?ifundirlas, como le reprochan Beierwaltes y Hintikka. Por otro lado Proclo, siguiendo a Pappos, distingui tres tipos de mtoco: el anlisis causal, la definicin mediante sntesis de caractersticas y la generalizacin inductiva, como ahora se ha visto. Simultneamente tambin estableci una separacin entre las demostraciones de tipo matemtico y metafsico, al modo platnico110. En ambos casos se respetan las relaciones de complementariedad y asimetra que se establecen entre el anlisis y la sntesis111. Sin embargo ambos saberes se diferencian segn se remitan a principios ltimos, o simplemente consideren principios o hiptesis intermedias. En este sentido Proclo concibe el lgebra geomtrica como un tipo de anlisis que recurre a silogismos hipotticos, que a su vez siguen la regla del modus tollens. De este modo el lgebra geomtrica garantiza la reversibilidad entre dos principios aparentemente contrapuestos: por un lado, los elementos existencialmente demostrables (siguiendo una prueba matemtica) y, por otro, las
G. Bechtle, The Anonymous Comentary on Plato 's 'Parmnides', Haupt, Bem, 1998. 109 H. Drrie / M. Baltes, Die philosophische Lehre des Platonismus. Platonische Physik (im antiken Verstndnis) II, Bausteine 125-150, FrommannHolzboog, Stuttgart-BadCannstadt, 1998. 1,0 M. Dixsaut, Le naturel philosophe: essai sur les Dialogues de Platn, J. Vrin / Belles Lettres, Paris, 1994. 1 '' J. Gentzler (ed.), Method in Ancient Philosophy, Clarendom, Oxford, 1998.

254
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

MATHESJS UNIVERSAUS'EN PROCLO

definiciones cuantitativamente resolubles. Por su parte el anlisis metafsico demuestra la existencia de causas y principios ltimos mediante silogismos categricos, que siguen a su vez la regla del modusponens 12. Proclo a este respecto sigue la interpretacin que Philoponos hizo de los Analytica Posteriora de Aristteles, aunque introduce un lgebra algebraica muy novedosa, que ha pasado desapercibido para la mayora de sus comentaristas. Por ejemplo, Klein y Vieta confunden el uso que Proclo hace del anlisis y del lgebra, cuando de hecho Proclo reserva el lgebra para la geometra y concibe el anlisis formando parte esencial de la dialctica, al modo platnico1 ] 3. Proclo concibe la matemtica como una ciencia demostrativa que resuelve las paradojas que puedan surgir de la confrontacin entre sus primeros principios y de la derivacin de sus posibles consecuencias. Por ejemplo, la propia geometra eucldea se concibe como una ciencia autofundamentada y libre de presupuestos, o hiptesis, cuya validez depende a su vez de su confirmacin en la experiencia1 4. O bien, otra paradoja an ms sutil: la geometra rechaza la valoracin hipottica que la ciencia natural suele hacer de las conclusiones geomtricas, pero admite esta consideracin cuando ella misma juzga de sus respectivos presupuestos. Con frecuencia se ha visto en estas paradojas un resto de realismo ingenuo griego, aunque Schmitz prefiere ver en esta actitud de Proclo una defensa del carcter propedutico de las matemticas respecto a un saber sapiencial superior, capaz de invertir el sentido de estas situaciones, como sucede con lafilosofa115.En efecto, la dialctica platnica, a diferencia de la axiomtica moderna, se justifica en nombre de principios axiomticos autojundamentados, que surgen para eludir estas paradojas, elevndose a otros niveles an ms superiores, como de hecho ocurre con las ideas. En este
1,2 M. Serres, El nacimiento de la fsica en el texto de Lucrecio: caudales y turbulencias, Pre-Textos, Valencia, 1994. 113 L. Sorbi, Aristotele. La lgica comparativa, Leo S. Olschli, Firenze, 1999. L. Fladerer, Johannes Philoponos. De Opificio Mundi. Sptantikes Sprachdenken undChristliche Exegese, B. G. Teubner, Stuttgart, 2000. 114 Philodemus, On Cholees andAvoidances, Bibliopolis, Napoli, 1995. 115 D. Booth / R. Ziegler, Finsler Set Theory: Platonism and Circularity. Translation of Paul Finsler s Papers on Set Theory with Introductory Comments, Birkhauser, Basel, 1996.

255
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

CARLOS ORTIZ DE LANDAZURI

sentido la dialctica platnica introduce una gradacin de verdades, justificando los criterios para su aceptacin o rechazo, sin ser dogmtica. Proclo justifica a su vez la necesidad de los tres tipos de principios de la geometra eucldea mediante un argumento muy decisivo: en caso de negar alguno de estos principios aparecen una de estas tres posibilidades igualmente negativas: o bien aparecen contradicciones absolutas, o bien se hacen inviables grandes partes de la geometra, o bien se pierde todo referente material concreto. A partir de aqu se reconstruye el uso neoplatnico que Proclo hizo de la gradacin que Euclides haba establecido entre estos tres tipos de principios, para justificar otros principios metafisicos de orden superior en la forma como ya se ha explicado116. Schmitz justifica que la metafsica de Proclo hiciera un uso propedutico del lgebra geomtrica eucldea. Sin embargo ahora vuelven a surgir algunos interrogantes: las aportaciones de F x>clo tuvieron incidencia efectiva en la solucin de los enigmas y paradojas que arrastraba la cosmologa griega desde Platn? La fundamentacin de una cosmologa more geomtrico se sigue remitiendo necesariamente a un universo eucldeo que a la larga resulta claramente insuficiente para las pretensiones de la metafsica? Qu le falt a Proclo para evitar que su visin de un Universo Euclides terminara fomentando una visin simplemente nominalista o volutarista, como en su opinin termin ocurriendo en la modernidad?117.

10. Conclusin: mtodo aportico o mathesis universalis? Evidentemente la filosofa de las matemticas de Proclo seguir dando muchas sorpresas. Pero sin duda una aportacin bastante decisiva fue introducir un doble movimiento en el neoplatonismo: por un lado se fomenta un usorigurosoy preciso del mtodo dialctico de la metafsica, a fin de ir directamente a los principios,
1.6

1.7

R. J. Hankinson, Thesceptics, Routledge, London, 1995. J. A. Palmer, Plato's Reception of Parmenides, Oxford University, Oxford, 1999.

256
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r

'MATHESIS UNIVERSAUS' EN PROCLO

eliminando un gran nmero de aporas cosmolgicas, sin duda interesantes, pero en el fondo accesorias, como ha mostrado especialmente Beierwaltes. Por otro lado, se justifica un uso propedutico de la geometra eucldea, con vistas a la metafsica, a la antropologa, e incluso respecto a un posible conocimiento cosmolgico del universo fsico. A este respecto Euclides aport mtodos de prueba y procedimientos de argumentacin, justificando as la necesidad de una forma de saber an ms estricta. Al menos as ocurri con el lgebra geomtrica, concebida ya como un saber autnomo acerca del universo fsico, que ahora se concibe como una mathesis universalis de tipo eucldeo. Evidentemente Proclo desarroll este programa de investigacin de un modo simplemente propedutico, sin aprovechar las virtualidades del mtodo aportico aristotlico118. A este respecto John Cleary recientemente ha hecho notar cmo la ciencia natural hizo un uso muy variado de las distintas virtualidades metafsicas que ahora ofrece el mtodo matemtico, sin decantarse slo por una de ellas, como al parecer ocurri en Proclo119. Sin embargo este es un problema distinto, que requiere un anlisis ms detenido del uso que la as llamada filosofa perennis del neoplatonismo hizo de estos mtodos y procedimientos de demostracin120.
Carlos Ortiz de Landzuri Departamento de Filosofa Universidad de Navarra 31080 Pamplona Espaa cortiz@unav.es

M. Muccillo, Platonismo ermetismo e "prisca theologica". Richerche di storiogrcfia rinascimentale, Leo S. Olschki, Firenze, 1997. J. J. Cleary, Traditions ofPlatonism, Ashgate, Aldershot, 1999. 119 J. J. Cleary, The perennial Tradition of Neoplatonism, University Press, Leuven, 1997. 120 W. Scnmidt-Biggemann, Philosophia perennis. Historische Unrisse abendlndischer Spiritualitt in Antike, Mitteralter und Frher Neweit, Suhrkamp, Frankfurt, 1998.

257
c 2 0 Sr c d Pbcc ns ea n e i d e aa a 0 8 e io e ulai e d lU i rd d N vr vi i o v sa r