DAUS de PUYAU, LAURA PUYAU, HERMES

La abstraccin en Aristteles y en Santo Toms El el ao 1964, un ilustre francs, Jean Dieudonn, deca lo siguiente: Es bien conocido desde Aristteles, al menos, que toda la ciencia reposa sobre lo que se podra llamar el principio del conocimiento voluntariamente incompleto: abstraer o generalizar, significa, precisamente, que se omite, de manera sistemtica, ciertos aspectos de los objetos que se consideran. El mtodo axiomtico, en matemtica, no es otra cosa que una aplicacin de este principio, que no se distingue de otros, sino porque tomamos el cuidado de enumerar, de manera exhaustiva, las propiedades que queremos admitir con respecto a los objetos estudiados (los axiomas), y que nos abstenemos de tener en cuenta, otra cosa que no sean estas propiedades y las reglas de la lgica. Dieudonn, Jean; Algbre linaire et gometrie lmentaire Hierman, Paris, 1964, pg. 21. Hemos querido trascribir estas palabras del clebre matemtico, porque ellas nos enfrentan con los problemas que expondremos en esta comunicacin. Creemos que en este prrafo, Dieudonn ha dejado bien en claro, que los objetos sobre los que recae la abstraccin, son aquellos que el investigador toma en cuenta, retiene o considera, al tiempo que omite otros. El autor no ofrece dudas a este respecto. Las dudas versan sobre el sentido de las palabras abstraer y generalizar. En nuestra opinin, podramos preguntarnos: 1) ambos trminos, deben ser considerados como sinnimos? 2) generalizar, es una consecuencia necesaria de abstraer? 3) la abstraccin, va siempre acompaada de una generalizacin? Estas cuestiones preocuparon a algunos filsofos desde Aristteles, quien fue, sin lugar a duda, el primer pensador que se ocup de este tema, aunque no de manera sistemtica, ni mucho menos, exhaustiva. El problema ha continuado hasta la actualidad. Recordemos las crticas de Frege y despus, de Husserl con respecto a la teora de la abstraccin de John St. Mill. Por su parte, Husserl, en el tercer captulo de las Investigaciones Lgicas, pargrafo 13, escribe lo siguiente: Pasemos ahora al anlisis de una teora de la abstraccin que ha tenido mucha influencia. Esta teora, formulada primeramente por J. St. Mill, en su obra de polmica contra Hamilton, sostiene que abstraer es una simple operacin de la atencin. Sin duda no hay, dice, ni representaciones universales ni objetos universales; pero mientras nosotros representamos, intuitivamente, conceptos individuales, podemos aplicar atencin exclusiva o inters exclusivo a las diferentes partes y lados de su objeto. La nota que en s y por s, esto es, separada, no puede no ser real ni ser representada, es atendida por s y se convierte en objeto de un inters exclusivo, y, por lo tanto, apartado de todas las dems notas. As se comprende el doble sentido del trmino abstraer, unas veces positivo, otras veces negativo.

DAUS de PUYAU, LAURA PUYAU, HERMES

La abstraccin en Aristteles
(1)

En el libro I de la Fsica

, Aristteles nos entrega la siguiente caracterizacin de la OUSA: Nada hay

separable, sino la OUSA (la entidad) pues todo tiene como trmino de atribucin, la ousa.(2) Esta es, a nuestro juicio, una de las afirmaciones fundamentales del autor: la independencia ntica de la ousa. La ousa es aquello que puede existir separado y en s, no necesita de otro para existir y en sta, su independencia ntica, reside su diferencia fundamental con el accidente (kat sumbebeks). Pero nuestro propsito en este trabajo, es detenernos en los trminos con que Aristteles expresa esta capacidad de la ousa de tener una existencia separada. El filsofo apela al verbo choritho, cuya significacin, segn el diccionario griego-espaol
(3)

es separar, poner aparte, distinguir. Veamos ahora el libro II de la Fsica, considerado por algunos

autores como de fecha muy antigua, (4) encontramos una definicin parcial de naturaleza, en donde aparece nuevamente el verbo choritho: fsis n ere ton chnton n atos kinsos archen morphe ka t edos, o choristhn, on alle kat tn lgon(5). La traduccin que proponemos sera: la naturaleza ser (en aquellos entes que poseen en s mismos el principio de movimiento) la forma y la esencia, no separables sino por la razn.(6) Nuevamente es utilizada una forma del verbo jorxo, pero con un significado que presenta, en nuestra opinin, un aspecto diferente a los anteriores. En efecto, si bien se trata de una separacin, sta no pertenece al nivel ntico, sino al psicolgico, pues se trata de una separacin efectuada por la razn. Se trata, por lo tanto del proceso mental de la abstraccin. Se dio cuenta Arostteles que utilizada el mismo termino para designar dos planos entilativos diferentes? La respuesta sera negativa. En su traduccin de los libros I y II de la Fsica, Ed. Biblos, 1993, pg. 76, Marcelo Boeri, propone esta traduccin: La naturaleza de los entes que en s mismos poseen el principio del movimiento ser la configuracin, o ms precisamente, la forma, la cual no es separable, a no ser, conceptualmente.Unas pginas ms adelante, al hablar de la distincin de los entes fsicos con respecto a los matemticos, nuestra opinin queda aparentemente confirmada.

(1) (2) (3)

185 a 31. Oudn gr ton llon xoristn ste par tn osan, puta gr kat unokeimnou tes osas lgetai. Diccionario Griego-espaol, publicado bajo la direccin de F. I. Sebastin Jarza. Ed. Ricardo Sopena. Barcelona, 1945. Pg. 1529.

(4) (5)

Por ejemplo, Jaeger, W.; Aristteles. Traduccin de J. Gaos. F.C.E. Pg. 92. 193. b. 4. en este caso, se trata del adj. Verbal de choritho: chorisths, e, n, cuya traduccin es, segn el diccionario mencionado: separado, separable, abstracto (6) En su traduccin de los libros I y II de la Fsica, Ed. Biblos, 1993, pg. 76, Marcelo Boeri, propone esta traduccin: La naturaleza de los entes que en s mismos poseen el principio del movimiento, ser la configuracin, o ms precisamente, la forma, la cual no es separable, a no ser, conceptualmente.

DAUS de PUYAU, LAURA PUYAU, HERMES

Veamos las palabras del filsofo:

(7)

22 Despus de haber determinado en cuntos sentidos se entiende la

naturaleza, es conveniente examinar en qu se distingue al matemtico del fsico. Los cuerpos fsicos tienen superficie, volmen, longitud y puntos. Acerca de estos entes investiga el matemtico tambin. Pero no en tanto sean lmites de un cuerpo fsico. Tampoco estudia los accidentes en cuanto pertenecientes a dichos cuerpos. Es por esta razn, que el matemtico los separa. Dio kai. En efecto, todos estos atributos de los entes fsicos son separables... choristh gar t nosei kinseos sti, por el pensamiento.(8) Aristteles presenta aqu, en forma terminante, la actividad psquica de la abstraccin, cuya funcin es separar lo que en el nivel ntico no aparece como separado. En cuanto descripcin de la operacin misma, no da ms explicaciones que la de negar que sea causa de algn error.(9) Es interesante consignar que Henri Carteron, en su muy cuidada traduccin de esta obra de Aristteles(10), no traduce chorsthei, chorist por separar. Pero en la nota al margen de este prrafo,(11) dice: Corollaire sur labstraction. Este autor, por lo tanto, da por sobreentendido que Aristteles apela al mismo trmino para aludir a dos niveles nticos distintos. A continuacin, Aristteles formula una observacin sobre los partidarios de las Ideas quienes separan los objetos naturales, que no son menos separables de las matemticas.(12) Aunque no es nuestro tema especfico referirnos a Platn, creemos que es totalmente inadecuado atribuir a este autor, alguna clase de abstraccin. En efecto, en Platn se trata de una intuicin intelectual que, con motivo de la percepcin sensible, que acta como ocasin desencadenante, el nos se vuelve hacia el plano inteligible, separado, y en l intuye las esencias, que por serlo constituyen lo necesario de los entes sensibles y, por lo tanto son universales. A este propsito, aludiremos a algunos pasajes de la obra de Platn: uno del Fedn, cuando Scrates sostiene que, decepcionado de las explicasiones puramente mecanicistas de Anaxgoras, decidi refugiarse en los lgoi descubrir en ellos la verdad de los entes. La explicacin es metafsica. Quiz todo Platn lo es. Pero quien se refugia en algo, huye de otra cosa, se aleja, trata de establecer una distancia, que poco tiene que ver con la funcin de la abstraccin que supone un proceso de
(13)

y tratar de

193 b. 22. 193 b. 33. (9) 193 b. 34: oud gnetau pseudos porizntn. (10) Aristote. Physique. Texte tabli et tradt par Henri Carteron. Paris. Les Belles Lettres. Tome I, pg. 62-63. (11) Como hemos dicho, Fsica 193 b. 33. (12) 193 b. 35 y sig. (13) Es tous lgus kat fugnta en kenos skopin tn nton ten alteian, 99e.
(8)

(7)

DAUS de PUYAU, LAURA PUYAU, HERMES

atencin, de estudio y hasta de escudriamiento sensible para distinguir en l, lo que es su objeto propio; en el caso de Aristteles, separa y retiene la cantidad, propia de los entes matemticos.

Otro tanto, podemos interpretar de un dilogo muy cuetionado- como el Parmnides. En efecto, ante los cuestionamientos de Scrates con respecto a la existencia de las Ideas, debido a las profundas y complejas dificultades que sta teora presenta, Parmnides formula el siguiente comentario: No tendremos entonces hacia dnde volver la mirada (14). Pero la idea de girar, volver, dar vuelta, tal como indica el verbo trpo, no nos indica que la razn se distancia del objeto sensible y busca, en otro lugar, la esencia, que es su objeto propio? Tambin en la Alegora de la Caverna, el esclavo liberado de grillos y cadenas que lo subordinan a las contingencias del mundo sensible, cambiante y sin estabilidad, debe hacer un giro mirando la luz
(16) (15)

, volver el cuello y marchar

. Este giro, reiterado en el Parmnides, expresa la diferencia, casi existencial, que existe entre el

conocimiento sensible y la comunicacin con las Ideas. Pero volvamos a Aristteles. Despus de la crtica a su maestro, el Estagirita establece una neta distincin entre entes matemticos y los fsicos: por una parte, lo impar y lo par, lo recto y lo curvo, y por otra el nmero (17), la lnea y la figura, deben existir sin movimiento. En cambio, la carne, los huesos y el hombre, no existen sin l (18). En efecto, al distinguir la fsica de la filosofa primera, presenta ejemplos (los nervios, el bronce) de aquello que es inpensable en cuanto a la forma, pero en una materia: tata sti choristh mn edei n le d
(19)

. Pero en cuanto a

aquello que en s separado, determina su entidad y su esencia (ti sti) es tarea propia de la filosofa primera (20). Una caracterizacin ms rigurosa aunque muy breve, de la abstraccin, aparece en Per Orans, donde en el libro III nos dice: T ta mn ks aphairseos lgestai, t matematika, t d phusik, eks prosthseos (21).

Parmnides 135 b. 9. Oud poi trefei ten dinoian kei. A su vez, en Metafsica, traduccin Tricot, pg. 55, nota 5, se dice al final; Una bonne dfinition de lidee platonicienne est donne par Ast Lexicon platonicorum, II 87: sensu philosophico est forma vel species rerum quae ratione et intelligentia contenetur hoc est aeterna et inmutabilis, exemplum... Et sensu qui decitur logico (insparable chez Platon du sens metaphysique) ut notio communis vel generalis quae Platoni non est notio a rebus abitiacta, sed ipsa rei natura animo spectata. (15) Ka tieriagein tn achena, 515 c. 7. (16) Eggers Lan. C. El sol, la lnea y la caverna. EUDEBA. 1975, Bs. As. Pg. 43. (17) Al incluir los nmeros entre los entes que resultan de la abstraccin, Aristteles plantea uno de los problemas que han agitado a filsofos y matemticos durante ms de veinte siglos. En efecto, la afirmacin de que los nmeros resultan de la abstraccin, a partir de los datos sensibles, nos llevara a suscribir estas palabras de Stuart Mill: el nombre de un nmero designa una propiedad que pertenece a un conjunto de cosas que denominamos en este nombre (el nombre del nmero). As, el nmero cien pertenece al conjunto de cosas, independientemente de mi parecer, por ejemplo, cien lpices, cien libros, etc. Pero podemos plantearnos lo siguiente: si bien no hay inconveniente en abstraer la forma cuadrangular, que presentaran algunos de esos cien libros mencionados, sera posible abstraer el nmero cien de esa pluralidad de objetos? le pertenece a cualquiera de dichos libros, el nmero que le correspondiera, de igual modo que le pertenece la forma cuandrangular? Decididamente, no. El nmero es, entonces, una categora que la mente humana proyecta sobre los objetos. Esta es la opinin de muchos matemticos contemporneos. Ello explica la supervivencia del platonismo an en la actualidad. Estos pensadores son platnicos (Goder, Kurt, Cantor, Frege, por ejemplo), sin haber ledo jams a Platn. (18) 194 a 6. (19) 194 b. 12. (20) 194 b. 14. (21) De Caelo. 299 a 16-18.

(14)

DAUS de PUYAU, LAURA PUYAU, HERMES

La matemtica, por lo tanto, se refiere a las propiedades conectadas con la cantidad, y deja todo el resto fuera de su inters. En cambio, la ciencia natural encara al objeto como una totalidad.

La abstraccin como tal, como separacin de lo cuantitativo es denominada, en este tratado, con el trmino con que ser conocida tradicionalmente y, por tanto, diferenciada con caracteres netos, tanto de la capacidad de independencia ntica propia de la osa- cuanto de la ciencia fsica, que estudia el ente natural, con todas sus determinaciones. Este pasaje del Tratado del Cielo presenta una gran similitud en aqul del libro K, de los Metafsicos. En efecto, en 1061 a 28, nos dice el autor: El matemtico dirige su estudio hacia las abstracciones, sin considerar las propiedades sensibles, estudia solamente la cantidad y el continuo (22). La palabra Afaresis haba sido empleada por Platn, para referirse a una especie de purificacin, purificacin del alma que, a la vez, elimina lo malo que hay en ella. Veamos las palabras de Platn (23). La versin en espaol que proponemos es la siguiente: extranjero En el alma, todo medio que encontremos de suprimir el mal, estaremos en lo cierto de llamarlo, purificacin. Afaresis alude a la accin de expulsar y recae sobre aquello de lo que nos liberamos. Conford lo expresa as: Debe notarse que purificacin es una nocin negativa: el desembarazarse del mal. Y agrega a fin de pgina: El sustantivo pasivo Ktarma (desecho, lastre) significa la impureza eliminada y no la cosa purificada. (24) Por su parte, Aristteles haba empleado en la Fsica la expresin Afaresis, en varias oportunidades, pero con un significad con un matz diferente. Por ejemplo, en este pasaje cantidad de materia.
(25)

Afaresis, tiene el sentido de extraccin, efectuada a un cuerpo, de una cierta

La versin francesa de este pasaje, incurre -a nuestro parecer- en una confusin que ha permanecido inclume a travs de los tiempos: Nous voyons le mathmaticien faire porter son tude sur des abstractions; il considre, en effet, son objet en faisant abstraction de tous ses caractres sensibles... il conserve senlement la quantit et le continu... Pero preguntamos: si el matemtico tiene por objeto los objetos abstrados, es decir, separados por la mente y conservados para estudiarlos; por qu emplear la misma palabra, para designar aquellos caracteres de los que la mente se separa, de los que se aleja, en este caso, los caracteres sensibles? Creemos que se trata de una falta de precisin que ha tenido como consecuencia graves confusiones. A su vez, en la Disertatio del ao 1770, Manuel Kant escribe as, en el pargrafo 6: Necesse autem hc est, maximam ambiguitatem vocis abstracti notare, quam, ne nostram de intelectualibus disquisitionem maculet, antea abstergendam ese satuis duco. Nempe proprie dicendum esse: ab aliquibus abstrahere, non aliquid abstra here. Denotat: quod in concetu quodam ad ala quomdo cumque ipsa nexa non atendamus. Posterid autem, quod non detus, nisi in concreto et ita, ut a coniunctis separetur. Manuel Kant. La dissertation de 1770 Texte Latin Paris. J. VRIN. 1995. Pg. 40. (23) Sofista 227 d. 7-10. (24) Cornford, Frances M. La teora platnica del conocimiento Paids, Bs. As., pg. 166. (25) 187 b. 30.

(22)

DAUS de PUYAU, LAURA PUYAU, HERMES

O este otro ejemplo

(26)

: Las generaciones absolutas se producen sea por..., sea por reduccin (T dafairsei),

como Hermes que es extrado de la piedra. Aqu se trata de una de las cinco especies de generaciones sustanciales (27). En otros pasajes aparece tambin como cercenamiento, rebaja. Por ejemplo cuando dice: T peiron sti mn prostsei sti d ka afairsei (28). Y con el mismo significado de disminucin, frente al crecimiento Prstesis, adjuncin (29). En cuanto al Tratado del alma, Aristteles plantea, en el libro I, el problema de los atributos del alma en los siguiente trminos: Si tiene atributos propios, no compartidos con el cuerpo, el alma debe ser separable, y lo dice en un discurso especfico, en el que las palabras expresan, con matices ntidos, todas las posibilidades. E mn on st ti tn ts phucher rgn matemton dion, endchoitan atn chorizestai (30). La existencia nticamente separada, la independencia ntica, como capacidad de existir en s, es denominada chorizestan (31). Un poco ms adelante efecta una distincin tajante:
(32)

De todos aquellos entes inseparables de hecho, M

choristhon, pero que no se consideran como afecciones (pathe) de un cuerpo, sino por resultado de una abstraccin, son los matemticos. Por fin, en otros dos pasajes, reitera el mismo lenguaje preciso. Por ejemplo
(33)

, en el primero, se refiere a los

(34)

objetos de la matemtica, como aquellos entes que proceden de la abstraccin y, en el captulo sptimo las nociones abstractas, con las palabras apharsei legmena.

habla de las

A su vez, en el libro E, Aristteles presenta a la metafsica, como ciencia teortica que estudiar la posible existencia de una entidad, dion ka kneton ka choristn (35). La independencia ntica, su autonoma, est determinada con el vocablo preciso. Otro tanto ocurre con respecto a los objetos que estudia la Fsica: entes separados pero no indivisibles (36). En este captulo de los libros Metafsicos, Aristteles no se ha definido sobre la separacin o no de los matemticos (37).

190 b. 7. Cartern Henri, Op. Cit. Tomo II. Pg. 162. (28) 206 a 15. (29) 245 a 12-15. (30) Del alma 403 a 10-12 Si hay alguna observacin o afeccin propia del alma, es posible que sta pueda existir separada. Traduccin A. E. NNIS. S.J. (31) 403 a. 12. (32) 403 b. 17-18. (33) 429 b. 18. p tn v afairsei nton. (34) 431 b. 14. (35) Met. E. 1. 1026 a 12.
(27)

(26)

DAUS de PUYAU, LAURA PUYAU, HERMES

En cuanto al libro A

(38)

, donde Aristteles habla de las ciencias ms exactas, es decir, de aqullas que proceden

del menor nmero de principios, por ejemplo, la Aritmtica, que es ms exacta que la Geometra, no se emplea en absoluto la expresin t ks aphairseos, tal como indica la traduccin francesa de Tricot. En el libro K, refirindose al infinito, expresa que ste puede ser por adicin (o composicin) o por divisin (o sustraccin). Al aludir a esta posibilidad, Aristteles utiliza la expresin aphairese, pero con el significado de divisin (Dia Tesis) (39). Veamos ahora el libro M. Al final del captulo 2, Aristteles establece la distincin entre anterioridad lgica y anterioridad entitativa (40). Esta ltima es la capacidad de ciertos entes de existir separadamente pertenece a aquellos entes cuyo concepto forma parte de la definicin de otro ente coextensivas (43). Ms adelante agrega: ni los productos de la abstraccin tienen anterioridad entitativa, ni los productos de la composicin, de la adjuncin, tienen posterioridad entitativa. Los primeros son los entes matemticos, carentes de sustrato
(44) (42) (41)

. La anterioridad lgica

. Pero ambas anterioridades no son

, los segundos son los entes fsicos, suceptibles de movimiento y de reposo. Este ejemplo nos confirma que el filsofo ha logrado una acabada diferenciacin entre la separacin ntica,

propia de las osas y la separacin mental, propia de los entes matemticos, ante todo, ha logrado una terminologa que distingue acabadamente a ambas separaciones, sin lugar a ninguna ambigedad. Citamos por ltimo los analticos, si bien en el libro Gamma, de los metafsicos por supuesto, nos ha advertido que es necesario conocer los Analticos antes de abordar el estudio de cualquier ciencia, y no esperar que nos enseen (lgica o metodolgica) para plantearse el problema de la verdad de las proposiciones (45). La razn de esta decisin (la mencin de los Analticos en ltimo lugar), estriba en el hecho de que en el captulo 18 del libro I, Aristteles expresa su pensamiento definitivo sobre los productos de la abstraccin. En efecto, despus de afirmar que: 1) Slo aprendemos por induccin o por demostracin. 2) La demostracin se efecta a partir de principios universales y la induccin a partir de casos particulares. Aparte las afirmaciones siguientes son, a nuestro juicio, fundamentales para el tema que no ocupa: 3) Pero es imposible adquirir el conocimiento de lo universal, de otra manera que por induccin pueden ser conocidos sino por induccin (47).
(36)

(46)

. 4) An aquello que llamamos resultados de la abstraccin. No

Idem 1026 a 14. Idem. 1026 a 15 y Nota 2. L. 15 de la versin Tricot de Metafsica, Tomo I, pg. 332. (38) Met. A 2 982 a 25. Pg. 14 de Tricot. (39) Tricot. Idem. Libro K. 10. 1066 b. 1 u Nota 6. Pg. 621. (40) Metaf. M. 2. 1077 b. y sig. To lgo prtera ka t osa prtera. (41) Idem. 1077 b. 3. Chorizmena. (42) Idem 1077 b. 4. Tata d ouch ama parchei. (43) Idem b. 8. T ekz aphairseos t eks prosthseos. (44) Upokemenon.
(37)

DAUS de PUYAU, LAURA PUYAU, HERMES

De tales afirmaciones, tan categricas, no puede quedar duda alguna: la abstraccin, no universaliza. El resultado de esta funcin (separar lo que nticamente es inseparable), se eleva al nivel cientfico, cuando la pagog, convertida en intuicin del nos, tal como la describe en el captulo 19 del segundo libro de los Segundos Analticos, le otorga los caracteres de necesidad y universalidad, insustitubles de todo auttico conocimiento.

La abstraccin en Santo Toms La obra filosfica de Aristteles fue recibida en su plenitud en occidente en el siglo XIII y pese a ciertas dificultades las consideraciones de 1210 y 1215- la fsica y la metafsica son objeto de comentarios. Santo Toms comenta la Fsica desde 1261 y los libros metafsicos entre 1268 y 1272, donde expone sus propias ideas sobre la abstraccin. Puede entenderse animal sin hombre y hombre sin Scrates u otros individuos. Esto es abstraer el universal del particular (48). Agrega un poco ms adelante: del mismo modo puede entenderse la cantidad sin la materia (49), con lo cual tenemos otro tipo de abstraccin. A la primera se la llama abstraccin total y a la segunda formal. Es esta la que tiene un particular significado en la clasificacin de las ciencias tericas. Toda ciencia en su proceder usa la abstraccin. En la Fsica se abstrae de la materia sensible individual, lo que en definitiva es comn a todo conocimiento intelectual, con ello no podemos distinguir todava la fsoca de la matemtica. En la matemtica se abstrae la cantidad de la materia sensible: nos queda la materia inteligible. Los entes matemticos no prescinden de esta materia, por ello S. Toms dice que no existe su materia. Es la rplica a la posicin platnica que las puso como separadas. El cambio natural se hace entre opuestos que se dan en el ambito de la cualidad; si eliminamos la cualidad, podemos prescindir del cambio. Es interesante notar que esta abstraccin no nos libera del movimiento local: La geometra de aquellas formaciones que se llaman traslaciones, que dejan invariables propiedades como: paralelismo, tangencialidad, etc.; que en la actualidad son objeto de la geometra, son alcanzadas perfectamente en el marco de la geometra que posibilita la epistemologa del Aquinate en el mbito de la tradicin aristotlica.

Metaf. 1005 b. Y sig. Segundos Analticos I. 18. 81 b. 2. dnatov d t katholou theorsai m di epaggs. (47) Idem 81 b. 4-5. (48) In Plujsicam. Ed. Marietti. 1934 (49) Idem.
(46)

(45)

DAUS de PUYAU, LAURA PUYAU, HERMES

La diferencia hasta aqu es la abstraccin total, que es ajena a Aristteles.

Con la abstraccin formal, aparece ntidamente la originalidad de la posicin de S. Toms y sus seguidores. En el comentario a la Metafsica, el libro VI tiene particular inters porque all habla de las tres ciencias tericas y su distincin. La Fsica se ocupa de determinado sujeto y de su definicin que incluye la materia. La ciencia ha sidodefinida como el hbito de las conclusiones obtenidas a partir de los principios, las otras son comunes a todas las cienias, como los axiomas lgicos y los propios de cada ciencia, que en Aristteles se llama hiptesis, y en Euclides postulados. La distinta manera de definir es el criterio para clasificar las ciencias. En todas las diferencias interviene de una u otra manera la materia. Los entes matemticos prescinden de la materia sensible y tienen en cuenta lo que Aristteles llama inteligible (la materia con la cantidad). La matemtica se ocupa de lo separado, de la materia secundum rationem, pero no secundum esse. A la filosofa primera corresponde los entes separables secundum esse et rationum, que a diferencia de la matemtica, non de necessitate non habentesse in materia sicut mathematica. En el captulo XIII del segundo libro de los analticos, se ocupa Aristteles, de dos formas de demostracin, y tambin, aparece el tema de la subalternacin. Aristteles da tres ejemplos de subalteracin: la pespectiva con respecto a la geometra, la armnica con respecto a la aritmtica, y la mecnica con respecto a la geometra del slido. La ciencia subalternamente se comporta como formal con respecto a la subalternada. La idea era fecunda, pero Aristteles no aprovech su riqueza, limitado por su teora de la incomunicabilidad de los gneros. Juan de Santo Toms, comentando esta situacin dice: en matemtica encontramos que, aunque en comn abstrae de la materia sensible, porque se consideran distintos modelos de materialidad en la cantidad contnua que en la directa; la directa, tiene que ver menos con la materialidad, porque menos depende del espacio y el tiempo que une las partes con el lugar; por ello, hay dos ciencias: geometra y aritmtica (Log II . 27 a I). Con estas se daban las bases epistmicas, para dar el paso que cumpli Descartes de unir el lgebra (una generalizacin de la aritmtica) con la geometra, al crear la geometra analtica. No olvidemos que, en los ejemplos de Aristteles, siempre es una rama de la matemtica, la ciencia subalternante.

Hermes Puyau

Laura Daus de Puyau