ARET Revista de Filosofa

Vol. XII. N" l. 2000

pp. 5-27
El problema del objeto de la matemtica
como sustancia inteligible en la Metafsica
de Aristteles
1
Elisabetta Cattanei
Universita degli Studi di Cagliari
La autora aborda el problema de los entes matemticos intermedios anali-
zando MetafiSica l017a9-l4, por ser este pasaje, simultneamente, fuente y
crtica de la teora que Aristteles atribuye a Platn. El objetivo es identifi-
car cuatro puntos de orientacin que ofrezcan una base para el dilogo en-
tre las encontradas posiciones respecto del problema. Gracias a ellos, se
pone de manifiesto que Aristteles aborda la cuestin de la naturaleza inte-
ligible de los entes matemticos recortndola -con el bistur del aparato
conceptual de su propia ousiologa- de la perspectiva mucho ms amplia
de Platn. Al romper la continuidad entre matemtica y dialctica. Aristteles
"reduce" y demuele la imagen de la concepcin matemtica de Platn.
''The Problem of the Object of Mathematics as Intelligible Substance in
Aristotle's Metaphysics". The A. examines the problem of intermediate
mathematical entities by analyzing Metaphysics l017a9-l4, since, according
to Aristotle. this passage is both a source and a critique of Plato's theory.
The goal is to identify four cardinal points that may ground a dialogue
between two contesting positions regarding this problem. Through them,
it becomes evident that Aristotle severs the question of the intelligible
nature of mathematical entities by using the conceptual scalpel of his own
ousiology from Plato's broader standpoint. By severing the continuity
between mathematics and dialectics, Aristotle "reduces" and demolishes
the image of Plato's mathematical conception.
6
Elisabetta Cattanei
l. El problema y preliminares
En la Metafisica -que no es una obra unitaria, pero que puede ser
considerada como un conjunto de textos pertenecientes a un mbito de
suyo multiforme, el de la "filosofa primera"
2
-, Aristteles concentra su
nada extraordinario inters por las matemticas especialmente en un
punto y se esfuerza por demostrar, contrariamente a cuanto sostienen
algunos de sus predecesores y contemporneos, que los objetos mate-
mticos no pueden ser sustancia inteligible
3

1
Este artculo, publicado en la Rivista di FYloso.fia Neoscolastica, 87 (1995). pp. 199-218,
presenta la versin italiana de una conferencia que, con el titulo de "Mathematik und nicht-
wahmehmbare Substanz in der "Metaphysik" des Aristoteles", present el 26 de mayo de
1994 en el "Philologisches Seminar" de la Universidad de Tubinga, en la que. durante
varias visitas realizadas a lo largo de cuatro aos. mis estudios de investigacin han
sido seguidos por Th. A Szlezk con amistad y paciencia. Para la traduccin espaola
he modificado las notas del artculo. todo lo ms. insertando los vinculas con tres libros
(publicados despus de 1995) que tratan el tema: Cleary. J .. ATistotleandMathematics. Leiden:
Brill, 1995, sobre todo el captulo quinto, titulado 'The Ontological Status of Mathematical
Objects"; Cattanei, E., Enti matematici e metafisica. Miln: Vita e Pensiero, 1996; y tambin
Pritchard, P., Plato's Philosophy ojMathematics, Sankt-Augustin: Akademia Verlag, 1 9 9 ~ i
2
Acerca de la controversia, que se extiende a lo largo de nuestro siglo, relativa a la
unidad o multiplicidad de la "filosofa primera" de Aristteles, consltese el cuadro
de conjunto presentado por H. Flashar en: berweg, F. (ed.). Grundriss der Geschichte
der Philosophie, vol. I, Die Philosophie der vorchristlichen Antike, tomo 3: Akademie,
Aristoteles, Peripatos, Basel/Stuttgart: Schwabe, 1982, pp. 175-457, y en especial
pp. 376-389. Cj. adems los trabajos de G. Reale, Il concetio di "fllosofw.prima" e l'tmita
della MetaflSica di Aristotele, Miln: Vitae Pensiero, 1961, 1994
6
; "La metafisica di
Aristotele nei suoi concetti cardine, nella sua struttura, e nei suoi rapporti con il
pensiero di Platone", en: Aristteles, Meta.fisica, ensayo introductorio, edicin bilin-
ge y comentario por G. Reale, 3 vols., Miln: Vitae Pensiero, 1993, I, en especial pp.
53-152. Cuando no indique eventuales cambios, har referencia a esta traduccin
italiana de la MetaflSica y a la edicin crtica del texto griego sobre la que est basada,
esto es, Aristotelis Metaphysica. Recognovii brevique adnotatione critica instruxit W. Jaeger,
Oxford: Clarendon Press, 1957, varias veces reimpresa.
3
Cf Aristteles, Met. B l, 995b13-16; 996a12-15; 2, 997a34-b4; 5, 1001b26-1002al4; Z 2,
1028b16-27; H 1,1042all-12; [K 1, l059a37-bl4]; Al, 1069a30-36; M l, l076a8-32. Uno de
los puntos de referencia ms importantes para acceder a una visin de la controversia de
Aristteles acerca de los objetos matemticos, est constituido, como es conocido, por Metnfi-
sica M-N. de los que aqu slo tomar en consideracin algunos pasajes, porque se trata de dos
libros que, para ser abordados en su complejidad, requieren de no pocas atenciones y distin-
ciones relativas tanto a su estiuctura como a su contenido, como ha sido puesto en evidencia
sobre todo por J. Annas, Aristotle's Metaphysics, Books M and N, Oxford: Clarendon Press,
El problema del objeto de la matemtica
Para comprender los argmnentos de Aristteles, es neresario aclarar tres pun-
tos: 1) Qu se entiende, en la Metqjsica aristotlica, por "objetos matemticos''?
2) Qu significa concebir los objetos matemticos como "sustancia inteligible"?
3) A quin debe atribuirse esta concepcin que, segn Aristteles, es absurda?
l. Primera cuestin preliminar
Aristteles define mathematik (l..w:Or..t.anx) como los objetos de las
ciencias matemticas, o de las demostraciones y proposiciones matemti-
cas. Las ciencias matemticas no se restringen slo a la aritmtica o la
geometra, sino que comprenden tambin la astronoma, la ptica y la ar-
mona, sin excluir una especie de matemtica general, es decir, un grupo
de proposiciones comunes a las diferentes disciplinas matemticas parti-
culares; ejemplos de estas proposiciones son: "si de cantidades iguales se
sustraen cantidades iguales, los restos son iguales"; "si cuatro trminos guar-
dan proporcin entre s, el producto de los medios es igual al producto de los
extremos" y otros semejantes. Por lo tanto, se debe entender por mathematik
(..t.aOr..t.anx) nmeros, figuras, fenmenos celestes, pticos y acsticos, can-
tidades y relaciones matemticas generales
4

1976 (edicin italiana: lnterpretazionedeilibri M-N della "Metajisica" diAristotele. I..afilosojia
della matematica in Platone e Aristotele, Miln: Vita e Pensiero 1992), y como trataba yo de
indicar hace algunos aos en los ensayos: "Per una rilettura dei libri 'M' e 'N' della Meta.fisica
di Aristotele a11a luce delle 'dottrine non scritte' di Platone e dei loro sviluppi nel pensiero
dell'Accademia antica", en: Rivista diFYlosofia Neoscolastica, 81 ( 1989), pp. 543-558; "1 metodi
della metafisica platonico-accademica 'generalizzante' ed 'elementarizzante' nei libri 'M' e 'N'
della Meta_f..sica di Aristotele", en: ibid., 82 (1990), pp. 183-213; 'U1'ipotesi sul concetto
aristotelico di astrazione", en: ibid., pp 578-586. Permitaseme algunas palabras sobre Met. K:
usar algunas citas de este texto, aunque su autenticidad sea discutida (para citar lo ms
reciente, cj las argumentaciones opuestas de P. Aubenque, "L'inauthenticit du livre K de
la Mtaphysique", y de V. Dcarie, "L'authenticit du livre K de la Mtaphysique", en: Moraux,
P. y J. Wiesener (eds.). Zweifelllafi.es im Corpus aristotelicum. Studien zu einigen Dubia. Akten
des IX Symposiwn aristotelicwn. Berln: W. De Gruyter, 1983; cj tambin: Berti, E., Aristotele.
Dalla dialettica allajilosofiaprima. Padua: Cedam, 1977, pp. 80-81); los pasajes del libro K
conectados con el tema del que me ocupo no representan problema alguno en relacin a los
de incuestionable paternidad aristotlica de que son resumen.
4
Cf Aristteles, Met. B 2, 997a26-30, en especial, 29-30; 997bl-3, 23-34; 997b34-998a6;
M 2. l076b33-36; (K l, l059bl0]; N 3, l090a35-bl, en especial37; B 2, 997bl5-24; M 2,
l077al-l4. Como se ver mejor (infra, IV-V),las proposiciones de la matemtica gen-
eral a las que se refiere Aristteles se encuentran citadas y explicadas extensamente en
el comentario del Pseudo Alejandro aMet. M: cj Hayduck, M .. Alexandri.Aphrodisiensis
in Metaphysica conunentaria, 2 vols., Berln, 1891 (reimpresin 1956). 11, p. 729; l. 21,
p. 730; l. 16, sobre todo p. 729, 11. 23-25: "(se., oeKvma.t] ... ota To 1to iawv iaa civ <f>An<;.
Ta xa.Ta.Aelltf.LI:va. iaa i:aT, xa.l ota TO civ Taaa.pci nva. ti v.Aoyov, TO u1to Twv cipxwv
iaov i:aTl ~ UltO TWV f.J.awv, xa.l AAWV ltOAAwv TotOTwv".
7
8
Elisabetta Cattanei
Con relacin a nmeros y figuras, debe prestarse atencin al hecho
de que no todos los nmeros y no todas las figuras de que se habla en la
Metafsica, son objetos matemticos. Aristteles habla tambin de nme-
ros y de figuras que, por definicin, no son pasibles de operaciones y que,
por consiguiente, no forman objeto de ciencia matemtica alguna
5
Por
cierto, no es en todas partes evidente si el discurso versa sobre nmeros
y figuras de naturaleza matemtica o no matemtica, pero es decisivo
que lo que es matemtico lo sea "a partir de las ciencias" (ex cwv emon..wv):
slo donde y en la medida en que nmeros y figuras se consideren en este
contexto, se trata de autnticas entidades matemticas
6
.
2. SegWlda cuestin preliminar
Preguntmonos ahora qu significa concebir los objetos de las ciencias
matemticas como "sustancia inteligible", o "sustancias inteligibles" (Aristteles
oscila sin problemas entre la forma singular y la plural)?. Para responder de la
manera ms simple, esto significa que los objetos de las ciencias matemticas
son cosas a las que competen necesariamente ciertas caracteristicas: las ca-
racteristicas del modo de ser que Aristteles llama ousa (ooa), "sustancia", y
las del determinado tipo de sustancia que l indica como "no sensible", inteligi-
ble (ox aio8rn. xwp; o xexwpto..vr "LWV aio8rcwv, 1tapa ca aio8rc).
5
Cf, especialmente, Aristteles, Met. M 6, passi.m. Cf Berti, E., o.c., pp. 116-117;
Cleary. J .. o.c .. pp. 346-357.
6
Sobre este punto, me permito indicar mi libro Enti matematici e metafisica, o. c .. cap.
2, acerca de los nmeros matemticos e ideales en relacin a la aritmtica antigua.
Cf Pritchard, P., o.c., caps. 1, 2, 3, 9, que mereceran una discusin crtica en otro
lugar.
7
Segn G. Patzig, "Das Program von M 1 und seine Ausfhrung", en: Graser, A.
(ed.), Mathematics and Metaphysics in Aristotle. Mathematik und Metaphysik bei
Aristoteles.AktendesX. Symposiumaristotelicum, Bema: PaulHaupt. 1987, pp. 113-
130, especialmente p. 115, Aristteles habla en singular de "sustancia inteligible",
entendiendo "al menos una" sustancia inteligible. Th. A. Szlezk, sin embargo,
subraya que en la MetaftSica aristotlica se usa el trmino "sustancia" (ouoa) no slo
para indicar una sustancia individual, sino tambin un "Seinsbereich", un "mbito
del ser"; al respecto vase su ensayo "Spunti platonici nella MetaftSica di Aristotele",
en: Rivista di Filosofia Neoscolastica, 85 (1994). pp. 352-369, sobre todo p. 366,
ensayo reproducido en la miscelnea: Bausola, Adriano y Giovanni Reale (eds.).
Aristotele, perch la metaftSica? Studi su alcuni concetti-chiave della "filosofr.a prima"
aristotelica e sulla storia dei loro iriflussi, Miln: Vitae Pensiero, 1994. Por otro lado,
Aristteles, a nivel de sustancia suprasensible, no parece advertir contradictoriedad
alguna entre singularidad y pluralidad, como indica G. Reale en su comentario a
Met. A 8, en: Aristteles, MetaftSica, o.c., III, pp. 593-603.
El problema del objeto de la matemtica
Todo lo que es ousa (ouoa) es en sentido pleno, propio, no derivado,
a diferencia de los modos de ser representados por las otras categoras
(cualidad, cantidad, relacin, etc.)
8
Ousa (ouoa) es un choristn (xwpw-rv),
un tode t (-re n), un hen t (i:v n), es decir, algo que es por s, indepen-
diente, en s determinado, nada universal, en consecuencia, algo intrn-
secamente unitario y, por lo tanto, no un mero agregado de elementos
9

Se puede adems aadir que la sustancia es "en acto" aunque
en grados diferentes
10

La sustancia "no sensible", es decir, la sustancia que no pertenece ni
al mundo sensible y corruptible que nos rodea, ni a los cielos sensibles pero
eternos
11
, posee todas las caracteristicas recin nombradas, y algunas de
manera muy intensa. Esto se verifica a propsito, sobre todo, de su ser "sepa-
rada" y "en acto". La sustancia inteligible es separada (xwpto-rl) no slo en
general, sino que es separada de los entes sensibles (xwpw-rl. o tambin
xqwpto.tVTJ -rwv aio811-rwv), independiente de las cosas sensibles
12
y es
ontolgicamente "anterior", "sobreordenada" a ellas, en el sentido ex-
plicado en !:,. 11 y M 2: "anteriores ... segn la naturaleza y la sustan-
cia ... son todas las cosas que pueden existir independientemente de
otras, en tanto que estas otras no pueden existir sin aqullas"; "tienen
anterioridad en el orden de la sustancia todas las cosas que, separadas
de las otras, tienen ms ser que estas otras"
13
Adems, la sustancia inte-
ligible es en acto del modo ms puro, en cuanto no posee aspecto potencial
alguno
14
Y dado que el tiempo y el movimiento presuponen potencialidad, la
sustancia inteligible es "inmvil y eterna" (axvnoc; xal. aiotoc;)
15
.
Sobre esta base, Aristteles explica y combate la teoria de las sus-
tancias matemticas inteligibles como una teora segn la cual los ob-
8
Cf Aristteles, Met. Z 4, l030a2l-22.
9
!bid., Z 3, l029a27-28; 4, l030a30-32; 12, l037b27.
10
!bid., H 2-3, especialmente l 042b9-ll.
11
Ibid., A l. l069a30 ss.; e 8, 1050b20-28.
12
!bid., B l, 996al5; Z 2, l028b30; [K l, l059bl2]; Al, l069a34; M l. l076a34-
35; l076bll-l2, 15, 18, 23; l077al3, 16; l077bl4; 6, l080bl5, 17; 9, l085b36;
N 3, 1090a35; l090bl3; N 6, l093b 26; B 2, 997bl3-35; 998a8; H l. l042a24; M
21076b30-34; 36-38; l077a2.
13
!bid, l019a2-4: " ... npt"rpa ... xat"a <!>otv xa1. ooav, i:oa vOxnat iivru iiA.A.wv, xr:va
oi: iivru txrvwv ..Llf; 1077bl-ll: .. , .ti:v yap ooq npt"fpa i:oa xwpt(.trva dvat
nrppAA.n".
14
!bid., A 6, l07lbl2-22.
15
Ibid .. A l, l069a33; 9 l, l076all.
9
lO
Elisabetta Cattanei
jetos de la matemtica general, de la aritmtica, de la geometra, de la
astronomia, de la ptica y de la armonia son inmviles, eternos, intrnseca-
mente unitarios, independientes del mundo sensible, incluso ontolgicamente
"anteriores" a ste, con precedencia jerrquica en el orden, y existentes en
sentido pleno, no derivado
16

3. Tercera cuestin prelnmar
Quin ha formulado tal teora? Aristteles responde, repetidas ve-
ces y de manera muy clara: Platn, quien admite dos tipos de sustancia
inteligible, es decir, las Ideas y los objetos matemticos, situados stos
entre las Ideas y las cosas sensibles; Espeusipo, que rechaza las
Ideas, pero que reconoce los entes matemticos como sustancia; y de
alguna manera tambin "aqul" (entindase Jencrates) que afirma que
las Ideas y los mathematik (f.LtX8T]f.LtXnx), sobre todo los nmeros, poseen
la misma naturaleza
17

II. Matemtica, jilosofia, OllSiologa
Aunque la Academia haya sido el centro de investigaciones mate-
mticas tal vez ms importante del siglo IV, Aristteles no se interesa por
los resultados alcanzados en el mbito tcnicamente matemtico por la
16
Cf sobre todo ibid., B 2, 997a34-b4; 5, 1001b26-1002a14; M 2, passim. Acerca de
los objetos aritmticos y geomtricos, Aristteles habla tambin de una "gnesis"
(yvwt<;) a partir de principios segn la serie dimensional y destaca la prioridad
"segn la naturaleza" (c Q>aet) de estos objetos, diferencindola de la prioridad "segn
la generacin" (c yevan). y de la prioridad "segn la nocin" (1:<;> A.y<>}; cf ibid., M 2,
1 077a24-26; 1 007b 1-11. No deseo abundar en estos temas de los que me he ocupado,
en parte, al indicar la respectiva bibliografa (supra, nota 3).
17
Cf Aristteles, Met. A 6, 987b14-18; Z 2, 1028b16-32; A 1, 1069a30-b 2; M 1,
1076a16-22. En cuanto a Espeusipo cf fragmentos 48, 73-78 de Isnardi-Parente (en:
Speusippo, Frammenti, edicin, traduccin y comentario de M. Isnardi-Parente,
Npoles: Bibliopolis, 1980) = Fr. 33a, 42a-f de Lang (en: Lang, P., De Speusippi
Academici Scriptis, Bonn: 1911; Hildesheim: Olms. 1965) =Fr. 29, 31-35 de Tarn
(en: Tarn, L., Speusippus of Athens. A Critica! Study with a Collection ojthe Related
Texts and Commentary, Leiden: Brill, 1981); en cuanto aJencrates (al que, como es
conocido, Aristteles jams menciona por su nombre en la Meta.fisica), cf Fr. 106-11 O
de Isnardi-Parente (en: Senocrate-Ermodoro. Frammenti, edicin, traduccin y co-
mentario por M. Isnardi-Parente, Npoles: Bibliopolis, 1982) =Fr. 34 de Heinze (en:
Heinze, R.. Xenocrates. Darstellung der Lehre und Sammlung der Fragmente. Leipzig:
Teubner, 1892). Para una mayor informacin acerca de los antecedentes acadmicos
de la discusin de Aristteles, cf Cleary, J., o.c .. cap. l.
El problema del objeto de la matemtica
escuela de Platn, sino por los de Platn mismo
18
El captulo 8 del libro A,
en que Aristteles discute las doctrinas astronmicas de Eudoxo y de Calipo,
de alguna manera constituye una excepcin; por otro lado, A 8 confirma
que el inters de Aristteles por la matemtica -en este pasaje por la as-
tronoma, "la ciencia matemtica ... ms afn a la filosofa" (oixew-r-rT]
-rwv IJ.CX8T]IJ.Ctnxwv)
19
- bsicamente no es matemtico, sino filos-
fico. Este caso puede ser generalizado: en la Metafsica aristotlica, aun
durante la discusin acerca de la naturaleza de los objetos matemticos,
en algunas oportunidades se mencionan datos matemticos que
verosmilmente hacen referencia a las investigaciones matemticas de
la Academia, pero que son tomados en consideracin principalmente, cuan-
do no exclusivamente, por sus implicaciones filosficas.
De acuerdo con Julia Annas, se podra concluir que Aristteles de-
sarrolla una discusin que pertenece al mbito de la contempornea fi-
losofia de la matemtica
20
Sin duda, la concepcin discutida por Aristteles
tiene cierto parentesco con el moderno platonismo matemtico, como el
desarrollado, por ejemplo, por Frege y el joven Russell. Tambin la teora
de los mathematik (!J.CX8T]!J.Cntx), que Aristteles atribuye a Platn y a la
Academia, puede ser considerada, como afirma Annas, "un tipo de realis-
mo" segn el cual se cree que los nmeros y las figuras "literalmente
18
La literatura sobre "Platn y la investigacin matemtica de su poca" (como reza el
ttulo de la obra de Ch. Mugler, Platon et la recherche mathmatique de son poque,
Estrasburgo: 1948, discutido por H. Cherniss, "Plato as a Matl-}ematician", en: The
Review of Metaphysics, 1951, pp. 395-425) es vasta y compleja. Cf el resumen,
relativamente actualizado, en: Zeller, E. y R. Mondolfo, La.filosofra dei Greci nel suo
svuppo storico, parte II, vol. III/ 1, editado por M. Isnardi- Paren te, Florencia: 197 4,
apndice l. pp. 339-347, en especial p. 345ss. En tiempos ms recientes ha aparecido
el aporte de K. Gaiser, "Platons Zusammenschau der mathematischen Wissenschaften",
en: Antike und Abendland, 32 (1986), pp. 89-124, con indicaciones bibliogrficas
sobre el tema en la nota 3, pp. 89-90, y tambin los volmenes citados supra, nota 1,
todos con bibliografa. Importante es el libro de D.H. Fowler, The Mathematics of
Plato's Academy. A New Reconstruction, Oxford: Clarendon Press, 1987, 1990
2
En
cuanto a las publicaciones en lengua italiana menciono a: Lasserre, F., De Lodamas 11
de Thasos a Philippe d'Oponte. Tmoignages etfragments, Npoles: Bibliopolis. 1987;
Napolitano Valditara, L.M., Le Idee, i numeri. l'ordine. La dottrina della "mathesis
universalis" dall'Accademia antica al Neoplatonismo, Npoles: Bibliopolis, 1988 (que
trata sobre la tradicin de la "filosofa de la matemtica" platnica y acadmica), y el
pequeo volumen de V. Hosle, Ifondamenti dell'aritmetica e dellageometria in Platone,
Miln: Vita e Pensiero. 1994.
19
Aristteles, Met, 7 8, 1073b4.
20
Son programticas, en este sentido, las declaraciones de J. Annas, o. c .. pp. 33-35.
Elisabetta Cattanei
existan, independientes de nosotros y del pensamiento que de ellos tene-
mos", aunque "no en el mundo alrededor de nosotros, no... en el tiempo y
en el espacio"
21
En consecuencia, Platn, o por lo menos el Platn de
Aristteles, y la Academia antigua, habrian estado de acuerdo con Bertrand
Russell cuando deca que: "La aritmtica debe ser descubierta exactamen-
te del mismo modo en que Coln descubri las Indias Occidentales, y noso-
tros no creamos los nmeros ms de lo que l haya creado las Indias ... "
22

El punto de vista de Julia Annas es correcto, an ms, iluminador
23

Pero debe ser integrado, y no slo porque para ciencias como la astrono-
ma, la ptica y la armona dificilmente hay espacio en la moderna fllosofia
de la matemtica. Debe ser integrado, como ha escrito Gnter Patzig, "con
el punto de vista segn el cual, para Aristteles, la investigacin acerca
del status ontolgico de los objetos matemticos queda subordinada a la
fundamental cuestin ontolgica"
24
. Las ciencias matemticas -se lee en
Metafsica E 1- "no dicen si el gnero de ser de que se ocupan exista
realmente o no"
25
; es tarea de la filosofa primera investigar, segn reza
en M 1, "si los objetos matemticos existen o no existen, y si existen, de
qu modo existen"
26
Pero esta investigacin slo es un episodio de la
ms amplia "investigacin", como se lee tambin en M 1, acerca de "si
adems de las sustancias sensibles exista o no una sustancia inmvil y
21
Ibid., p. 36.
22
Russell. B., "Is Position in Space and Time Absolute or Relative?". en: Mind. 10
(1901). pp. 293-317, 312: "Arithmetic must be discovered injust the same sense in
which Columbus discovered the West Indians, and we no more create numbers
than he created the Indiansoo.". Cf. Annas, J., o.c., p. 36.
23
Cf. las observaciones de G. Reale, en su Introduccin a la edicin italiana del libro
de J. Annas: "Significato ermeneutico e importanza del libro di Julia Annas sui libri
M-N della MetaflSica di Aristotele", en: Annas, J., o.c., pp. 7-21.
24
Patzig, G., o.c., p. 115: "durch den Gesichtspunkt, daj3 die Untersuchung des
Seinsstatus der mathematischen Gegenstande fr Aristoteles der ontologischen Leitfrage
untergeordnet bleibf'. Una propuesta de "integracin" del punto de vista de Annas tam-
bin la constituye el citado libro de J. Cleary, donde el autor se inspira en la herrnenu-
12 tica filosfica de Gadamer (quien no por casualidad firma la Introduccin) intentando
dejar en claro que, para Aristteles, la matemtica esencialmente es un mtodo de inves-
tigacin, un instrumento para resolver problemas, en el mbito de la cosmologa y de la
metafsica; una posterior propuesta de "integracin" del punto de vista de Annas, pero
en sentido metafsico, se intenta en mi volumen Entt matematici e metafisica, o. c.
25
Aristteles, Met. E 1, 1 025b 16-17: "00 .o u o Ei eon v ij T] eon 1:0 yvoc;; m:pl. 8
oulif:v A.youot, 00. ".
26
Ibid., M 1, 1076a25-26: .. 000 wc;; m:pl. eh' Eiov EiTE Eio, xal. d dol.
nwc;; dov".
El problema del objeto de la matemtica
eterna, y en la hiptesis de que exista, cul sea su naturaleza ... "
27
; ms
an, tiene sentido investigar esto slo si "el eterno objeto de investiga-
cin y el eterno problema: 'qu es el ser?', equivale a: 'qu es la sustan-
cia' "
28

III. La polmica de Aristteles y el problema exegtico
Como ya se ha mencionado, la conclusin del episodio matemtico
de la investigacin acerca de la ousa (oaa) consiste en la imposibilidad
de que los objetos matemticos sean sustancia inteligible. Pero cmo lle-
ga Aristteles a este resultado? Pues de una manera tan controversia!,
que incluso llega a irritar al lector. ste encuentra delante una serie de
argumentos a menudo repetitivos, no muy claros, que muestran de qu
manera la admisin de sustancias matemticas inteligibles conduce a
"magnficos absurdos"
29
Si se admiten sustancias matemticas inteligibles,
es necesario admitir una cantidad absurda de sustancias inteligibles, in-
cluso de la misma especie, y en consecuencia no se entiende cules de
sas seran objeto de las ciencias matemticas; adems, para ciencias
como la astronomia, la ptica y la armona, que estudian matemticamen-
te algunos objetos sensibles, debera postularse corno objeto una sustancia
que fuese al mismo tiempo, y de manera totalmente contradictoria, sensi-
ble y no-sensible: incluso debera haber animales capaces de percatarse
de las relativas sensaciones sensibles y no-sensibles! Y cmo sera posible
que los nmeros, que son grupos de unidades, o las figuras geomtricas, que
pueden ser descompuestas en otras figuras, constituyan una unidad intrn-
seca? Por otro lado, si los objetos matemticos deben estar "separados" del
mundo sensible, no se pueden explicar las propiedades matemticas de ste.
Por ltimo, las cosas sensibles no estn subordinadas ontolgicarnente a los
objetos matemticos, sino al revs, stos son inferiores a las cosas sensibles por
"naturaleza" y "perfeccin"
30
.
Vistos con atencin, los argumentos de Aristteles son complicados y
27
Ibid .. M l, l076al0-l3: " ... crxijnc; ... nn:pov ecrn nc; napa cae; aia8rp:ac; ocrac;
CtXVE't"Oc; Xat a i(noc; ij OX EO'H, Xat d EO'H ce; :O'H".
28
Ibid., z l, l028b2-4: "xal 't"O nA.at 'tE xal viiv xal at:l (T]'t"OUj.lEVOV xa\ at:l
anopOj.lEVOV, 't l OV, 't"OU1: :crn 1:c; T ocra".
2
9 La expresin es de J. Annas.
3
Cf sobre todo Aristteles, Metafisica M 2, passim; B 2, 997a34-998a9; 5, l00lb26-
l022bl4; N 3, l090a20 ss. Cf Cleary. J., o.c., pp. 284-288; 293-307.
13
Elisabetta Cattanei
dificiles de seguir en sus saltos lgicos, con premisas pasadas por alto y
conclusiones teatrales. Pero todo esto es causa slo parcial de la irrita-
cin de los estudiosos y de la poco positiva literatura acerca de muchas
pginas de la Meta.fisica donde se discute sobre los "entes matemticos
separados" (..a:8r..uxnx& xwpta-r)
31
Un motivo ms profundo de esta hos-
tilidad, consciente o inconsciente, se encuentra en el hecho de que
tales pginas representan, simultneamente, la fuente ms importan-
te para la reconstruccin de la teora de que tratan y la demolicin de la
teora misma. Cada argumento de Aristteles acerca de la existencia
"separada" de los objetos matemticos debe ser ledo en dos niveles: (l)
como exposicin de la teora criticada y (2) como crtica a la misma teora.
El primer nivel tiene, a su vez, varios componentes, porque Aristteles
hace referencia, como ya se ha dicho, (i) a veces, a los resultados de las
investigaciones matemticas de la Academia, (ii) adems, a una ontolo-
ga de los "entes matemticos intermedios" (..a:8r..a:nx& que l
atribuye a Platn, pero acerca de la que no se encuentra nada explcito
en los dilogos, y (iii) a los desarrollos acadmicos de esta ontologa,
especialmente por obra de Espeusipo.
N. El argumento en M 2, 1077a8-14
Para hacer ms comprensible el discurso desarrollado hasta este
momento (y sobre todo para tornar ms comprensible a Aristteles!) es
mejor trabajar con un caso especfico. Propongo centrar la atencin en el
siguiente argumento, que se encuentra en Meta.fisica M 2, l077a9-l4:
"Adems, algunas proposiciones universales son establecidas por
los matemticos incluso independientemente de estas sustancias mate-
mticas [Le., de las sustancias matemticas "separadas" postuladas como
objeto de la aritmtica, de la geometra, de la astronoma, de la ptica y de
la armona). Por tanto, para estas proposiciones, debe haber otra sustan-
cia, intermedia y separada tanto de las Ideas como de los entes matem-
14 ticos intermedios, que no ser ni nmero, ni punto, ni magnitud. ni tiem-
po. Y si esto es imposible, es evidente que tambin los entes matemti-
cos no podrn existir separados de los sensibles"
32

31
Cf Annas, J .. o.c., p. 33.
32
Aristteles, Metafisica M 2, l077a8-l4. Ha sido modificada la traduccin de Reale en
la lnea 8, segn como se ilustra infra. V.
El problema del objeto de la matemtica
"en yp<J>nat evta xa8A.ou rco tWV f.l<X8rf.Lanxwv rcapa -ra.ta<; -rae;
oaa<;. eatat ouv xal a.tr n<; &.Ur oaa xexwptaf.LVT) tWV 't' ioewv
xal tWV il O'tf: apt8f.L<; eonv O'tf: onyf.LiJ OUtf: f.!ye8oc; OUtf: xpvoc;.
d Qe 'tO'tO aOvatov, OliAOV on X<XXEVO: aV<X'tOV dvat XEXWPtOf.LV<X tWV
aio8rtwv".
V. Una alusin a la matemtica pre-euclideana
Si se pretende considerar el anterior argumento como fuente rela-
tiva a la matemtica pre-euclideana, es necesario ocuparse de manera
puntual de la primera lnea. Aristteles est pensando en un determina-
do procedimiento, en virtud del cual algunas proposiciones de la mate-
mtica general (evta xa8.l..ou... rcapa tata<; ta<; ooac;) son asumidas, o
de alguna manera, demostradas por los matemticos contemporneos a
l (yp<J>nat... rco twv f.l<X8rf.Lanxwv).
Sabemos por los comentadores, que en este caso dependen comple-
tamente del Pseudo Alejandro, que las mencionadas "proposiciones uni-
versales" (evta xo:8Aou) son proposiciones que valen para todos los tipos
de objetos matemticos, o de las disciplinas matemticas, como por ejem-
plo: "si a cantidades iguales se sustraen cantidades iguales, los restos
son iguales"; o tambin: "si cuatro trminos guardan proporcin entre s,
dos a dos, el producto de los medios es igual al producto de los extremos"
33

Seguros del hecho de que la prehistoria de los Elementos de Euclides
se desarroll en la Academia platnica
34
, se puede ver en las "proposi-
ciones universales" (evta xa8Aou) mencionadas por Aristteles un an-
33
Cf Pseudo Alejandro, In Metaph., II, p. 729, l. 21; p. 730, l. 16 de Hayduck. Entre
los comentaristas modemos, recuerdo a A. Schwegler (Die Metaphysik des Aristoteles.
Grundtext, bersetzung und Kommentar, nebst erliiutemden Abhandlungen. 4 vols.,
Tubinga: 1847-1848; Frankfurt: Minerva, 1960, IV, p. 301), W. D. Ross (Aristotle's
Metaphysics. A Revised Text withintroduction nnd Commentary, 2 vols., Oxford: Clarendon
Press, 1924, 1953
3
, II, p. 413), J. Tricot (Aristote, Mtaphysique. Nouvelle dition
eri.tierement refondue, avec commentaire, Pars: 1957, p. 723), y G. Reale (Aristotele.
Metafisica, a.c., III. pp. 621-622).
34
Testimonio de esto lo da Proclo, en su Comentario al primer libro de los Elementos de
Euclides, cf la edicin crtica: Friedlein, G., Procli Diadochi In primum Euclidis
Elementorumlibrumcommentarii.. Lipsiae: 1873; HUdesheim: Gg. Olms, 1967 ("Bibliotheca
Teubneriana"); y la traduccin italiana de M. Timpanaro Cardini, Proclo, Commentario
al primo libro degli Elementi di Euclide, Pisa: Giardini, 1978. Cito tambin el volumen
editado por F. Lasserre. De Lodamas de Thasos a Philippe d'Oponte, citado supra. en la
nota 17.
15
16
Elisabetta Cattanei
tecedente de las communes animi conceptiones (xO\val f:vvO\at) euclidianas,
entre las que se encuentran proposiciones tales como: "cosas que son
iguales a una misma cosa, son iguales entre s"; "Y si cosas iguales son
adicionadas a cosas iguales, las totalidades son iguales", y otras seme-
jantes35.
Vayamos ahora al acto de conocimiento matemtico que conduce
a tales proposiciones. Aristteles lo define como grafein (yp<!>nv). Como
se sabe, el sentido literal de grafein (yp<!>n v) es "escribir". En este caso,
el significado de grafein (yp<!>n v) se puede interpretar anlogamente
con expresiones del lenguaje jurdico como nomon grafein (v.Lov
o psfisma grafein (lJn<l>wi-La yp<!>et v), es decir, "escribir, prescribir, es-
tablecer una ley, una norma": por lo tanto, las proposiciones de la mate-
mtica general seran sancionadas como leyes
36
.
Sin embargo, observando la literatura histrico-matemtica, el verbo
grajein (yp<!>etv) se puede interpretar tambin de otra manera, en estre-
cha relacin con los postulados y los axiomas. Imre Toth, notable estudio-
so de la historia de la geometra no euclideana, ha publicado en 1967 un
largo ensayo acerca del problema de las paralelas en el Corpus aris-
totelicum37, donde analiza atentamente la expresin tas parallelous grafein
(-r&<; Tiapa.A.;\:rA.ou<; yp<J>etv), que aparece en Analticos primeros 65a4-7. Del
anlisis de este pasaje, que no es el caso repetir ahora detalladamente,
resulta que Aristteles se refiere a un determinado intento de demostrar
35
Cf Euclides, Elementi, p. 10 de Stamatis, en la traduccin de A. Frajese y L. Maccioni:
Euclide, Gli Elementi, Turin: Utet, 1970.
36
Cf Schwegler. A., Die Metaphysc des Aristoteles, o. c., IV, p. 301.
37
Cf Toth, I., "Das Parallelenproblem im Corpus aristotelicum", en: Archive for
History ofExact Sciences, 3 (1967). pp. 249-422. Se encuentra en proceso de publi-
cacin en Vita e Pensiero (Miln) la traduccin preparada por m de ste y de otro
ensayo de Toth, "Geometria more ethico", publicado en: Maeyama, Y. y Saltzer,
W.G., IIPll:MATA. Festschriftfr Willy Hartner. Wiesbaden: Steiner, 1977, pp. 395-
415. De Toth se puede ver tambin el volumen publicado por ahora slo en italia-
no: Aristotele e ifondamenti assiomatici della geometra, Miln: Vita e Pensiero, 1997,
1998
2
La objetiva dificultad del ensayo de 1967 -y la audacia de algunas tesis que
ah se sostienen- tal vez explican la escasa difusin de los estudios de Toth en
ambientes ms amplios que el ms bien restringido de los historiadores de la mate-
mtica; ni Cleary, ni Pritchard (que tambin hace amplias referencias a cuestiones
de historia de la matemtica) muestran conocerlo; en cuanto a m (cj Enti matematici
e metaf!Sica, o.c., pp. 103-120). pienso que el anlisis de los pasajes matemticos
del Corpus aristotelicum propuesto por Toth debe ser tomado con mucha considera-
cin, aun cuando no se comparta la construccin filosfica de corte idealista que el
autor edifica sobre ella.
El problema del objeto de la matemtica
la proposicin que en Euclides se transformar en el postulado de las
paralelas
38
Por tanto, no puede excluirse que Aristteles, con la frase de
MetaflSica M 2, " ... algunas proposiciones universales son establecidas
por los matemticos ... " (yp<j>t:'t'IU i:vux xa.8.l..ou no 1:wv ..L8T)..Lnxwv),
haga alusin a un cierto tipo de procedimiento matemtico de demos-
tracin con el propsito de justificar proposiciones matemticas generales
39

Frente a una genrica "prescripcin de leyes", tal procedimiento
tendra la ventaja de conferir una naturaleza especficamente matem-
tica no slo al objeto de conocimiento, sino tambin al acto cognoscitivo
al que se refiere Aristteles; y esto armonizaria muy bien con la dinmi-
ca del argumento, ya que el mismo descansa, como se ver mejor ms
adelante, sobre la lgica "a partir de las ciencias" (ex 't'WV emO't'T)..LWV), en
virtud de la cual todo acto epistmico debe tener como objeto una sustan-
cia correspondiente
40

En todo caso, es evidente que Aristteles se refiere a un procedimiento
-de postular o de demostrar- que pertenece a la matemtica general con el
objeto de reducir al absurdo una determinada teora de las sustancias mate-
mticas.
38
Cf Toth, I. "Das Parallelenproblem im Corpus aristotelicum", o. c., cap. l. La duda
ms natural suscitada por esta interpretacin del verbo grafem (yp<j>nv) consiste en la
eventualidad de que signifique simplemente "dibujar", "trazar", las paralelas. Toth excluye
esta posibilidad, tanto con argumentos provenientes del uso del trmino en los Elementos
de Euclides, en Platn, en Aristteles y en Arqumedes, as como con un argumento de
An. Prim. 65a4-7, perfectamente adaptable a nuestro pasaje de Met. l077a9-l0: en el
captulo de Analticos Primeros donde se encuentra el pasaje examinado, la operacin
de "parallelous grafein" es citada como ejemplo del error lgico constituido por la
"peticin de principio"; por tanto, no es sensato que "parallelous grafein" signifique
"dibujar, trazar, las paralelas", porque con un dibujo no se produce jams una peticin
de principio! Anlogamente, no me parece sensato que los "universales" (xa8Aou). de
los que Aristteles habla en l077a9, sean "dibujados" o "trazados". Cf tambin la nota
siguiente.
39
Tambin el Pseudo Alejandro, In Metaph., p. 729, l. 22 de Hayduck, interpreta el
verbo grfetai (yp<j>eml) de l077a9 con diknutai (odxvu-ral). "se demuestra", pero no da
los motivos de su exgesis. W. D. Ross, en: Aristotle's Metaphysics, o.c., II, p. 413,
retoma al Pseudo Alejandro y, basndose en Aristteles, Top. l58b30, Cat. l4a39, Met.
B 998a25 y /1 l014a36, sostiene que "en todos estos casos ... se hace referencia a una
prueba desarrollada con la ayuda de una figura". Sobre la verosmil presencia de figu-
ras de subsidio en el proceso demostrativo indicado como grafem (yp<j>ew), se centra
tambin Toth, "Das Parallelenproblem im Corpus aristotelicum", loe. c. Demasiado
lacnico me parece J. Tricot, en: Aristote, Mtaphysique, p. 723: "yp<j>e-ral.jonnuls, et
non pas dmontrs", seguido por Reale en su traduccin, en: Aristotele, Metafisica, II,
p. 595: inoltre, dai matematicl vengono formula ti alcuni assiomi ... ".
o Cf iJifra. VIII-IX.
17
Elisabetta Cattanei
VI. Platn. Espeusipo y la teora de los "intermedios"
A partir de las lneas 1077al0-l2 se ve que se trata de una teora que
tiene en cuenta una concepcin -a doble nivel- de la sustancia inteligible,
segn la cual los objetos matemticos, como por ejemplo nmeros, puntos,
magnitudes, tiempos, son "intermediosfl al lado de las Ideas. sta es,
como hemos dicho, la opinin que Aristteles atribuye a Platn, a diferencia
de los otros acadmicos.
Pero esto no significa que el argumento afecte slo a Platn y no a otros
acadmicos, sobre todo a Espeusipo. En realidad, seria ms dificil para Espeusipo,
y no para Platn, proporcionar una sustancia a los conceptos matemticos
universales, porque Espeusipo niega las Ideas, mientras que Platn admite lo
Igual, lo Desigual, etc., justamente en el plano de las Ideas. Adems, en el
desarrollo del argumento se menciona el punto (1. 12) y, en conexin con otras
informaciones aristotlicas, parece que no Platn, sino slo Espeusipo, reco-
noci el punto como sustancia
41

Sin embargo, la expresa referencia a la teoria de los "entes matemti-
cos intermedios" (!-La8TJ!-Lanxa es una abierta, aunque no exclusiva,
referencia a Platn. Platn habria sostenido, como se lee en Metafsica A 6,
" ... que al lado de los sensibles y de las Formas, existen los Entes matemticos
'intermedios' entre unos y otras, que difieren de los sensibles porque son
inmviles y eternos, y difieren de las Formas porque hay muchos semejantes
entre s, mientras que cada Forma es una e individual"
42

El argumento citado por Aristteles a favor de los "Entes matemticos
intermedios" (!-La8TJ!-Lanxa es un tipo de argumento "a partir de
las ciencias" (ex TWV btUHTJ!-LWv). gracias al cual se resuelve el proble-
ma que Julia Annas llama "problema de la unicidad": los matemticos tra-
bajan con objetos que no son sensibles, pero que no pueden ser Ideas, por-
que hay, por ejemplo, slo una nica Idea del dos o del tringulo, en tanto
que en las proposiciones y operaciones matemticas, como por ejemplo la
suma 2+2 o la descomposicin del cuadrado, aparecen ms de un dos, y
18 ms de un tringulo, idnticos entre s.
As llegamos directaJ:nente a la cuestin de si Platn efectivamente ha
41
Aristteles. Metafsica A 9, 992a19-21; N 3. 1090b5-7. Cf. Tarn. L .. Speusippus of
Athens. o.c .. Apndice I. pp. 457-458.
42
Aristteles. Met. 987b 14-18: "napa ,;a aio8T]1:a xa'i ,;a t:io11 a ..La8T]..Lanxa wv npay..L(hwv
dva !j>T]Ot oux!j>pov,;a ,;wv ..LEV aio8r,;wv 1:4> a iota xa'i xve,;a dval, ,;wv o. dowv
4> ,;a .LE V no."-' &na ..Lma dvat 1:0 oe doo; aino t:v exaowv ..Lvov".
El problema del objeto de la matemtica
formulado semejante teoria. Si el problema se plantea de la siguiente manera:
"en los dilogos de Platn, estn explcitamente presentes los entes matemti-
cos intermedios (!J.a8r!J.anxa descritos por Aristteles?", la nica res-
puesta posible es: "no"
43
Pero este "no" puede entenderse de diversas maneras.
Harold Cherniss sostiene que los dilogos de Platn hablan de objetos
matemticos slo en el sentido de Ideas y de ejemplificaciones empricas de
Ideas; por tanto, el discurso aristotlico acerca de los "intermedios"
tendria que ser rechazado por ser una mala interpretacin que desorienta
44
.
Como ha demostrado Brentlinger, el modo en que Cherniss cita
los dilogos platnicos no es siempre coherente, sobre todo en su obra
principal de 1944
45
, y tambin esto puede explicar el mamstream de la
investigacin inherente al problema de los "intermedios"
46
En general.
en los dilogos se tiende efectivamente a reconocer huellas de la teora
43
En los dilogos de Platn no se presentan afirmaciones hechas por Scrates o algn
otro interlocutor (tal vez de cultura matemtica como Teodoro o Teeteto). como las
siguientes: "No te parece, entonces, que los nmeros, las figuras y los objetos de las
otras ciencias matemticas, sean entes separados, intermedios entre las Ideas y las
cosas sensibles?" o tambin: "Es necesario, por tanto, concluir que los objetos de las
ciencias matemticas sean realidades intermedias entre las Ideas y lo sensibles, por-
que son eternos como aqullas, pero mltiples como en cada especie como stos?". Sin
embargo, dejo planteada una primera pregunta, muy genrica: toda doctrina conside-
rada como indiscutiblemente platnica goza de inequvocas, explcitas y definitivas
"definiciones" en los dilogos, o Platn es un filsofo y escritor que ama lo implcito, la
alusin. el silencio elocuente? Para ulteriores cuestiones, que voluntariamente dejo
abiertas, acerca de la "presencia explcita" de los intermedios en los dilogos, cf. infra,
nota 54.
44
Al respecto, H. Cherniss se expresa muy claramente en la coleccin de tres confe-
rencias: The Riddle ofthe Early Academy. Nueva York: Garland Pub, 1980 (1945). tra-
ducida al italiano por L. Ferrero: L'enigma dell'Accademia antica, Florencia: 1974, pp.
89-90 (traduccin castellana: El enigma de la primera Academia, Mxico: UNAM,
1993). donde se lee: "Aristteles afirma que para Platn las entidades matemticas
conforman una tercera clase de entidades separadas e intermedias entre los particu-
lares sensibles y las ideas ... Todos los intentos para encontrar en los dilogos esta ca-
tegora han fracasado, se ha dirigido una atencin insuficiente al hecho de que el tes-
timonio de Aristteles es contradictorio ... , se explaya afirmando que Platn distingui
dos especies de nmero: nmeros inteligibles -los nmeros ideales- por un lado, y n- 19
meros sensibles -los concretos o denominativos- por otro. Estas ideas de nmeros y es-
tos objetos numerados o numerables agotan la clasificacin dada en la Repblica y en el
Filebo, y reaparecen en la Epinomis del discpulo de Platn, Filipo, que no sabe nada, ni
siquiera l, de un tercera clase intermedia ... ".
45
Chemiss, H .. Aristotle"s Criticism of Plato and Academy. Baltimore: Johns Hopkns
University Press, 1944; Nueva York: Rusell & Rusell, 1962
3
.
46
Brentlinger, J., 'The Divided Line and Plato's Theory ofintermedates"', en: Phronesis, 8
(1963). pp. 146-166, especialmente pp. 146-147.
20
Elisabetta CattWlei
de los "intermedios", o un sistema de pensamiento emparentable con ella, en
especial en el pasaje 509d-5lla de la Repblica, el llamado "smil de la lnea"
47

Estas huellas y semejanzas pueden ser interpretadas o como avan-
ces de un pensamiento que Platn habra desarrollado ms tarde y que
Aristteles habra formulado ms rigurosamente, o como referencias a
una doctrina que Platn habra sostenido slo oralmente, y que Aristteles
habra referido
48

Con relacin a esto, un criterio decisivo es el asumir una posi-
cin precisa relativa a la hermenutica de los escritos platnicos. es
47
Tambin son asociados otros pasajes de los dilogos: Rep. 525c-526 b. Eut. 290b-d. Teet
198a-d, Fed. 74b-c. 101b-d, Out 432, Tim 50c, FrL 56c-59d, 61d-62d. y adems. Carta Vli
343b.
48
Para el status quaestionis acerca de la presunta teora platnica de los "intermedios", cito
mi Entimatemalicie metaji.sica, o.c., pp. 121-145. Ah menciono las siguientes contribuciones:
Brentlinger, J., "The Divided Line and Plato's 'Theory oflntermediates'", o.c., passirrl;
Mansion, S., "L'objet des mathmatiques et l'objet de la dialectique selon Platon". en: Revue
philosophique de Louvain, 67 (1969), pp. 365-388, reeditado en: tudes aristoteliciennes,
Louvain-la-Neuve: 1984, pp. 475-488; Isnardi-Parente, M., en el volumen preparado por ella:
Zeller, E. y R. Mondolfo, Lafilosofia dei Crec nel suo sviluppo storico, o. c .. parte II, vol. III/2,
pp. 753-765; Annas, J., "On the 'Intermediates'", en: Archiv for Geschichte der Philosophie. 57
(1975). pp. 146-166, en especial pp. 146-147; Berti, E., Aristotele. Dalla dialettica alla.filoso.fia
prima. o.c., pp. 108-112; Findlay. J. N., Plato. 1he Written and Unwritten Doctrines, Londres:
Routledge & Kegan Paul, 1974, pp. 159-209, 455-473; Kriimer, H .. Platone e ifondamen
deUa metqjisica. Saggio sulla teoria dei principie sulle dottrne non scrit1e di Platme ron una rruxolta
dei docurnenjondamentali in edizione bilinge e bibliografia, Miln: Vitae Pensiero 1982,
1993
4
, pp. 184-198 (traduccin castellana: Platn y losfimdamentos de la rnetqfisica. Caracas:
Monte vila, 1996); Kriimer, H., Dialettica e definizione del Bene in Platone. lnteTpretazione e
commentario storico-.filoso.fico di "Repubblica" VI 534 B 3-D 2, Miln: Vita e Pensiero, 1989, pp.
77-78; Gaiser, K, "Platons Zusammenschau der mathematischen Wissenschaften". o.c., pp.
93-94; Reale. G., Per una nuova inteTpretazione diPiatone. Rilettura della meta.fisica deigrandi
dicloghi alla luce delle "Dottrine non scritte", Miln: Vitae Pensiero, 1991'
0
, pp. 237-241, 355-
357, 657-671. Como para todo problema relativo a las llamadas "doctrinas no escritas" de
Platn (ej. Reale, G., Per una nuova inteTpretazione di Platone, o. c., pp. 3-136). tambin para el
problema de los "intermedios" la comunidad cientfica se divide hoy en "esotricos". a favor
de una "doctrina oral" de Platn referida por Aristteles, y "antiesotricos", pero que dificil-
mente, en el especfico problema de los "intermedios", aparecen en la tesis de la "silly
notion" inventada por Aristteles -tesis con que P. Shorey (en el volumen de la -"Loeb Clas-
sical Library": Plato, 1he Republic, traduccin al ingls de P. Shorey. 2 vols .. Cambridge.
Mass.: Harvard University Press. 1935, II, p. 164) ha anticipado a Chemiss. Como se sabe,
en Italia la posicin de Cherniss ha sido retomada por M. Isnardi-Parente, pero demostran-
do, respecto a Chemiss, mayor respeto por la "lgica" de la errada interpretacin de
Aristteles, refirindose con claridad a los dilogos platnicos y, sobre todo, a la evolucin aca-
dmica del pensamiento platnico; de Isnardi-Parente pueden verse, sobre el problema es-
pecfico del objeto de la matemtica en Platn, "Platone e i metodi matematici", en: La
Cultura, 5 (1967). pp. 19-40. y sobre la cuestin de las "doctrinas no escritas": "Il proble-
ma della 'dottrina non scritta' di Platone", en: La paro/a del passato. 41 ( 1986), pp. f>-30.
El problema del objeto de la matemtica
decir, leerlos, en el sentido explicado por Szlezk, como estructuras
abiertas a una doctrina interna a la Academia y no escrita, o de modo
diferente
49

La alternativa es radical. Querria, sin embargo, tratar de delinear, y
de poner en discusin, una explicacin de la exposicin y de la critica de
Aristteles sobre los "intermedios" que pueda constituir para las
posiciones contrarias al menos una mnima base comn, sobre la cual
contine la discusin, por supuesto por vas opuestas, pero ms en la for-
ma de un dilogo que de una batalla
50

VII. Dilogos platnicos e "intermedios"
Dejndose guiar por los dilogos de Platn, se encuentran algunos pun-
tos de orientacin, para empezar a moverse en el "campo minado"
51
constitui-
do por el problema de los entes matemticos intermedios (IJ.a8TJIJ.anxa
l. Primer pnnto de orientacin
Las ciencias matemticas puras, no aplicadas, tienen por objeto
no un "visible" (pa'tv). sino un "inteligible" (VOTJ't"v}. un no-sensible,
concebido "realistamente" o "platnicamente", es decir, como algo inde-
pendiente del mundo sensible y de nuestro pensamiento. (En este sen-
49
Szlezk, Th. A., Platon und die Schrifilichke der Philosophie. Interpretation zu den.frhen
und mittleren Dialngen, Berln: W. de Gruyter, 1945; edicin italiana: Platone e la scri.tturn.
della .filosofia. Analisi di struttura dei dialoghi della giovinezza e della ma.t.witil alfa luce di Wl
nuovo paradigma enneneutico, Miln: Vita e pensiero, 1988, 1993
2
; Come leggere Platone,
Miln: Rusconi 1991 (traduccin castellana: Leer a Platn, Madrid: Alianza, 1997).
50
En otras palabras. me gustarla indicar algunas coordenadas que permitan, por as decirlo,
un viaje al "limbo" del problema de los "intermedios", es decir. a aquella zona del pensamien-
to platnico que puede contener o aquello que Aristteles malinterpreta, o un anuncio de lo
que Platn elabora en su vejez, o una alusin a una "doctrina no escrita" en sentido esotrico.
Despus de este viaje. creo que ser ms fcil recoger, al menos respecto a la "teoria de los
intermedios", la "propuesta de paz" sobre el Platn esotrico propugnada por G. Figal, 21
"Riesenschlacht? berlegungen zur Platoninterpretation im Anschluj3", en: Reale, Giovanni
(ed.). Zu einer neuen Interpretation Platons, Padeborn/Munich/Viena/Zrich: Ferdinand
Schoningh, 1993. Szlezk. Th. A. Platon lesen. Stuttgart: Frommann-Holzboog, 1993;
Internationale Zeitschrftfiir Philosophie, 1994, pp. 150-162. Casi contempornea a la contri-
bucin de Figal. ha aparecido en Italia el artculo de M. Vegetti, "Cronache platoniche", en:
RivistadiFiloso.fia, 85 (1994), pp. 109-129, que responde de manera muy diferente a la mis-
ma exigencia de definir exactamente el estado actual de las investigaciones platnicas.
51
Es una eficaz expresin de J. Annas, o.c., p. 34.
22
Elisabetta Cattanei
tido, el argumento "a partir de las ciencias", "i:x -rwv bno-rrf.Lwv", del cual
Wilpert ya ha identificado los lineamientos en los dilogos
52
, es funda-
mentalmente platnico). Por otra parte, al poder cognoscitivo de la matemti-
ca, o a las disciplinas matemticas en general, corresponde una posicin
intermedia entre los conocimientos sensibles y la dialctica de las Ideas. Ha
sido propuesto el argumento segn el cual esta posicin intermedia requiere
un pendant ontolgico
53
, cosa que, en las obras platnicas, no parece tener
presencia explicita
54

2. Segwtdo pwtto de orientacin
En segundo lugar, los dilogos platnicos no excluyen que haya muchos
ejemplares de la misma especie de objetos matemticos inteligibles: incluso
donde Platn habla de un "cuadrado en s" (-ro n:-rpayvou au-ro), y de una
"diagonal en s" ('ti<; otaf.L'tpou au-ri<;)
55
, puede perfectamente entender, como
observa Gaiser, "no la forma nica en el sentido de la teora de las Ideas, sino la
exactitud suprasensible, en el mismo sentido en que l claramente indica, con
la expresin aut to hen (VII. 525d-e: !Xu-ro -ro ev) lo uno matemtico, que se
presenta en una multiplicidad indefinida de ejemplares"
56

52
Wupert, P., Zwei.aristotelische Frhschriflen berdie Ideenlehre, Regensburg: J. Habbel 1949.
pp. 29-35. Con este mismo propsito, cj Berti, E., La.filoso.fiadelprimoAristotele, Padua: Cedem.
1962, pp. 202-208; Leszl, W., R "De ideis" diAristotele e la teoriaplatonimdelle idee, Florencia:
Olschki, 1975, pp. 95-97.
53
Esto lo sostienen, entre otros, y cada uno a su manera, J. Brentlinger, S. Mansion,
J. N. Findlay, H. Kramer y G. Reale, en las obras anteriormente citadas, supra nota 48.
54
Obviamente, para extendemos sobre la pregunta planteada supra, nota 43, uno
podra preguntarse, siguiendo a Findlay, J.N., Plato. The Written and Unwritten Doc-
trines, o.c., p. 188, si "nothing if not explicit" deba ser "the most parabolic and
hinting of philosophical exponents" (esta frase est en polmica con W.D. Ross,
Plato's Theory of Ideas, Oxford, 1951; traduccin castellana: Teora de las ideas de
Platn, Madrid: Ctedra, 1986). Pero, con mayor precisin, uno podra preguntarse si
el pendant ontolgico de la posicin intermedia de las ciencias matemticas no hace
su aparicin, aunque sea en la penumbra, en los escritos de Platn: (1) por medio de
otras afirmaciones muy claras y explcitas presentes en los libros VI y VII de la
Repblica, por ejemplo, V 476e-479d. (En cuanto a VI 5lld 6-e 4, y a VII 533d-534e,
cj mi ensayo Enti matematici e metafisica, o.c., pp. 123-128); (2) por medio del paralelismo
entre el "simil de la linea" y el "simil de la cavema", tal como viene trazado por ThASzlezk,
"Das Hohlengleichnis", en: Hoffe, O. (ed.), P1aton, Politeiea, Berlin: Akademia Verlag, 1997,
pp. 205-228, especialmente pp. 2ll-215.
55
Platn, Rep. 510d, en el "smil de la lnea".
56
Gaiser, K., "Platons Zusammenschau der mathematischen Wissenschaften", o.c., p.
94, n. 10: "nicht die eine Form im Sinn der Ideentheorie, sondem die bersinnliche
Exaktheit, wie er auch mit au-ro -ro f.v {VII, 525 d-e) offensichtlich die mathematische
Eins, die in beliebig vielen Exemplaren vorkommt, bezeichnet".
El problema del objeto de la matemtica
3. Tercer punto de orientacin
De manera explcita, los objetos matemticos muestran cierta "am-
bigedad" y "naturaleza paradjica", como afirma y demuestra Suzanne
Mansion: se dividen entre el mundo sensible y el puramente inteligible,
en cuanto que son noet (vorrr), inteligibles, pero que son estudiados por
medio de imgenes sensibles, o sobre la base de presupuestos de mero
valor hipottico
57
, o que, de manera semejante a las cosas sensibles, se
comportan de manera contradictoria 5
8

4. Cuarto punto de orientacin
En efecto, Platn escribe de un mundo ms amplio, que se destaca
por su ambigedad y su carcter paradjico, porque es "intermedio"
entre el puramente sensible y el puramente inteligible. A este
mundo intermedio pertenece no slo el conocimiento dianotico, y por
consiguiente matemtico, sino que a l tambin pertenecen eros
59
, pro-
bablemente el alma e incluso virtudes tico-polticas como la sabidura
1919
60
, a ese mundo pertenece todo lo que constituye "una lnea" que en
s une o mezcla los mundos opuestos de lo sensible y de lo notico, de lo
corruptible y de lo etemo. ste es el intermundwn, por medio del que nos
es posible remontar dialcticamente desde aqu hasta el Bien y desde
all otra vez descender a nuestro mundo de la vida.
VIII. Aristteles y el mundo matemtico de Platn
Regresemos ahora a Aristteles. En Metafisica, M l, donde el proble-
ma de las sustancias matemticas es formulado de la manera ms clara,
Aristteles se conecta con el programa dialctico global de la Repblica,
cuya finalidad era alcanzar, por medio de una reflexin sobre la matem-
tica, un principio ltimo, que pudiese explicar todo, no slo el saber.
57
Esto se puede deducir tambin del "smil de la linea"'. Cf Platn, Rep. 510c5-5lla8, y 23
las observaciones de Mansion, S., L'objetdes mathmatiques ... , a.c., pp. 367-372,381-383.
58
Por ejemplo, el mismo nmero 2 es el resultado de dos operaciones que en la matemtica
antigua eran antitticas: la adicin y la sustraccin. Cf Mansion, S., a.c., pp. 381-382.
59
Cf Platn, Banq. 201d-212c, y especialmente 202a9, donde eros es definido como
"intermedio"'
6
Cf Souilh, J., La notion platonicienne d'intenndiaire dans la phUosophie des Dialogues,
Paris: 1919; Nueva York: Garland Pub, 1987, donde se hacen sistemticas y puntuales
referencias a pasajes de los dilogos relativos a la cuestin.
24
Elisabetta Cattanei
Aristteles es consciente, como Myles Burnyeat ha demostrado de mane-
ra convincente
61
, de que la decisin a favor de una interpretacin
aristotlica o platnica del objeto de la matemtica es, al mismo tiempo,
una decisin acerca del modo en que nosotros debemos entender "el mundo
y su bondad"
62
, del modo en que podemos articular una metafisica y, por
tanto, del modo en que debemos vivir.
Por tanto, Aristteles toma en consideracin el cuadro completo de
la teora platnica de la matemtica, pero lo hace de una manera parti-
cular y personal. Por as decirlo, hace de un gran fresco un mosaico en el
que las piezas estn separadas unas de otras y son colocadas, respecto al
modelo original, de manera diferente: por eso lo que vemos es desagrada-
ble, como hemos dicho, "irritante", pero tratemos de entender por qu.
La pretensin de la matemtica de dirigirse a un adecuado noetn
(vorrcv) es aislada, por Aristteles, de la perspectiva ms amplia con que
aparece en Platn, y es enfrentada como un problema autnomo, inde-
pendiente. Adems, el problema es formulado y discutido con el aparato
conceptual de la teora aristotlica de la sustancia, como se ha visto antes.
Desde su punto de vista, desde el punto de vista del ontlogo que se pregunta
"qu cosa es la sustancia?", "-r; i) ouaa", Aristteles reduce lo que en Platn
es un inte17111111dwn matemtico en el recorrido de la dialctica a una doctri-
na fija de los objetos sustanciales no-sensibles de determinados procedi-
mientos cientficos.
De este modo, creo, alcanzamos una base sobre la cual conducir
con nueva armona, si bien por caminos muy diferentes, el debate acerca
de la exposicin aristotlica sobre los "intermedios" Puede ser
que Aristteles, con argumentos propios, construya una ontologa de los
mathematik (fl<X8T)fl<X'ttxci) que corresponde a un orden de pensamiento
platnico, sin que Platn la haya formulado en cuanto tal explcitamente;
tambin puede ser que Aristteles presente una ontologa de los
mathematik (fl<X8T)fl<X'ttxci) sostenida oralmente por Platn, pero que re-
presentaba mucho ms que una "ousiologa" al margen de la prctica de
la matemtica
63
Por ahora dejamos abierta la cuestin, sobre todo por-
que, como hemos dicho, se puede tomar una decisin slo entrando en el
61
Burnyeat, M., "Platonism and Mathematics: A Prelude to Discussion", en: Graser, A.
(ed.). Mathematics w1dMetaphysics inAristotle, o. c., pp. 213-240.
62
Ibid., p. 214: "the world and its goodness".
63
El amplsimo aliento de la reflexin matemtica de Platn ha sido resaltado
especialmente por K. Gaiser, Platons W1geschriebene Lehre. Studien zur systematischen
El problema del objeto de la matemtica
vasto y complejo campo de la hermenutica de los escritos platnicos
para asumir una postura firme. De cualquier modo, queda claro que el
discurso aristotlico sobre los "entes matemticos intermedios"
debe tomarse en serio, no menos que examinarse atentamente y
examinarse sobre todo en su rgida formulacin ousiolgica
64

IX. La demoledora crtica de Aristteles
Esto ofrece tambin un parmetro para valorar la distancia que
Aristteles asume frente a Platn con su critica a los "intermedios"
en 1077al0-14. La critica se desarrolla, como se ha dicho lneas arriba,
en tres pasajes:
(l) si se proponen los mathematik (f.J.ct8T]f.J.ctnx), por ejemplo nme-
ros, puntos, magnitudes y tiempos, como sustancias inteligibles separa-
das, "intermedias" entre las Ideas y las cosas sensibles, es ne-
cesario postular como objeto de determinadas proposiciones de la mate-
mtica general un ulterior grupo de sustancias matemticas inteligibles
que deben ser "intermedias" entre los "intermedios" ma-
temticos y las Ideas;
(2) no se logra entender qu naturaleza tienen estas nuevas sustan-
cias, porque no coinciden ni con los objetos matemticos, ni con las Ideas;
(3) por tanto, si es imposible que existan estas sustancias, tam-
bin es imposible postular los objetos matemticos como sustancias
no-sensibles
65
.
nnd geschichtlichen Begrndung der Wissenschaften in der Platonischen Schule, Stuttgart:
E. Klett, 1963, 1968
2

64
El problema crucial, de la "reduccin ousiolgica" llevada a cabo por Aristteles
sobre una ms compleja teora platnica sobre la matemtica, me parece ste: es
posible que en Platn no haya alguna ontologa de los entes matemticos "intermedios".
aun como aspecto singular, parcial y, tal vez incluso implcito, pero necesario, de un
discurso ms global? Evidentemente, una respuesta a esta pregunta depende, adems
de la exploracin de las dos posibilidades indicadas supra, nota 54, de la
interpretacin global que se d a la filosofa platnica. y sobre todo a la doctrina de
las Ideas, en cuanto "ontologa". Por citar dos posiciones encontradas, menciono la
"metafsica" de G. Reale, Per una nuova interpretazione di Platone, o.c., p. 238, que
conecta la teora sobre los "intermedios" con el principio parmendeo "lo mismo es el
conocer y el ser". aunque est convencido de que la filosofa de Platn no sea, o no
sea slo, una ontologa, sino una protologa (doctrina de los principios) en el sentido
de una henologa(doctrina de lo Uno). y la posicin hermenutica de G. Figal. "Platons
Destruktion der Ontologie. Zum Sinn des Pannenides", en: Antike undAbendland, 34
(1993). pp. 29-47.
65
Cf supra, IV.
25
Elisabetta CattGJlei
Evidentemente, el argumento representa un ulterior ejemplo del
razonamiento que Aristteles desarrolla en las lneas inmediatamente
precedentes, como en B 2
66
Aristteles afirma que la astronoma, la p-
tica y la armona (y por qu no otras ciencias?) deberan tener como
objeto sustancias no-sensibles, porque son ciencias como la aritmtica
y la geometra las que se ocupan de los "intermedios"; tales sustancias,
que Aristteles llama "sensibles intermedios" (cx:ia8r-r&

ten-
dran, sin embargo, una naturaleza autocontradictora: seran, por ejem-
plo, un cielo mvil e inmvil, un sonido audible y no audible, etc.
Lo que Aristteles reduce al absurdo es, por tanto, el "argumento a
partir de las ciencias" (Ayoc:; ex -rwv bna-rr.twv) que l ve como un perverso
mecanismo de produccin de sustancias inteligibles: para cada proposi-
cin y demostracin, para cada procedimiento de cada ciencia matemti-
ca, y por tanto tambin de la matemtica general, debera ser postulada
como objeto una respectiva sustancia inteligible, dotada de todas las pro-
piedades atribuidas por los matemticos a los objetos con que trabajan.
Aqu se ve claramente que el argumento acerca de la sustancia de
las proposiciones universales de la matemtica se inserta en la crtica
ms amplia que Aristteles dirige a la "separacin" platnica de los obje-
tos de la ciencia (xwpta.tc:;) del mundo sensible, ya sean entes matem-
ticos o Ideas. En otra oportunidad he tratado de interpretar el argumento
en este sentido
68
Pero ahora deseo poner el acento sobre otro punto,
sobre el hecho de que Aristteles llega al absurdo de una "sustancia
intermedia entre las Ideas y los intermedios" (ouacx: -rwv , ioewv
xcx:l. -rwv en cuanto que rompe la continuidad lineal que Platn
reconoce entre la matemtica y la dialctica.
Si regresamos al "smil de la lnea", encontramos ah un ejemplo
de esta continuidad en el "salvamento" llevado a cabo por la dialctica
en relacin con las "hiptesis" (uno8aetc:;) matemticas
69
A propsito de
las "proposiciones matemticas universales" citadas por Aristteles, se-
mejante "salvamento" puede simplemente significar, como cit lneas
26 arriba, que aqullas tienen por objeto Ideas: lo Igual, lo Desigual, lo Idn-
66
Aristteles, Met. 997b12-34.
67
Aristteles, Met. 997b23.
68
Cf Cattanei, E., "1 metodi della metafisica platonico-accademica 'generalizzante' ed
'elementarizzante' nei libri 'M' e 'N' della Metaftsica di Aristotele", o. c., pp. 193-195.
69
Cf Platn, Rep. 511 b3-c2.
El problema del objeto de la matemtica
tico y lo Diferente, etc., son Ideas, a las que pueden ser referidos fen-
menos pertenecientes a las disciplinas matemticas particulares
70

Por otro lado, en las "hiptesis" (imo8ow;) del "smil de la linea" se
puede captar una alusin al debate acadmico acerca de las proposicio-
nes que ms tarde, en los Elementos de Euclides, aparecen como axio-
mas y postulados. En este caso, la dialctica que se eleva hasta un prin-
cipio "anhipottico" (vun8nov) tendria la tarea de fundamentar la ver-
dad de una determinada "hiptesis" (imo8ot;;;), es decir, de la euclidiana,
y la falsedad de la hiptesis opuesta, la antieuclidiana
71
.
Ahora bien, si a su vez las "proposiciones universales" matemti-
cas, de que habla Aristteles (evw; xa8A.ou no -rwv .ta8r]I.Lanxwv) son
proposiciones que ms tarde aparecen entre los axiomas y los postula-
dos del primer libro de los Elementos de Euclides, cuya demostrabilidad
fue discutida en el sentido indicado por Toth, entonces la dialctica "sal-
va" la matemtica en cuanto ofrece una fundamentacin de la verdad de
determinadas proposiciones, que en s msmas, es decir, en el plano ma-
temtico, son indemostrables
72

En conclusin, el argumento de Aristteles toca la piedra angu-
lar, que en Platn se sita entre matemtica y dialctica: el puente se
rompe, se crea una laguna sobre la que se apoya la reduccin al absur-
do desarrollada dentro del marco de la teora de la sustancia.
Una vez ms la investigacin aristotlica sobre la ousa (ooa)
corta con precisin quirrgica las multiformes, pero continuas lneas
del pensamiento platnico, aleja sus partes y, adems, con instrumen-
tos y fines propios. Slo con dificultad puede el lector reconocer aquel
mundo de la matemtica, que para Platn y los antiguos acadmicos,
como el mismo Aristteles menciona, tal vez con un poco de irona,
"deleitan al alma" (-riv "ljluxi]v oavet)?
3

70
Me permito citar otra vez mi artculo "I metodi...", o.c., p. 194.
71
Cf Hi:isle, V., Ifondamentidell'aritmeticaedellageometriamPlatone, o.c., pp. 113-129.
72
Acerca de la caracterstica de no autofundamentacin, que segn Platn es propia de
la matemtica, cj nuevamente Hi:isle, V., o.c., pp. 119-120.
73
Aristteles, Met. 1090a37. Del verbo samem (oa:vnv) M. Isnardi-Parente da una
interpretacin rigurosa, no en sentido irnico. considerndolo trmino usado por
Espeusipo: cj Speusippo. Frwnmenti, o.c., p. 315.
27