Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Sadra 07
Sadra 07
4 PRESENTACIÓN EDITORIAL
Artículos
6 La poesía como herramienta esencial de la investigación filosófica y la escritura en la filosofía islámica posterior:
el caso de Mullā Ṣadrā. - Sayeh Meisami
Monografías y traducciones
60 Las nociones de taṣawwur y taṣdīq en Tawḍīḥ al-’iškāl: Šarḥ bartaḥrīr ’Uṣūl ’Uqlīdus de Muḥaqqiq Narāqī (1715-1795).
Amílcar Aldama Cruz
Entrevista
84 Entrevista con Roshdi Rashed.
Amélie Neuve-Eglise - Kamran Gharagozli
Léxico
93 Breve léxico técnico de Matemática (en el contexto islámico).
Amílcar Aldama Cruz
Reseñas
117 Tarǧoma-ye taḥrir-e ’Uqli ̄dus (Traducción de la Recensión de los Elementos de Euclides).
Amílcar Aldama Cruz
i = _________
ِ
u = __ُ_______ Transcripción persa
=پp
Se utilizará un punto para evitar posibles confusiones como = چch
puede suceder con la letra lam con sonido doble a causa del = ژzh
tashdîd, evitando el sonido ele, o con “h”. Esto ocurriría con =گg
las letras ذdh y شsh
Editor General:
Dr. Amílcar Aldama Cruz
Grupo editorial:
Dr. Jorge D. Chirino, Dr. Luis Alberto Vittor, Dr. Adolfo Ham, Lic. Karen Martínez García.
Colaboración de:
Fundación Nasime Rahman, Ciudad de Qom, Irán.
Centro de Estudios Islámicos Árabes y Persas “Dr. Osvaldo A. Machado Mouret” (CEIAP),
Argentina.
Editorial
Presentación
editorial
La filosofía y la matemática han tenido desde por ejemplo, en el destino de las nociones de
el inicio del pensamiento reflexivo un vínculo probabilidad y causalidad durante el último
inexorable. Dicha correlación ya es constatable siglo. Tales situaciones no son exclusivas de las
en la antigüedad en pensadores como Tales matemáticas recientes, sino que, por supuesto,
de Mileto y Pitágoras de Samos, seguidos por también surgen en las matemáticas antiguas y
Platón y Aristóteles, los cuales fundamentaron clásicas (Roshdi Rashed: 2015).
la capacidad de ambas disciplinas en la
Si tomamos la primera definición geométrica
explicación la realidad por medio de modelos
de Euclides: “σημεῖόν ἐστιν, οὗ μέρος οὐθέν”
abstractos. La filosofía y la matemática han
(Elementos, Lib.1ro - Def.I), y se traduce el
compartido métodos y se han orientado
término σημεῖον (sēmeîon)1 como “punto” se
hacia un fin común. Se puede decir que “las
matemáticas y la filosofía han coincidido en la 1. El término σημεῖον - sēmeîon (genitivo σημείου; segunda
explicación del mundo y en su transformación, declinación) posee deferentes significados según el contexto
pero también en la acción moral del hombre” de uso. Es una marca, signo, señal; una indicacion, tumba,
señal de los dioses, presagio, maravilla, presagio
(Saneen: 1999). Si bien muchas corrientes signo o señal para hacer una cosa, hecho por banderas,
4
en la historia del pensamiento, en oriente y estandarte o bandera, cuerpo de tropas bajo un estandarte
occidente, han dedicado extendidas reflexiones o bandera, (heráldica) dispositivo sobre un escudo o barco;
figura decorativa, sello en el anillo; figura, imagen consigna,
sobre la jerarquía de una sobre la otra, todas grito de guerra, marca de nacimiento o característica
han subrayado el alto valor de ambas y el distintiva, (lógica) una prueba, (lógica) un signo utilizado
auxilio mutuo que se prestan en el movimiento como un argumento probable en la prueba de una conclusión,
(geometría) un punto, (medicina) síntoma, (medicina)
de reflexión teórica. La relación entre las una especie de erupción cutánea, (en plural) símbolos
matemáticas y la filosofía puede tomar muchas abreviados, marca crítica, (matemáticas) punto matemático,
formas. Hay una que llama especialmente la punto de tiempo, instante, (prosodia, música) unidad de
tiempo. Como expresa Agamben: “La noción que funda la
atención y que es obra del matemático, del geometría es, es decir, la de «cuanto de significación» (dirá
matemático-filósofo. Son aquellas doctrinas Riemann con su habitual claridad: «las partes determinadas
que los matemáticos elaboran para justificar de un todo, distinguidas por una nota o una demarcación,
se llaman cuantos»). Esto es tanto más relevante cuanto
su propia práctica, cuando han agotado los que sabemos que fue Platón y su escuela quienes afirmaron
medios puramente matemáticos para resolver la necesidad de sustituir el antiguo término por «punto»,
los problemas planteados. No es raro que el στιρμή (la huella que deja un objeto con el acto de στίζειν,
«pinchar») con σημεῖον, para subrayar la conexión con la
filósofo, a su vez, retome uno de estos problemas significación lingüística: el punto no es una entidad material,
con la intención de dilucidarlo. Piénsese, sino un cuanto de significación. Esto implica, en la intención
platónica, que mientras el filósofo puede alcanzar la idea
dará como resultado: “el punto es aquellos de la matemática antigua y clásica planteados por
lo que no hay partes”, pero si, como observa matemáticos y filósofos del contexto islámico,
el filósofo italiano G. Agamben, se traduce figuran, por ejemplo, los encontrados por
sēmeîon como signo (una marca, señal; una sus antecesores griegos sobre el infinito, lo
indicación; señal de los dioses, presagio), infinitamente pequeño, los comportamientos
entonces la definición llevaría el sentido de: asintóticos, la magnitud, la continuidad, la
“Hay un signo del cual no hay partes”. Tanto cuadratura de la lúnula y el círculo, etc., todo lo
en una o en otra traducción, como en la cual requiere consideraciones infinitesimales,
comparación de ambas, existe ya una insitación que sólo serán desarrolladas más adelante;
al pensar filosófico, y no a un mero ejercicio otros, como la derivación de una multiplicidad
filológico, pues nos introduce en un primer -que también es una complejidad- a partir del
momento al debate ontológico y epistemológico uno, que remiten a consideraciones de análisis
sobre lo simple, la significación y el concepto combinatorio al menos (Roshdi Rashed: 2015).
de parte.
Es por ello que el presente número de la revista
En el pensamiento gestado en el contexto Ṣadrā estará dedicada buena parte de ella a esta
islámico esta correlación tiene un rol correlación entre filosofía y matemática en
fundamental, apaleando a como en el pasado el el contexto islámico, donde se abordarán las
movimiento de traducción de obras de filosófia nociones de taṣawwur y taṣdīq en la obra de
y matemáticas, del griego y el siriaco al árabe, geometría Taūḍīḥ al-’Iškāl de Abi Zarr Naraqī
tuvo un espacio preferencial del cual se dio (Amílcar Aldama), el lugar de la filosofía
todo el giro investigativo que favoreció una y la matemática en el Islam (Gonzalo Díaz
intensa creación en filosofía y matemáticas que Ponce), la ontología y epistemología de las
más tarde recepcionaría occidente. matemáticas en la filosofía árabe-islámica
(Mohammad Saleh Zarepour), la revisión
Una de las partes más interesantes de la filosofía
5
de Al-Kūhī del Libro I de los Elementos y la
de las matemáticas entre los pensadores del
traducción de la misma (J.L. Berggren y Glen
Islam clásico pertenece mucho más a una
Van Brummelen), la figura del polímata persa
forma de reflexión de los matemáticos y
ʾUmar al-Jayyām como matemático (Bijan
filósofos que a sus consideraciones generales
Vahabzadeh) y un breve léxico técnico árabe-
sobre la relaciones entre las matemáticas y la
español de matemática (Amílcar Aldama). Se
filosofía. De hecho, cuando se enfrentan a este
presentará una entrevista a esa colosal figura de
tipo de cuestiones, revelan cómo conciben estas
la investigación sobre matemática y filosofía
relaciones. Ahora bien, entre los problemas de
islámica que es el Profesor Roshdi Rashed, a
la que sirva el presente número de Ṣadrā como
-homónima de lo sensible- sólo a través del paciente cruce (la
Séptima letra dice «frotar») de los nombres, proposiciones y homenaje a su excelente carrera investigativa.
conceptos, la matemática se mueve en cambio sobre un nivel Además de este espacio se presentarán estudios
"bastardo", en el que cuantos de significación -no palabras, que tocan aspectos como la relación poesía y
sino números- permiten unir aporéticamente lo inteligible y
lo sensible. Para el geómetra no se trata del cuerpo sensible filosofía en Mullā Ṣadrā (Sayeh Meisami).
en su nombre y en sus cualidades, sino en su puro tener lugar
indicado a través de la entrega de un puro significante (un
Esperamos que este número sea de útil lectura
“signo del que no hay parte”)” (Che cos’è la flosofa?, 2016). y reflexión.
LA POESÍA COMO HERRAMIENTA ESENCIAL DE
LA INVESTIGACIÓN FILOSÓFICA Y LA ESCRITURA
Artículos
enfoque está mejor representado por Dimitri Gutas. En su análisis e interpretación del uso del
simbolismo por parte de Avicena, Gutas argumenta que Avicena simplemente se basa en imágenes
y símbolos para transmitir el mismo contenido filosófico que los de sus textos no simbólicos a
través de “un método de presentación que luce como inferior al demostrativo”, esto para el bien de
aquellos “que no pueden entender la argumentación silogística” y, en otro aspecto, “ para ocultar de
la gente común” los significados literales de esos principios filosóficos que probablemente serían
malinterpretados. Desde este punto de vista, Gutas también rechaza cualquier diferencia esencial
entre la alegoría y el símbolo, excepto las diferencias formales en la mecánica de la poética.3
Con respecto al relato de Gutas, me resulta difícil aceptar que Avicena considerara el pensamiento
poético inferior a la demostración o que el público en poesía fuera menos inteligente que el público
1. Meisami, S. (2020). “Poetry as an Essential Tool of Philosophical Inquiry and Writing in Later Islamic Philosophy: The Case
of Mullā Ṣadrā”. Journal of South Asian and Middle Eastern Studies, Vol. 43, No. 4, 56-73.
2. Sayeh Meisami: Profesora Asociada de Filosofía en la Universidad de Dayton, Ohio. Meisami ha publicado varios libros
sobre filosofía islámica entre los que se encuentran, Nasir al-Din Tusi: A Philosopher for All Seasons. (2019), Knowledge and
Power in the Philosophies of Ḥamīd al-Dīn Kirmānī and Mullā Ṣadrā (2018).
3. Gutas, D. (1988). Avicenna and the Aristotelian Tradition: Introduction to Reading Avicenna’s Philosophical Works. Leiden:
E.J. Brill, 306-307.
en filosofía.4 Lo que hace que este relato filosofía poética, por ejemplo, Šihāb al-Dīn
sea difícil de creer es la complejidad de la Suhrawardī (m. 5871191/) cuyos escritos y
filosofía poética y el interés de los círculos alegorías simbólicas no son menos complejas
intelectuales en este género en contextos que sus otros escritos.9 Sin embargo, a pesar
árabes y persas. Piense en la obra de Avicena de mi desacuerdo con el criterio que denigra
“Oda al alma” (Qaṣīda al-Nafs). Es imposible el estado de la poesía aviceneana, admito
para los lectores entenderlo sin un antecedente que la poesía no es la herramienta principal
en el conocimiento de filosofía peripatética y de la investigación en su filosofía, porque su
de literatura poética.5 Otro ejemplo es el texto ontología se basa en la realidad de las esencias
de Avicena El relato de Ḥayy ibn Yaqẓān, el y las distinciones entre ellas basadas en las
cual, según el autor, fue compuesto bajo la categorías de Aristóteles. El otro enfoque
insistencia de un grupo de sus “hermanos” principal de la poesía dentro de la filosofía
que exigían un nivel superior al de la es representado por Henry Corbin (m. 1978),
gente común.6 Por lo tanto, como enfatiza quien resulta ser el objetivo de las críticas de
correctamente Stroumas7, seguido por Toby Gutas. A diferencia de Gutas, Corbin afirma
Mayer8, las alegorías de Avicena no pretendían que es por medio de la poesía que el Cosmos
en absoluto una audiencia poco sofisticada. Lo es internalizado por el filósofo, y la verdad
mismo es cierto para los intentos posteriores inefable encuentra una manera de manifestarse
de los filósofos musulmanes de producir a través de metáforas y símbolos.10 Asimismo,
distingue la alegoría del símbolo llamando
4. Según Gutas, Avicena descartó “cualquier sistema al primero una mera “operación racional”
filosófico no basado en la lógica y, por lo tanto, en la
verificación de las verdades por medio del silogismo ...” Ver
y el segundo un camino hacia “un plano de
Gutas, Avicenna and the Aristotelian Tradition, 286. Este conciencia distinto de la evidencia racional”.11
enfoque apunta a un intento neo-orientalista de reclamar a Gutas descarta esta distinción como un
Avicena como perteneciente a la tradición aristotélica, por
supuesto, de buena fe porque el neo-orientalismo es difer-
síntoma de la “obsesión de Corbin con ... la
ente del orientalismo: “Los neo-orientalistas llegan al estu- espiritualidad iraní supuestamente inefable”.12
dio de la filosofía islámica con un espíritu de investigación Creo que la tesis de Corbin sobre el estado
libre y de buena voluntad hacia el tema, pero a menudo no
pueden colgar el abrigo de sus propias suposiciones [euro-
ontológico de la filosofía poética como un
céntricas] en la puerta, por así decirlo.” Véase Mohammed fenómeno experimental/espiritual podría
Rustom (2018), “Neo-Orientalism and the Study of Islam- implicar, tal vez contra su intención, primero,
ic Philosophy: An Interview with Professor Mohammed
Rustom”, (Entrevista de Soroosh Shahriari), Journal of
la separación existencial del filósofo lógico
Islamic and Muslim Studies, 3:1, 113. Para una crítica de del filósofo poético, y segundo, la exclusión
los enfoques eurocéntricos de la filosofía islámica, véase
John Inglis, en la introducción a Medieval Philosophy and
the Classical Tradition, ed. John Inglis (Richmond, Surrey:
9. Para una discusión reciente sobre el lugar de las alegorías
en la filosofía islámica véase Mohammed Rustom (2020),
7
INVESTIGACIÓN FILOSÓFICA Y LA ESCRITURA EN LA
5. Para una interpretación sofisticada de la oda de Avicena, Suhrawardī,” en Knowledge and Education in Classical
véase ʻAli ibn Muhammad ibn al-Walid, al-Risāla al-mufī- islam, (ed. Sebastian Günther) Leiden: Brill, 404-416.
da, ed. Wilfred Madelung, trad. Toby Mayer (2016). Avi- Además, la importancia de las alegorías en la ética de la
cenna’s Allegory on the Soul. Londres & Nueva York: Tau- virtud islámica se ha destacado en Cyrus Ali Zargar (2017),
ris (en asociación con Institute of Ismaili Studies). The Polished Mirror: Storytelling and the Pursuit of Vir-
FILOSOFÍA ISLÁMICA POSTERIOR:
6. Peter Heath (1992). Allegory and Philosophy in Avicenna tue in Islamic Philosophy and Sufism. Londres: Oneworld
(Ibn Sīnā): with a Translation of the Bookof the Prophet Academic.
EL CASO DE MULLĀ ṢADRĀ
Muhammad’s Ascent to Heaven, Filaderfia: University of 10. Henry Corbin (1960), Avicenna and the Visionary Re-
Pennsylvania Press, 159. cital (trad. Willard R. Trask), Nueva York: Pantheon Books,
7. Sarah Stroumsa (1992), “Avicenna’s Philosophical p. 15. Henry Corbin (1995), Avicena y el relato visionario
Stories: Aristotle’s Poetics Reinterpreted,” Arabica, T. 39, (trad. Agustín López Tobajas), Barcelona: Paidós.
Fasc. 2, 199-200. 11. Henry Corbin, Creative Imagination in the Sufism of Ibn
8. Toby Mayer (2016), en la introducción de: Avicenna’s Arabi (Princeton, NJ: Princeton University Press), 14.
Allegory on the Soul, 11-12. 12. Gutas, Avicenna and the Aristotelian Tradition, 299, n. 2.
de la filosofía poética a la élite espiritual ya cualquier narrativa de la realidad que implique
que son capaces de la experiencia mística imaginación y técnicas poéticas, así como un
y se trasladan a un plano de existencia más tipo de retórica que no está restringida por la
Artículos
“imaginación filosófica” como “una facultad interna que ningún crédito existencial por derecho propio,
LA POESÍA COMO HERRAMIENTA ESENCIAL DE LA
la dependencia funcional del pensamiento con respecto a 16. Mullā Ṣadrā Šī rāzī , “al-ittiḥād al-ʿāqil wa’l-maʿqūl,”
la imaginación, pero dado que su trabajo se centra en el (La unificación del intelector y el inteligible) trad. Ibrahim
pensamiento clásico y su tema principal es la divinidad, mi Kalin como “Treatise in the Unification of the Intellector
enfoque de la imaginación difiere del suyo en dos aspectos. and the Intelligible,” en Knowledge in later Islamic Phi-
Primero, atribuyo una función primaria a la imaginación al losophy. Mullā Ṣadrā on Existence, Intellect and Intuition.
acercarse a la existencia más que una función intermedia. Oxford: Oxford University Press, 2010, p. 269.
En segundo lugar, mi argumento a favor de la necesidad de 17. Šī rāzī , al-Ḥikmat al-mutaʿāliya fī asfār al-ʿaqliyya al-ar-
la imaginación no se basa en la incorporeidad del objeto de baʿa, I: 53.
investigación del filósofo, es decir, la existencia, sino en su
ambigüedad o borrosidad. 18. Ibídem., I: 69.
embargo, la metáfora implícita de luz/oscuridad confían en su imaginación para visualizar la
también apunta a la idea de que las esencias no paradójica dinámica de la luz y la oscuridad,
son ilusorias, al igual que la oscuridad no es que a su vez hace posible pensar en la relación
Artículos
oscura del negro que incluye de la manera Sartre, quienes, a pesar de sus diferencias
más indivisible (wajhin absaṭ) todas las doctrinales, se apoyaron por igual en el
tonalidades más débiles que están por debajo pensamiento y la escritura poética, y es por
de esta negrura más intensa; y similar a una eso que el intento de encasillar sus obras
cantidad muy grande que incluye todas las como filosofía o literatura resulta fútil.
cantidades más pequeñas en términos de la Dentro de los límites del presente artículo,
realidad de sus cantidades en lugar de sus solo diré unas pocas palabras sobre Martin
determinaciones por límites y lados, que están Heidegger (m. 1976), ya que no sólo dedicó
asociados con la no-existencia (al-taʿayyunāt su filosofía a la cuestión de la existencia o
al-ʿadamiyya min al nihāyāt wa’l -aṭrāf). Así, el “ser”, sino que también tuvo un vívido
por una sola línea que sea, por ejemplo, de 10 énfasis metodológico en la poesía.
pies incluye 9 pies en ella sin estar limitada
En su obra Ser y Tiempo, Heidegger intenta
por los límites de los 9 pies.24
presentar un enfoque alternativo al de la
En este pasaje, Mullā Ṣadrā usa imágenes filosofía occidental hasta su época, en el cual
de colores y líneas como símiles para lo describe como el desarrollo del olvido
capturar en parte una visión de la existencia de la cuestión del ser.25 Con este olvido se
absoluta en su inclusión de todos los demás refiere al predominio de la categorización
existentes sin estar determinada por sus aristotélica de los seres en sustancias y
limitaciones. La existencia absoluta que se accidentes, que a su vez limita el objeto de la
describe como todo y nada al mismo tiempo investigación metafísica a las esencias como
es una paradoja metafísica en la filosofía de entidades fijas en un mundo completamente
Mullā Ṣadrā, que también está asociada con separado de nuestra mente. Para Heidegger,
este hecho “racionalmente” desagradable el intento de entender el ser como una cosa
de que la existencia siempre escapa a la con una definición lógica es inútil, y lo que
conceptualización. A diferencia de la esencia, dice al respecto tiene eco con lo que cité
la existencia es difusa porque comprende lo anteriormente de Mullā sobre el mismo
12
que hay en el mundo que no está tan ordenado tema: El “ser” no puede ser concebido como
como lo están las esencias/conceptos en la un ente; enti non additur aliqua natura: no
mente. Mientras el pensamiento conceptual se puede determinar el “ser” atribuyéndole
llega a sus límites ante la borrosidad de la una entidad. El ser no es derivable
existencia y el lenguaje aristotélico de las definitoriamente desde conceptos más altos,
esencias variadas no llega a comunicarlo, la ni puede ser explicado mediante conceptos
poesía puede mirar de frente a su presencia inferiores. Pero, ¿se sigue de ello que el
recalcitrante y cabalgar con ella. Esta es una “ser” ya no presente problemas? Ni mucho
tarea audaz que un filósofo de la existencia menos. Lo único que puede inferirse es que
como Mullā Ṣadrā tendría que asumir. el “ser” no es algo así como un ente. De ahí
que esa forma de determinación de los entes,
Pero Mullā Ṣadrā no está solo en este viaje
justificada dentro de ciertos límites, que es la
salvaje metodológico; a través de tiempos
“definición” de la lógica tradicional —lógica
y lugares, los filósofos occidentales de
que tiene, ella misma, sus fundamentos en
tendencias existencialistas también se han
embarcado en el pensamiento poético y han 25. Martin Heidegger (1988). Being and Time, trad. por John
Macquarrie y Edward Robinson. Oxford: Basil Blackwell,
(9na edición), 21. Heidegger (2009). Ser y Tiempo, trad. por
24. Šī rāzī , al-Asfār, VI: 116-117. Jorge Eduardo Rivera. Madrid: Trotta, (2da edición).
la ontología antigua— no sea aplicable al En cuanto a Heidegger, además de la
ser. La indefinibilidad del ser no dispensa asociación antes mencionada de la poesía con
de la pregunta por su sentido, sino que la iluminación de la verdad, la luz también
precisamente invita a ella.26 está implicada en su famosa metáfora de
“aclarar” o “iluminar” (lichtung) que utiliza
Ya en Ser y Tiempo, donde todavía se centra en
en su comprensión imaginativa y presentación
la existencia humana (Dasein), Heidegger adopta
del ser humano como una especie de apertura
un pensamiento poético y un género de escritura
a través de la cual posiblemente se revele el
que está imbuido de paradoja y ambigüedad. Sin
“auto-ocultamiento del Ser”.29
embargo, su método poético de investigación y
expresión se vuelve aún más vívido en aquellas Entonces, aunque Heidegger, a diferencia
de sus obras que investigan el ser como tal de Mullā Ṣadrā, es obviamente consciente
que trasciende la temporalidad/historicidad de su metodología y expresión poética de
del Dasein y puede describirse mejor como acuerdo con su filosofía del lenguaje como la
“presencia”. En este contexto, el pensamiento revelación del ser, Mullā Ṣadrā no es menos
genuino es poetizar porque “la poesía que piensa dependiente del pensamiento poético y la
es en verdad la topología del Ser/Esta topología retórica debido a su visión de la existencia
le dice al Ser el/dónde de su actual/presencia”.27 como la realidad del mundo que escapa a los
También elogia la poesía como revelación del límites del pensamiento conceptual.
ser y “un modo de iluminar la proyección de
la verdad”.28 Dado que la filosofía del lenguaje El pensamiento poético en la
y la poesía de Heidegger no es el tema de este teoría existencial del conocimiento
artículo, baste con decir que su conciencia de la de Mullā Ṣadrā
necesidad del pensamiento y el lenguaje poético
En la filosofía de Mullā Ṣadrā, junto con la
para abordar la existencia, ya sea histórica o
difuminación de los límites ontológicos,
trascendente, constituye un gran ejemplo para el
la línea epistémica entre sujeto y objeto
estudio de métodos alternativos de investigación
también se desvanece en la medida en que la
filosófica.
dicotomía peripatética de sujeto y objeto es
A pesar del abismo fundamental entre la reemplazada por su unificación. Asimismo,
orientación secular y humanizada de Heidegger, las formas de conocimiento se consideran
al menos en sus trabajos anteriores, y el enfoque existencialmente más fuertes y, por lo tanto,
teosófico de Mullā Ṣadrā, metodológicamente más reales que las formas o “realidades” de
ambos recurren al pensamiento poético cuando
abordan la existencia. Uno de los ejemplos de su
aproximación poética a la existencia es su uso de
los objetos extra-mentales correspondientes.
Este cambio es la base de la teoría del 13
conocimiento de Mullā Ṣadrā que emerge
INVESTIGACIÓN FILOSÓFICA Y LA ESCRITURA EN LA
LA POESÍA COMO HERRAMIENTA ESENCIAL DE LA
vera), p. 27.
27. Martin Heidegger, “The Origin of the Work of Art,” en Para empezar, la teoría del conocimiento de
EL CASO DE MULLĀ ṢADRĀ
30. Šī rāzī, al-Asfār, III: 332-333. 34. Suhravardī explica la creación como la emanación de
la Luz de las Luces (al-nūr al-anwār) y el orden de las co-
31. Avicena (1960). Al-išārāt wa’l-tanbīhāt, ed. Sulayman sas como el descenso de esa primera fuente con la clasifi-
Dunya, 3 vols. El Cairo: Dār al-Maʿārif, III: 267-269. cación de las luces en diferentes tipos. Véase Šihāb al-Dīn
32. Para la discusión de Mullā Ṣadrā sobre el movimiento Suhrawardī (1999), Ḥikmat al-ishrāq, trad. John Walbridge
en la sustancia, ver al-Asfār, III: 80-113. También mi texto y Hossein Ziai como The Philosophy of Illumination. Pro-
Mullā Ṣadrā, 61-65. vo: Brigham Young University Press, 90-92.
bien, la gradación de Suhravardī en esencia forma inteligible, que a su vez se unifica con
(taškīk fi’l-māhiyya), sobre todo los grados de el sujeto intelectivo, y la forma natural como
luminosidad en la esencia de la luz inspiraron dos niveles de una misma realidad. Para Mullā
a Mullā Ṣadrā con una visión de la realidad Ṣadrā, la forma inteligible que está unificada
diferente de las claras distinciones aristotélicas con el intelecto tiene una existencia más
entre las esencias, no obstante, se apartó de elevada que la forma natural.
Suhravardī al usar la luz solamente como una
Como podemos ver, la teoría del conocimiento
forma imaginativa de investigar la naturaleza
de Mullā Ṣadrā está fuertemente arraigada en
graduada de la existencia. La imaginería de
su teoría de la existencia. Esto implica una
luz también es útil en narrativas epistémicas
estrecha asociación entre las técnicas poéticas
debido a nuestra asociación imaginativa del
utilizadas en su ontología y epistemología. En
conocimiento con la visión que depende de la
este sentido, me gustaría comparar el lenguaje
luz y la luminosidad. Inspirado por Suhravardī,
de “manifestación (taǧallī)” de la ontología de
Mullā Ṣadrā extiende las imágenes de luz a su
Mullā Ṣadrā con el de “presencia (ḥuḍūr)” en su
teoría del conocimiento y la verdad, aunque se
epistemología. Los términos “manifestación”
aparta nuevamente del tratamiento literal de la
y “presencia” connotan de manera similar
luz del primero.
inmediatez, unidad existencial y realización.
En la cita anterior, la metáfora implícita de la Cuando pensamos en A, B, C como diferentes
luz en sus diferentes grados de luminosidad manifestaciones de la misma realidad, las
aproxima a la mente la intensidad existencial consideramos inmediatamente relacionadas
de las formas intelectivas, en contraste con con su fuente y entre sí sin lagunas ontológicas.
las formas menores de los objetos corporales. Para emplear de nuevo la imaginería de la luz,
Además, la metáfora implícita de la luz los siete colores “separados” por un prisma
visualiza la unidad de “la forma intelectiva” se relacionan inmediatamente tanto con la
con “la sustancia intelectiva” englobada en luz que brilla a través del prisma como entre
“una sola existencia”, semejante a diferentes sí. La inmediatez de su relación se debe a su
grados de luz que juntos forman una misma unidad existencial con la fuente y es en este
realidad. Esta unidad asegura certeza en sentido que lo manifiesto/oculto son siempre
la epistemología de Mullā Ṣadrā debido al “dos” caras de una misma realidad. En cuanto
cambio de paradigma de la teoría peripatética a “manifestación” que connota “realización”
de la verdad como correspondencia entre la es que Mullā Ṣadrā usa en contraste con
15
forma esencial que es inherente al objeto y “abstracción”, nuevamente una manifestación
su quiddidad abstracta en la mente.35 Para el de algo es un existente positivo en el mundo,
filósofo peripatético, a pesar de la semejanza aunque depende existencialmente de la
INVESTIGACIÓN FILOSÓFICA Y LA ESCRITURA EN LA
esencial de la esencia en la mente y la esencia realidad oculta con la que está unificado.
LA POESÍA COMO HERRAMIENTA ESENCIAL DE LA
35. Para Avicena, el conocimiento de un objeto coincide para el intelecto. Hablando filosóficamente,
con su realidad si y sólo si la existencia extra-mental del la presencia de A para B es lo mismo que
objeto y su existencia mental comparten la misma quid-
didad debido al poder de la mente para abstraer la forma
la existencia de A para B de tal manera
de un objeto de sus apegos materiales. Sobre las etapas de que están inmediatamente disponibles
la formación del conocimiento, véase Ibn Sīnā, al Išārāt el uno para el otro. Pero, poéticamente,
wa’l-tanbīhāt, II: 359-372.
el término “presencia” es más accesible presencia si ambos son inmateriales. Este
imaginativamente que “inmediatez” porque es un resultado satisfactorio. Del mismo
recuerda objetos y eventos particulares en modo, la causa está presente a su efecto que
Artículos
nuestras experiencias. En la filosofía poética es relativo a ella y se sostiene por él, pero
de Mullā Ṣadrā, la “presencia” tiene un alto también es independiente en virtud de su
valor porque sugiere inmediatez con respecto independencia [de la causa], y así la causa es
a realidades aparentemente diversas, es conocida a su efecto a través del conocimiento
decir, la mente y el mundo. El lenguaje de por presencia si ambos son inmateriales. Este
la presencia sigue prevaleciendo en casi es un resultado satisfactorio. Por lo tanto,
todas las obras filosóficas posteriores que como dijimos antes, todo conocimiento
están influenciadas por Mullā Ṣadrā. Por adquirido (al-ʿilm al ḥuṣūlī) se origina
ejemplo, el filósofo islámico contemporáneo, en el conocimiento por presencia.37 (Las
Muḥammad Ḥussein Ṭabāṭabāʾī (m.1360 cursivas son mías). En la epistemología de
SH/1981) explica el conocimiento por Mullā Ṣadrā, “presencia” también resuena
presencia en relación con la unicidad con “revelación” (inkišāf) que recuerda la
ontológica de la existencia de la siguiente aparición directa de una realidad a una mente
manera: determinada de manera que se conozca con
certeza debido a la unificación. La unificación
… Toda cosa inmaterial está en su totalidad
del objeto inmediato del conocimiento (al-
presente (ḥāḍir) para sí misma (li nafsih), por
maʿlūm bi’l-dhāt) con el sujeto es posible,
sí misma (bi nafsih) y por su realidad externa
porque para Mullā Ṣadrā “el conocimiento
(al-huwiyya al-khārijiyya), por lo que su
es el modo de existencia de una cosa
conocimiento de sí misma es conocimiento por
inmaterial”38, por lo que puede unificarse
presencia. Ahora bien, ¿el conocimiento por
con el intelecto como otro modo inmaterial
presencia es exclusivo del autoconocimiento
de existencia. Considero la “presencia” como
o incluye también el conocimiento que la
una metáfora eficaz que sugiere la unidad
causa (al-ʿilla) tiene de su efecto (al-maʿlūl)
existencial de un ser inmaterial, es decir, el
y el conocimiento que el efecto tiene de
objeto inmediato del conocimiento, con el
su causa? Los peripatéticos (al-mashāʾūn)
sujeto también inmaterial. El valor poético
tomaron el primer camino mientras que los
16
19
Philosophical?”, en Literature as Philosophy, Philosophy
as Literature, ed. Donald G. Marshall. Iowa: University of
Iowa Press, 4. INVESTIGACIÓN FILOSÓFICA Y LA ESCRITURA EN LA
LA POESÍA COMO HERRAMIENTA ESENCIAL DE LA
INTRODUCCIÓN
Dentro de los comentarios en lengua persa piadosas. Su eminencia (Muḥaqqiq Narāqī)
realizados en el siglo XVIII al texto Kitāb tuvo excelentes obras en diferentes ciencias.”
taḥrīr ’Uṣūl li-’Uqlī dus [Recensión de los
Cabe destacar los trabajos en filosofía y
Elementos de Euclides], escrita por Nasīr al-
matemáticas de Mullā Mahdī Naraqī, entre
Dīn al-Ṭūsī (1201–1274), se encuentra el libro
los cuales se encuentran en filosofía: ’Anīs
Tawḍīḥ al-’Iškāl: šarḥ bartaḥrīr ’Uṣūl ’Uqlīdus
al-Muwaḥḥidīn, ’Anīs al-ḥukamā’, Ǧāmi’ al-
del polímata persa Muḥammad Mahdī ibn
’afkār wa nāqid al-’anẓār fī ’ithbāt al-Wājib
Abī Dhar Fāḍil Naraqī (n. 11286-1715/ - m.
Ta’āla, Al-Šihāb al-thāqib fī radd mu’āṣirat al-
12091795/).
nāṣib, Šarḥ al-Šifā’ (Šarḥ ’Ilāhīyyat min kitāb
Mullā Mahdī Naraqī, mejor conocido en el al- Šifā’), Al-’Aršiyya fī l-ḥikmat al-’ilahiyya,
20
contexto islámico como Muḥaqqiq Narāqī Qurrat al-’uyūn fī ma’nī al-wuǧūd wa al-
(persa: )محقق نراقی, fue un gran erudito chiíta de māhīya, Al-Kalimāt al-waǧīza fī l-ḥikmat al-
su tiempo. Estudió en las ciudades religiosas ’ilahiyya, Al-Lum’at al-ilāhiyya y Luma’at al-
de Iraq donde asistió a las clases de Wahid ’aršiyya. En matemática se encuentran Risālat
Bihbahanī, Yusuf al-Bahranī. Mullā Mahdī fī l-’akr, Kitāb al-ḥisāb y Tawḍīḥ al-’iškāl:
Naraqī se destacó en diferentes disciplinas Šarḥ bartaḥrīr ’Uṣūl ’Uqlīdus.
como fiqh, filosofía, ’uṣul, matemáticas y
Al apreciar que en Mullā Mahdī Naraqī se
ética, siendo en esta última muy célebre su
da un dominio de la filosofía en la línea de
libro Ǧāmi’ al-Sa’ādāt.
Mullā Ṣadrā y de la geometría y aritmética
En la introducción de la edición contemporánea clásica, no causa extrañeza alguna el encontrar
del texto filosófico de Naraqī ’Anīs al- en su Tawḍīḥ al-’iškāl (Explicación de las
Muwaḥḥidīn, el también filósofo y matemático formas [geométricas]) aspectos filosóficos
iraní Ḥasan Zādeh ’Amulī (19292021-) escribió: correspondientes a la epistemología sadriana.
“Sin duda, era competente en todas las ciencias Esto es constatable en el empleo de dos
racionales y tradicionales e incluso en literatura términos fundamentales, los de taṣawwur y
y matemáticas. Estaba entre los principales taṣdīq. El siguiente trabajo es un análisis del
eruditos islámicos y entre los practicantes uso de estos dos términos en el comentario
rigurosos en virtudes morales y disposiciones geométrico de Mullā Mahdī Naraqī.
NOCIONES DE TAṢAWWUR Y TAṢDĪQ
El modo clásico en lógica de explicar estos dos términos es que poseer un pensamiento sobre algo en
la mente se denomina conocimiento, ‘ilm ()علم. Este conocimiento puede ser de un concepto aislado
o de un asentimiento. Un concepto aislado es simplemente una idea en la que no se pretende nada,
mientras que el asentimiento o creencia es una idea en la que hay una cópula y se pretende algo.
El primero de estos se llama concepto o taṣawwur ( )تصوّرy el último se denomina afirmación,
asentimiento o taṣdīq ()تصديق. Téngase en cuenta que esto refleja claramente los conceptos de
expresión, palabras, frases y oraciones que se aprenden en la ciencia de la gramática. Sin embargo,
hay una diferencia fundamental; los términos de ‘ilm, taṣawwur y taṣdīq están a nivel mental. Estas
son cosas que se conciben en la mente antes de que se realicen tangiblemente. Una vez que el ‘ilm
sobreviene en la mente de una persona, este puede continuar y convertirse en una expresión oral,
momento en el cual la gramática lo discutiría. Una vez que el taṣawwur acaece en la mente, puede
pasar a ser ejecutado como palabras, frases y oraciones no informativas, momento en el cual la
gramática lo discutiría. Y una vez que el taṣdīq acontece en la mente, puede pasar a ser realizado
como oraciones informativas, momento en el cual, nuevamente, la gramática lo discutiría. Además,
no es el caso que ‘ilm, taṣawwur y taṣdīq siempre se realizarán como locución. Es muy posible que
se realicen a través de otros medios, como el lenguaje de señas, gestos o que nunca se realicen en
absoluto.
‘ علمilm
(conocimiento)
تصورtaṣawwur تصديقtaṣdīq
(concepto: una idea que no contiene una cópula (asentimiento o creencia: una idea que contiene una
y, por lo tanto, no se reclama nada, o sea, es el cópula que significa que se reclama algo, o sea, es
conocimiento condicional de la ausencia de juicio ) un conocimiento que está condicionado al juicio )
()ھو ﻋﻠم ﻣﺷروط ﺑﻌدم وﺟود اﻟﺣﻛم ()ھو ﻋﻠم ﻣﺷروط ﺑﺎﻟﺣﻛم
El investigador Joep Lammer en su estudio introductorio a su traducción del texto de Mullā Ṣadrā
Al- Risāla fī l- taṣawwur wa-l taṣdīq, realiza un análisis profundo de las diacronías de estos dos
términos lógico-filosóficos en el contexto islámico (2006).
Según Joep Lammer al significado de taṣawwur, encontramos las siguientes transcripciones:
noción, concepto, concepción, comprensión, definición, intuición, percepción, presentación,
representación, formación, impresión y aprehensión simple. Taṣdīq también se ha traducido de 21
varias maneras: frase, grupo de frases, silogismo, prueba, verificación, afirmación o asentimiento
ŠARḤ BARTAḤRĪR ’UṢŪL ’UQLĪDUS DE MUḤAQQIQ
(sea o no sobre la base de una prueba racional), juicio, razonamiento, adhesión, proposición, juzgar
como verdadero, afirmación y creencia. Describe Joep Lammer que el origen de este par de términos
filosóficos ha sido identificado como: la distinción en Aristóteles entre esencia y existencia; los que
fueron introducidos por los “orientales” (estos son Ibn Sīnā y Suhrawardī), o por Fārābī; ellos se
corresponden a noêma, noêsis, noein, logos & pistis en Aristóteles; los que tienen su origen en el texto
de Aristóteles De Anima III. 6, o más precisamente De Anima III.6 429b 2628-, o alternativamente
III.8 432a 1014-; reflejan la distinción estoica entre phantasia y sunkatathesis o de modo alternativo,
NARĀQĪ (1715-1795)
pueden ser comparados con los estoicos phantasia logikê y axiôma, tienen un origen combinado en
la lógica neoplatónica y los comentarios de Alejandro de Afrodisias y Simplicio sobre la obra De
Anima de Aristóteles; tienen su origen en el texto Analíticos Posteriores de Aristóteles I.1 71a 56-,
o también 71a 1113- y, finalmente se entienden mejor consultando el texto de Aristóteles Analíticos
Monografías y Traducciones
Posteriores I.1 71a 12- y 1113-, junto con el presentación también puede ser objeto de
resto de ese trabajo (Lammer, 2006).1 aprehensión (katalêpsis), que es asentir a
una presentación evidentemente verdadera.
En la filosofía islámica desde Fārābī en
La aprehensión se interpone entre doxa
adelante, taṣawwur y taṣdīq dividen la esfera
y epistêmê (conocimiento), el último de
del conocimiento. A decir de Lammer, si
los cuales solo puede ser alcanzado por el
estos términos reflejarían la phantasia y la
sabio. La diferencia entre aprehensión y
sunkatathesis estoica, desde el punto de vista
conocimiento es que la aprehensión, si bien
de los estoicos, no hay ninguna razón para
representa una comprensión de la verdad, aún
suponer que el conocimiento está implícito o
puede ser sacudida a la luz de nuevas pruebas,
incluso tal vez tenga razón para suponer que la
mientras que el conocimiento es inalterable y
ausencia de conocimiento está implícita. Esto
permanente.2
es, porque donde la filosofía islámica taṣawwur
representa una forma de conocimiento, Según Fārābī, la concepción (taṣawwur) y
phantasia estoica en aislamiento no representa la creencia (taṣdīq) son los dos elementos
conocimiento en lo absoluto. Phantasia es una básicos de todo conocimiento (‘ilm),
“presentación” o “impresión” por la cual el enseñanza (ta‘līm) y aprendizaje (ta‘allum).
alma se ve afectada. Una presentación puede La concepción en lo que debe ser su sentido
ser objeto de asentimiento (sunkatathesis), más verdadero y original – ya que se conoce
pero esto en sí mismo tampoco representa como concepción “perfecta” (taṣawwur tāmm)
conocimiento. Porque la presentación puede – es igual al acto de comprender (fahima)
ser objeto de un mero o débil asentimiento, una frase (qawl) que expresa la esencia de
en cuyo caso sólo hay doxa u opinión, que una cosa (dhāt). Es el acto de comprender la
desde la perspectiva estoica se asocia con definición (ḥadd) o la descripción (rasm) que
lo que es poco convincente y falso. La va con un concepto mental (ma‘nâ) o con el
nombre (ism) que designa dicho concepto.
1. Joep Lammer dirá: Tal riqueza de traducciones y ex- La creencia (taṣdīq) por otro lado, y más
plicaciones seguramente debe desconcertar al estudiante de
filosofía islámica. Permítanme por lo tanto revisar crítica-
particularmente la creencia “perfecta” (taṣdīq
mente las diversas teorías avanzadas. Como creo que las tāmm), se relaciona con nuestra creencia de
interpretaciones que relacionan taṣawwur y taṣdîq con la
22
obra De Anima de Aristóteles, las interpretaciones estoicas 2. Por lo tanto, en la epistemología estoica, ni la phantasia
son las que han tenido mayor resonancia, por lo que prime- ni la sunkatathesis representan el conocimiento por sí
ro trataré con estas. En cuanto a la interpretación “estoica” mismas. Es solo un tipo muy especial de sunkatathesis que
de taṣawwur y taṣdîq, todo comenzó con un comentario representa el conocimiento, y este tipo de comprensión sólo
bastante sucinto de Kraus (1935) en su reseña de “L’Or- la poseen los sabios. Además, phantasia y sunkatathesis no
ganon d’Aristote dans le monde arabe (1934) de Madkour. forman un par en la filosofía estoica de una manera como
Comentando la tesis de Madkour de que taṣawwur y taṣdîq sería comparable a la distinción entre taṣawwur y taṣdīq en
tienen su origen en la obra “Analíticos Posteriores” I.1 71a la filosofía islámica. Después de todo, son solo dos elemen-
5-6 de Aristóteles, donde Madkour detectó una distinción tos en un discurso mucho más amplio sobre epistemología,
entre conocimiento intuitivo y racional, Kraus señala que donde ninguno de los cuales como acabo de decir, es una
Ibn Sînâ y sus sucesores deben haber tomado prestado instancia de conocimiento en sí misma. El par taṣawwur y
este par de la tradición lógica neoplatónica. De hecho, taṣdîq, por otro lado, no está de ninguna manera conectado
para Kraus, taṣawwur y taṣdîq son los equivalentes exac- con una o más de las otras nociones que ocurren en la episte-
tos de los estoicos phantasia (“presentación”, “impresión”) mología estoica, como la importancia del hêgemonikon o la
y sunkatathesis (“asentir”) que habían entrado en la lógi- parte dominante del alma, la distinción entre presentaciones
ca neoplatónica junto con muchas otras nociones. Esta es que son aisthêtikê (basado en la percepción sensorial),
toda la información que proporciona Kraus. Sin embargo, logikê (basado en el pensamiento y la razón), katalêptikê
a partir de entonces, encontramos su tesis, de una forma u (aprehensión) y hormêtikê (movimiento), katalêpsis y, es-
otra, repetida en Chenu (1938), Madkour (1952) y Jadaane pecialmente, la distinción entre doxa, katalêpsis y epistêmê.
(1968). Por lo que permítanme decir brevemente por qué Por el contrario, taṣawwur y taṣdîq están prominentemente
esta tesis debe ser rechazada, primero para taṣawwur y conectados con los primeros principios, definiciones y dem-
taṣdîq como conceptos filosóficos, luego como términos ostraciones, donde este no es el caso de la phantasia y la
filosóficos (2006, 45). sunkatathesis en la epistemología estoica.
que algo es, o es el caso. Se trata de una verdad Según esta interpretación, la definición de
necesaria y se dice que se relaciona con juicios creencia como “una concepción acompañada
primarios o proposiciones (aḥkām awwaliyya/ por un juicio” es aceptable. (Lammer, 2006).
muqaddamāt uwal) y conclusiones derivadas
de estos. TAṢAWWUR Y TAṢDĪQ EN
Para Mullā Ṣadrā, por otro lado, la concepción TAWḌĪḤ AL-’IŠKĀL
y la creencia sólo implican formas universales. Muḥaqqiq Narāqī comienza su Tawḍīḥ al-
Esto presupone que no podemos tener ’iškāl con una explicación filosófica que sigue
conocimiento alguno de los particulares en el la noción de Ṣadrā. Muḥaqqiq Narāqī define
mundo exterior, qua particulares. La visión de dos principios previos para el análisis de la
Ṣadrā sobre el carácter universal de las formas geometría: el principio de conceptualización y
involucradas en las concepciones refiere a el principio de asentimiento.
cómo las impresiones de los particulares en el
mundo exterior producen universales. El principio de conceptualización (mabādī
taṣawwurīh), consiste en el término que define
Lammer en su análisis sobre la función del
el conceptualizar varias cosas que no necesitan
juicio en Ṣadrā en la definición de creencia
ser confirmadas o de tener una creencia, y a
como “una concepción acompañada por un
este tipo de principios se les llama límites, que
juicio” destaca los siguientes puntos:
refieren a las definiciones de varios objetos que
Definición en general: género + diferencia deben ser determinados antes de adentrarse en
específica. el conocimiento (p. 102).3
La diferencia específica debe pertenecer a la
El principio de asentimiento o afirmación
misma categoría que el género porque está
(mabādī taṣdīqīh), consiste en reconocer cosas
potencialmente contenida en él.
múltiples e inmateriales, su conceptualización
Definición de creencia con la ayuda del juicio: no es suficiente, porque no es posible que
“La creencia es una concepción acompañada los principios de confirmación o creencia de
por un juicio.” cualquier conocimiento se prueben en ese
La concepción pertenece a la categoría de ser conocimiento, más bien deben darse varios
sobre el que se actúa, el juicio es una acción casos en que el conocimiento los acepte
del alma. independientemente del argumento (p. 102) 4.
23
El juicio no puede ser la diferencia específica
real.
Según Quṭb al-Dīn Šîrāzī, la creencia implica
el juicio, pero sin explicar cómo.
ŠARḤ BARTAḤRĪR ’UṢŪL ’UQLĪDUS DE MUḤAQQIQ
entender la ocurrencia del juicio en la definición تعریفات آنها شود،که باید پیش از شروع در علم
که عبارت از تصدیق کردن به اموری چند و مجرّد تصور آنها کافی.4
de creencia, en tanto que es el sustituto de la
نیست وچون نمی تواند شد که مبادی تصدییقیه ی هر علمی در آن علم به
diferencia específica real e implicada por ella. بلکه باید قضایایی چند باشند که در آن علم با قطع نظر از،دلیل ثابت شود
دلیل قبول نمود
Monografías y Traducciones
Muḥaqqiq Narāqī divide en tres tipos el Fārābī, lo cual permite hallar un nexo con la
principio de afirmación o creencia: obra de Narāqī:
a) En Aristóteles, el contexto es uno de
Axiomas, ‘ulūm mutaʿārafuh ()علوم متعارفه,
conocimiento, enseñanza y aprendizaje; así
que son las proposiciones evidentes que no
como en Fārābī.
precisan de la razón. 5
b) En Aristóteles, hay dos tipos de
Principio postulado o hipótesis, ʾaṣl mawḍūʿ conocimiento preexistente; como en Fārābī.
()اصول موضوعه, que son las proposiciones no c) En Aristóteles, uno de los dos tipos de
evidentes que deben ser comprobadas con la conocimiento preexistente es la esencia de
razón. Suposiciones, pre-postulaciones (su una cosa o concepto referido por un nombre
conclusión), muṣādarāt ()مصادرات, que son y que, como se indica más adelante en los
varias proposiciones que han sido probados en Analíticos Posteriores, se expresa mediante una
otros conocimientos. definición;7 como en Fārābī.
d) En Aristóteles, los otros tipos de
Tanto el principio de conceptualización (mabādī
conocimiento preexistente se refieren a
taṣawwurīh) como el principio de asentimiento
nuestra creencia de que algo es, o es el caso;
o afirmación (mabādī taṣdīqīh), serían las
como en Fārābī.
condiciones previas para poder entender las
e) En Aristóteles, nuestra creencia preexistente
definiciones figuras geométricas como el punto,
de que algo es, o es el caso, se relaciona con
la recta, la curva, la superficie, los ángulos y
las proposicionales entre los principios de
todas las restantes formas geométricas.
demostración (hipótesis y axioma); como en
Al ser Tawḍīḥ al-’iškāl un comentario con
Fārābī.
fines didácticos deja claro esta distinción
f) En Aristóteles, finalmente, la discusión gira
entre concepción y creencia, que ya había sido
en torno a la demostración y la comprensión
dada por Aristóteles en Analíticos Posteriores
demostrativa; también en Fārābī, la
I.1 71a 113-11 ,2-, donde se da origen de la
concepción y la creencia “perfectas” tienen su
distinción entre concepción y creencia como
aplicación dentro de un contexto demostrativo
conceptos filosóficos. Aristóteles afirma:
(Lammer, 2006).
Toda la enseñanza (didaskalia) y el
En el texto Tawḍīḥ al-’iškāl al abordarse el
aprendizaje (mathêsis) intelectual provienen
24
BIBLIOGRAFÍA
Aristóteles (1995). Tratados de lógica I-II.
Madrid: Gredos.
Faḍlī, ‘Abdul Hādī (2000). Khulāṣat ul-
Manṭiq. Qom: Mu’asaseh maṭbū‘āt dīnī.
Fārābī (2014). Al-t ‘alīqah. Teherán: Iranian
Institute of Philosophy.
Lammer, Joep (2006). Estudio previo y notas
a la traducción de Al- Risāla fī l- taṣawwur
wa-l taṣdīq. En Conception and Belief in Ṣadr
al-Dīn Shīrāzī. Teherán: Iranian Institute of
Philosophy.
Naraqī, Abi Zarr (2021). Tawḍīḥ al-’Iškāl: šarḥ
bartaḥrīr ’Uṣūl ’Uqlīdus. Vol. I-II. Teherán:
Iranian Institute of Philosophy.
25
Ṣadrā, Mullā (2004). Al- Risāla fī l- taṣawwur
wa-l taṣdīq. Teherán: Iranian Institute of
Philosophy.
ŠARḤ BARTAḤRĪR ’UṢŪL ’UQLĪDUS DE MUḤAQQIQ
NARĀQĪ (1715-1795)
Monografías y Traducciones
Resumen
En el presente trabajo abordaremos la conjugación
de la filosofía con las matemáticas en las obras de
los filósofos del islam. Si bien las matemáticas ya
26
27
la metafísica o a la naturaleza. Pero, con
versan sobre las matemáticas, la física y la todo, el filósofo acepta que las matemáticas
astronomía. formen parte del grupo de ciencias teóricas
Sin embargo, los filósofos se dedicaron a filosóficas que son, cabe recordar: metafísica,
estudiar las matemáticas desde un punto vista
EL LUGAR DE LA FILOSOFÍA Y LAS MATEMÁTICAS
Encyclopædia Britannica, Inc. Reino Unido y Estados Unidos losophy. Suhail Academy Lahore: Pakistán
2. Online etymology dictionary (2023) Mathematics. Recu- 4. Ivry, A. (1974) Al-Kindi’s Metaphysics. State University
perado en https://www.etymonline.com/word/mathematic of New York Press: Albany
Monografías y Traducciones
del alma’’ y no de la mente) que está situada diferenciación en cuanto a que los primeros
entre la metafísica y las ciencias naturales, están completamente separados de la materia
en consecuencia, como el alma tiene relación y los últimos no8; en realidad, la misma visión
con lo material y lo inmaterial, al igual que de al-Kindi. Ahora bien, al-Farabi reconoce la
las figuras geométricas, entonces tenemos superioridad de las matemáticas con respecto
que tanto las matemáticas como la psicología a otras ciencias como la astronomía, ya que
tienen una posición intermedia entre la esta estudia los elementos más perfectos que
metafísica y las ciencias naturales5. A pesar de serían los cuerpos celestes. Por otro lado, la
todo el esfuerzo de al-Kindi, la figura de las geometría también demostraría la superioridad
matemáticas se distingue por muy poco de la de los objetos matemáticos por su abstracción;
metafísica6. en efecto, si las ciencias naturales investigan
la madera, el metal, entre otras materias, la
Al-Farabi y la nobleza de las geometría estudiará la cuadratura de estas.
matemáticas Al-Farabi define las matemáticas del siguiente
Abū Naṣr Muḥammad ibn al-Faraj al-Fārābī modo:
heredaría el mismo asunto con respecto a las ‘‘La ciencia cuyo objeto de estudio es el
matemáticas y su posición intermedia entre género de los números y las magnitudes’’
la metafísica y las ciencias naturales. Hasta Otra de las cosas que al-Farabi estudia con
ahora, al-Kindi y al-Farabi coinciden en que detenimiento son las divisiones de las ramas
la metafísica está en un lugar superior con de las matemáticas en su ‘‘Catálogo de las
respecto a las matemáticas. Para clasificar Ciencias’’ (o ‘‘Enumeración de las Ciencias’’).
las ciencias entre superiores e inferiores, al- Dicha división procede del siguiente modo:
Farabi nos da tres criterios:
1. La nobleza del objeto de la materia Aritmética
2. La profundidad de las pruebas Existen dos clases de aritmética:
3. La inmensidad de los beneficios Aritmética práctica: esta se ocupa
para los números en tanto son cuerpos
De acuerdo con la interpretación de Seyyed
cuya medida necesita precisarse. Por
28
5 Seyyed Hossein, op, cit: 53 8.Zarepour Mohammad S. (2022) Arabic and Islamic
Philosophy of Mathematics, The Stanford Encyclopedia of
6.Fakhry, M. (1983) A History of Islamic Philosophy. Philosophy (Summer 2022 Edition), Edward N. Zalta (ed.),
Columbia University Press: New York Recuperado en: <https://plato.stanford.edu/archives/sum2022/
7.Seyyed Hossein, op, cit: 53 entries/arabic-islamic-phil-math/>.
las operaciones como la suma, la resta, la encontrándose en su camino un espejo que a
multiplicación y la división de los números. su vez desvía la línea recta.
Conversos: son aquellos que vuelve del
Geometría
espejo por el mismo camino que había
Al igual que la aritmética, la geometría tiene
marchado hasta que caen sobre el cuerpo que
sus planos teóricos y prácticos:
se les mira.
Geometría práctica: es la que estudia las
Fractos: sin aquellos rayos que vuelven del
líneas y las superficies. Los que se dedican a
espejo a la parte del que mira, es decir, de cuya
la geometría práctica serían los albañiles, los
vista salieron. De esta manera el hombre puede
agrimensores, los herreros, los carpinteros,
ver lo que está detrás de él, a la izquierda o a
etc. En otras palabras, es la geometría aplicada
la derecha de él.
a los cuerpos.
El medio entre la vista y el objeto visto puede
Geometría teórica: es la que estudia las líneas
ser el aire, el agua, un cuerpo transparente o
y las superficies en abstracto y en general. Es
de cualquier propiedad que se le parezca (un
la geometría que se dedica a las múltiples
cristal, por ejemplo).
formas geométricas sin utilizar cuerpos, es
decir, la geometría teórica no necesita de Peso
cuerpos para aplicarse. La geometría teórica
Al-Farabi dice escuetamente, que el estudio de
se ocupa de demostraciones apodícticas, es
los pesos tiene que ver con los tratados de las
decir, demostraciones que no aceptan nada
balanzas y de los pesos que se mueven, o con
más que la verdad.
los que se mueven cosas.
A su vez, la geometría teórica tiene dos clases
de estudio: la de las líneas y superficies, y la Ingeniería
de los cuerpos. La de los cuerpos trata de las
La ingeniería es una ciencia que se trata sobre
figuras geométricas como el cubo, la esfera, el
todo de la adaptación de todo aquello que se
cilindro, los prismas, etc.
ha demostrado en las ciencias (matemáticas,
Al-Farabi recomienda leer a Euclides para
geometría, óptica, etc.) en los cuerpos
saber más sobre todos los puntos de la
existentes en la realidad. Cuando alguien se
geometría, aunque las teorías de Euclides son
refiere a esta aplicación se utiliza la palabra
sólo geometría teórica (que eventualmente se
‘’in actu’’.
pueden aplicar a cuerpos).
En otras palabras, la ingeniería estudia la
29
Óptica aplicación de la teoría matemática en los
La óptica es un estudio específico que en cuerpos existentes. Por una parte, tenemos la
cierto modo es similar a la geometría, siendo ingeniería que proviene del álgebra donde se
la geometría mucho más general. estudian los números en sí, mientras que por
EL LUGAR DE LA FILOSOFÍA Y LAS MATEMÁTICAS
Por lo demás, la óptica se dedica al estudio otro lado tenemos la ingeniería que estudia
de las cosas que pueden parecer engañosas la geometría y su relación con los cuerpos
a la vista. Por ejemplo, cuando un lápiz (geometría práctica), donde se construyen las
se introduce en el agua y su forma cambia armas, casas y otros objetos9.
visualmente, aunque sabemos que en realidad Los objetos matemáticos, para al-Farabi, están
su forma no cambia. de manera inherente y esencial en las cosas.
Para esto, el estudio de la óptica abarca los Esta idea es muy parecida al permeo de los
distintos tipos de rayos que pueden afectar la objetos matemáticos en Pitágoras y de ahí que
visión de un objeto: se reafirme aún más la nobleza que al-Farabi
EN EL ISLAM
Rectos: son los rayos que salen de la vista pone a las matemáticas, ya que sus elementos
de manera recta hasta que se pasan y se cortan. 9. González Palencia, A. (1953) Catálogo de las Ciencias.
Reflejos: son los rayos que salen de la vista Editorial Maxtor: Madrid. Póstuma
Monografías y Traducciones
vendrían desde arriba (mundo superior) y no Avicena define la aritmética de la siguiente
desde abajo (mundo de la física). forma:
‘‘El estado de un número considerado como
Avicena y la ontología de las una cosa accidental que no tiene existencia,
matemáticas excepto cuando se dan en la materia’’
Abū ‘Alī al-Husayn ibn ‘Abd Allāh ibn Sĩnã Por lo tanto, las matemáticas siempre tendrán
realiza un estudio mucho más esencial con una doble característica correspondiendo
respecto a las matemáticas como ciencias, tanto a la metafísica como a la física. Así, la
pues las analiza desde el punto de vista naturaleza depende del objeto de la metafísica
ontológico en su Metafísica de la Curación. por los conceptos de generación y corrupción;
En primer lugar, debemos entender el esquema mientras que la matemática es igualmente
ontológico de los existentes de Avicena que se dependiente para conocer las cosas celestes
divide en tres categorías: (astronomía); y lo mismo para las otras
Necesarios sin la mezcla de movimiento y ciencias12.
materia Ahora bien, se puede objetar que los números
Necesarios con la mezcla de movimiento y son seres anteriores a las cosas corpóreas, y
materia que, de hecho, no existen en la naturaleza y, en
Necesarios con la mezcla de movimiento y consecuencia, la naturaleza depende de ellas.
materia, pero separada de las cosas Sin embargo, Avicena nos dice que, en verdad,
Para entender cada una de estas categorías, las cosas como los cuerpos geométricos sí
Avicena nos dice que la primera están en la naturaleza: la superficie, el punto,
correspondería a Dios y al alma. En la segunda la línea, pues sin estas cosas, los cuerpos de la
categoría estaría la humanidad, la cuadratura naturaleza no pueden existir13.
o la caballidad (referida a la naturaleza del Por otro lado, las ciencias como la geometría,
caballo). En el tercer grupo se encuentran el álgebra y las matemáticas en general, son
la identidad, la unidad, la pluralidad y la materias estudiadas por la Medida que estudia
causalidad. Las matemáticas se encontrarían la existencia de estos cuerpos matemáticos, y
en el segundo grupo nombrado por el filósofo10 solo estos. En cuanto a la aritmética, cuando
30
así como también se encontrarán las ciencias esta estudia los números no puede hacerlo de
naturales. manera separada de los cuerpos. En efecto,
Ahora bien, una cosa es determinar dentro en los números separados de la materia no
qué existentes se encuentran las matemáticas están sujetos a crecimiento o disminución,
y otra distinta es el tratamiento de los objetos y de esta forma es imposible estudiarlos por
que se dan en las matemáticas. Los objetos ma- ciencias como las matemáticas o las ciencias
temáticos serán objetos de la metafísica si son naturales. Por lo tanto, la aritmética no estudia
aprehendidos con la mente, de lo contrario, si la existencia de los números en sí, sino que
son aprehendidos de cualquier otro método, en- siempre como accidentes.
tonces estarán considerados dentro del estudio Sin embrago, Avicena no nos comunica cuál
de las ciencias naturales11. En todo caso, con es este aspecto ‘‘meta-matemático’’ donde
respecto a la tercera categoría, las matemáticas se estudia el número propiamente tal, así que
también tendrían una injerencia; por ejemplo, cabe suponer que se trata de conocimiento
en el concepto de unidad y pluralidad cuando metafísico y que es, evidentemente, la
se tratan numéricamente; de ahí que posterior- 12. Marmura, M. (2005) The Metaphysics of the Healing. A
mente existan las operaciones aritméticas. parallel English-Arabic text translated, introduces and annotated
by Michael E. Marmura. Brigham Yoing University Press.
10. Seyyed Hossein, op, cit: 53 Provo; Utah.
filósofos concuerdan que existe una nobleza, Seyyed Hossein, N. (2002) Encyclopedia of
una importancia y una quididad dentro de las Islamic Philosophy. Suhail Academy Lahore:
matemáticas, que provienen de algo superior, Pakistán
pero siempre teniendo como límite superior la Zarepour Mohammad S. (2022) Arabic
metafísica y como límite inferior las ciencias and Islamic Philosophy of Mathematics,
naturales. The Stanford Encyclopedia of Philosophy
14. Seyyed Hossein, op, cit: 53
(Summer 2022 Edition), Edward N. Zalta
15. Zarepour Mohammad S. (2022) Arabic and Islamic
(ed.), Recuperado en: <https://plato.stanford.
edu/archives/sum2022/entries/arabic-islamic-
EN EL ISLAM
Introducción
La filosofía de las matemáticas puras se ocupa de dos grandes grupos de cuestiones. Uno pertenece
a la ontología de las entidades matemáticas y el otro a la epistemología de los conceptos y juicios
matemáticos (Avigad 2007). La naturaleza y existencia de objetos matemáticos (por ejemplo,
números y formas geométricas), la existencia y calificaciones de infinitos (por ejemplo, magnitudes
infinitas y colecciones infinitas de números o cosas numeradas), y la existencia y calificaciones
de continuos son algunos de los más significativos. Cuestiones ontológicas que preocupan a los
filósofos de las matemáticas. Por otro lado, algunos de los temas epistemológicos más importantes y
32
desafiantes sobre las matemáticas son los siguientes: los mecanismos a través de los cuales captamos
el conocimiento matemático, el estado epistémico de los axiomas y principios matemáticos, la
naturaleza de las pruebas matemáticas (que se pueden escribir en papel) y su conexión con lo que
sucede en la mente de los matemáticos, y el papel del conocimiento matemático para lograr una
mejor comprensión del mundo físico.
Es bien sabido que la civilización islámica medieval desempeñó un papel fundamental en el
desarrollo histórico de los aspectos técnicos de las matemáticas. Sobre los hombros de sus
ancestros preislámicos griegos, indios y persas, los matemáticos musulmanes han hecho numerosas
innovaciones en varias ramas de las matemáticas y han escrito una gran cantidad de libros y ensayos
que presentan nociones matemáticas y prueban teoremas matemáticos (Al-Daffaʾ 1977 , R. Rashed
1984b [1994], 1996 [2012], 2015, Berggren 2016). Sin embargo, es muy difícil (si no imposible)
encontrar un libro de la época islámica medieval que se dedique exclusivamente a un estudio
exhaustivo y sistemático de la filosofía de las matemáticas. No obstante, muchas de las cuestiones
filosóficas sobre las matemáticas antes mencionadas han sido abordadas, por grandes pensadores
medievales musulmanes, en diversas obras cuyo tema central eran las matemáticas, la física, la
metafísica o incluso la teología (kalām). Al juntar estos compromisos dispersos, queda claro que,
aunque la filosofía de las matemáticas nunca ha sido tratada como una disciplina independiente en
el mundo islámico medieval, los pensadores pueden ser capturadas por las siguientes tesis
musulmanes propusieron ideas, ideas y (Zarepour 2019: 198):
argumentos muy interesantes y profundos Separación de objetos matemáticos (SM):
sobre al menos algunos temas filosóficos Los objetos matemáticos son sustancias
relacionados. a las matemáticas Esta entrada inmateriales independientes, completamente
revisa brevemente los ejemplos más notables separadas (mufāriq) de la materia y los objetos
de tales ideas y argumentos, algunos de materiales.
los cuales han sido objeto de debates y Principalidad de los Objetos Matemáticos
discusiones de larga data entre pensadores (PM): Los objetos matemáticos son los
musulmanes. En consecuencia, los trabajos principios (mabādiʾ) de las cosas naturales.
matemáticos técnicos de los eruditos árabes y Los objetos matemáticos tienen algún tipo de
musulmanes se discutirán solo en la medida en primacía sobre las formas naturales, lo que
que contengan materiales relacionados con la hace que estas últimas dependan (o se basen o
filosofía de las matemáticas. sean causadas por) las primeras.
Platón estaba comprometido con ambas tesis.
1. ONTOLOGÍA DE LAS
Por el contrario, los pitagóricos respaldaron
MATEMÁTICAS solo la última tesis. Esto es así al menos
1.1 Lo que no son objetos matemáticos si confiamos en el informe de Aristóteles
Las huellas de los puntos de vista filosóficos (Metafísica 987b23–987b25). Aunque el
de Pitágoras y Platón con respecto a la pitagorismo considera que los números son
naturaleza de los objetos matemáticos se las causas y los principios de todas las demás
pueden encontrar en las obras de los primeros cosas existentes, no trata a los números como
pensadores musulmanes. Esto podría deberse entidades necesariamente separadas de la
en parte a las primeras traducciones árabes materia (Zhmud 1989; De Smet 2022). Desde
de obras de matemáticos pitagóricos y nuestra perspectiva actual, esto es hasta cierto
platónicos. La mayoría de los matemáticos de punto sorprendente porque, en comparación
la tradición de Nicómaco, Proclo y Jámblico con (PM), (SM) parece gozar de una mayor
eran pitagóricos y platónicos (Endress 2003). plausibilidad prima facie. Pero precisamente
Algunas de sus obras más importantes han por la presencia de fuertes tendencias hacia
sido traducidas al árabe y han influido en el pitagorismo en el pensamiento islámico
matemáticos y filósofos musulmanes. Por primitivo (Brentjes 2022), (PM) fue defendido
33
ejemplo, la Introducción a la aritmética de más explícitamente que (SM). En cualquier
Nicómaco fue traducida al árabe por Ḥabīb caso, la crítica brutal de Avicena a estas dos
Ibn Bahrīz (m. a principios del siglo IX) del tesis (junto con su crítica más general a la
siríaco y por Thābit Ibn Qurra (m. 901) del teoría platónica de las formas universales
griego (Brentjes 2022: sec. 1). La inspiración separadas) hizo que el pitagorismo y
de los enfoques pitagóricos y platónicos de el platonismo fueran extremadamente
la filosofía de las matemáticas es fácilmente impopulares en la filosofía post-aviceniana.
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
detectable, por ejemplo, en las obras de los En la Metafísica de “La Curación”, Avicena
Hermanos de la Pureza (Ikhwān al-ṣafāʾ) (m. 937) argumenta contra (SM) y (PM) no
y los primeros mutazilitas (Los Hermanos solo rechazando los argumentos atribuidos
de la Pureza [Epístolas]; Endress 2003: 132 a los defensores de estas dos tesis (Avicena
LAS MATEMÁTICAS
–33; Marquet 2006; Fazlıoğlu 2014: 2; El- [Met.]: cap. VII.2) sino también desarrollando
Bizri 2018; Baffioni 2022). Las principales sus propios argumentos positivos contra ellos
características del pitagorismo y el platonismo (Avicena [Met.]: cap. VII.3).
con respecto a la ontología de las matemáticas Según un argumento que Avicena atribuye a
Monografías y Traducciones
los defensores de (SM), por un lado, los objetos la falsedad de (SM) sino que también es
matemáticos están separados en definición (o inválido. Incluso si aceptamos que los objetos
en mente). Pueden definirse (o concebirse) sin matemáticos están separados y que los
referencia a la materia oa los seres materiales. principios de las cosas naturales deben estar
Por otro lado, todo lo que está separado en separados, no podemos concluir válidamente
definición (o en mente) está separado en que los objetos matemáticos son los principios
existencia. Por lo tanto, concluye el argumento, de las cosas naturales. Podrían existir otras
los objetos matemáticos tienen una existencia cosas separadas no matemáticas que forman
separada. Existen como seres completamente los principios de los seres naturales. El
separados que no tienen asociación con argumento en cuestión es válido solo si
la materia o los seres materiales (Avicena presuponemos que los objetos matemáticos
[Met.]: cap. VII.2, sec. 5). Sin embargo, son los únicos existentes separados. Pero esto
Avicena encuentra deficiente este argumento. es algo de lo que no tenemos pruebas. Por
Argumenta que hay una diferencia entre (a) lo tanto, este argumento no establece (PM)
definir (o concebir) algo sin la condición de (Avicena [Met.]: cap. VII.2, sec. 21; Marmura
materialidad y (b) definir (o concebir) algo 2006: 365–66; Porro 2011: 294; Zarepour
con la condición de inmaterialidad. Dice 2019: sec. 4.2).
que los objetos matemáticos están separados El propio argumento de Avicena en contra de
en definición sólo en el sentido de (a). la separación o inmaterialidad de los objetos
Pero la segunda premisa del argumento en matemáticos se puede resumir de la siguiente
discusión es verdadera sólo si la separación manera: Hay algunos objetos matemáticos en el
en definición se considera en el sentido de (b). mundo sensible. De lo contrario, no podríamos
El mero hecho de que algo pueda definirse sin captar sus conceptos (p. ej., los conceptos
la condición de materialidad no implica que triángulo, círculo, dos, etc.) (Avicena [Met.]:
esa cosa pueda existir en el reino extramental sec. VII.3, sec. 1). Ahora bien, si también hay
completamente separada de la materia. Pero algunos objetos matemáticos completamente
los objetos matemáticos no pueden definirse separados (totalmente separados del mundo
con la condición de inmaterialidad. No es sensible), entonces estos dos grupos de objetos
plausible suponer la inmaterialidad como un matemáticos (sensibles/no separados y no
34
35
de) los accidentes del triángulo sensible lo matemáticos fue tan convincente e influyente
que lo hace dependiente de su contraparte que estos enfoques desaparecieron casi por
separada. Sin embargo, si se debe a la esencia completo en la filosofía postavicena. Esto fue
del triángulo sensible, entonces el propio así a pesar de la fuerte presencia de elementos
triángulo separado necesita un principio. pitagóricos y/o platónicos en otros aspectos
Esto se debe a que los triángulos separados (es decir, no matemáticos) de la filosofía de
y sensibles comparten la misma esencia. algunos pensadores post-avicenianos, como
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
Así, si es la esencia del triángulo sensible lo Suhrawardī (m. 1191) (Walbridge 2000; De
que le hace necesitar el triángulo separado, Smet 2022). Los detalles de algunas críticas
entonces el triángulo separado (que tiene la avicenianas de (SM) y (PM), que generalmente
misma esencia que su contraparte sensible) se tomaban como partes auxiliares de la crítica
LAS MATEMÁTICAS
debe ser causado por otro triángulo separado. general de Avicena a la explicación platónica
Repitiendo la misma línea de argumentación, de las formas universales, fueron, por
podemos concluir que debe existir una cadena supuesto, criticados por filósofos posteriores
infinita de triángulos causalmente conectados. (Arnzen 2011; Benevich 2019). Estas críticas
Monografías y Traducciones
no revivieron el platonismo matemático y/o el objetos de la física. (El árabe original del libro
pitagorismo en la filosofía islámica posterior de al-Fārābī se puede encontrar en al-Fārābi
a Avicena. Dicho esto, las discusiones sobre 1890: 34–38 y Kiankhah 2015: 147–57. Para
la debilidad y la fuerza de los argumentos a dos traducciones al inglés, consulte Bertolacci
favor y en contra del platonismo matemático 2006: 66–72 y McGinnis & Reisman 2007: 78
continuaron siendo de interés para los –81).
filósofos post-avicenianos. Quizás la obra En su Enumeración de las ciencias (ʾIḥṣāʾ al-
más importante en la que se recopilan tales ʿulūm), al-Fārābī presenta una discusión más
argumentos es un libro, titulado Las formas detallada de la ontología de las matemáticas.
inteligibles platónicas, escrito entre 1329 y Distingue las matemáticas aplicadas/prácticas
1339, por un autor desconocido (ver el texto (ʿamalī) de las matemáticas puras/teóricas
árabe del libro en Badawī 1947: 1-145, y su (naẓarī). Los objetos de la aritmética aplicada
versión en alemán). traducción en Arnzen son los números, ya que están asociados
2011: Apéndice 1). a cosas sensibles. La aritmética aplicada
1.2 Qué son los objetos matemáticos considera el número de cosas sensibles que
Ahora que sabemos qué objetos matemáticos no existen en el mundo material. Por el contrario,
lo son para los filósofos musulmanes, debemos la aritmética pura considera una concepción
preguntarnos cuáles lo son. En su Metafísica absoluta del número y la pluralidad. Estudia
(VI.1,1026a13-19) Aristóteles clasifica los números que se abstraen de todas las
diferentes ciencias teóricas según el estatus cosas numeradas del mundo sensible. De
ontológico de los objetos que estudian (Cleary manera similar, la geometría aplicada
1994). Los principales criterios de Aristóteles considera las propiedades geométricas de
para distinguir las diferentes ciencias entre sí objetos físicos específicos, mientras que la
son el alcance y la calificación de la asociación geometría pura trata con formas geométricas
de la materia de las ciencias con el movimiento independientemente de si están unidas o no a
y la materialidad. Empleando un enfoque objetos físicos específicos (al-Fārābi [Enum]:
similar, en su Los objetivos de la metafísica de cap. 3; Endress 2003: 139–40 ).
Aristóteles (Maqāla fī aghrāḍ kitāb mā baʿd al- Siguiendo la línea principal del enfoque de
ṭabīʿa), al-Fārābī (m. 950) argumenta que los al-Fārābī, Avicena desarrolla una discusión
36
temas de las matemáticas, es decir, los objetos más detallada sobre la división de las ciencias
matemáticos, son abstractos (mujarrad) de la (Marmura 1980; Gutas 2003) según la cual
materia en estimación (wahm) pero no en el los objetos matemáticos existen en el mundo
mundo extramental. Por un lado, los objetos extramental en asociación con determinadas
matemáticos se diferencian de los objetos que especies de materia (por ejemplo, madera ,
estudia la metafísica porque estos últimos están oro, etc). A través de la función de la facultad
totalmente desligados de la materia tanto en de estimación, los objetos matemáticos
la estimación como en el mundo extramental. pueden ser abstraídos en la mente de las
Por otro lado, los objetos matemáticos se especies específicas de materia a las que
diferencian de los objetos físicos sensibles están apegados en el mundo extramental. Sin
porque no se pueden separar de la materia, ni embargo, todavía deben concebirse como
en la estimación ni en el mundo extramental. cosas materiales. En otras palabras, los objetos
Así, las matemáticas ocupan una posición matemáticos en la mente están separados de
intermedia entre la metafísica y la física. La determinadas especies de materia, aunque no
asociación de los objetos matemáticos con de la materialidad misma (Avicena [Met]:
la materia es más fuerte que la de los objetos cap. I.2; Di Vincenzo 2021: 20–27). Avicena
de la metafísica pero más débil que la de los argumenta que los números (aʿdād) y las
magnitudes (maqādīr), como los representantes la abstracción es un proceso cognitivo para
más generales de los objetos de la aritmética y captar conceptos matemáticos, en lugar de
la geometría, respectivamente, son accidentes producir objetos matemáticos.
(aʿrāḍ) y propiedades de los objetos físicos Estas diferentes interpretaciones nos
que existen en el mundo sensible (Avicena recuerdan el contraste entre las lecturas
[Met]: cap. III.3–4). Ni los números ni las literalista (Mueller 1970; 1990) y
magnitudes tienen subsistencia inmaterial abstraccionista (Lear 1982; Hussey 1991)
independiente en el mundo extramental. Las de la ontología matemática de Aristóteles.
magnitudes (o formas geométricas, para ser La objeción más obvia a la visión literalista
más específicos) no pueden separarse de la es que, a diferencia de los objetos físicos,
materialidad ni siquiera en la mente (Avicena que son inexactos e imperfectos, los objetos
[Met]: cap. III.4 sec.2 y VII.2, sec. 21). matemáticos parecen ser perfectos y exactos
Por el contrario, los números pueden (o idealizados). Por ejemplo, parece que no
considerarse completamente separados de la existe ningún objeto físico perfectamente
materia y la materialidad. Sin embargo, tal circular cuya circunferencia no sea (al menos
consideración de los números es más metafísica en una medida modesta) irregular. Para refutar
que matemática (Endress 2003: 142; Zarepour esta objeción contra la lectura literalista de la
2016: sec. 4). Los números, en tanto sujetos ontología de las matemáticas de Avicena, se
de estudios matemáticos, deben ser receptivos ha argumentado que respalda la existencia de
a la disminución y al aumento. Por lo tanto, objetos matemáticos perfectos en el mundo
incluso en la mente, deben concebirse como físico (Zarepour 2016: sec. 5; 2021: sec. 4).
propiedades de las cosas materiales (Avicena Esto probablemente se deba al énfasis de Avicena
[Met]: cap. I.3, secs. 17–19). En suma, los y al-Fārābī en el papel de la estimación (wahm)
objetos matemáticos existen en el mundo en la concepción de objetos matemáticos que,
extramental como las propiedades de las cosas en la filosofía posterior a Avicena, a menudo
físicas constituidas por determinadas especies se hace referencia a las matemáticas como una
de materia. Los objetos matemáticos pueden ciencia estimativa (wahmī o mawhūm) (Pines
abstraerse de estas determinadas especies de 1974). Antes o en la época de Avicena, muchos
materia en la mente. Pero todavía deben ser pensadores musulmanes habían enfatizado que
considerados como propiedades de las cosas los objetos matemáticos existen, de una forma
materiales. De lo contrario, no pueden ser u otra, en el mundo físico. Por ejemplo, en El
37
objeto de estudios matemáticos. La discusión Libro de Instrucción (Kitāb al-tafhīm ([Instr]),
de Avicena sobre los roles de la facultad de al-Bīrūnī (m. ~1048) defiende una descripción
estimación y el proceso de abstracción en los de la naturaleza de los objetos matemáticos que
estudios matemáticos se ha interpretado de parece tener fuertes afinidades con la lectura
dos maneras diferentes. Algunos académicos literal de Avicena (Samian 2011; 2014). En
(McGinnis 2006; 2017; Ardeshir 2008; la misma línea, Ibn al-Haytham (m. 1040),
Fazlıoğlu 2014; Tahiri 2016; 2018) piensan en las primeras páginas de su Resolución de
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
que los objetos matemáticos son en primer Dudas (Ḥall shukūk, [Dudas]), argumenta
lugar objetos mentales y que la abstracción que los objetos geométricos existen en el
es un mecanismo para construir objetos mundo sensible. puede ser abstraído de la
matemáticos. Al atribuir una visión literalista materia a través de la actividad de la facultad
LAS MATEMÁTICAS
individuos. Avicena piensa que la cuaternidad matemáticas. La frase “nafs al-ʾamr” significa
(ʾarbaʿīya) es un accidente de estas cuatro literalmente la cosa misma. Pero su contenido
personas. Pero Suhrawardī lo encuentra técnico es difícil de capturar en la traducción.
insostenible. Él argumenta que: Aunque esta frase también aparece en los
o la cuaternidad debe ser completa en cada escritos de Avicena, es probable que sea Naṣīr
uno de los individuos, lo cual no es el caso, al-Dīn al-Ṭūsī (m. 1274) quien utilizó la
o bien debe haber algo de cuaternidad en frase por primera vez en un sentido técnico y
cada uno, que sólo puede ser la unidad. Por teórico. Diferentes filósofos han entendido que
lo tanto, o la totalidad de la cuaternidad no esta frase se refiere a diferentes cosas, incluido
debe tener otro lugar que el intelecto, o bien el conocimiento divino, el Intelecto Activo, el
ni la cuaternidad ni nada de la cuaternidad reino de las ideas, etc. (Kaş 2021; Spiker 2021).
puede estar en cada uno. En esta última La importancia de la teoría de nafs al-ʾamr para
suposición, también, la cuaternidad está sólo la filosofía de las matemáticas es que puede
en el intelecto. (Suhrawardī, La filosofía de la permitirnos preservar el realismo del juicio
iluminación [1999: 48]). incluso sin el realismo del objeto. Algunos
Él cree que es sólo nuestra mente la que filósofos (p. ej., Sayyid al-Sharīf al-Jurjānī, m.
puede imponer una unidad a una pluralidad 1413) han utilizado esta teoría para demostrar
que, aunque los objetos matemáticos son 2020b: sec. 4.2). Yaḥyā Ibn ʿAdī (m. 974),
meramente estimativos (wahmī) y no tienen en su Tratado sobre el Infinito (Maqala fī
una existencia independiente de la mente, ghayr al-mutanāhī), proporciona un conjunto
los juicios matemáticos son ciertos (yaqīnī) diferente de argumentos para establecer que
y sus valores de verdad son independientes el infinito no es predicable de los números
de la mente. En otras palabras, con respecto (McGinnis 2010: sec. 3). Pero los siguientes
a las matemáticas, el realismo de juicio aún tres argumentos a favor del finitismo son
puede defenderse incluso cuando se rechaza probablemente los más discutidos en la
el realismo de objetos (Fazlıoğlu 2014; Hasan tradición islámica:
2017).
Otro tema importante pertinente a la
ontología de las matemáticas es la naturaleza
de los objetos algebraicos. Una incógnita
algebraica (o, una variable algebraica,
como la llamamos hoy) puede referirse
indistintamente a un número oa una magnitud
geométrica. Entonces, la naturaleza de un
objeto algebraico no es la misma que la
de los números o las formas geométricas.
Desafortunadamente, la ontología híbrida de
este tipo especial de objetos matemáticos rara
vez (si es que lo ha sido) se ha discutido como
una ontología diferente de las de los números
y las magnitudes. Pero se ha argumentado que
la familiaridad de filósofos como al-Fārābī y
Avicena con la teoría algebraica presentada
por al-Khwārizmī (m. 850) en su Kitāb al-jabr
wa al-muqābala los inspiró a desarrollar una
ontología general de cosas (ashyāʾ) que no es
ni platónico ni aristotélico (R. Rashed 1984a;
2008; 2015: 716–18; 2018).
39
1.3 Infinito
El problema del infinito es uno de los temas
filosóficos relacionados con las matemáticas
que más se discutió en la filosofía islámica
medieval. Hay muchos tratados que sostienen
que ningún número puede ser infinito. Por (1) El Argumento de la Colimación (burhān
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
infinito. Además, muestra que los conjuntos una recta distinta L′, que es paralela a L e
infinitos de números pueden ser de diferentes infinitamente extendida en ambas direcciones.
tamaños (Pines 1968; Sabra 1997; Mancosu Ahora suponga que L comienza a girar
2009: sec. 2; M. Rashed 2009; Zarepour alrededor de O y se acerca a L′, mientras que
Monografías y Traducciones
L′ está inmóvil y fijo. Como resultado, L y (m. 1325) en su Nihāya al-marām fī ʿilm
L′ se cruzan. Entonces, hay un momento en al-kalām (vol. 1, 256–258). El argumento
el que las dos rectas son paralelas y hay un también es defendido, entre otros, por Fakhr
momento en el que se cruzan. Por lo tanto, al-Dīn al-Rāzī (m. 1209) en su Al-Mabāḥith
debe haber un momento de tiempo T y un al-mashriqīya (vol. 1, 196) y Mullā Ṣadrā en
punto P en L′ en el que las dos rectas se cortan su Asfār (vol. 4, 21– 23).
entre sí por primera vez, o eso es lo que dice el (2) El Argumento de la Escalera (burhān al-
argumento. Pero obviamente no existen tales sullam): Si pueden existir rectas infinitas,
T y P. Por cada T en el que L y L′ se intersecan, entonces puede haber un ángulo agudo cuyos
podemos encontrar un momento anterior de lados sean infinitos. Supongamos que AB y
tiempo T′ (es decir, T′<T) en el que las dos AC son dos rectas infinitas que se cortan en
rectas ya se intersecan. Entonces, parece que A y forman un ángulo agudo. AB y AC se
tenemos una contradicción. Por un lado, debe extienden infinitamente en las direcciones de
haber un primer momento de intersección B y C, respectivamente. Ahora considere las
(o tal es la expectativa de los defensores del rectas paralelas Bi Ci (para números enteros
argumento). Por otro lado, no puede haber tal i ≥ 1) que cortan AB y AC de modo que la
momento. Por lo tanto, la suposición inicial distancia entre cada dos rectas consecutivas es
del argumento, que es la existencia de rectas igual a la distancia de B1 C1 de A. Por lo tanto,
infinitas, debe rechazarse. No hay magnitud cada recta es más larga que la recta anterior
unidimensional infinita y, en consecuencia, no por un longitud fija, digamos d (es decir,
hay magnitudes infinitas en general. para cada entero i ≥ 1, Bi +1 Ci+ 1− Bi Ci
=d). Ahora considere BC. Está más lejos que
Abū Sahl al-Qūhī (m. 1000) propuso cualquier Bi Ci de A. Por lo tanto, BC es más
una variación del escenario anterior, que largo que cualquier Bi Ci. Esto indica que BC
probablemente se originó en De Caelo de debe ser realmente infinito. Sin embargo, BC
Aristóteles (I.5, 272a8-20), para rechazar el está confinado entre dos rectas (es decir, AB y
dogma aristotélico de que una distancia infinita AC). Termina en B y C. Por lo tanto, también
no se puede atravesar en un tiempo finito. Esto debe ser finito. En consecuencia, B C debe ser
40
se debe a que el argumento anterior muestra tanto finito como infinito. Esto es imposible.
que L puede atravesar L′ en un período de Entonces, la suposición inicial sobre la que
tiempo finito igual a la mitad del tiempo de construimos el argumento es falsa. No puede
rotación de L alrededor de O durante una ronda existir una recta infinita (y, a fortiori, ninguna
(R. Rashed 1999; McGinnis 2010: sec. 3). Por magnitud infinita) (R. Rashed 2016; 2018: sec.
el contrario, Avicena emplea el Argumento de 11.2; Zarepour 2020b: sec. 3.2).
la Colimación en ciertos lugares (Avicena, Al-
Najāt [1985: 233–44]; [Fís. 1]: cap. II.8, [8])
para rechazar la posibilidad de movimiento
circular en un vacío infinito y en otros lugares
(Avicena, ʿUyūn al-ḥikma, cap. 3, 20) para
rechazar la infinitud real de magnitudes
(Zarepour 2020b: sec. 3.1; R. Rashed 2016:
302–6; 2018: sec. 11.2). El argumento de la
colimación es criticado, entre otros, por Abū
al-Barakāt al-Baghdādī (m. 1165) en su Al-
Muʿtabar (vol. 2, 83–84 y 86), al-Ṭūsī en su
Talkhīṣ al-Muḥassal ([ 1985: 217]), y al-Ḥillī
El argumento de la escalera es una a B∗C∗. Esto indica que AC también sería
rehabilitación de un argumento aristotélico igual a BC, que es parte propia de AB. Sin
presentado en De Caelo (I.5, 271b26–272a7). embargo, la quinta noción común euclidiana
Avicena discute este argumento en la Física establece que tal igualdad entre todo y parte
de “La Curación” (Avicena [Fís. 2]: cap. es absurda ([1908: vol. 1, 155]). Por lo tanto,
III.8, [7]). El argumento ha sido objeto de AC no puede ser igual a BC. En consecuencia,
un debate de larga data en la filosofía post- debe rechazarse la suposición inicial de que
aviceniana (McGinnis 2018). El argumento AC puede ser una recta realmente infinita. No
fue criticado, entre otros, por Abū al-Barakāt puede haber tal magnitud realmente infinita.
en su Al-Muʿtabar (vol. 2, 84–86) y Najm
al-Dīn al-Kātibī al-Qazwīnī (m. 1277) en su
Ḥikma al-ʿayn ( [2002: 38–39]). Por otro lado,
las defensas del argumento de la escalera se
pueden encontrar, entre otros, en el comentario
de al-Ṭūsī sobre los Indicadores y recordatorios
de Avicena (en Avicena [Indicadores]: namaṭ Se pueden encontrar versiones anteriores del
I, 183–191) y el comentario de Mullā Ṣadrā argumento del mapeo en diferentes lugares de
sobre Hidāya de al-Abharī. (Sharḥ Al-Hidāya la obra de al-Kindī (Rescher & Khatchadourian
al-Athīrīya, 65–69). 1965; Shamsi 1975; Adamson 2007: cap.
(3) El argumento del mapeo (burhān al- 4; Zarepour 2020b: n. 52). Avicena presenta
taṭābuq o al-taṭbīq): Considere una línea versiones más precisas de este argumento
realmente infinita AC que comienza desde (Marmura 1960; McGinnis 2010: sec. 4;
A y se extiende infinitamente en la dirección Zarepour 2020b). La fuerza y la precisión de
de C. Quite un segmento finito AB desde el las versiones del argumento que proporcionan
comienzo de AC. Supongamos que B∗C∗ es estos pensadores dependen, al menos en parte,
una copia de (y, en consecuencia, de la misma de la precisión de su interpretación de la noción
longitud que) BC. Compara el tamaño de de igualdad de magnitudes geométricas. Se ha
B∗C∗ con AC mapeando el primero sobre el demostrado que algunos de los pensadores
segundo para que las dos rectas sean paralelas musulmanes tienen relatos bastante detallados
y B∗ esté justo enfrente de A. B∗C∗ debe de esta noción (R. Rashed 2019).
extenderse infinitamente en la dirección de Al igual que los otros dos argumentos, el
C∗. De lo contrario, B∗C∗ sería finito. Esto objetivo principal del argumento del mapeo
significa que BC también sería finito. Como
resultado, AC, que es la suma de BC con el
es mostrar que en realidad no existe una
magnitud continua infinita. Habiendo leído 41
segmento finito AB, sería finito. Dado que esto los Elementos de Euclides (libros 7-9), los
contradice la suposición inicial de que AC es pensadores musulmanes sabían que los
en realidad infinita, B∗C∗ debe extenderse números podían representarse fácilmente
infinitamente en la dirección de C∗. Pero si mediante magnitudes. Por lo tanto, cualquier
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
del primer libro de los Elementos de Euclides infinitas? Ninguno de los tres argumentos es
—según la cual las cosas que se corresponden directamente aplicable a colecciones infinitas
entre sí son iguales entre sí ([1908: vol. 1, de entidades discretas. Sin embargo, se ha
155])— podemos concluir que AC es igual argumentado que Avicena probablemente
Monografías y Traducciones
sabía que el Argumento del mapeo podría en el contexto de la física. Esto se debe a
modificarse para que sea aplicable a colecciones que están diseñados en primer lugar para
infinitas de cosas numeradas discretas mostrar que ningún infinito puede existir
(Zarepour 2020b: sec. 4). Los tamaños de dos realmente en el mundo físico. Pero si,
colecciones de entidades discretas se pueden respaldando el literalismo, consideramos los
comparar empleando la misma noción de objetos matemáticos como propiedades de
“mapeo” que usamos anteriormente en el caso los objetos físicos, entonces la imposibilidad
de magnitudes continuas. Sin embargo, en el de la existencia de infinitos reales en el
caso de las colecciones de entidades discretas, mundo físico implica la imposibilidad de
esta noción debe hacerse efectiva en términos líneas geométricas infinitamente extendidas
de correspondencia biunívoca entre los y conjuntos infinitos de números. Pero
elementos de las dos colecciones en cuestión. aquellos que rechazan el literalismo sobre la
Dos colecciones de entidades discretas se ontología de las matemáticas tienen puntos
corresponden entre sí si cada miembro de una de vista diferentes sobre la aplicabilidad de
colección puede emparejarse con un (y solo tales argumentos a los objetos matemáticos.
uno) miembro de la otra, de modo que ningún Por ejemplo, Fakhr al-Dīn al-Rāzī cree que
miembro de ninguna de estas colecciones el argumento del mapeo no puede rechazar la
quede sin emparejar. Avicena parece haber infinitud de la colección de números naturales
sido consciente de que una colección infinita porque convierte a los objetos matemáticos
de entidades discretas puede ponerse en en entidades completamente inmateriales y
correspondencia biunívoca con algunas de sus dependientes de la mente (Sharḥ ʿUyun al-
subcolecciones propias. ḥikma, al-Ṭabīʿīyāt [1994 : 53–57]). Aunque
Y encuentra esto tan absurdo como la podemos apelar al Argumento del mapeo
correspondencia de una magnitud infinita para rechazar la existencia de una colección
con su propia submagnitud. Menciona infinita de objetos físicos distintos en el
explícitamente que el argumento del mapeo mundo extramental, este argumento no puede
puede descartar las posibilidades tanto de rechazar la existencia de un número infinito
magnitudes infinitas como de colecciones de objetos dependientes de la mente como
infinitas de entidades discretas (por ejemplo, los números, o al menos así lo parece al-Rāzī.
42
43
(Avicena [Fís. 2]: cap. III.3–5; Lettinck 1999; la geometría euclidiana las magnitudes sean
Dhanani 2015; McGinnis 2019: sec. 3). infinitamente divisibles. Pero parece no aceptar
A diferencia de Avicena, hay filósofos que sea posible hacer una imagen visual
que avalan la continuidad matemática y (mediante la facultad de estimar) de todas las
el atomismo físico simultáneamente. Por magnitudes de las que podamos hablar en el
ejemplo, Shahrastānī (m. 1153) insiste en contexto de la geometría euclidiana. Abrazando
que el juicio de la facultad de estimación el atomismo físico (en sus obras posteriores), al-
no es lo suficientemente fiable como para
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
45
mutakhayyila en la psicología de Avicena. para darnos una concepción de las entidades
Por otra parte, la facultad de distinción es matemáticas tal como son en nafs al-ʾamr. Sin
un reemplazo del Intelecto Activo. En la embargo, el proceso a través del cual podemos
filosofía de Ibn al-Haytham, el paso final de la tener acceso y conocer el reino de nafs al-
conceptualización lo lleva a cabo la facultad de ʾamr no es menos misterioso que el papel del
distinción. Se ha argumentado que el Intelecto Intelecto Activo en la filosofía de Avicena.
Activo y la luz divina no juegan ningún papel
2.2 Estados Epistemológicos de los
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
47
decir, sujeto) y el término mayor (es decir, de las matemáticas son evidentes, necesarias y
predicado), el término medio aparece en la racionalmente indudables. Pero, en su segundo
mente y la verdad de se asiente esa proposición. comentario, Ḥall shukūk ([Dudas]), respalda
Por ejemplo, inmediatamente después de una posición más empírica y argumenta que
captar los conceptos cuatro e incluso, aparece adquirimos estas instancias de conocimiento
en nuestra mente el concepto divisible-por-dos al enfrentarnos a un uso frecuente de ellas en
y podemos afirmar el hecho de que “(todos) la vida diaria. Consideremos, por ejemplo, la
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
los cuatro son pares” a través del siguiente noción común “las cosas que se corresponden
silogismo (Mousavian & Ardeshir 2018): entre sí son iguales entre sí”. Ibn al-Haytham
(Cada) cuatro es divisible por dos. dice que aceptamos esta proposición porque
(Todo) divisible por dos es par. hemos visto repetidamente que cuando un
LAS MATEMÁTICAS
los trabajos de Fakhr al-Dīn al-Rāzī y algunos figura importante en esta área es al-Sijzī (d.
de mutikallimūn posteriores (Morrison 2014: ~1020), quien escribió un libro (Tratado
220–22; Hasan 2017: sec. 2.4.2; Ighbariah y geométrico sobre resolución de problemas)
Wagner 2018: 66–68). sobre diferentes métodos que pueden facilitar
2.3 Ars Analytica y Ars Inveniendi (El arte del el procedimiento de resolución de problemas
análisis y el arte del descubrimiento) en geometría. Pero el trabajo más maduro
Vale la pena mencionar que los pensadores entre este tipo de estudios es quizás Fī al-taḥlīl
musulmanes también han desarrollado wa al-tarkīb de Ibn al-Haytham (Sobre análisis
interesantes teorías sobre cómo podemos y síntesis; R. Rashed 2006 [2017: 219–304]).
llegar a las proposiciones desconocidas de Un tema interesante discutido en esta área de
las matemáticas a partir de las conocidas. En la filosofía de las matemáticas fue la naturaleza
otras palabras, han ofrecido explicaciones de los problemas indecidibles; afirmaciones
detalladas de cómo se puede tomar el paso de cuya verdad o falsedad no tenemos prueba.
(3) —introducido en la sección anterior— en Este tema fue discutido en particular por al-
el contexto de las matemáticas en general y Samawʾal (m. 1180) en el contexto de la
de la geometría en particular. Una pregunta clasificación de problemas geométricos en su
central en este contexto era si y cómo (y al-Bāhir fī al-jabr. Su proyecto de clasificación
puede entenderse como una sucesión del de del mundo atomístico discontinuo (Setia
Ibn Sinān (R. Rashed 1984b [1994: 41–43]; 2006: 126–28 ).
2008: sec. 3; 2015: 726–32). En su Al-Mawāqif, al-ʾĪjī desafía la
2.4 Aplicabilidad y confiabilidad de las confiabilidad de las ciencias matemáticas
matemáticas debido a su compromiso con entidades
Si tomamos los objetos matemáticos como estimativas que son más frágiles (awhan)
objetos puramente mentales o estimativos que una telaraña. Esta analogía se refiere al
(mawhūm) que están construidos por el Corán 29:41 (Fazlıoğlu 2014: 6–7). Shams
mecanismo de la abstracción y no tienen al-Dīn Muḥammad al-Bukhārī (m. 1429)
una realidad extramental, entonces es defiende una visión igualmente escéptica de
difícilmente justificable que las matemáticas las matemáticas en su comentario sobre el
y/o los modelos matemáticos por sí solos Ḥikma al-ʿayn de al-Kātibī al-Qazwīnī. Como
puedan darnos un conocimiento confiable del muchos de sus predecesores, al-Bukhārī
mundo extramental. No debería sorprender sostiene que, en comparación con la física y
que aquellos que respaldan una versión no la metafísica, las matemáticas son una fuente
platónica y no literal de la ontología de las de conocimiento menos confiable sobre
matemáticas encuentren esta ciencia menos las cosas concretamente existentes. Es en
segura y quizás menos valiosa que ciencias respuesta a tales puntos de vista que al-Jurjānī
como la física y la metafísica. Es por eso que apela a la maquinaria de nafs al-ʾamr para
algunos académicos contemporáneos, que han defender la confiabilidad de las matemáticas.
leído a Avicena como defensor de una versión Acepta que los objetos matemáticos son
puramente abstraccionista de la ontología de estimativos e imaginarios. Pero cree que se
las matemáticas, argumentan que para él, las imaginan correctamente y de acuerdo con
matemáticas son menos útiles e inferiores a la realidad extramental. En este sentido, son
las otras dos ciencias (Hasan 2017: 225–26; completamente diferentes de las entidades
Fazlıoğlu 2014: 11–13). Esta interpretación ficticias, como las montañas de rubíes o los
de la visión de Avicena es, por supuesto, hombres de dos cabezas, que no reflejan nada
problemática si lo tomamos como un literalista en la realidad extramental (Hasan 2017: 7).
con respecto a la naturaleza de los objetos Aunque las matemáticas se originan a partir de
matemáticos. Motivado por preocupaciones la estimación, aún pueden expresar verdades
similares, Averroes cree que el hecho de que significativas sobre las cosas tal como son en
49
el ámbito de los objetos matemáticos esté nafs al-ʾamr. Por tanto, cree que el juicio de
separado de la realidad extramental hace estimación puede en principio conformarse con
que las matemáticas jueguen un papel menos el del intelecto; particularmente en el contexto
significativo en la perfección humana que la de las matemáticas donde los productos de
física y la metafísica (Endress 2003: 150). estimación se construyen de acuerdo con
Las dudas sobre la capacidad de las lo que percibimos del mundo extramental a
matemáticas para representar con precisión través de nuestros sentidos. Aunque los objetos
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
el mundo extramental son aún más frecuentes matemáticos son entidades estimativas, no son
entre los atomistas (Dhanani 1994: 101- el resultado de una imaginación fantasiosa
40; Pines 1936 [1997: 110]). Por ejemplo, que no tiene conexión con la realidad, o eso
respaldando el atomismo físico en sus obras parece creer al-Jurjānī (Fazlıoğlu 2014; Hasan
LAS MATEMÁTICAS
posteriores, Fakhr al-Dīn al-Rāzī cree que 2017). La teoría de nafs al-ʾamr fue, entre
dado que se supone que las magnitudes son otras cosas, el intento más prometedor de los
continuas en la geometría euclidiana, esta pensadores musulmanes de reconciliar una
ciencia no puede presentar una imagen precisa versión antirrealista de la ontología de las
Monografías y Traducciones
matemáticas con una versión realista de las Danishpazhūh (ed.), Teherán: Tehran
verdades matemáticas. Esta teoría pretende University Press, 1985.
proporcionar una explicación de cómo las –––, [Met.], The Metaphysics of “The
matemáticas, como estudio de entidades Healing”, Michael E. Marmura (ed. y trad.),
puramente estimativas, pueden ser útiles en el Provo, UT: Brigham Young University Press,
estudio del mundo físico. Desafortunadamente, 2005.
el alcance del éxito de este proyecto aún no se –––, The Physics of “The Healing”, 4 books.
ha estudiado exhaustivamente. Traducido en 2 tomos por Jon McGinnis (ed. y
trad.), Provo, UT: Brigham Young University
3. CONCLUSIÓN
Press, 2009.
Lo que se presenta aquí es solo un breve informe [Fís. 1], Books I & II
de los interesantes puntos de vista filosóficos [Fís. 2], Books III & IV
que los pensadores musulmanes medievales Badawī, ʿAbd al-Raḥmān (ed.), 1947, Al-
desarrollaron sobre las matemáticas. De ninguna muthul al-ʿaqlīya al-aflāṭūnīya, El Cairo:
manera es exhaustivo. Muchos aspectos de los Printing House of the Egyption Library.
puntos de vista que discutí aquí aún no han al-Bīrūnī, [Astro], Art of Astrology: Kitāb
sido estudiados en la literatura secundaria. al-tafhīm li-ʾawaʾil ṣināʿa al-tanjīm, Traducido
No es exagerado decir que la filosofía de las por by R. Ramsay Wright, Londres: LUZAC &
matemáticas de muchos filósofos musulmanes co., 1934.
no ha sido suficientemente abordada por los [Instr], Kitāb al-tafhīm li-ʾawaʾil ṣināʿa al-
historiadores contemporáneos de la filosofía. tanġīm (The Book of Instruction), Jalaluddin
Pero espero que las cosas reunidas en esta Homaei (ed.), Teherán: Anjuman āsār-e mellī,
entrada hayan demostrado que la tradición 1975.
islámica es un rico recurso para ideas y teorías Di Vincenzo, Silvia, 2021, Avicenna, ›The
innovadoras pertinentes a la filosofía de las Healing, Logic: Isagoge‹: A New Edition,
matemáticas (y no, como suele pensarse, solo a English Translation and Commentary of the
los aspectos técnicos de las matemáticas). Kitāb al-Madḫal of Avicenna’s Kitāb al-Šifāʾ,
Berlín: De Gruyter. doi:10.1515/9783110726565
BIBLIOGRAFÍA Euclides, The Thirteen Books of Euclid’s
50
51
Fūlādkār (ed.), Beirut: Dār iḥyā al-turāth al- Avicenna: Science and Philosophy in Medieval
ʿarabī, 2001. Islam, Proceedings of the Second Conference
Nicomachus, Kitāb al-madkhal ilā ʿilm of the Avicenna Study Group, Jon McGinnis
al-ʿadad (كتاب المدخل الى علم العدد, Introducción a y David Reisman (ed.), Leiden: Brill, 87–111.
la Aritmética), traducción del original griego doi:10.1163/9789047405818_008
por Thābit Ibn Qurrah, Wilhelm Kutsch (ed.), –––, 2007, Al-Kindī, Oxford:
Beirut, 1958. Oxford University Press. doi:10.1093/
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
53
Avicenna’s Epistemology”, en Wisnovsky Treatise, Chapter 3-5”, Al-Shajarah: Journal of
2001:, 1–38. the International Institute of Islamic Thought
–––, 2003, “Medical Theory and Scientific and Civilization (ISTAC), 4(1): 1–51.
Method in the Age of Avicenna”, en Before Mancosu, Paolo, 2009, “Measuring the
and After Avicenna: Proceedings of the First Size of Infinite Collections of Natural
Conference of the Avicenna Study Group, Numbers: Was Cantor’s Theory of Infinite
David C. Reisman y Ahmed H. Al-Rahim Number Inevitable?”, The Review of
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
–––, 2020, “The Myth of a Kantian Souls”, Mediaeval Studies, 22: 232–239.
Avicenna”, Philosophy East and West, 70(3): doi:10.1484/J.MS.2.305953
833–840. doi:10.1353/pew.2020.0039 –––, 1980, “Avicenna on the Division
Hasan, Moiz, 2017, “Foundations of of the Sciences in the ‘Isagoge’ of His
Monografías y Traducciones
‘Shifa’”, Journal for the History of Arabic –––, 2019, “A Continuation of
Science, 4(2): 239–251. Atomism: Shahrastānī on the Atom and
–––, 2005, “Translator’s Introduction”, Continuity”, Journal of the History of
en The Metaphysics of the Healing, Michael Philosophy, 57(4): 595–619. doi:10.1353/
E Marmura (ed.), Provo, UT: Brigham Young hph.2019.0068
University Press, xix–xxv. Morrison, Robert, 2014, “What Was the
–––, 2006, “Avicenna’s Critique of Platonists Purpose of Astronomy in Ījīʾs Kitāb al-
in Book VII, Chapter 2 of the Metaphysics Mawāqif fī ʿilm al-kalām?” en Politics,
of His Healing”, en Arabic Theology, Arabic Patronage and the Transmission of
Philosophy: From the Many to the One: Knowledge in 13th–15th Century Tabriz,
Essays in Celebration of Richard M. Frank, Judith Pfeiffer (ed.), Leiden: Brill, 201–229.
James Montgomery (ed.), Lovaina: Peeters doi:10.1163/9789004262577_009
Publishers, 355–369. Mousavian, Seyed N. and Mohammad
Marquet, Yves, 2006, Les “Frères de la Ardeshir, 2018, “Avicenna on the Primary
pureté”, Pythagoriciens de l’Islam: la marque Propositions”, History and Philosophy of
du Pythagorisme dans la rédaction des épîtres Logic, 39(3): 201–231. doi:10.1080/01445340
des Iḫwān al-Ṣafāʾ, París: S.E.H.A. .2017.1408739
Masoumi Hamedani, Hossein, 2013, “The Mueller, Ian, 1970, “Aristotle on
Theologian and the Mathematician: Fakhr Geometrical Objects”, Archiv Für Geschichte
al-Dīn al-Rāzī and the Geometrical Works of Der Philosophie, 52(2): 156–171. doi:10.1515/
Ibn al-Haytham”, Journal for the History of agph.1970.52.2.156
Science (Irán), 11(1): 139–157. –––, 1990, “Aristotle’s Doctrine of
Mcginnis, Jon, 2006, “A Penetrating Abstraction in the Commentators”,
Question in the History of Ideas: Space, en Aristotle Transformed: The Ancient
Dimensionality and Interpenetration in the Commentators and Their Influence, Richard
Thought of Avicenna”, Arabic Sciences Sorabji (ed.), Ithaca, NY: Cornell University
and Philosophy, 16(1): 47–69. doi:10.1017/ Press, 463–480.
S0957423906000233 Nuseibeh, Sari, 1989, “Al-’Aql al-
–––, 2010, “Avicennan Infinity: A Qudsi: Avicenna’s Subjective Theory of
54
Select History of the Infinite through Knowledge”, Studia Islamica, 69: 39–54.
Avicenna”, Documenti e Studi Sulla doi:10.2307/1596066
Tradizione Filosofica Medieval, 21: 199–221. Pines, Shlomo, 1968, “Thābit b. Qurra’s
–––, 2017, “Experimental Thoughts on Conception of Number and Theory of the
Thought Experiments in Medieval Islam”, Mathematical Infinite”, Actes du XIe Congrès
en The Routledge Companion to Thought International d’Histoire des Sciences [1965],
Experiments, Michael T. Stuart, Yiftach Sect. III: Histoire des Sciences Exactes
Fehige y James Robert Brown (ed), Londres: (Astronomie, Mathématiques, Physique),
Routledge, 77–91. Wroclaw, 160–166. Reprinted in The
–––, 2018, “Mind the Gap: The Reception Collected Works of Shlomo Pines, volume 2,
of Avicenna’s New Argument against Actually Leiden: Brill, 1986, 423–429.
Infinite Space”, en Illuminationist Texts and –––, 1974, “Philosophy, Mathematics and
Textual Studies: Essays in Memory of Hossein the Concepts of Space in the Middle Ages”,
Ziai, Ali Gheissari, Ahmed Alwishah y John en The Interaction Between Science and
Walbridge (ed.), Leiden: Brill, 272–305. Philosophy, Yehuda Elkana (ed.), Atlantic
doi:10.1163/9789004358393_015 Highlands, NJ: Humanities Press, 75–90.
–––, 1936 [1997], Beiträge zur islamischen volume 1 en A History of Arabic Sciences
Atomenlehre, Berlín: Heine. Traducido como and Mathematics, Nader El-Bizri (ed.),
Studies in Islamic Atomism, Tzvi Langermann Roger Wareham, Chris Allen, y Michael
(ed.), Michael Schwarz (trad.), Jerusalén: The Barany (trad.), Nueva York: Routledge, 2012.
Magnes Press, 1997. doi:10.4324/9780203636596
Porro, Pasquale, 2011, “Immateriality and –––, 1999, “Al-Qūhī vs. Aristotle: On
Separation in Avicenna and Thomas Aquinas”, Motion”, Arabic Sciences and Philosophy,
en The Arabic, Hebrew and Latin Reception of 9(1): 7–24. doi:10.1017/S0957423900002587
Avicenna’s Metaphysics, Dag Nikolaus Hasse –––, 2006 [2017], Ibn Al-Haytham:
y Amos Bertolacci (ed), Berlín: De Gruyter, Astronomie, Géométrie sphérique et
275–307. trigonométrie, V Vol. en Les mathématiques
Rahman, Shahid, Tony Street, and Hassan infinitésimales du IXe au XIe siècle, Londres:
Tahiri (eds.), 2008, The Unity of Science Al-Furqān Islamic Heritage Foundation.
in the Arabic Tradition: Science, Logic, Traducido como Ibn Al-Haytham’s
Epistemology and Their Interactions, Geometrical Methods and the Philosophy
Dordrecht: Springer Netherlands. of Mathematics, V Vol. en A History
doi:10.1007/978-1-4020-8405-8 of Arabic Sciences and Mathematics, J.
Rashed, Marwan, 2009, “Thabit ibn Qurra V. Field (trad.), Nueva York: Routledge.
sur l’existence et l’infini: les Rèponses aux doi:10.4324/9781315168456
questions posées par Ibn Usayyid”, en Thābit –––, 2008, “The Philosophy of
ibn Qurra: Science and Philosophy in Ninth- Mathematics”, con Rahman, Street y Tahiri
Century Baghdad, Berlín: Walter de Gruyter, 2008: 153–182. doi:10.1007/978-1-4020-
619–674. 8405-8_6
Rashed, Roshdi, 1984a, “Mathématiques et –––, 2015, Classical Mathematics from
Philosophie Chez Avicenne”, en Etudes Sur Al-Khwarīzmī to Descartes, Michael H.
Avicenne, Jean Jolivet y Roshdi Rashed (ed), Shank (trad.), Nueva York: Routledge.
París: Les Belles Lettres, 29–39. doi:10.4324/9781315753867
–––, 1984b [1994], Entre arithmétique –––, 2016, “Avicenne, « philosophe
et algèbre: recherches sur l’histoire des analytique » des mathématiques”, Les Études
mathématiques arabes, París: Les Belles philosophiques, 2016/2(117): 283–306.
lettres. Translated as The Development of doi:10.3917/leph.162.0283
Arabic Mathematics: Between Arithmetic –––, 2018, “Avicenna: Mathematics
55
and Algebra, Angela F. W. Armstrong (trad.), and Philosophy”, in The Philosophers and
Dordrecht: Springer, 1994. Mathematics, Hassan Tahiri (ed.), (Logic,
–––, 1993, Les mathématiques Epistemology, and the Unity of Science 43),
infinitésimales du IXe au XIe siècle: Ibn al- Cham: Springer International Publishing,
aytham, théorie des coniques, constructions 249–262. doi:10.1007/978-3-319-93733-5_11
géométriques et géométrie pratique, vol. 2, –––, 2019, “Ibn al-Haytham, Ibn Sīnā, al-
Londres: Al-Furqān. Ṭūsī: Égalité ou congruence”, Arabic Sciences
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
Resumen
El matemático del siglo X Abū Sahl al-Kūhī, uno de los mejores
geómetras del Islam medieval, escribió varios tratados sobre los
primeros tres libros de los Elementos de Euclides. Presentamos
una edición y traducción de la revisión de al-Kūhī del Libro I de
los Elementos, en la que alteró el enfoque del libro a los teoremas
y reorganizó las proposiciones. El más dramático de los cambios
es la ausencia total de todas las construcciones geométricas, lo
que sugiere que al-Kūhī prefirió usar los Datos de Euclides y
los procedimientos relacionados de análisis y síntesis para las
construcciones. Otros aspectos novedosos incluyen una prueba
del cuarto postulado de Euclides, el uso del postulado paralelo
al principio del trabajo y una prueba diferente del teorema de
Pitágoras.
Palabras claves: Geometría islámica, Kūhī, Euclides, Elementos
Introducción asumiera esta misma tarea. Al-Kūhī estuvo
activo durante el reinado de la dinastía
Los Elementos de Euclides proyectan una gran Būyid a mediados y finales del siglo X, y su
sombra sobre la actividad geométrica en el trabajo fue apoyado por al menos tres reyes
Islam medieval. Su utilidad como compendio de esa dinastía, cuyos reinados combinados
bien organizado de resultados básicos y su duraron desde 962 hasta 989. Fue uno de los
poder como modelo de exposición geométrica destacados matemáticos de su tiempo, cuyas
(progresión lógica de construcciones y (aproximadamente) 30 obras están dedicadas
teoremas a partir de una base axiomática) principalmente a la geometría en el estilo
difícilmente pueda exagerarse. La complicada de prueba de teoremas de Euclides. Parece
historia textual de los Elementos y su uso imposible descubrir si escribió o no su revisión
regular en muchas obras islámicas dan fe de del Libro I en respuesta a al-Sijzī, ya que el
su influencia generalizada, siendo de sus trece tratado de al-Kūhī no contiene información
libros, el Libro I el que juegue un papel especial para establecer una fecha precisa de autoría.
como entrada en el tema, y como fundamento Podemos, al menos, decir que es poco probable
de los siguientes resultados geométricos. La que al-Sijzī estuviera al tanto del tratado de al-
actitud islámica medieval hacia los Elementos Kūhī cuando escribió su crítica de la figura
era admirativa pero crítica. Un intento del siglo relativamente menor de Yūḥannā, ya que no
X de reestructurar el Libro I por un Yūḥannā menciona a Al-Kūhī.
ibn Yūsuf ibn al-Ḥārith ibn al-Baṭrīq al-Qass1 La revisión de Al-Kūhī del Libro I existe en
encontró una recepción negativa por parte una copia única manuscrita (Cairo MR 41,
de Aḥmad ibn Muḥammad ibn ‘Abd al-Jalīl fols. 83b–88a),4 y es una de varias obras que
al-Sijzī.2 En respuesta a la reestructuración se sabe que escribió sobre los Elementos,
de Yūḥannā, al-Sijzī demuestra fallas en la incluidas las adiciones a los Libros I, II, y III,
secuencia revisada, tan sólo aprovechando la así como un resumen de los enunciados de los
oportunidad del texto para auto-elogiarse por el Libros I y II.5 Nuestro tratado no tiene título
arreglo natural y armonioso de los Elementos. y nos referiremos a él aquí como Revisión
Cualquier intento de mejorarlo podría solo del Libro I de los Elementos. Sus adiciones
llegar a revisiones menores o a rellenarlo con al Libro II, una copia de las cuales sigue a
“redundancias inútiles”, y no podría “quitar este tratado en el manuscrito de El Cairo, se
sin agregar a la base” (es decir, los axiomas) publicaron en [De Young, 1991–1992] y se
59
[Crozet, 1997, 63]. Por lo tanto, se podría analizaron recientemente en [Berggren y Van
aumentar el trabajo al incluir recíprocos de Brummelen, 2002–2003].6 Un breve tratado
ciertas declaraciones, pero el resultado no sería sobre el Libro III se perdió en Berlín durante la
superior al original. Segunda Guerra Mundial.7
Por lo tanto, es intrigante que el contemporáneo El tratado no contiene definiciones ni
considerablemente más capaz de al-Sijzī, axiomas (en particular, ninguno de los que
Abū Sahl al-Kūhī (finales del siglo X d. C.),3 se encuentran al comienzo de Elementos I),
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
ad del siglo X. En [Crozet, 1997, 61–77] se puede encontrar 6. Este artículo analiza un manuscrito breve que contiene
un estudio de las críticas de al-Sijzī y sus propias adiciones un resumen de varias proposiciones en las adiciones de al-
a los Elementos. Kūhī al Libro II, enumeradas como tratado #15 en [Sezgin,
3.Para estudios de la vida y obra de al-Kūhī ver [Dold-Sam- 1974, 319].
plonius, 1975] y [Berggren, 2003]. 7. Listado como #16 bajo al-Kūhī en [Sezgin, 1974, 319].
Monografías y Traducciones
proposiciones. Parece claro a partir de las en rincones separados y usó diferentes
pruebas que Al-Kūhī se basa en las definiciones procedimientos y obras de referencia para las
y axiomas de Euclides, con la significativa dos actividades.
excepción del cuarto postulado (ver más Aunque al-Sijzī había argumentado que
abajo). El trabajo de Al-Kūhī contiene solo 29 no podía salir nada bueno de la acción de
proposiciones, en lugar de las 48 de Euclides, alterar los postulados de Euclides, el primer
principalmente debido a la eliminación de movimiento de al-Kūhī es probar el cuarto
todas las construcciones. postulado (que todos los ángulos rectos son
Para dilucidar la estructura del tratado, hemos iguales). Su prueba es una variante de las
dividido los temas tratados en la obra de la encontradas en el comentario de Proclo sobre
siguiente manera (aunque el manuscrito no el Libro I 11(aunque no hay evidencia de que el
tiene divisiones): trabajo de Proclo fuera conocido en el Islam)
I. Ángulos y paralelos (Proposiciones 1, 2, 3, y en el comentario de al-Nayrīzī (865 – 922)
4, 5, 6, 7). sobre los Elementos [al-Nayrīzī, 1994, 30–31].
II. Congruencia de triángulos (Proposiciones A diferencia de Euclides, al-Kūhī parece no
8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18). tener reparos en el postulado de las paralelas y
III. El teorema de Pitágoras (Proposiciones 19, lo usa desde la Proposición 5. Esto logra cierta
20, 21, 22). simplificación de los argumentos, permitiendo,
IV. Paralelogramos (Proposiciones 23, 24, 25, por ejemplo, la supresión de los Elementos I.16
26, 27, 28, 29). y I.17. De hecho, la primera sección de al-Kūhī
El aspecto más sorprendente de este trabajo culmina con una prueba de la transitividad
es la ausencia de las 14 construcciones en de la relación de paralelismo, demostrada
el Libro I.8 Al-Kūhī apenas se oponía a las trivialmente a partir de lo que ahora llamamos
construcciones geométricas, y varias de sus el axioma de Playfair, que al-Kūhī enuncia
obras más pequeñas consisten en nada más.9 como corolario de su Proposición 6.
Su práctica general, sin embargo, era realizar Las proposiciones están cuidadosamente
sus construcciones utilizando las técnicas de organizadas; Las secciones ii y iii, en
análisis y síntesis, apelando (generalmente particular, siguen una progresión cuidadosa
60
implícitamente) a las proposiciones en los del resultado inicial, una o dos desigualdades
Datos de Euclides en lugar de a los Elementos correspondientes y/o una o dos inversas. Al-
para construir sus análisis, que sirvieron Kūhī se dedicó a la completitud en muchas
como esquemas de cómo completar las de sus obras geométricas, incluyendo
construcciones.10 En este trabajo, al-Kūhī muchas o todas las variedades posibles de un
simplemente llama a los objetos geométricos problema general dado12 así como recíprocos
cuando se necesitan. La distinción entre cuando sea posible.13 Esto explica las cuatro
construcciones y teoremas puede ser borrosa, proposiciones que no se encuentran en
pero parece que al-Kūhī, al menos, los mantuvo
11. Proclo 188–189, en [Proclo, 1970, 147–148]; vea la
8. Otra reformulación del Libro I de Elementos por parte de exposición y el comentario para una discusión más detallada.
Shams al-Dīn Muḥammad ibn Ashraf al-Ḥusaynī al-Samar-
12. Véase, por ejemplo, “On the Ratio of the Segments of a
qandī elimina todas las construcciones excepto cuatro, pero Single Line that Falls on Three Lines” (“Sobre la razón de los
como señala De Young en su edición de este trabajo, las que segmentos de una sola línea que cae sobre tres líneas”), pub-
faltan generalmente se pueden construir a partir de los otros licado recientemente en [Berggren y Van Brummelen, 2000a],
cuatro [De Young, 2001]. o “On Drawing Two Lines from a Point at a Known Angle”
(“Sobre dibujar dos líneas desde un punto en un ángulo cono-
9. Véase, por ejemplo, Berggren y Van Brummelen, 2000a,
cido”), en [ Berggren y Van Brummelen, 2001].
Berggren y Van Brummelen, 2001.
13. Véase, por ejemplo, sus adiciones al Libro II de los Ele-
10. Para una descripción completa de esta práctica, tanto en mentos, publicado en [De Young, 1991-1992] y discutido con
la antigua Grecia como en el Islam medieval, ver [Berggren respecto a un manuscrito estrechamente relacionado en [Berg-
y Van Brummelen, 2000b]. gren y Van Brummelen, 2002-2003].
los Elementos: Proposiciones 20, 21 son comentarios. Tenga en cuenta que los títulos
desigualdades correspondientes al teorema de las secciones no se encuentran en el texto
de Pitágoras; Las Proposiciones 28, 29 son original. Las proposiciones para las cuales
contrarias a la Proposición 27 (Elementos la prueba de al-Kūhī es la misma que la de
I.36). Por otro lado, al-Kūhī elige omitir las Euclides están acompañadas solo por el
proposiciones del Libro I sobre triángulos número de proposición correspondiente en
entre paralelos, descartándolas como el Libro I. Agregamos los comentarios entre
corolarios de proposiciones correspondientes paréntesis para aclarar el argumento.
sobre paralelogramos. Excepto los problemas Nuestro sistema para transliterar letras que
de construcción, todos los demás teoremas se refieren a puntos en los diagramas es el de
del Libro I excepto uno (I.21, no utilizado por [Kennedy, 1991–1992]. En nuestra edición
Euclides hasta el Libro III) están presentes en del texto (en el Apéndice), los números en
el trabajo de al-Kūhī. superíndice se refieren a nuestras notas críticas.
Al editar el texto, no hemos anotado los lugares
Traducción y comentario
donde hemos corregido lo que parecían ser
[King, 1981–1986, I, 442–446] describe la errores de escritura triviales, como lecturas
colección de 186 folios que contiene esta obra erróneas de yā por tā (y viceversa). Hemos
como posiblemente originaria de Egipto o de optado por reproducir las configuraciones
Anatolia y los Balcanes. El manuscrito está de los diagramas en el manuscrito lo más
escrito en una elegante escritura nasji o naski, fielmente posible, aunque todos los diagramas
y las figuras cuidadosamente dibujadas para las se han invertido de izquierda a derecha, ya que
Proposiciones 9, 10, 11, 12, 13, 14, 15, 16, 17, el texto en árabe se lee de derecha a izquierda.
18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29 Esto se ha hecho para reflejar el orden de
se insertan en el lado izquierdo del texto. (Se las letras en los diagramas, que a menudo
dejan espacios en blanco en lugares similares proceden en orden alfabético a lo largo de las
para las ocho cifras que no se dibujaron). Los figuras. Los diagramas de las primeras ocho
márgenes exteriores de las páginas contienen proposiciones, que faltan en el manuscrito, se
los números de las proposiciones en la notación han restaurado aquí. Algunos de los diagramas
alfabética estándar “abjad”. A la información del manuscrito no parecen representar el caso
de Sezgin, 1974, Rosenfeld e Ihsanoğlu, general; en particular, al-Kūhī sigue la tradición
2003, se puede añadir que la obra citada euclidiana en el Islam, que muestra una clara
como al-Maqāla al-ūlā wa-th-thāniyya min preferencia por simplificar los paralelogramos
kitāb Ūqlīdis fi l-Uṣūl consta de dos tratados
(como sugiere King en [King, 1981–1986, I,
444, #12]), cada uno con su propio íncipit. El
en rectángulos.
Como verá el lector, este tratado representa 61
una reelaboración considerable del Libro I de
primero, dedicado al Libro I, comienza “El los Elementos, lo suficiente como para que uno
primer discurso de los Elementos de Euclides hubiera esperado que al-Kūhī escribiera algún
de la obra de Abū Sahl”, etc.,14 y el segundo, tipo de introducción. El hecho de que no haya
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
al Libro II, comienza “El segundo discurso de tal introducción, y la descripción de la obra en
los Elementos de Euclides con las adiciones de el íncipit como “de la obra de al-Kūhī”, deja
Abū Sahl”, etc.15 abierta la posibilidad de que estemos tratando
Nuestra traducción está intercalada con con parte de una obra mayor.
LAS MATEMÁTICAS
1
Los ángulos rectos son iguales entre sí. Así,
sean los dos ángulos ABG y DEZ. Yo digo que
son iguales entre sí.
Prueba
Si ponemos la línea AB en la línea DE y el 2
punto B en el punto E, y la línea BG yace en la Si la línea recta AB se encuentra sobre la línea
línea EZ, entonces los dos ángulos ABG y DEZ recta GD, entonces los dos ángulos ABG y
son iguales. Entonces, si la línea BG no yace ABD son dos ángulos rectos o [al menos están
en la línea EZ, sino que yace como la línea ET, juntos] iguales a dos ángulos rectos.
entonces sea recta la línea DEK. Entonces el Prueba
ángulo DET es igual al ángulo TEK, ya que un
62
ángulo recto es uno tal que, si una línea recta Si la línea AB es perpendicular a la línea GD,
se encuentra sobre una línea recta, entonces entonces cada uno de los ángulos ABG y ABD
los dos ángulos que están en los dos lados son es recto, por lo que son dos ángulos rectos. Y
iguales entre sí. Y el ángulo TEK es mayor si la línea AB no es perpendicular a la línea
que el ángulo ZEK, por lo que el ángulo DET GD, entonces sea la perpendicular EB, por lo
es mayor que el ángulo ZEK. Pero el ángulo que los dos ángulos EBG y EBD son ángulos
ZEK también es igual al ángulo DEZ, como rectos e iguales a los tres ángulos GBE, EBA
dijimos. Luego el ángulo DET es mayor que el y ABD. Y los dos ángulos ABG, ABD también
ángulo DEZ, la parte [mayor] que el todo, una son iguales a los tres ángulos GBE, EBA y
contradicción. Entonces, la línea BG no yace ABD. Así, los dos ángulos ABG, ABD son
en ningún otro lugar que en la línea EZ, por lo iguales a los tres ángulos GBE, EBA y ABD. Y
que el ángulo ABG se ajusta al ángulo DEZ, así los ángulos ABG y ABD son iguales a los
por lo que son dos ángulos iguales. Y eso es lo dos ángulos rectos EBG y EBD. Por lo tanto,
que queríamos demostrar. los ángulos ABG y ABD son ambos ángulos
Comentario: (Postulado de los Elementos 4) rectos o son iguales a dos ángulos rectos. Y eso
Como se señaló anteriormente, al-Kūhī no fue es lo que queríamos demostrar.
el primero en probar este postulado. Las pruebas Comentario: (Elementos I.13).
Si cada una de las dos líneas rectas, AB y GD,
corta a la otra en el punto E, entonces los dos
ángulos verticales AEG y DEB son iguales
entre sí.
Prueba
La recta GE se encuentra sobre la recta
AEB, por lo que los dos ángulos AEG y
3 GEB son iguales a dos ángulos rectos, por la
Si desde el punto B de la línea AB se producen proposición anterior. Además, la línea recta BE
las líneas BG y BD, y los ángulos ABG y ABD se encuentra sobre la línea recta DEG, por lo
son iguales a dos ángulos rectos, entonces la que los dos ángulos DEB y BEG son iguales a
línea BG es una extensión de BD en línea recta. dos ángulos rectos. Así, los dos ángulos AEG
y BEG son iguales a los dos ángulos DEB y
Prueba
BEG. Y quitamos el ángulo común BEG, por
Si esto no es así, que haya otra línea, EB, que lo que queda el ángulo AEG, igual a su ángulo
se extienda a BD en línea recta. Entonces, vertical DEB. De la misma manera los dos
puesto que la recta AB está parada sobre ángulos AED y GEB son iguales entre sí. Y eso
la recta EBD, los ángulos ABD y ABE son es lo que queríamos demostrar.
iguales a dos ángulos rectos, por la proposición Comentario: (Elementos I.15).
anterior. Pero los ángulos ABD y ABG ya eran
iguales a dos ángulos rectos. Y así los ángulos
ABD, ABE son iguales a los dos ángulos ABD
y ABG por la proposición anterior. Y se quita
el ángulo común ABD, por lo que queda el
ángulo ABE, igual al ángulo ABG, la parte al
todo, lo cual es una contradicción. Por lo tanto,
la línea EB no es una extensión de la línea BD
en línea recta y ninguna otra línea excepto GB
está en la extensión de la línea BD en línea
recta. Y eso es lo que queríamos demostrar. 5
63
Comentario: (Elementos I.14) No es necesario Si la recta AB cae sobre las dos rectas paralelas
que los ángulos ABG y ABD sean rectos en la GD y EZ, entonces los dos ángulos alternos
figura. Aquí y en otras partes de las primeras son iguales, y el ángulo exterior AHD es igual
ocho proposiciones, hemos reconstruido al ángulo interior HTZ, y los dos ángulos
varios diagramas con ángulos rectos donde interiores DHT y HTZ son iguales a dos rectos.
no es necesario que lo sean, de acuerdo con anglos.
el espíritu de los diagramas existentes más
Prueba
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
exterior y el interior, son iguales entre sí, o ningún argumento; al-Kūhī puede haber tenido
los dos ángulos interiores son iguales a dos la intención de algo como lo siguiente (las
ángulos rectos, entonces los dos las rectas GD letras se refieren a la figura correspondiente a la
y EZ son paralelas. Proposición 7): Supongamos que dos paralelas
a EZ son las líneas AB y GD, que pasan por T.
Prueba
Traza una perpendicular de T a EZ, cruzando
Si la línea GD no es paralela a la línea EZ, EZ en un nuevo punto H. Entonces ∠GTH =∠
entonces sea paralela a la línea TD. Dado que THZ, pero también ∠ATH = ∠THZ, entonces
la recta AB cae sobre las dos rectas paralelas ∠ATH = ∠GTH, contradiciendo todo-parte.
TD y EZ, los ángulos verticales TDE y DEZ Esto lleva a la siguiente prueba simple de la
son iguales entre sí por la Proposición 5. Pero transitividad de los paralelos.
los ángulos GDE y DEZ también son iguales
entre sí, por lo que el ángulo TDE es igual al
ángulo GDE, el todo a la parte. Esto es una
contradicción, por lo que la línea TD no es
paralela a la línea EZ, y solo la línea GD lo
es, por lo que la línea GD es paralela a EZ. Y
7 ángulo ABD, por la Proposición 5. Y, además,
Si cada una de las líneas AB y GD es paralela el ángulo AGE es igual al ángulo BAG, ya
a la línea EZ, entonces las dos líneas AB y GD que son ángulos alternos. Así, la totalidad del
son paralelas entre sí. ángulo AGD, el ángulo exterior del triángulo
ABG, es igual a los dos ángulos interiores,
Prueba
ABG y GAB. Y, si hacemos común el ángulo
Si no son paralelas entre sí, entonces se AGB, los tres ángulos del triángulo ABG son
encuentran en, digamos, el punto T. Entonces, iguales a los dos ángulos AGD y AGB, que son
dos líneas paralelas a la línea postulada, EZ, iguales a dos ángulos rectos. Y eso es lo que
se han producido a partir de un solo punto, queríamos demostrar.
lo cual es una contradicción. Por lo tanto, las Comentario: (Elementos I.32).
dos líneas AB y GD no se encuentran, por
lo que son paralelas entre sí, y eso es lo que
queríamos probar.
Comentario: (Elementos I.30) Esta proposición
es la culminación de la primera parte del
trabajo, y nunca se usa explícitamente más
adelante.16 9
Si un lado del triángulo ABG, digamos BG, es
igual a un lado del triángulo DEZ, digamos EZ,
SECCIÓN 2: CONGRUENCIA
y dos ángulos del triángulo ABG son iguales a
DE TRIÁNGULO dos ángulos del triángulo DEZ, cada uno con
su correspondiente, siendo [los dos ángulos]
en los lados iguales o en uno de los lados
restantes, entonces los dos lados restantes, AB
y AG, son iguales a los dos lados restantes,
DE y DZ, cada uno a su correspondiente. Y el
triángulo ABG es igual al triángulo DEZ.
Prueba
8 Si los dos ángulos iguales están en los dos
65
Si uno de los lados del triángulo ABG, digamos lados iguales, es decir, el ángulo ABG es igual
BG, se extiende en línea recta hasta el punto D, al ángulo DEZ y el ángulo AGB es igual al
entonces el ángulo exterior AGD del triángulo ángulo DZE, entonces, cuando el triángulo
ABG es igual a los dos ángulos interiores ABG ABG se ajusta al triángulo DEZ y la línea BG a
y GAB que son opuestos a él, y los tres ángulos la línea EZ, y el punto B en el punto E, el punto
del triángulo ABG son iguales a dos ángulos G cae en el punto Z ya que la línea BG es igual
rectos. a la línea EZ, y la línea BA cae en la línea ED,
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
BGD cae sobre dos líneas rectas paralelas, AB en la línea ED, y por tanto son iguales entre sí.
y GE. Así el ángulo exterior EGD es igual al Y AG encaja también en ZD, por lo que son
iguales entre sí. Y el triángulo ABG encaja en el
16. Un argumento faltante dentro de la Proposición 25 triángulo DEZ, por lo que son iguales entre sí.
puede reconstruirse para que se base en la Proposición 7.
Monografías y Traducciones
Y si los dos ángulos iguales no son los de los reducción de Euclides a LAL.17 al-Nayrīzī dice
lados iguales, entonces [en cualquier caso] que la prueba no es suya, pero que él no conoce
los ángulos que están en los lados iguales son al autor [al-Nayrīzī, 1994, 54].
iguales entre sí, ya que los tres ángulos de cada A diferencia de Euclides, al-Kūhī afirma la
triángulo son iguales a dos ángulos rectos. igualdad de los triángulos a lo largo de las
Así que en cualquier caso los dos lados AB proposiciones de congruencia. Esto finalmente
y AG son iguales a los dos lados DE y DZ, le ahorra un argumento que necesitaba Euclides
cada uno a su correspondiente, y el triángulo en I.34 (Proposición 24 de al-Kūhī).
ABG es igual al triángulo DEZ. Y eso es lo que
queríamos demostrar.
Comentario: (Elementos I.26, ALA/AAL) Lo
anterior establece ALA (ángulo-lado-ángulo);
AAL se prueba al notar que los terceros
ángulos también deben ser iguales, ya que por
la Proposición 8 los ángulos en un triángulo
suman dos ángulos rectos, lo que permite una
reducción a ALA. 10
Este es el único uso de al-Kūhī de la técnica Si el lado AB es igual al lado AG del triángulo
de prueba de superposición (aparte de su ABG, entonces el ángulo ABG es igual al
prueba de la Proposición 1, el postulado de ángulo AGB.
Euclides de que todos los ángulos rectos son
Prueba
iguales). Todas las demás congruencias de
triángulos se prueban por reducción a esta u Si no, sea el ángulo ABD igual al ángulo AGB,
otras proposiciones. El enfoque similar de de modo que los ángulos ABD y DAB del
Euclides se ha tomado como evidencia de su triángulo ABD sean iguales a los ángulos AGB
incomodidad con la superposición, pero, como y GAB del triángulo ABG, ya que el ángulo
señala Mueller, la historia es más complicada BAG es común. Y el lado AB es igual al lado
(ver [Mueller, 1981, 21-23]); Euclides usa la AG, y son los dos sobre los que están los
superposición en dos de las tres proposiciones ángulos iguales. Entonces los lados AD y DB
66
de congruencia (I.4, LAL y I.8, LLL) y la son iguales a los lados AB y BG, cada uno a su
reducción en la tercera (I.26, ALA y AAL). El correspondiente. Y el triángulo ABD es igual al
caso de incomodidad con la superposición es triángulo ABG por la Proposición 9, la parte al
más fuerte con al-Kūhī, ya que lo usa solo para todo, lo cual es una contradicción. Entonces, el
ALA. ángulo ABG es igual al ángulo AGB, y eso es
Es difícil juzgar la importancia, si la hay, en el lo que queríamos probar.
reordenamiento de al-Kūhī de las proposiciones Comentario: (Elementos I.5) La ubicación
de congruencia de triángulos (demostrando de este resultado después de la Proposición 9
ALA primero en lugar de LAL de Euclides). permite una demostración mucho más simple
Ciertamente, por accidente o diseño, aumenta que la de Euclides. Aquí, como en otros
el papel del postulado paralelo (para probar lugares, al-Kūhī sigue la práctica de tratar con
AAL). solo uno de los casos posibles, a saber, que
En su comentario sobre los Elementos, al- D yace entre A y G. Sin embargo, la prueba
Nayrīzī proporciona una prueba de esta continúa independientemente de dónde yace
proposición por superposición, una relacionada D.
con la de Al-Kūhī, como alternativa a la
17.La prueba de Al-Nayrīzī asume que el triángulo superpuesto
no encaja y llega a una contradicción de todo-parte.
entonces la línea AB es igual a línea AG. Y eso
es lo que queríamos demostrar.
Comentario: (Elementos I.6).
11
Si el lado AB es mayor que el lado AG del
triángulo ABG, entonces el ángulo AGB,
que subtiende al lado mayor, es mayor que el 13
ángulo ABG, que subtiende al lado menor. Si el ángulo ABG es mayor que el ángulo AGB
del triángulo ABG, entonces el lado AG, que
Prueba
subtiende al ángulo mayor, es mayor que el
Sea AD la línea igual a la línea AG, y únase lado AB, que subtiende al ángulo menor.
DG. Entonces el ángulo BGA es mayor que
Prueba
el ángulo DGA, y el ángulo DGA es igual al
ángulo ADG por la Proposición 10. Por lo Si no, entonces la línea AG es igual a la línea
tanto, el ángulo BGA es mayor que el ángulo AB o es más pequeña que ella. Y si es igual a
ADG, y el ángulo ADG es mayor que el ángulo él, entonces el ángulo ABG es igual al ángulo
ABG por la Proposición 8. Entonces el ángulo AGB por la Proposición 10. Y si es más
BGA es mucho mayor que el ángulo ABG. Y pequeño que él, entonces [el ángulo ABG]
eso es lo que queríamos demostrar. es más pequeño que él [ángulo AGB] por la
Comentario: (Elementos I.18) La prueba es Proposición 11. Y esto es una contradicción,
idéntica a la de Euclides, excepto que al-Kūhī entonces la línea AG es mayor que la línea AB.
puede confiar en su Proposición 8 (Elementos Y eso es lo que queríamos demostrar.
I.32) en lugar de la más débil I.16 de Euclides. Comentario: (Elementos I.19).
67
12 14
Si el ángulo ABG es igual al ángulo AGB del Si dos lados, AB y AG, del triángulo ABG son
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
triángulo ABG, entonces el lado AB es igual iguales a dos lados, ED y DZ, del triángulo
al lado AG. DEZ, cada uno a su correspondiente, es decir,
AB a DE y AG a DZ, y el ángulo BAG es igual
Prueba
al ángulo EDZ, entonces el lado restante BG es
LAS MATEMÁTICAS
Si no, entonces uno de los dos lados AB y AG igual al lado restante EZ, y los ángulos ABG
es mayor que el otro, entonces uno de los dos y AGB a los ángulos DEZ y DZE, cada uno
ángulos ABG y AGB es mayor que el otro, por a su correspondiente, y el triángulo ABG al
la Proposición 11. Y esto es una contradicción, triángulo DEZ.
Monografías y Traducciones
Prueba EH, que es igual a la línea BG, es mayor que
la línea EZ, por la Proposición 13. Entonces la
Si el ángulo ABG es igual al ángulo DEZ línea BG es mayor que la línea EZ. Y eso es lo
entonces la línea BG es igual a la línea EZ, y el que queríamos demostrar.
ángulo restante es igual al ángulo restante por Comentario: (Elementos I.24).
la Proposición 9. Y si no es igual entonces el
que es igual es el ángulo DEH. Y así, como los
ángulos ABG y BAG son iguales a los ángulos
HED y EDH, cada uno a su correspondiente, y
el lado AB es igual al lado DE, entonces la recta
DH es igual a la recta AG, por la Proposición 9.
Y la recta AG es igual a línea DZ, y así la línea 16
DH es igual a la línea DZ, la parte al todo. Y Si dos lados del triángulo ABG, AB y AG, son
esto es una contradicción, entonces el ángulo iguales a dos lados del triángulo DEZ, cada
ABG es igual al ángulo DEZ. Y así la línea BG uno a su correspondiente, es decir, AB a DE y
es igual a la línea EZ, y el ángulo restante es AG a DZ, y el lado restante BG es igual al lado
igual al ángulo restante, y el triángulo ABG restante EZ, entonces el ángulo BAG es igual
al triángulo DEZ. Y eso es lo que queríamos al ángulo EDZ.
demostrar.
Comentario: (Elementos I.4, SAS). Prueba
Si no, entonces uno de los dos ángulos BAG y
EDZ es mayor que el otro, por lo que una de las
dos rectas BG y EZ es mayor que la otra, por
la Proposición 15. Esto es una contradicción,
entonces el ángulo BAG es igual al ángulo
EDZ, y eso es lo que queríamos demostrar.
Comentario: (Elementos I.8, SSS).
15
68
Prueba
Sean ABDE y BZHG los dos cuadrados de AB
y BG. Entonces la línea GBD es recta, por la
Proposición 3, y la línea ABZ también es recta.
Y deje que las líneas AE, ED, HZ y HG se
18 unan en los dos puntos T y K si se prolongan
En el triángulo ABG, cada par de lados, en líneas rectas. Y [sea] cada una de las líneas
digamos AB y BG, es mayor que el lado EL y KM igual a la línea AT, y cada una de
restante, AG. las líneas AL, LM, MG y DZ estén unidas.
Entonces, dado que el ángulo BAG es igual al
ángulo AGT, dado que la línea AB es paralela a
la línea GT, y de manera similar el ángulo BGA
[es igual] al ángulo GAT, la línea AT es igual a
la línea BG por la Proposición 9. Entonces la
línea EAT es igual a la línea DBG, y de manera
similar la línea EDK es igual a la línea ABZ,
y así las cuatro líneas TE, EK, KH y HT son
iguales, ya que la línea AZ es igual a la línea
DG. Y el ángulo ABG es igual al ángulo ATG,
por lo que el ángulo ATG es recto. Y el ángulo
Prueba
DEA es correcto. Análogamente, los ángulos
Sea la línea BD igual a la línea BG y extendida DKZ y ZHG [son rectos]. Y el triángulo ABG
69
en AB. Sea GD unido, por lo que el ángulo es igual al triángulo ATG, y del mismo modo
AGD es mayor que el ángulo BGD. Y el el triángulo DBZ al triángulo DKZ, y también,
ángulo BGD es igual al ángulo BDG, por la dado que la línea AB es igual a la línea DB, y
Proposición 10. Y así el ángulo AGD es mayor la línea BG es igual a la línea BZ, y el ángulo
que el ángulo ADG. Así la línea AD, es decir, ABG es igual al ángulo DBZ, entonces el
las dos líneas AB y BG, es mayor que la línea triángulo ABG es igual al triángulo DBZ, por
AG, por la Proposición 13, y así las dos líneas la Proposición 14. Y así los cuatro triángulos
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
AB y BG son mayores que la línea AG. Y eso ATG, ABG, DBZ y DKZ son iguales, y son
es lo que queríamos demostrar. cuatro veces el triángulo AGT. Además, como
Comentario: (Elementos I.20). la línea GT es igual a la línea AE y la línea
TA es igual a la línea EL, y el ángulo GTA es
LAS MATEMÁTICAS
18. Como Euclides (en griego) antes que él, al-Kūhī usa
una construcción que involucra la preposición árabe para
“desde” para denotar lo que llamamos el cuadrado “sobre”
un segmento de línea.
Monografías y Traducciones
igual al ángulo AEL, dado que cada uno de GT (implícitamente por la Proposición 6)19
ellos es recto, entonces la línea AG es igual a tenemos (por la Proposición 5) ∠ BAG = ∠
la línea AL, y de manera similar las dos líneas AGT, y de manera similar ∠ BGA = ∠GAT.
LM y MG. Y así las cuatro líneas AL, LM, Entonces, por la Proposición 9 (ASA aplicado
MG y GA son iguales. Y el ángulo GAT es a< ABG y < GTA, ya que comparten un lado
igual al ángulo ALE. Pero el ángulo ALE con común AG), concluimos que AT = BG.
el ángulo EAL es igual a un ángulo recto, ya Así segmento ET = DG y (de manera similar)
que el ángulo AEL es recto. Así el ángulo GAT EK = AZ.
con el ángulo EAL es recto, y con el ángulo Por lo tanto, dado que AZ = DG tenemos TE
GAL es igual a dos ángulos rectos. Por lo tanto, = EK = KH = HT (combinando las igualdades
el ángulo GAL es recto y, de manera similar, anteriores y presumiblemente apelando a la
los ángulos ALM, LMG y MGA [son rectos]. simetría para KH y HT).
Así, el área ALMG es el cuadrado de AG. Y Ahora ∠ ABG = ∠ ATG (por la Proposición
el triángulo GAT es igual al triángulo AEL y, 9 como se aplica arriba). Dado que ∠ABG
de manera similar, los triángulos LKM y MHG es correcto, también lo es < ATG; y < DEA
[son iguales]. Entonces, los cuatro triángulos tiene razón por definición. Del mismo modo,
GTA, AEL, LKM y MHG son iguales, y también lo son < DKZ y ∠ ZHG.20
[juntos] son cuatro veces el triángulo GTA. Y, Ahora ∆ ABG = ∆ ATG, y de manera similar ∆
con el cuadrado ALMG, [ellos] son iguales al DBZ = ∆ DKZ. Además, dado que AB = DB,
rectángulo EKHT. Pero el área EKHT es igual BG = BZ y ∠ ABG = ∠ DBZ (implícitamente
a los dos cuadrados ABDE y BZGH y cuatro por la Proposición 4), entonces por la
veces el triángulo GAT. Entonces el cuadrado Proposición 14 (SAS) ∆ ABG = ∆ DBZ.
ALMG con cuatro veces el triángulo AGT es Por lo tanto, los cuatro triángulos son iguales,
igual a los dos cuadrados AEDB y BZHG con y combinados son 4 · ∆ AGT.
cuatro veces el triángulo AGT. Y quitamos el Además, dado que GT (= AB) = AE, TA =
término común, cuatro veces el triángulo AGT, EL y ∠ GTA = ∠ AEL (ya que ambos tienen
y queda el cuadrado ALMG sobre AG, igual a razón), entonces AG = AL (implícitamente por
los dos cuadrados, AEDB y BZGH, sobre las la Proposición 14, SAS), y de manera similar
70
SECCIÓN 4:
PARALELOGRAMOS
23
22
Si los dos lados AB y GD del área ABGD son
Si el cuadrado del lado AB del triángulo ABG
dos paralelos iguales, entonces los dos lados
es igual a los dos de los dos lados restantes, BG
AD y BG también son dos paralelos iguales.
y GA, entonces el ángulo BGA es recto.
Prueba
Prueba
Sea unida la línea AG. Entonces, como la línea
Si no es así, sea recto el ángulo BGD, y la línea
AB es igual a la línea GD, y AG es común,
GD igual a la línea GA, y BD unido. Entonces
y los dos ángulos BAG, AGD son iguales (ya
el cuadrado de BD es igual a los cuadrados de
que las dos líneas AB, GD son paralelas), la
BG, GD por la Proposición 19, es decir, los
base AD es igual a la base BG por Proposición
14. Y el ángulo DAG es igual al ángulo AGB, adicional afirmando que ∆ ABG = ∆ AGD, ya
por lo que la recta AD es paralela a la recta BG que en la Proposición 9 (ASA) él (a diferencia
por la Proposición 6. Y las dos son iguales. Y de Euclides) había afirmado que los dos los
eso es lo que queríamos demostrar. triángulos son iguales.
Comentario: (Elementos I.33) El tratamiento
de Euclides de los paralelogramos depende
de esta proposición; él no define los
paralelogramos y solo los menciona después de
que este resultado le da esa autoridad. Aunque
al-Kūhī habla aquí de “áreas” mientras que
Euclides no lo hace, al-Kūhī sigue la secuencia
de resultados de Euclides.
25
Si el área ABGD es un paralelogramo y su
diámetro es DB, y alrededor de sus dos lados
están los dos paralelogramos AEZT y HZKG,
entonces los dos son iguales entre sí.
Prueba
24
Si el área ABGD es un paralelogramo,24 y su El triángulo ABD es igual al triángulo DBG por
diámetro es AG, entonces cada uno de sus dos la proposición anterior, y el triángulo DTZ es
lados opuestos o ángulos son iguales entre sí, igual al triángulo DZH, y el triángulo EBZ es
y se divide por el diámetro AG en dos mitades. igual al triángulo ZBK. Y así los dos triángulos
DTZ, EBZ son iguales a los dos triángulos
Prueba
DZH, ZBK. Y así queda el paralelogramo
El ángulo BAG es igual al ángulo AGD ya que AEZT igual al paralelogramo HZKG. Y eso es
AB, GD son paralelos entre sí y el ángulo DAG lo que queríamos demostrar.
también es igual al ángulo AGB. Entonces, los Comentario: (Elementos I.43)
dos ángulos BAG, AGB del triángulo ABG
73
son iguales a los dos ángulos DAG, AGD del
triángulo AGD. Y el lado AG es común a los
dos triángulos, por lo que la línea AD es igual
a la línea BG. Y AB es igual a DG, y el ángulo
restante ABG es igual al ángulo restante ADG.
Y el triángulo ABG es igual al triángulo ADG
de la Proposición 9. Y el ángulo BAD es igual
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
prueba de al-Kūhī es la misma que la de paralelas AZ y BG, entonces las dos son
Euclides, él puede evitar un argumento iguales entre sí.
Prueba
Unamos las líneas EB, TG, que son iguales y
paralelas por la Proposición 23. Entonces el
área EBGT es un paralelogramo, y es igual
al paralelogramo ABGD, ya que los dos 29
están en la base BG. Y de manera similar, el Si las áreas ABGD y EZHT son paralelogramos
paralelogramo EBGT es igual al paralelogramo iguales en bases iguales, BG y ZH, entonces
EZHT, ya que los dos están en la base ET. Y las líneas DE y GZ son paralelas.
entonces el paralelogramo ABGD es igual
al paralelogramo EZHT. Y eso es lo que Prueba
queríamos demostrar. Si no es así, que la línea DLK sea paralela a la
Y de esto se puede probar que los triángulos línea GZH. Y así las áreas ABGD, LZHK son
sobre bases iguales y entre dos líneas paralelas iguales, de la Proposición 27. Pero, las áreas
son iguales, ya que son mitades de los ABGD, EZHT son iguales entre sí, entonces
el área LZHK es igual al área EZHT, la parte FIG. 2. ESTRUCTURA
al todo. Y esto es una contradicción, por lo que LÓGICA DE LA SECCIÓN II.
las líneas DE, GZ son paralelas entre sí. Y eso
8
es lo que queríamos demostrar.
Y podemos probar eso también acerca de los
9
triángulos si son como los describimos [para
los paralelogramos]. 10
Comentario: (No está en Elementos I)
Las Proposiciones 28, 29, contrarias a la 11
Proposición 27, no aparecen en el Libro
de Elementos I, aunque la Proposición 28 14 13 12
es una consecuencia inmediata de VI.1. La 15
Proposición 29 requiere la condición adicional 18
de que BG y ZH se encuentran en la misma 17 16
línea. Además, al-Kūhī asume tácitamente que
K se encuentra en TH y L en EZ. FIG. 3. ESTRUCTURA
Y alabado sea solo Allah, y que Allah bendiga LÓGICA DE LA SECCIÓN III.
a nuestro Señor Muḥammad ya su Familia y
a sus Compañeros. Copiado el lunes por la 19
noche, 17 del sagrado mes de Muḥarram,
1154.25
Las figuras 1, 2, 3 y 4 muestran las conexiones
20 22
lógicas entre las proposiciones en cada una de
las cuatro secciones del trabajo de al-Kūhī.
Describen las relaciones internas de cada
sección, no los vínculos entre las secciones. 21
En estas figuras, una flecha de una proposición
a otra significa que la prueba de la última FIG. 4. ESTRUCTURA
proposición usa la primera. Las líneas sólidas LÓGICA DE LA SECCIÓN IV.
indican usos de proposiciones que se hacen
24 23
explícitos en el texto; las líneas discontinuas
75
indican usos implícitos de las proposiciones.
FIG. 1. ESTRUCTURA 25 26
27
LÓGICA DE LA SECCIÓN I.
28 29
2
3 Agradecimientos
4
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
Postulado
Paraldo Agradecemos la asistencia del profesor
5
David King, por poner a nuestra disposición
una copia del manuscrito del tratado; a los
profesores Gregg de Young y Muhammad
LAS MATEMÁTICAS
6
Bagheri, por su asesoramiento y ayuda en el
examen de los manuscritos; A. A. Hannawi,
Postulado
de Playfair
por su ayuda en la preparación de una edición
preliminar del texto árabe; ambos árbitros, por
7
Monografías y Traducciones
76
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
LAS MATEMÁTICAS
77
Monografías y Traducciones
78
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
LAS MATEMÁTICAS
79
Monografías y Traducciones
80
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
LAS MATEMÁTICAS
81
Monografías y Traducciones
82
REFERENCIAS
Berggren, L.J. (2003). Tenth-century mathematics through the eyes of Abū Sahl al-
Kūhī. En Hogendijk, Abdelhamid I. Sabra (Eds.), The Enterprise of Science in Islam:
New Perspectives, MIT Press, Cambridge, MA (2003), pp. 177-196.
Berggren, L.J. - Van Brummelen, Glen R. Dold-Samplonius, Y. (1975). Al-Qūhī (or
(2000a). Abū Sahl al-Kūhī’s “On the Ratio of al-Kūhī), Abū Sahl Wayjan ibn Rustam. En
the Segments of a Single Line that Falls on Three Dictionary of Scientific Biography, vol. 11
Lines”. Suhayl, 1 (2000), pp. 11-56. (1975), pp. 239-242.
Berggren - Van Brummelen, Glen R. (2000b). Euclides (1991). Elementos (Vol.I). Madrid:
The role and development of geometric analysis Gredos.
and synthesis in ancient Greece and medieval Euclides (1996). Elementos (Vol. II). Madrid:
Islam. En Suppes, J. Moravcsik, H. Mendell Gredos.
(Eds.), Ancient and Medieval Traditions in the Euclides (1956). The Thirteen Books of
Exact Sciences: Essays in Memory of Wilbur the Elements. 3 vols. Traducción Thomas L.
Knorr, CSLI Publications, Stanford, CA (2000), Heath. Nueva York: Dover.
pp. 1-31. Kennedy, E.S. (1991–1992). Transcription of
Berggren, L.J. - Van Brummelen, Glen R. Arabic letters in geometric figures. Zeitschrift
(2001). Abū Sahl al-Kūhī’s “On Drawing Two für Geschichte der Arabisch–Islamischen
Lines from a Point at a Known Angle”. En Suhayl, Wissenschaften, 7 (1991–1992), pp. 21-22.
2 (2001), pp. 161-198. King, D. A. (1981–1986). A Catalogue of
Berggren, L.J. - Van Brummelen, Glen R. the Scientific Manuscripts in the Egyptian
(2002–2003). From Euclid to Apollonius: Al- National Library General Egyptian Book
Kūhī’s lemmas to the Conics. En Zeitschrift Organization/American Research Center/
für Geschichte der Arabisch–Islamischen Smithsonian Institution, El Cairo (1981, 1986)
Wissenschaften, 15 (2002–2003), pp. 165-174. 2 vols. [En Arabic.].
Brentjes, S. (1992). Der Tābit b. Qurra Loomis, E.S. (1968). The Pythagorean
zugeschriebene Zusatz I,462 zu Euklid I,46. En Proposition. Reimpresión del segundo de
MS Leiden 399,1. S. Demidov, M. Folkerts, D. 1940. ed. National Council of Teachers of
Rowe, C. Scriba (Eds.), Amphora. Festschrift Mathematics, Ann Arbor.
für Hans Wussing zu seinem 65. Geburtstag, Mueller, I. (1981). Philosophy of Mathematics
Birkhäuser, Basel (1992), pp. 91-120. and Deductive Structure in Euclid’s Elements.
Crozet, P. (1997). Al-Sijzī et les Éléments Cambridge: MIT Press.
d’Euclide: Commentaires et autres démonstrations al-Nayrīzī, (1994). The Latin Translation of
83
des propositions A. Hasnawi, A. Elamrani- Anaritius’ Commentary on Euclid’s Elements
Jamal, M. Aouad (Eds.), Perspectives Arabes of Geometry Books I–IV. Ed. de P.M.J.E.
et Médiévales sur la Tradition Scientifique et Tummers Ingenium, Nijmegen.
Philosophique Grecque, Peeters Éditions/Institut Proclo (1970). A Commentary on the First
de Monde Arabe, Leuven/París (1997), pp. 61-77. Book of Euclid’s Elements. Traducción Glenn
De Young, G. (1991–1992). Abū Sahl’s additions R. Morrow. Princeton: Press, Princeton Univ.
to Book II of Euclid’s Elements. Zeitschrift Rosenfeld, B.A. - Ihsanoğlu, E. (2003).
LA FILOSOFÍA ÁRABE - ISLÁMICA DE
al-Samarqandī: A translation and study Zeitschrift Islamic History, Art and Culture (IRCICA).
für Geschichte der Arabisch–Islamischen Sezgin, F. (1974). Geschichte des arabischen
Wissenschaften, 14 (2001), pp. 57-117. Schrifttums, vol. V. Mathematik. Leiden: Brill.
Biografía de filósofos islámicos
Bijan Vahabzadeh1
Traducción: Karen Martínez García
Han llegado a nosotros tres tratados matemáticos de ʾUmar al-Jayyām: (I) un comentario sobre los
Elementos de Euclides; (II) un ensayo sobre la división del cuadrante de un círculo; (III) un tratado
de álgebra; también escribió (IV) el tratado sobre la extracción de la radicación de los números, del
cual no existen copias.
EL COMENTARIO SOBRE líneas paralelas como “líneas en un solo
plano que ni convergen ni divergen, pero
LOS ELEMENTOS DE EUCLIDES tienen todas las perpendiculares iguales que
El comentario de al-Jayyām sobre las se dibujan a una de ellas desde puntos en el
dificultades de ciertos postulados de la obra otro” (Proclo, p. 138), es decir, como rectas
de Euclides (Resāla fi šarḥ mā aškala men equidistantes. Proclo también menciona un
moṣādarāt ketāb Oqlides) se completó a intento de Ptolomeo de probar la Proposición
fines de diciembre de 1077. En este tratado I.29 de los Elementos, la primera proposición
al-Jayyām pretende enmendar y rectificar lo en la que Euclides había hecho uso del
que considera que son las dificultades más Postulado de las Paralelas, pero sin recurrir a
importantes encontradas. en los Elementos él. Proclo mismo intenta probar este postulado.
de Geometría, o simplemente los Elementos, Él dice que cualquiera que quiera probarlo
una obra en trece libros atribuida a Euclides de “debe aceptar de antemano un axioma como
Alejandría. La primera parte del comentario el que Aristóteles [De Caelo 1.5.271b 28 ss.]
de al-Jayyām trata de la teoría de las líneas usó para establecer la finitud del cosmos: si
paralelas, la segunda de los conceptos de de un solo punto salen dos líneas rectas que
razón y proporcionalidad, y la tercera de la forman un ángulo producido indefinidamente,
composición de razones. el intervalo entre ellas cuando se produce
Teoría de las paralelas. Euclides (Oqlides) indefinidamente excederá cualquier magnitud
había expuesto la teoría de las paralelas en el finita” (Proclo, p. 291). Por medio de este
primer libro de los Elementos. En él definió axioma, Proclo puede entonces demostrar el
las líneas paralelas como “líneas rectas que, Postulado de las Paralelas, pero suponiendo
estando en el mismo plano y produciéndose que la distancia entre dos líneas paralelas es
indefinidamente en ambas direcciones, no de una magnitud finita.
se encuentran entre sí en ninguna dirección” En un pasaje conservado en el comentario
(Heath, I, p. 154). Sin embargo, una parte de Abu’l-ʿAbbās Fażl b. Ḥātem Nayrizī (865
importante de la teoría se basaba en una – 922) sobre los Elementos, el filósofo y
afirmación que Euclides había postulado comentarista griego Simplicio (primera mitad
al comienzo del mismo libro, a saber, el del siglo VI) cita una prueba del Postulado
Postulado de las Paralelas: “Que, si una recta de las Paralelas hecha por su colega Aḡānis,
que yace sobre dos rectas forma los ángulos posiblemente el filósofo ateniense Agapio,
85
interiores sobre el mismo lado menor que quien estudió las doctrinas aristotélicas y
dos ángulos rectos, las dos líneas rectas, si se neoplatónicas en Constantinopla hacia 511
producen indefinidamente, se encuentran en (Lo Bello, pp. 224-29). Aḡānis primero define
el lado en el que están los ángulos menores líneas paralelas como “aquellas en un plano
que los dos ángulos rectos” (Heath, I, p. 155). [tales que] si se extienden con una extensión
Durante casi dos mil años, los matemáticos no sin fin, sin límite, en ambas direcciones,
juntas, la distancia que hay entre ellas es
UMAR AL-JAYYĀM COMO MATEMÁTICO
En el tratado sobre “El hecho de que dos nociones mismas de línea recta y de ángulo
líneas producidas según menos de dos ángulos rectilíneo; porque una vez que estas premisas
rectos se encontrarán (Fi anna al-ḵaṭṭayn eḏā se toman como necesariamente verdaderas,
oḵrejā elā aqall men zāwiatayn qāʾematayn el- entonces el geómetra puede admitirlas sin
taqayā), Ṯābet b. Qorra introduce el concepto prueba. Estas premisas son: (1) Dos rectas
de movimiento. En particular, admite como que se cortan divergirán alejándose del punto
principio que cualquier punto de un sólido de intersección (Proclo ya había recurrido a
que se mueva según una traslación uniforme esta premisa, atribuyéndola explícitamente a
y rectilínea describirá una línea recta. Aristóteles). (2) Dos líneas rectas convergentes
Esto le permite producir dos líneas rectas se intersecarán. (3) Dos rectas convergentes
equidistantes (Jaouiche, pp. 22-23, 45-56, no pueden divergir mientras van hacia la
145-60; Houzel, p. 171). convergencia y viceversa. ʾUmar al-Jayyām
Abu ‘Ali Hasan b. Hasan b. Hayṯam (muerto también asume (mientras prueba la tercera
después de 432/septiembre de 1040) define proposición) que las líneas paralelas son
líneas rectas paralelas a través del concepto equidistantes; pero como no da explicación
de equidistancia. Para lograrlo, intenta alguna, es difícil saber si toma esto como una
probar que, si una recta finita se mueve consecuencia obvia de la segunda premisa, o si
considera, como algunos de sus predecesores, contradicción suponiendo que estos ángulos
que “paralelo” y “equidistante” son sinónimos son obtusos. Por lo tanto, los ángulos ACD,
(Rashed y Vahabzadeh, 2000, pp. 185, 224). BDC serán necesariamente ángulos rectos.
Cabe señalar a este respecto que, desde Ahora puede probar fácilmente la Proposición
el punto de vista de Jayyām, el hecho de I.29 de los Elementos, así como el Postulado
que las premisas segunda y tercera sean de las Paralelas (Rashed y Vahabzadeh,
matemáticamente equivalentes al postulado 2000, pp. 185-86, 226-30). Jayyām finaliza
que pretende probar no es un problema en esta parte de su tratado explicando que las
absoluto. Umar al-Jayyām no se preocupa ocho proposiciones que acaba de probar
realmente por cuestiones de equivalencia deben tomar el lugar de la Proposición I.29
matemática; más bien le preocupa el hecho de los Elementos, omitiendo, sin embargo,
de que la segunda y tercera premisas son todas las consideraciones filosóficas que
consecuencias inmediatas de los conceptos ha desarrollado, ya que estas pertenecen
de línea recta y ángulo rectilíneo, mientras propiamente a la ciencia de la metafísica, no
que el Postulado no lo es; y es por esto que de la geometría (Rashed y Vahabzadeh, 2000,
el Postulado debe, en su opinión, probarse a pp. 186, 233).
través de ellos. Aproximadamente dos siglos después, Naṣir-
La esencia de la argumentación de ʾUmar al-Dīn Ṭusī retomó en parte las ideas de al-
al-Jayyām se encuentra en la prueba de Jayyām en dos tratados (al-Resāla šāfia; Taḥrir
la tercera proposición. En él considera Oqlides): uno es el tratado que disipa la duda
(Figura 1) un cuadrilátero ABCD, en el que sobre las líneas paralelas, que está dedicado
los lados AC y BD son iguales entre sí y a la prueba del Postulado de las Paralelas y
ambos perpendiculares a la base AB. Como contiene extensos pasajes de la prueba de
consecuencia de la primera proposición que Jayyām; el otro es la Redacción de Euclides,
acababa de demostrar, los ángulos ACD y un tratado dedicado a los Elementos de
BDC serán entonces iguales entre sí. Euclides en su totalidad.
Todavía se pueden encontrar rastros de
la prueba de Jayyām del postulado de las
paralelas hasta el siglo XVIII. En las primeras
proposiciones de su Euclides vindicatus
(Euclides libre de toda mancha), el matemático
87
jesuita Girolamo Saccheri (1667-733)
considera el mismo cuadrilátero ABCD, ahora
conocido como el “cuadrilátero de Saccheri”,
así como los tres casos posibles respecto a
sus ángulos iguales ACD, BDC, que Saccheri
denomina, respectivamente, hipótesis del
Luego examina sucesivamente los tres casos ángulo recto, hipótesis del ángulo agudo e
UMAR AL-JAYYĀM COMO MATEMÁTICO
posibles, a saber, que los ángulos ACD, BDC hipótesis del ángulo obtuso.
sean ambos rectos, ambos agudos o ambos Conceptos de razón y proporcionalidad.
obtusos. Primero prueba que, si se supone Euclides había expuesto en el Libro V de los
que estos ángulos son agudos, entonces se Elementos la teoría de la proporción aplicable
obtendrán dos líneas rectas que cortan otra a todo tipo de magnitudes (líneas, superficies,
línea recta en ángulo recto y divergen a ambos sólidos, tiempo). Toda la teoría se basaba en
lados de esta línea recta; y esto contradice la las definiciones que se encuentran al comienzo
tercera premisa. Asimismo, se llegará a una del Libro, de las cuales las dos siguientes
Biografía de filósofos islámicos
desempeñarían un papel destacado: “3. Una los matemáticos desentrañar su intención.
razón es una especie de relación con respecto Finalmente, aunque se pretendía definir el
al tamaño entre dos magnitudes del mismo concepto de “misma razón”, la exposición de
tipo. 5. Se dice que las magnitudes están en Euclides no permitía establecer una relación
la misma razón, la primera a la segunda y entre la Definición V.3 y la Definición V.5
la tercera a la cuarta, cuando, si alguna es (Vahabzadeh, 2002, pp. 10-11).
equimúltiplo (uno de los productos que resultan No nos ha llegado ningún comentario
de la multiplicación de dos o más valores por griego sobre la Definición V.5 (Euclides
el mismo valor) de la primera y la tercera, de Alejandría, II, 1994, pp. 539-43); sin
y cualquier equimúltiplo de la segunda y la embargo, la situación es bastante diferente
cuarta, la primera los equimúltiplos iguales con respecto a las matemáticas árabes.
exceden, son iguales o no alcanzan a los últimos De hecho, esta Definición ha dado lugar
equimúltiplos respectivamente tomados en el a numerosos comentarios en árabe, cuyo
orden correspondiente” (Heath, II, p. 114). objetivo era o justificarla mediante una
Lo que debe tenerse en cuenta con respecto a prueba, o bien sustituirla por otra definición
la Definición V. 3 es que el significado de las conocida como “definición antifairética
palabras “una especie de relación con respecto (sustracción alterna) de la misma proporción”
al tamaño” no se explica en ninguna parte (ver, p. ej., Plooij, pp. 48-56, 61-66). Esta
de los Elementos. Esto planteó un problema última definición consistía en aplicar a dos
en cuanto a cómo deberían interpretarse, en magnitudes homogéneas un proceso conocido
particular la palabra griega pēlikotēs, que se habitualmente como algoritmo euclidiano,
traduce de diversas formas como “tamaño”, pero que los historiadores también denominan
“valor” o “cantidad”. antifairesis (ανθυφαίρεςη) por una palabra
La Definición V.5 fue la piedra angular de griega que significa “sustracción alterna”,
la teoría, ya que podía aplicarse a todas “sustracción recíproca”. Más precisamente,
las magnitudes, fueran conmensurables dadas dos magnitudes homogéneas, la menor
o inconmensurables, a diferencia de la magnitud se resta de la mayor un cierto
definición alternativa de proporcionalidad que número de veces, hasta llegar a un resto menor
se encuentra en el Libro VII de los Elementos, que la menor magnitud. Luego, este resto se
88
que, en sentido estricto, se aplicaba solo a resta de la magnitud menor un cierto número
números pero podría extenderse fácilmente de veces, hasta que se llega a un segundo resto
a magnitudes conmensurables, a saber, menor que el primer resto. Luego se procede
la Definición VII.20: “Los números son de la misma manera con cada par de residuos
proporcionales cuando el primero es el mismo consecutivos. La secuencia de números
múltiplo, o la misma parte, o las mismas naturales así obtenida puede entonces
partes, del segundo que el tercero es del considerarse como una “característica” de
cuarto” (Heath, II, pág. 278). la relación de las dos magnitudes. Ahora
La Definición V. 5 planteó algunos problemas. bien, si la razón de otro par de magnitudes
En primer lugar, la comparación de múltiplos homogéneas se caracteriza por la misma
de magnitudes no parecía tener ninguna secuencia de números, entonces se dice que las
relación clara y definida con el concepto de cuatro magnitudes están en la misma razón, es
proporcionalidad. En segundo lugar, Euclides decir, serán proporcionales (ver, por ejemplo,
no dio ninguna indicación sobre cómo se había Plooij, pp. 57- 60). Por ejemplo, supongamos
concebido o establecido esta definición, por lo que AB y CD (Figura 2) son dos magnitudes
que no se pudo encontrar nada relevante dentro homogéneas. Supongamos que AB mide
de los Elementos mismos que permitiera a CD una vez, quedando ED menor que AB;
que ED mide AB tres veces, quedando FB antifarético o de sustracción alterna para
menor que ED; y que FB mide ED dos veces, encontrar la medida común máxima de dos
dejando a GD menor que FB. Si procedemos números y de dos magnitudes conmensurables
de la misma manera con cada par de residuos (Elementos, Proposiciones VII.2 y X.3).
sucesivos, este proceso dará como resultado la También lo utilizó como criterio para probar
sucesión 1, 3, 2, ... que dos números son primos entre sí y
que dos magnitudes son inconmensurables
(Proposiciones VII.1 y X.2); él, sin embargo,
no usó este proceso para definir magnitudes
proporcionales. En Temas VIII.3. 158b 29-
35, Aristóteles afirma: “Parece que también
en matemáticas algunas cosas no se prueban
Considere también KL y MN (Figura 3) fácilmente por falta de una definición,
como otro par de magnitudes homogéneas. como la proposición de que la línea recta es
Suponemos que KL mide MN una vez, paralela al lado que corta el plano [es decir,
quedando ON menor que KL; que ON mide el paralelogramo] divide de la misma manera
KL tres veces, quedando PL menor que ON; tanto la línea como el área. Pero cuando se
y que PL mide ON dos veces, quedando QN enuncia la definición, lo que se enunció se
menor que PL, y se procede de la misma vuelve inmediatamente claro. Pues las áreas y
manera con cada par de residuos sucesivos. las rectas tienen la misma sustracción alterna
Ahora bien, si el proceso aplicado a KL y MN (antanairesis); y esta es la definición de la
produce la misma secuencia 1, 3, 2..., entonces misma proporción” (Thomas, I, p. 507). En
se dice que la relación de AB a CD es la misma su comentario sobre este pasaje, Alejandro
que la relación de KL a MN. de Afrodisias (n. siglo II) agrega: “Pues la
definición de proporciones que usaban los
de la antigüedad es esta: las magnitudes que
tienen la misma resta alterna (antifairesis) son
proporcionales. Pero él [es decir, Aristóteles]
ha llamado a la antifairesis antanairesis
[ανθυφαίρεςη ανταναίρεςη]” (Thomas, I,
Como señalaron algunos historiadores (Plooij, p. 507). Muchos historiadores consideran
89
p. 63; Gardies, pp. 80-81, 90-91; Vahabzadeh, esto como evidencia de la existencia en las
1997, pp. 253-57), una de las características matemáticas pre-euclidianas de una definición
de la definición antifairética (sustracción de magnitudes proporcionales basada en la
alterna) de la misma proporción es que, a antifairesis, y algunos han intentado reconstruir
diferencia de la Definición V.5 de Euclides, tal teoría pre-euclidiana de la proporción; sin
permite que cada uno de los cocientes que embargo, no se ha encontrado ningún rastro
componen una proporción sean considerados de esta definición antifairética en ningún texto
UMAR AL-JAYYĀM COMO MATEMÁTICO
independientemente de los demás, lo cual matemático griego existente (p. ej., véase
es necesario para dar sentido al concepto Fowler, 1999 a; Euclide d’Alexandrie, II, pp.
de cociente en sí mismo, en particular por 515-23; y especialmente Vitrac, 2002, pp.
considerar un cociente entre dos magnitudes 158-74).
cualesquiera como un número (ver más abajo, El primer texto matemático en el que se
Composición de proporciones y números menciona explícitamente la definición
irracionales). antifairética de la misma proporción es
Euclides ya había utilizado el proceso el Tratado sobre la dificultad relativa a la
Biografía de filósofos islámicos
proporción (Resāla fi’l-moškel men amr razón de 3 a 9 será un tercio; igualmente 2 es
al-nesba) de Abu ʿAbd-Allāh Moḥammad dos séptimos de 7, y el tamaño de la razón de
b. ʿĪsā b. Aḥmad Māhāni (m. 247/860). 2 a 7 será dos séptimos. Cuando uno considera
En él, Māhāni considera la relación de dos este concepto con respecto a las magnitudes,
magnitudes homogéneas como el estado que encontrará, además de las tres posibilidades
ocurre en cada magnitud cuando se mide por anteriores, una cuarta, a saber, que las dos
la otra. Siguiendo una directiva de Ṯābet b. magnitudes pueden ser inconmensurables, de
Qorra, caracteriza esta medida por medio del modo que la menor no sea ni parte de la mayor
proceso antifairético; entonces, dos razones ni partes (Rashed y Vahabzadeh, 2000, págs.
serán iguales si este proceso produce la misma 188, 234-35).
secuencia de números cuando se aplica a cada Luego recuerda la Definición V.5 de Euclides
par de magnitudes (ver arriba). Māhāni también y agrega: “Pero esto no manifiesta (yonabbeʾ
establece una definición de mayor proporción ʿan) la verdadera proporcionalidad. ¿No ves
basada en la antifairesis. Luego demuestra que que si un interrogador pregunta diciendo:
sus definiciones de misma razón y de mayor ¿cuatro magnitudes son proporcionales según
razón son equivalentes a la Definición V.5 y la proporcionalidad euclidiana, y la primera
la Definición V.7 (la definición de Euclides de es la mitad de la segunda, la tercera será
mayor razón) respectivamente (Vahabzadeh, entonces la mitad de la cuarta, o no? (Rashed y
2002, pp. 12-14, 31-40). Vahabzadeh, 2000, p. 236, con corrección). En
En su comentario sobre los Elementos de otras palabras, aunque es bastante fácil probar
Euclides, Abu’l-ʿAbbās Nayrizi también ha a partir de la Definición V.5 que la tercera
interpretado la Definición V.3 en términos de magnitud también será la mitad de la cuarta
antifairesis; pero, a diferencia de su antecesor (pues según la Definición V.5 el doble de la
Māhāni, considera que no es necesario tercera magnitud es igual a la cuarta, de modo
probar la Definición V.5 ya que, a su juicio, que el tercero es obviamente la mitad del
esta definición pertenece a los principios del cuarto), pero esta definición no es satisfactoria
Libro V. Tampoco estudia la conexión entre la porque no manifiesta una propiedad inmediata
definición antifairética de la misma proporción de magnitudes proporcionales, como de hecho
90
y Definición V.5 (Plooij, pp. 51-53, 61). debería hacerlo cualquier definición verdadera.
En la segunda parte de su comentario, al- Llama al concepto euclidiano de magnitudes
Jayyām pretende tratar a fondo los conceptos proporcionales “proporcionalidad común”
de razón y proporcionalidad entre magnitudes, y pretende hablar de “proporcionalidad
ya que en su opinión este asunto nunca había verdadera” (Rashed y Vahabzadeh, 2000, pp.
sido tratado de manera satisfactoria y filosófica. 188, 236).
Comentando la Definición V.3 de Euclides, La concepción de la razón y la proporcionalidad
Jayyām dice que dos cosas entran en el concepto de Jayyām es esencialmente la misma que
de razón: la relación entre las dos magnitudes la de sus predecesores Māhāni y Nayrizi. Es
en cuanto a igualdad y desigualdad, y el decir, dadas dos magnitudes, o serán iguales,
tamaño, o la magnitud, de esta razón. Explica o la menor será parte o partes de la mayor; y
que este concepto se encontró por primera si las dos magnitudes son inconmensurables,
vez en los números naturales; es decir, cuando entonces la relación se caracterizará por
uno considera los números relacionados entre medio de la antifairesis; de donde se sigue
sí, encuentra que son iguales o desiguales; y que dos razones necesariamente serán las
si son desiguales, el menor será parte o partes mismas si el proceso antifairético aplicado
del mayor. Por ejemplo, dado que 3 mide 9 tres a cada par de magnitudes produce la misma
veces, 3 es un tercio de 9, y el tamaño de la secuencia de números. Jayyām también define
el concepto de mayor proporción a través de la -48, 354; Youschkevitch, pp. 86-87; Netz,
antifairesis. Luego prueba que las definiciones 2004a, pp. 312-15).
antifairéticas de la misma proporción y de Bernard Vitrac ha demostrado que Eutocio
la mayor proporción son equivalentes a las intentó más tarde superar la limitación
definiciones correspondientes de Euclides. anterior al comentar la Proposición I.11 de
En consecuencia, todas las propiedades de las Cónicas de Apolonio de Perge (n. 262 a.
magnitudes proporcionales que ya habían sido C.). Dice Eutocio: “Se dice que una razón está
establecidas en el marco de la teoría euclidiana compuesta de razones cuando los tamaños
seguirán siendo válidas en el marco de una de las razones multiplicados por sí mismos
teoría basada en las definiciones antifaréticas; producen algo; se entiende que “tamaño”
por lo tanto, estas propiedades no necesitan ser se dice obviamente del número al que la
probadas nuevamente (Rashed y Vahabzadeh, proporción es parónima. Por un lado, es con
2000, pp. 188-89, 236-49). los múltiplos que el tamaño puede ser un
Composición de razones y números número natural [por ejemplo, el tamaño de la
irracionales. Encontramos en el comienzo razón triple es tres]; con las otras relaciones, el
del Libro VI de los Elementos una definición tamaño será necesariamente un número y una
(considerada ahora como una interpolación) parte o partes [por ejemplo, el tamaño de la una
según la cual una razón está compuesta de segunda razón es uno y medio], a menos que,
razones cuando, al multiplicarse los tamaños sin embargo, alguien sostenga que también
de estas razones entre sí, dan una cierta razón. existen relaciones inexpresables, como son
Pero Euclides no explica en ninguna parte aquellas entre magnitudes irracionales.
lo que quiere decir con “el tamaño de una Y, por otro lado, es obvio que, en todas las
razón”, sin mencionar la “multiplicación” relaciones, ese mismo tamaño multiplicado
de estos tamaños. Sin embargo, hace uso por el término consecuente de la razón
de la composición de proporciones en las producirá el antecedente” (Vitrac, 2000,
Proposiciones VI.23 y VIII.5 de los Elementos. Anexos, pp. 99-100). Eutocius luego produce
En cada caso admite sin prueba que, dadas tres una demostración esencialmente igual a la de
magnitudes o tres números naturales A, B, C, su comentario sobre la Proposición II.4 de
la razón de A a C se compondrá de la razón de Sobre la esfera y el cilindro, pero esta vez no
A a B y de la razón de B a C. Es esto última especifica si las proporciones son numéricas o
declaración, la que usan los matemáticos no. Y finalmente agrega: “Pero los lectores no
cuando componen razones, que a menudo se ha deben preocuparse por el hecho de que esto
considerado como una proposición que debe
probarse. Esto es, de hecho, a lo que se aplica
ha sido demostrado por medios aritméticos,
incluso si los antiguos realmente se sirvieron 91
Eutocio de Ascalón (480 - 540) al comentar de estas demostraciones por proporciones
la Proposición II.4 de Sobre la esfera y el que son más matemáticas que aritméticas, y
cilindro, en la que Arquímedes (287-212 a. C.) esto porque el objeto de la investigación es
había utilizado la declaración anterior sobre la aritmética; pues las razones y los tamaños
UMAR AL-JAYYĀM COMO MATEMÁTICO
93
trata solo de una ecuación cúbica específica, rectangular. Entonces es capaz de construir el
Jayyām alude al tema del segundo, a saber, un triángulo EGI, y en consecuencia el punto G,
tratamiento completo de todas las ecuaciones que se busca (Rashed y Vahabzadeh, 2000, pp.
cúbicas (para este ensayo, véase Amir-Moez, 97-107, 165-70, 174-79).
1961; Djebbar y Rushdi). En el único manuscrito conocido de este tratado
El objetivo de este ensayo es determinar (en la colección de 1751 de la Biblioteca de la
Universidad de Teherán), el texto de Jayyām va
UMAR AL-JAYYĀM COMO MATEMÁTICO
al-Juwārizmī había escrito su tratado sobre ax2+ c = x3, bx + c = x3) y siete ecuaciones
álgebra (al-Jabr wa’l-moqābala) durante el cuatrinomias (es decir, x3 = ax2 + bx + c, x3 +
califato de al-Maʾmun (r. 198-218/813-33). bx + c = ax2, x3 + ax2+ c = bx, x3 + ax2+ bx =
En él, al-Juwārizmī había introducido por c, x3 + ax2 = bx + c, x3+ bx = ax2 + c, x3 + c
primera vez las nociones básicas utilizadas = ax2+ bx). Descartando aquellas que pueden
a lo largo de su tratado, que definió como reducirse a una ecuación de menor grado,
los tres tipos de números necesarios en los termina con catorce ecuaciones cúbicas, todas
cálculos algebraicos; estos tres tipos son las cuales solo pueden resolverse mediante
“cuadrados”, “raíces” (que también llama secciones cónicas (Rashed y Vahabzadeh,
“cosas”) y “número simple” (es decir, ax2, 2000, pp. 172-73).
bx y c respectivamente, donde a, b, c son Luego nos informa que nada le había llegado
números naturales o fracciones positivas. de los antiguos en relación con estas catorce
Luego consideró todas las combinaciones ecuaciones cúbicas, y que Māhāni fue el
entre estos tres tipos, obteniendo así tres primero en tratar con una de ellas. Māhāni
ecuaciones entre dos términos (es decir, ax2 estaba tratando de resolver el siguiente
= bx, ax2 = c, bx = c), y tres ecuaciones que lema que Arquímedes había utilizado en la
involucran tres términos (es decir, ax2 + bx = Proposición II.4 de su tratado Sobre la esfera
y el cilindro: dadas (Figura 5) dos líneas DB sumada al cociente de la división del mayor
y BZ, donde DB es el doble de BZ, y dado por el menor, sea setenta y dos (Rashed y
un punto T en BZ, para cortar DB en un Vahabzadeh, 2000, pp. 173).
punto X de manera que XZ es a TZ como el Así, según el testimonio de Jayyām, existen
cuadrado de DB al cuadrado de DX (Rashed y tres cúbicas, a las que también añade la
Vahabzadeh, 2000, pp. 173). ecuación “un cubo es igual a un número”, que
ya han sido resueltas “por nuestros eminentes
predecesores” (Rashed y Vahabzadeh, 2000,
p. 174). Termina su digresión, añadiendo que
nadie había discutido los diez restantes, ni
dado una clasificación de todos los cúbicos, y
Aunque Arquímedes había prometido mostrar que pretende componer un tratado que incluirá
más adelante cómo determinar el punto X, la un tratamiento exhaustivo de estos (Rashed y
solución de este problema nunca se encontró Vahabzadeh, 2000, pp. 174).
en ninguno de sus escritos. Eutocio, en su En conjunto, se puede decir que el interés
comentario a esta proposición, reproduce principal de este ensayo de Jayyām no radica
íntegramente un texto que encontró “en cierto en la resolución del problema específico de la
libro antiguo”, y que podría corresponder a división del cuadrante de un círculo, ya que
la solución de Arquímedes: en él el problema este problema se puede resolver de una vez
se resuelve geométricamente mediante una eligiendo la hipérbola apropiada, pero en que
parábola y una hipérbola rectangular (Netz, nos proporciona una idea de la metodología de
2004a, pp. 318-30; ídem, 2004b, pp. 16-29). Jayyām, y con datos importantes relacionados
Māhāni pensó en analizar este lema por medio con la historia de las ecuaciones cúbicas.
del álgebra, y así fue llevado a la ecuación “un
cubo y un número son iguales a cuadrados”.
(III) EL TRATADO DE
Trató de resolverlo por medio de secciones
cónicas, pero no pudo encontrar su solución; ÁLGEBRA
así “resolvió el asunto diciendo que era
Este es el Maqāla fi’l-jabr wa’l-moqābala (Un
imposible” (Rashed y Vahabzadeh, 2000,
tratado sobre álgebra; lit. Un tratado sobre
p. 173). Hasta que ʾAbu Jaʿfar Moḥammad
restauración y comparación); en cambio,
Jāzen (m. entre 350-60/961-71) finalmente
95
un manuscrito tiene el título Resāla fi’l-
lo resolvió mediante secciones cónicas.
barāhin ʿalā masāʾel al-jabr wa’l-moqābala
Luego fue resuelto por Abu Naṣr b. ʿErāq
(Un tratado sobre las demostraciones de los
(siglos X-XI), también mediante cónicas,
problemas del álgebra; Rashed y Vahabzadeh,
la ecuación “un cubo y los cuadrados son
1999, p. 117; Woepcke, Ar. text, pág. 1).
iguales a un número”, a la que fue conducido
En este tratado sin fecha, Jayyām realiza el
analizando algebraicamente un lema que
proyecto ya mencionado en su ensayo, es
Arquímedes había admitido para determinar
UMAR AL-JAYYĀM COMO MATEMÁTICO
97
números fraccionarios como los irracionales. del tratado de Jayyām.
En cuanto a la solución geométrica, Jayyām Como ocurría con las ecuaciones cuadráticas,
ofrece tres pruebas diferentes. La primera la construcción de las soluciones se logra
prueba se basa en la Proposición II.6 de los mediante la introducción de una unidad de
Elementos, y es prácticamente la misma longitud; esto permitió a Jayyām representar
que la producida por Ṯābet b. Qorra en su cada uno de los términos de una ecuación
autenticación de problemas algebraicos por cúbica mediante un paralelepípedo rectangular,
UMAR AL-JAYYĀM COMO MATEMÁTICO
sola rama. Jayyām investiga en cada caso el recíprocamente proporcionales a sus alturas, y
número de puntos en los que estas cónicas se el cuadrado de AB es al cuadrado de BE como
cortan o se tocan (sin considerar sus vértices): BE es a CE.
la ecuación tendrá, en consecuencia, una o dos Ahora (Figura 10) sea ED una línea
soluciones. En algunos casos, sin embargo, perpendicular a BC y tal que AB es a BE
las cónicas ni se cortan ni se tocan, y la como BE a ED. Por lo tanto, AB será a ED en
ecuación es “imposible”: no se puede resolver razón duplicada de AB a BE, es decir, como
geométricamente (Rashed y Vahabzadeh, el cuadrado de AB al cuadrado de BE. Pero el
2000, pp. 130-56). cuadrado de AB es al cuadrado de BE como
En esta parte de su tratado, Jayyām solo BE a EC. Por tanto, AB es a ED como BE a
produce pruebas sintéticas, en las que muestra EC; y alternativamente AB es a BE como ED
un dominio completo de la geometría griega a EC. Pero AB es para SER como BE para ED.
clásica. Sin embargo, la solución de cada Por lo tanto, BE es a ED como ED a EC; por
ecuación probablemente se encontró mediante tanto, el cuadrado de ED es igual al producto
un análisis; Roshdi Rashed ha reconstruido de BE y EC. En consecuencia, el punto D está
dicho análisis para la ecuación “un cubo y en un círculo cuyo diámetro es BC. Además,
sus lados son iguales a un número” (es decir, dado que AB es a BE como BE a ED, el
cuadrado de BE será igual al producto de AB números fraccionarios (Rashed y Vahabzadeh,
y ED. Por lo tanto, el cuadrado de DG es igual 2000, pp. 156-59). Así, el hecho de que Jayyām
al producto de AB y BG. En consecuencia, el haya descartado las fracciones en las partes
punto D también está sobre una parábola cuyo anteriores de su tratado parece ser deliberado,
vértice es B, cuyo eje es BG y cuyo lado erecto y debe haber sido debido a su deseo de seguir,
es AB. cuando sea posible, la concepción euclidiana
del número, es decir, una multitud compuesta
de unidades indivisibles. Pero esto habría
sido virtualmente imposible cuando se trata
de ecuaciones que involucran el inverso de la
incógnita.
Ya hemos señalado que una de las
características más llamativas del tratado de
álgebra de Jayyām es la naturaleza geométrica
de su argumentación. Por supuesto, las
veinticinco ecuaciones que intenta resolver
Así, el análisis ha llevado a la determinación son en sí mismas conceptos algebraicos, y su
de la intersección de un semicírculo y una clasificación difícilmente podría haber sido
parábola. En la síntesis, Jayyām construye la concebida sin el trabajo previo de al-Juwārizmī;
parábola HBD y el semicírculo BDC, traza pero una vez traducidas a una relación entre
desde el punto de intersección D la línea DE figuras geométricas, estas ecuaciones se tratan
perpendicular a BC, y luego prueba que BE es de una manera puramente euclidiana. También
el lado del cubo buscado. Según Rashed, las Jayyām habla constantemente del producto
cúbicas restantes se resolvieron con el mismo de un rectángulo y una línea recta, donde
método (Rashed y Vahabzadeh, 2000, pp. Euclides hablaría del sólido paralelepípedo
37, 130-32); por lo tanto, el análisis anterior con el rectángulo como base y la línea recta
probablemente nos dé una idea del mismo como altura (Rashed y Vahabzadeh, 2000, pp.
proceso que llevó a Jayyām a la resolución de 119, 125-26 Heath, III, págs. 345-47); esta
las ecuaciones de tercer grado. terminología, sin embargo, no es del todo
La última parte del tratado de Jayyām está ajena a la geometría griega, ya que también se
dedicada a las ecuaciones que involucran el encuentra en el comentario de Eutocio sobre
99
inverso de la incógnita (es decir, x-1). Para la Proposición II.4 de Sobre la esfera y el
resolver una ecuación como esa, Jayyām toma cilindro, e incluso en la prueba alternativa de
el inverso como una nueva incógnita y, por Arquímedes a la Proposición II.8 de la misma
lo tanto, se lo lleva a una de las veinticinco ( Netz, 2004a, págs. 227-31, 320 y sigs., ídem,
ecuaciones estudiadas anteriormente. Luego 2004b, págs. 97-120; véase también 2004b,
encuentra la solución de la última ecuación y, págs. 164-65). En general, parece que en este
tomando su inversa, obtiene la solución de la tratado Jayyām hizo un regreso deliberado a los
UMAR AL-JAYYĀM COMO MATEMÁTICO
ecuación original. En esta parte de su tratado, métodos rigurosos de los geómetras griegos,
Jayyām se aparta de la rigurosa metodología y que de esta manera pudo construir la teoría
euclidiana exhibida en la resolución de de las ecuaciones cuadráticas y cúbicas sobre
ecuaciones cuadráticas y cúbicas; porque él bases sólidas.
solo resuelve aquí ecuaciones particulares y no
produce ninguna prueba. Además, no restringe
el concepto de número a los números naturales
como antes, y menciona explícitamente los
Biografía de filósofos islámicos
(IV) EL TRATADO SOBRE BIBLIOGRAFÍA:
LA EXTRACCIÓN DE LA Ediciones y traducciones.
RADICACIÓN DE LOS Resāla fi šarḥ mā aškala men moṣādarāt
NÚMEROS Ketāb Oqlides: ed., T. Erani (Arāni), Teherán,
1936; ed. y tr, Jalāl-al-Din Homāʾi, en
Aparte de los trabajos precedentes, Jayyām
idem, Ḵayyāmi-nāma I, Teherán, 1967 (pp.
también escribió un trabajo aritmético al que
177-222, 225-80); tr. Ali R. Amir-Moez,
alude en su Tratado de álgebra: “Los indios
como “Discussion of Difficulties in Euclid
tienen métodos para determinar los lados de
by Omar Ibn Abrahim al-Khayyami (Omar
cuadrados y cubos basados en una inducción
Khayyam),” Scripta Mathematica 24/4,
restringida, es decir, en el conocimiento de
1959, pp. 275-303; repr. en Fuat Sezgin,
los cuadrados. de las nueve cifras —quiero
ed., Islamic Mathematics and Astronomy 46,
decir el cuadrado de la unidad, de dos, de
Frankfurt am Main, 1998, pp. 293-321 (una
tres, etc.— e igualmente de su producto uno
traducción incompleta e inexacta); ed. A.
por otro—quiero decir el producto de dos por
I. Sabra, en “Omar Khayyām: Explanation
tres, y así sucesivamente. Y hemos escrito
of the Difficulties in Euclid’s Postulates,”
un libro para demostrar la corrección de
tesis de grado de Doctor, Alejandría, 1961;
estos métodos y el hecho de que cumplen los
tr. Ahmed Djebbar, como en “L’Emergence
requisitos; y hemos aumentado los géneros
du concept de nombre réel positif dans
de los mismos, quiero decir la determinación
l’épître d’al-Khayyām (1048-1131) sur
de los lados del cuadrado-cuadrado, del
l’explication des prémisses problématiques
cuadrado-cubo, del cubo-cubo, cualquiera
du livre d’Euclide (Introduction et
que sea el grado que alcance. Y nadie lo hizo
traduction française)” Prépublication 97,
antes que nosotros. Pero estas demostraciones
no. 39, Universidad de Paris-Sud,
son solo demostraciones numéricas basadas
1997; idem, tr., como “Epître d’Omar
en los Libros aritméticos de los Elementos”
Khayyām sur l’explication des prémisses
(Rashed y Vahabzadeh, 2000, pp. 116-17,
100
101
Boris A. Rosenfeld, tr., Omar Khayyam, como The Commentary of Al-Nayrizi on
Traktaty, ed. V. S. Segal y Adolf P. Book I of Euclid’s Elements of Geometry,
Youschkevitch, Moscú, 1961 (traducción with an Introduction on the Transmission
al ruso que contiene un facsímil de los of Euclid’s Elements in the Middle Ages,
manuscritos de los tratados matemáticos y Boston y Leiden, 2003.
filosóficos de Jayyam.). Reviel Netz, The Works of Archimedes,
Otras fuentes primarias. trad. junto con los comentarios de Eutocio,
UMAR AL-JAYYĀM COMO MATEMÁTICO
Idem, “Inventive Interpretations,” Revue Revision of Algebra,” Suhayl 10, 2011, pp.
d’histoire des mathématiques 5, 1999b, pp. 47-75.
149-53. Edward B. Plooij, Euclid’s Conception
Jean-Louis Gardies, L’Héritage of Ratio and His Definition of Proportional
épistémologique d’Eudoxe de Cnide: un essai Magnitudes as Criticized by Arabian
de reconstitution, París, 1988. Commentators, Rotterdam, 1950; en Fuat
Jan P. Hogendijk, “Anthyphairetic Ratio Sezgin, ed., Islamic Mathematics and
Theory in Medieval Islamic Mathematics,” Astronomy 19, Frankfurt am Main, 1997, pp.
in Yvonne Dold-Samplonius, Joseph W. 167-243.
Dauben, Menso Folkerts, y Benno Van Roshdi Rashed, Entre arithmétique
Dalen, eds., From China to Paris: 2000 et algèbre: recherches sur l’histoire des
Years Transmission of Mathematical Ideas, mathématiques arabes, París, 1984; trad.
Boethius 46, Stuttgart, 2002, pp. 187-202. Roshdi Rashed, como, The Development of
Christian Houzel, “Histoire de la théorie Arabic Mathematics: Between Arithmetic and
des parallèles,” en Rushdi Rashed, Algebra, Boston, y Londres, 1994.
ed., Mathématiques et philosophie de Idem, “L’algèbre,” en Roshdi Rashed and
l’antiquité à l’âge classique: hommage à Jules Régis Morelon, eds., Histoire des sciences
arabes II, París, 1997, pp. 31-54.
Boris A. Rosenfeld and Adolf P.
Youschkevitch, “Al-Khayyāmī,” en Charles
C. Gillispie, ed., Dictionnary of Scientific
Biography, 16 vols., Nueva York, 1970-80,
VII, 1973, pp. 323-34.
Idem, revisada y ampliada por Hélène
Bellosta, “Géométrie,” en Roshdi Rashed y
Régis Morelon, eds., Histoire des sciences
arabes II, París, 1997, pp. 122-62.
Fuat Sezgin, Geschichte des arabischen
Schrifttums V, Leiden, 1974.
Idem, ed., ʿUmar al-Khayyām, Abu’l-Fatḥ
ʿUmar Ibn Ibrāhīm (d. c. 526/1131): Texts
and Studies, 2 vols., Islamic Mathematics
and Astronomy 45-46, Frankfurt, 1998 (una
colección de artículos clásicos sobre las obras
matemáticas y astronómicas de Jayyam).
David Eugene Smith, “Euclid, Omar
Khayyâm, and Saccheri,” Scripta
Mathematica 3, 1935, pp. 5-10; en Fuat Sezgin,
ed., Islamic Mathematics and Philosophy 19,
Frankfurt, 1997, pp. 1-6.
Bijan Vahabzadeh, “Al-
Khayyām’s Conception of Ratio and
Proportionality,” Arabic Sciences and
Philosophy 7, 1997, pp. 247-63.
Idem, “ʿUmar al-Khayyām and the Concept
of Irrational Number,” en Régis Morelon y
103
Ahmad Hasnawi, eds., De Zénon d’Elée à
Poincaré: Recueil d’études en hommage à
Roshdi Rashed, París, 2004, pp. 55-63.
Bernard Vitrac, “ʿOmar Khayyām et Eutocius:
les antécédents grecs du troisième chapitre
du commentaire sur certaines prémisses
problématiques du livre d’Euclide,” Farhang 12,
Teherán, 2000, pp. 51-105.
UMAR AL-JAYYĀM COMO MATEMÁTICO
105
campos, pero en general, por sus campos
fundamentales que son la astronomía y las oriental”? De manera más
ciencias matemáticas, la ciencia árabe estuvo general, ¿participan hoy los países
influida por la ciencia griega que constituyó musulmanes en una evolución
su verdadero punto de partida. También hubo de la ciencia o se contentan con
otras fuentes. Por ejemplo, la astronomía integrar los principios de la ciencia
también estuvo influenciada por los textos occidental?
sánscritos, que sin embargo quedaron obsoletos Escribí hace unos veinte años un artículo
y marginados muy rápidamente. Por lo tanto, titulado “La noción de ciencia occidental”
las dos corrientes principales siguen siendo en el marco del Congreso Internacional de
la astronomía y las matemáticas griegas. En Historia de la Ciencia para criticar esta noción
Entrevista con Roshdi Rashed
cuanto a la astronomía, las tablas astronómicas que no tiene sentido, aunque es, como dices,
griegas tuvieron una gran influencia en el muy utilizada hoy en día. La ciencia no tiene
desarrollo de la astronomía, especialmente en orientación geográfica ni espiritual, la ciencia
la época de Al-Mansūr en Bagdad. Así, muy es ciencia y punto. Así que no hay ciencia
rápidamente, y especialmente en la época del “occidental”. Esta noción fue inventada
en el siglo XIX por la escuela filológica de los matemáticos, en particular utilizando
alemana cuando comenzamos a clasificar a la el método de reductio ad absurdum o incluso
Entrevista
humanidad entre varias entidades: de un lado tomando prestados temas matemáticos como
estaban los semitas, y del otro los arios, los el infinito para alimentar su reflexión. Incluso
primeros en haber inventado la religión y los hubo matemáticos filosóficos como Nāṣīr
últimos la ciencia. Este tipo de teoría ha ido al-Dīn Ṭūsī que utilizaron las matemáticas
acompañada de un montón de ideologías. Fue para resolver problemas filosóficos como, por
entonces cuando desarrollamos este tipo de ejemplo, Ṭūsī que recurrió a las matemáticas
concepto. Su uso se difundió más durante la para solucionar el problema de la emanación
época colonial y todavía se usa y se seguirá del Uno. Este impacto de las matemáticas en la
usando. Por lo tanto, no existe una ciencia filosofía es muy importante e interesante. Para
“occidental”, como tampoco existe una ciencia los místicos en sentido estricto, no lo creo o no
“oriental”. Ni siquiera veo lo que pueden ser lo sé.
las matemáticas orientales o la física oriental.
Entonces son nociones que no abarcan nada,
pero que tienen un alcance ideológico más que ¿Cuál es el entorno político y
filosófico o científico. social general en el que se han
¿Participan hoy los países islámicos en el desarrollado estas ciencias? ¿Cuál
desarrollo de la ciencia? La respuesta es era la relación de los científicos con
no. Consumen ciencia inventada en otros el poder?
lugares -principalmente, por supuesto, porque Al principio, es decir, si consideramos el
siempre hay excepciones- y no hay producción período abasí, el poder ayudó e incluso
de ciencia, que yo sepa, dentro de sus países en fomentó este desarrollo tanto enviando
este momento. Y este es precisamente uno de misiones, creando instituciones como la Casa
los grandes retos que tienen ante sí, que consiste de la Sabiduría o la de Investigación, o incluso
en desarrollar la investigación científica y dando el ejemplo a ricos. gente como awlād el-
adquirir los medios para producir ciencia. monājem que, durante el período de Ma’mūn,
tomó modelo de la Casa de la Sabiduría para
106
107
Canguilhem y especialmente Alexandre con Inglaterra o los Estados
Koyré, pero también la escuela americana Unidos?
con gente como Thomas Kuhn que en cierto
Hace poco más de un siglo, existía lo que se
modo estaba influenciado por la escuela
puede llamar una filosofía “continental” de
francesa. Algunos defendieron, por tanto,
tradición alemana y tradición francesa. Junto
que el comienzo de la ciencia moderna fue
a él, también existía una tradición de filosofía
una continuación de la ciencia, en particular
anglosajona que unía a Inglaterra y Estados
de la griega -porque esta última desconocía
Unidos. En el corazón mismo de esta filosofía
las ciencias que se habían desarrollado dentro
continental, hay una especificidad francesa
de los países islámicos para poder situar el
a la que volveré más adelante. Esta filosofía
debate de manera correcta-, mientras que
Entrevista con Roshdi Rashed
109
un comentario de todos modos. Hay que tener Diophante: Les Arithmétiques, Livre IV,
en cuenta todas las tendencias de la filosofía «Collection des Universités de France» (n° 3),
de la ciencia en los diferentes países, en Les Belles Lettres, París, 1984.
Francia, en Alemania y otros. La filosofía Diophante: Les Arithmétiques, Livres V, VI,
de la ciencia no es solo Kuhn o Feyerabend VII, « Collection des Universités de France »
y Popper. He conocido a la gran mayoría de (n° 4), Les Belles Lettres, París, 1984.
Études sur Avicenne, dirigida por J. Jolivet y
esta gente, algunos de ellos eran mis amigos,
R. Rashed, Colección «Sciences et philosophie
esa no es la cuestión. Pero representan solo un
arabes - Études et reprises», Les Belles Lettres,
aspecto de este campo y no necesariamente París, 1984.
el mejor. Hay otras corrientes en la filosofía Sharaf al-Din al-Tusi, Œuvres mathématiques.
anglosajona que también han mirado a la Algèbre et Géométrie au XIIe siècle, Colección
Entrevista con Roshdi Rashed
113
universal. también ser o volverse fuerte, prevalecer o
colección, combinación; unión ()جمع, ǧamʿ: trabajar. El nombre del Arcángel Gabriel o
ǧ-m-ʿ (s.). Yibraīl ()جبریل, viene de esta raíz trilítera y
todo, entero, totalidad ()جميع, ǧamīʿ: ǧ-m-ʿ significa literalmente “fuerza de Dios”; “El”
(adj.), en griego: τὸ πᾶν – en latín: universum; en el nombre es la palabra hebrea ﬡﬥ, que
todos (+ det. gen.). significa Dios, como se ve en los nombres
compuesto, combinado ()مجتمع, muǧtamaʿ: de muchos ángeles. La raíz ǧ-b-r también
ǧ-m-ʿ (VIII, p.p.), en griego: σύνθετος, conlleva una connotación de restauración,
σύνολος. ya que lo que se restaura recupera su fuerza,
Breve léxico técnico de Matemática
lugar de agrupación ()مجمع, maǧmaʿ: ǧ-m-ʿ y ǧabr se usó para significar el ajuste óseo
(s.). o el tratamiento quirúrgico para huesos
(en el contexto islámico).
sobre álgebra y equivalencias). El trabajo lo que serían veinte y treinta hasta completar
de al-Juwārizmī, también llamado “Al- cien ,luego dosciento tres como lo hizo con
Kitāb al-muḳtaṣar fī ḥisāb al- ǧabr wal- uno ,y del uno al diez y de este hasta mil,
muqābila” - que puede traducirse igualmente luego igualmente la frecuencia de los mil
como “Tratado Conciso sobre Cálculo por en cada décima hasta la más perceptible del
restauración y compensación”-, introdujo número.”( Juwārizmī, “Kitāb al- ǧabr wa-l-
al mundo occidental las matemáticas indias. muqābilat”, p. 16)
Sin embargo, en el texto de al-Juwārizmī, En términos de Al-Juwārizmī, la estrategia
“al-ǧabr” implicaba un método para resolver requería comenzar por llamar a la suma
ecuaciones cuadráticas al completar (es desconocida original una “cosa”, o en
decir, “restaurar” “reunificar partes rotas términos modernos “x”. Luego, uno
de la ecuación”) el cuadrado. De “ǧabr” dividiría esa “cosa” por cinco, diez y seis,
obtenemos álgebra, que originalmente respectivamente, para obtener x / 5, x / 10 y
denotaba todas las formas de matemáticas. x / 6. Después de sumar todos los resultados
La última palabra en el título del texto de al- y restarlos de la “cosa” original, para obtener
Juwārizmī, [w] al-muqâbala dio la palabra x - (x / 5 + x / 10 + x / 6), ese sería el resto
ahora obsoleta “almacabala”, que era lo conocido de 5,000 que se dio originalmente
que hoy entendemos por “álgebra”, pero en la declaración del problema. El problema
con connotaciones místicas. “Kitāb al- ǧabr entonces era forzar a la “cosa” original a
wa-l-muqābilat” estuvo destinado a ser asumir un valor conocido, en este caso el
un trabajo útil y didáctico, con ejemplos y valor de 9.375. Para Al-Juwārizmī, este
aplicaciones para la vida cotidiana, en áreas proceso de ǧabr, o sea, de forzar a que
como el comercio, la herencia legal y la lo desconocido original sea conocido es
agrimensura, en los cuales utilizó ejemplos la esencia de la estrategia algebraica que
de la geometría euclidiana. En la primera distingue la disciplina del álgebra de la
114
En su lenguaje algebraico:
El número x² se llama “al-māl” ( المالes decir, “el bien” en el sentido de fortuna).
El número x se llama “al-ǧidhr” ( الجذرes decir, “la raíz”)
La constante se llama “‘adad” ( العددel “número”)
A continuación, se muestra un ejemplo de una ecuación del tipo ax²= bx + c.
Para resolver la ecuación:
وأما ثالثة أجذار وأربعة من العدد تعدل ماال
“En cuanto a tres raíces( aydhār )y cuatro del número‘( adad )es igual a un māl( cuadrado”)
Lo que se traduce en la igualdad3 :x + 4 = x².
Siguiendo la geometría y el método euclidiano, se construiye un cuadrado ABCD de lado x (la
incógnita que buscamos) dividido en dos rectángulos CDEF, de área 4, y ABFE de dimensiones
x y 3. Se toma G, punto medio de [BF] y se construye el cuadrado FGPO dentro del cuadrado
ABCD. Se construye un nuevo cuadrado CGQM tal que MN = ON (se deduce que los rectángulos
DENM y OPQN tienen la misma área).
Área (CGQM) = 4 + 9/4 = 25/4
115
Por lo tanto, el lado del cuadrado CGQM, que no es otro que (x- 3/2), que es igual a 5/2.
Deducimos que x = 4.
La resolución algebraica de este problema:
Se trata de encontrar x tal que x²= 3x + 4.
Esta ecuación es equivalente a: x²- 3x – 4 =0
Ahora x²– 3x – 4 = (x– 3/2) ² – (3/2) ² – 4 = (x 3/2) ² – 25/4
Por lo tanto, x² = 3x + 4 ↔ (x– 3/2) ² – 25/4 = 0 ↔ x – 3/3 = 5/2 (solo se retiene la solución
positiva)
Deducimos que x = 4.
Breve léxico técnico de Matemática
Téngase en cuenta que a lo largo del capítulo 2 de su libro, dio justificaciones geométricas para
la existencia de soluciones positivas para cada ecuación antes de mostrar, en su tercer capítulo, el
(en el contexto islámico).
significado de los dos términos al- ǧabr y al-muqābala que hacen posible reducir las ecuaciones
cuadráticas a una de las formas de ecuación canónica anteriores.
Con la misma raíz trilítera ǧ-b-r aparecen los aportaciones. Además de los de al-Nayrīzī y
términos: el anónimo de Lahore, Avicena nos informa1
impelente; ǧabbār: en Mullā Ṣadrā “Tafsīr” que el gran matemático Thābit ibn Qurra
(1:71). (826-901) así como el filósofo Abū Ḥāmid
Léxico
determinismo ()الجبر, ǧabr: ǧ-b-r (s.). al-Isfizārī (mediados del siglo X) escribieron
omnipotencia ()جبروت, ǧabarūt: ǧ-b-r (s.). sobre el ángulo. También nos informa que
deterministas ()مجبرة, muǧbira: ǧ-b-r (IV, Abū Sahl al-Masīḥī también estaba interesado
pa.). en el análisis del ángulo. Gracias a las obras
griegas y árabes de las que disponemos ya
ÁNGULO: zāwiya ()زاوية, raíz z-w-y podemos advertir que, entre los problemas
En griego: γωνία que plantea la investigación sobre el ángulo
cuadrado en ángulo recto ()مربّع قائم زوايا, y en particular el ángulo de contingencia, se
murabbaʿ qāʾim zawāyā: r-b-ʿ (II, p.p.) + encuentran sobre todo los cuestiones relativas
q-w-m (I, p.a.) + z-w-y (s, plural de زاوية: a la noción de tamaño. De hecho, en el texto
zāwiya). del escritor anónimo de Lahore, anterior al
ángulo agudo ()زاوية حا ّدة, zāwiya ḥādda: siglo XII, el estudio del ángulo y del ángulo de
z-w-y (s) + ḥ-d (I, p.a.), acutángulo (زاوية contingencia se centró principalmente en esta
)حادة. noción. No sólo nos preguntamos por el ángulo
Definición: Califica un triángulo en el que como cantidad en el sentido euclidiano, sino
todos los ángulos son agudos (es decir , que estamos pensando en estas cantidades que
estrictamente menos de 90°, o, si contamos no verifican la definición V.4 de los Elementos
en radianes, que . ni el axioma de Eudoxio-Arquímedes. Ahora
Se sigue, en particular, de la definición: bien, es precisamente este cuestionamiento de
1.Que un triángulo equilátero es agudo, la noción de magnitud el que paulatinamente
porque sus ángulos miden todos 60° dominará las investigaciones de los
(radianes); matemáticos y de los matemáticos-filósofos,
2. Un triángulo rectángulo no lo es porque durante el estudio del ángulo y del ángulo de
uno de sus ángulos es de 90° (o ). También contingencia, a partir del siglo X; las obras
notamos que, en el caso de un triángulo de al-Sijzī, Ibn al-Haytham y sus sucesores
116
acutángulo, el centro del círculo circunscrito dan testimonio de ello. Al-Sijzī (mediados
y el ortocentro están dentro del triángulo. del siglo X) no dedicó un estudio al ángulo,
ángulo recto ()زاوية قائمة, zāwiya qāʾima: pero abordó brevemente este tema en su
z-w-y (s) + q-w-m (I, p.a.). Introducción a la ciencia de la geometría.
perpendicular, rectangular, en ángulo recto ARITMÉTICA: ḥisāb ()حساب, raíz ḥ-s-b
()قائم الزاوية, qāʾim al-zāwiya: q-w-m (I, p.a.) En griego: ἀριθμητικός – en latín: arithmetĭcus
+ z-w-y (s). de acuerdo con, según, acorde con,
ángulo ()زاوية, zāwiya: z-w-y (s), esquina: dependiendo de, con respecto a ()بحسب, bi-
““ – ”المتساویة زوایاهاLos ángulos iguales” ḥasab: b (prep.) + ḥ-s-b (s.).
(traducción al árabe de “Metafísica” 1054a de acuerdo con, acorde con, dependiendo
2, por ’Usṭāṯ). El estudio del ángulo y del de, con respecto a ()على حسب, ʿalā ḥasab:
ángulo de contingencia probablemente ʿ-l-w ʿ-l-y (prep.) + ḥ-s-b (s.).
desarrolló desde finales del siglo IX y creo que, en lo que a mí respecta ()فيما أحسب,
principios del siglo siguiente. Sin embargo, fīmā ʾaḥsubu: f-y (prep.) + m-ā (pronombre)
el estado de la investigación y la pérdida de + ḥ-s-b (I, v.).
un número considerable de manuscritos no aritmética, cálculo matemático ()حساب,
permiten conocer con precisión las distintas ḥisāb: ḥ-s-b (s). En latín: arithmetica:
وإنی لما نظرت فیها یحتاح الیه الناس من الحساب وجدت CANTIDAD: kamm ( )الكمraíz k-m
جمیع ذلک عدداً و وجدت جمیع األعداد اٍنما ترکبت من En griego: ποσόν – latín: quantum
الواحد و الواحد داخل فی جمیع األعداد forma cuantitativa ()صورة ك ّمية, ṣūra
“Y cuando observé lo que necesitaba la gente kammiyya: ṣ-w-r (s.) + k-m (adj.).
de la India para el cálculo ,encontré todo ello cantidad continua ( )ك ّم متّصلkamm muttaṣil:
en forma un número ,y encontré todos los k-m (s.) + w-ṣ-l (VIII, pa.), en griego: ποσὸν
números ,pero estaban compuestos a partir συνεχές.
del uno ,y el uno estaba incluidos en todos los el cuánto, categoría de la cantidad (,)ك ّم
números( ”Juwārizmī“ ,Kitāb al -ǧabr wa-l- kamm: k-m (s.), en griego: τὸ ποσόν, ἡ
muqābilat”, p. 16). ποσότης, cantidad: “في تعديد الخواص التي بها
a tener en cuenta, tener en cuenta, ”يمكن معرفة ماهية الكم المطلق و هي ثالث- “Sobre
considerar ()حسب, ḥasaba - yaḥsubu: ḥ-s-b la enumeración de propiedades (ta ‘dīd al-
(I, v.). ḫawāṣ) de las cosas mediante las cuales es
posible conocer (ma ‘arafat) la quiddidad
AXIOMAS [PRIMARIO]: al-awaliyāt (māhīyat) de cantidad absoluta (al-kamm al-
()االولیات, raíz ʾ-w-l muṭlaq), y ésta son tres.” (Mullā Ṣadrā “Al-
axioma, declaración primaria ()أ ّولية, Ḥikma al-muta’āliya”, Vol. VIII, p. 11).
ʾawwaliyya: ʾ-w-l (s.), concepto inteligible و هي أمور إضافية لكن عروضها لألشياء من جهة أنها
primario. كم أو ذو كمية ال بسبب الطبيعة الجسمية العامة أو الخاصة
primer movimiento ()أ ّول الحركة, ʾawwal al- “Y estas son cosas relacionables’( iḍāfīyat),
ḥaraka: ʾ-w-l (elativo) + ḥ-r-k (s.). pero sus accidentes (‘urūḍuhā) en las
por sí mismo, inmediatamente y por sí cosas, por un lado, están en la cantidad o
mismo ()أ ّوالً وبذات, ʾawwalan wa-bi-ḏāt: ʾ-w-l son cuantificadas (kamīyat), no por causa
(adv.) + w (conj.) + b (prep.) + ḏ-w (s.) [en (lā bisabab) de su naturaleza corporal (al-
griego: πρῶτον καθ’ αὑτό]. ṭabī’at al-ğismīyat) general (al- ‘āmat) o
Primer principio ()مبدأ أ ّول, mabdaʾ ʾawwal: especial (al-ḫāṣat).” (Mullā Ṣadrā “Al-Ḥikma
b-d-ʾ (s.) + ʾ-w-l (elativo) [en latín: primum al-muta’āliya”, Vol. VIII, p. 11).
principium]. cuantitativo ()ك ّمى, kammī: k-m (adj.).
instancias primarias de conocimiento cuantía, categoría de la cantidad ()ك ّمية,
()معارف أ ّول, maʿārif ʾawwal: ʿ-r-f (s., plural kammiyya: k-m (s.), en latín: quantitas- en
de معرفة: maʿrifa) + ʾ-w-l (elativo). pahlaví: čandīh –en griego: τὸ ποσόν, ἡ
117
premisa principal o primera ()مق ّدمة أ ّولية, ποσότης, cantidad.
muqaddima ʾawwaliyya: q-d-m (II, p.a.) +
ʾ-w-l (elativo). CERO [CIFRA]: ṣifr ()صفر, raíz ṣ-f-r
en el primer sentido o lo primero y lo En sánscrito: śūnya – çûnya (शून्य)
antiguo ()بنوع أ ّول وتقديم, bi-nawʿ ʾawwal wa- cero, cifra (ص ْفر ِّ )ال, ṣifr: ṣ-f-r (s., masculino):
taqdīm: b (prep.) + n-w-ʿ (s.) + ʾ-w-l (elativo) “او عشرة فصفراً حافظا ً فی هذین الصو ّرتین فی الذهن
+ w (conj.) + q-d-m (II, inf.) [en griego: ”.للعشرة واحداً لتزیده علی ما فی المرتبة التّالیّة
πρώτως]. “O diez ,luego cero ,teniendo en cuenta en
directamente, no mediado ( ,)ًأ ّوالʾawwalan: estas dos formas en la mente el diez ,uno para
Breve léxico técnico de Matemática
ʾ-w-l (adv.), interpretación alegórica ()تأويل, aumentarlo sobre lo que está en el siguiente
taʾwīl: ʾ-w-l (II, inf.). rango( ”…Šeiḫ Bahā'ī, “Ḫulāṣat al-Ḥisāb”).
(en el contexto islámico).
que viene del árabe ṣifr ( )صفرcon el sentido que es, como sugiere su título, un tratado
de cero o vacío, este concepto fue tomado de geometría para el trazado de acordes en
de la matemática india, en específico del los círculos siguiendo las propiedades de
matemático indio Brahmagupta (560-670 las cuerdas en un círculo. Aquí al-Bīrūnī
d.C.), el primero en teorizar y usar el símbolo realizará un estudio del teorema de los
de cero (sánscrito: śūnya – çûnya शू न्य), no acordes de la Proposición 35 del Libro III
ya como un símbolo del concepto de vacío o de los “Elementos” de Euclides sobre los
vacuidad (como en el pensamiento filosófico acordes cruzados que crean dos rectángulos
budista de Nâgârjuna en su concepto de iguales, ya sea que su punto de intersección
vacío o sûnyatâ), sino como lugar posicional esté en el centro o no. El método de al-Bīrūnī
(como un símbolo para rellenar un hueco en fue una síntesis de las obras geométricas de
el sistema posicional) y posible sumando Euclides y Brahamgugta.
para números positivos y negativos. Los prueba circular ()بيان الدور, bayān al-dawr:
aportes matemáticos de Brahmagupta b-y-n (s) + d-w-r (s).
fueron expuestos en su texto “Brâhma- cuerpo circular, esfera ()جرم مستدير, ǧirm
sphuṭa-siddhânta” o (“Doctrina de Brahma mustadīr: ǧ-r-m (s) + d-w-r (X, p.a.).
correctamente establecidas”), obra del año movimiento circular ()حركة مستديرة, ḥaraka
628, escrita en unos 1008 versos dentro de mustadīra: ḥ-r-k (s) + d-w-r (X, p.a.).
veinticuatro capítulos y que consistió en una movimiento de circularidad, movimiento
versión revisada y ampliada de los “Sûrya- circular ()حركة االستدارة, ḥarakat al-istidāra:
siddhânta”, donde además de astronomía se ḥ-r-k (s) + d-w-r (X, inf), en griego: ἡ
discursa sobre geometría, elementos previos (κίνησις) κύκλῳ.
de trigonometrías, algoritmia y álgebra. movimiento circular, rotación ()حركة دورية,
Este texto décadas más tardes sería llevado ḥaraka dawriyya: ḥ-r-k (s) + d-w-r (adj.).
a la corte abbasí del califa al-Ma’mūn (754- línea circular ()خطّ مستدير, ḫaṭṭ mustadīr: ḫ-ṭ
118
Calculado (b/2) ²
Sustrae c (obtienes (b/2) ² - c)
وأسقط من التربیع فی األخری العدد وجذر ما بقی علیه یعیه یعتمد
Saca su raíz cuadrada: √ (b / 2) ² - c
وإن تشأ جمعته إختی فأسقطه من ثصنیفک األجذار
Breve léxico técnico de Matemática
x = √ (b / 2) ² - c + b / 2 (con adición), o
و ذاک جذر المال بالنقصان فذاک جذر المال بالحمالن
x = b / 2 - √ (b / 2) ² - c (con resta)
فجذره التصنیف دون فند وإن غدا التربیع مثل العدد
(en el contexto islámico).
Si (b/2) ² = c, entonces x = b / 2
أیقنت أن ذلک ال ینعضد وإن یکن یربی علیه العدد
Si (b/2) ² < c, entonces no hay solución.
c) Resolución de (T₆): x² = bx + c
”Al-Yāsaminiyya“ Interpretación matemática
Calculado (b/2) ²
وإذ فرغنا من بیان الخامسة فلنوضح اآلن بیان السادسة
Léxico
Suma c (obtienes (b / 2) ² + c)
فاجمع إلی اعدادک التربیعا وإستخر جن جنر هما جمیعا
Saca su raíz cuadrada: √ (b / 2) ² + c
وأحمل علی التنصیف ما أخنتا فذلک الجذر الذی اردتا
x = √ (b / 2) ² + c + b / 2
Hasta ahora ,podemos decir que Ibn Al-Yāsamin ha proporcionado todos los algoritmos para
resolver ecuaciones canónicas.
De hecho, en el resto de su poema, recuerda un método de Al-Juwārizmī llamado “al- ḥaṭṭ” ()الحط
aplicado a una ecuación del tipo ax² + bx = c, que es la siguiente enunciación:
Al establecer X = 5/4x, esta ecuación es equivalente a X² + 5x = 375/4, del tipo (T₄), cuya
solución auxiliar es X₀ = √ (5/2) ² + 375/4 - 5/2 = 15/2
Finalmente: x₀= X₀/5/4 = 6
Ciertos algoritmos parecen banales actualmente, como el de resolver ecuaciones del tipo (Tᵢ), con
i = 1,2,3. Pero no fue así en ese momento en que no era fácil concebir la división por números del
tipo (m + 1/n), siendo m y n números enteros, o simplemente por una fracción.
121
aparición más temprana de la asociación de siete cuadrados mágicos con las virtudes de los
siete cuerpos celestes aparece en el Kitāb tadbīrāt al-kawākib (Libro sobre las influencias de
los planetas) del erudito andaluz Ibn al-Zarqālī (conocido como Azarquiel en Europa). Un siglo
después Aḥmad al-Būnī atribuyó propiedades místicas a los cuadrados mágicos en su influyente
libro Šams al-Ma›ārif al-Kubrā ()شمس المعارف الكبرى, que también describe su construcción. Esta
tradición sobre una serie de cuadrados mágicos de orden 3 a 9, que están asociados con los siete
planetas, sobrevive en versiones griegas, árabes y latinas. También hay referencias al uso de
cuadrados mágicos en los cálculos astrológicos, una práctica que parece haberse originado con
los árabes.
Breve léxico técnico de Matemática
de ثقل: ṯiql), ciencias del movimiento de las esferas, astronomía ()علم األكر المتح ّركة, ʿilm al-ʾukar
al-mutaḥarrika: ʿ-l-m (s) + ʾ-k-r (s, plural de أكرة: ʾukra) + ḥ-r-k (V, p.a.): “La discusión de las
nueve esferas, que comienza desde la esfera de las estrellas más lejanas, la esfera de las estrellas
fijas, analiza la órbita de Saturno, de Júpiter, de Martes, del Sol, de Venus, de Mercurio y de la
Luna, esto fue una discusión en la ciencia de la astronomía.” (Amīnī Neğād, “Falsafeh Islāmī”).
ciencia de la música ()علم الموسيقى, ʿilm al-mūsīqā: ʿ-l-m (s.) + m-ū-s-ī-q (s.), la Geometría,
Aritmética, Astronomía y Música; estas representan, en la forma clásica, las disciplinas del
“quadrivium”: “En el pasado, había seis disciplinas en matemáticas; aritmética, geometría,
álgebra, astronomía, música y tablas.” (Amīnī Neğād, “Falsafeh Islāmī”).
ciencia de mecanismo ingenioso ()علم حیل, ʿilm ḥiyal: ʿ-l-m (s.) + ḥ-y-l (s.). El términoʿilm
al-ḥiyal, la ciencia de los artilugios (técnicos), aparecen en las enciclopedias [árabe medieval]
más antiguas, Mafātīḥ alʿulūm de Muḥammad ibn Aḥmad al-Khwārizmī (siglo X), además en la
enciclopedia al-Fārābī, en la autobiografía de Ibn Sinān (909-946), en textos de as-Siǧzī (segunda
mitad del s. X) y en Ibn al-Haiṯam. Una segunda disciplina o ciencia en la que se usa el término
ʿilm al-ḥiyal es la estática. Aquí referencia a los “artilugios mecánicos” de Banū Mūsā, los
artilugios hidráulicos y neumáticos de al-Ǧazarī (siglo XII) y Taqī ad-Dīn b. Maʿrūf (siglo XVI).
El aṣḥāb al-ḥiyal y el miṯūdiqū son traducidos por Ḥunain Ibn Isḥaq del ηεθοδικοι de Galeno, que
destaca un tercer uso del término para los adherentes del Therapeutikê methodos. También ḥīla
en jurisprudencia refiere a truco legal.
astronomía ()علم الهيئة, ʿilm al-hayʾa: ʿ-l-m (s.) + h-y-ʾ (s.).
ciencia universal ()العلم الكلّى, al-ʿilm al-kullī: ʿ-l-m (s.) + k-l (adj.). Con relación con conocimiento
colectivo ()العلم االجمالی.
ciencia instrumental ()العلم اآللى, al-ʿilm al-ʾālī: ʿ-l-m (s.) + ʾ-w-l (adj).
ciencia física, física ()العلم الطبيعى, al-ʿilm al-ṭabīʿī: ʿ-l-m (s.) + ṭ-b-ʿ (adj.).
122
123
por accidente conduce al asunto extramental.” mufarraq: w-ṣ-l (VIII, inf.) + f-r-q (II, p.p.).
(Regla filosófica). continuidad unificada ()اتّصال موحّد, ittiṣāl
ciencia de cuadrados mágicos ()علم وفق, muwaḥḥad: w-ṣ-l (VIII, inf) + w-ḥ-d (II,
ʿilm al-wafq. p.p.).
ciencia de la criptografía ( )علم التعميةʿilm conjunción, continuidad ()اتّصال, ittiṣāl:
at-taʿmiya. Taʿmiyya (criptografía); istikhrāj w-ṣ-l (VIII, inf.), en griego: ἡ συνέχεια,
al-muʿamma (criptoanálisis), cifrar u ocultar unión, conjunción, continuo, en latín:
( )تَ ْع ِميَّةde “amiya” (ser o volverse ciego). continuation: “Nombre común que se aplica
Muḥammad Mrāyātī, Muḥammad Ḥassān al- en tres sentidos. El primero de ellos es el
Breve léxico técnico de Matemática
Ṭayyānī y Yaḥyā Mīr ʿAlam (presentado por designado como «lo continuo en sí», que
el Dr. Shākir al-Faḥḥām), ʿIlm al-taʿmiyya es una de las secciones de la cantidad (al-
(en el contexto islámico).
vienen a ser uno solo. En el segundo sentido hecho de ser euclidiano pone a disposición
es un movimiento en la posición, pero con un producto escalar que permite, entre otras
una posición. Pues todo aquello cuyo límite cosas, definir la ortogonalidad de los vectores
y el límite de otra cosa es uno solo en acto, y la distancia. Entre las propiedades menos
es dicho «continuo», como las dos líneas del conocidas de los cuadrados se encuentran:
ángulo. Y el tercer sentido corresponde a los El cuadrado es, entre los cuadriláteros
accidentes de la cantidad continua, en cuanto del mismo perímetro, el que tiene mayor
a que ella se encuentra en una materia. Y ello superficie. Las transformaciones isométricas
es que los dos continuos, en este sentido, que dejan un cuadrado globalmente
son aquellos dos en los que el límite de cada invariante son: simetrías axiales con respecto
uno de ellos es inseparable al del otro en el a una diagonal o una mediatriz de un lado; las
movimiento, aun siendo otro en acto. Como rotaciones alrededor del centro del cuadrado
la continuidad (ittiṣāl) de algunos miembros y cuyo ángulo es múltiplo del ángulo recto, y
en otros, la de los ligamentos con los huesos, en particular la simetría central con respecto
la de los objetos pegados con cola, y en al centro del cuadrado.
general, todo aquello en contacto adyacente, CUALIDAD DISTINTIVA: ’ayyiyya ()أییّة,
que con dificultad no acepta el contacto.” raíz ʾ-y
(Ibn Sīnā, “Kitāb al-Hudūd”). En griego: μέτρον - latín: esse
estar unido o conectado a (+ bi-); ser lo que es ( ,)ى ّ أʾayy: ʾ-y (partícula).
continuo con (+ bi-), ()اتّصل, ittaṣala - cualidad distintiva ()أيّية, ʾayyiyya: ʾ-y (s.).
yattaṣilu: w-ṣ-l (VIII, v.). Latín: esse [malinterpretado como ʾanniyya].
logro; llegada; reunión ()توصّل, tawaṣṣul: cualidad de una cosa (ي شىء هو ّ )ا, ʾayy šayʾ
w-ṣ-l (V, inf.). huwa: ʾ-y (pronombre) + š-y-ʾ (s.) + h-w
conjuntivo ()متّصل, muttaṣil: w-ṣ-l (VIII, (pronombre).
124
125
“ ”فيعمل منه ثلثة أشخاص صغار أسطوانية- “Accionar elementos].” (Ibn Sīnā “Al-nafs min Kitāb
a partir de estas tres pequeñas entidades aš-Šifā”). Suhrawardī utiliza el término al-
cilíndricas.” (Sabra; Óptica, III 18a, 3) basāyiṭ al-usṭuqusiya ( )البسائط األسطقسیةque
También refiere a esquina, y fue llevado en enfatiza a las simplicidades de los elementos.
trascripción fonética al árabe como usṭuqus ESCALA, intervalo: sullam ()سلم, raíz
()اسطقس, con el significado de elemento s-l-m
(elementum) o elemento primero (اسطقسات- aceptación, concesión, admisión ()تسليم,
principium), aunque también se le tradujo taslīm: s-l-m (II, inf).
como ’aṣl ( )اصلy ‘unṣur ()عنصر. ser cierto, ser establecido, estar claramente
Breve léxico técnico de Matemática
Usṭuqussī ( )أسطقسّيderivado de ʾsṭqs, probado ()سلم, salima – yaslamu: s-l-m (I, v.).
elemental: “وأما الخفة والثقل فبالحرى أن تفيد aceptado, concedido; indiscutible ()مسلّم,
(en el contexto islámico).
habría un intervalo infinito […]. Este infinito cualquier Di Ei que consideremos. Debe ser
sólo puede existir entre dos líneas, en cuyo infinito en sí mismo. Sin embargo, BC está
caso es finito e infinito, lo cual es absurdo.” restringida a L y L′, y termina en ellas, lo
(Ibn Sīnā, “Šifāʾ”, III, p. 8) que indica que es finita. En consecuencia,
Este argumento se puede describir de la es a la vez finito e infinito. Dada dicha
siguiente forma: Supóngase que L y L′ son dos contradicción, ergo, no hay líneas infinitas
líneas distintas que comienzan en el mismo como L y L′.
punto A y se extienden infinitamente para
formar un ángulo agudo con lados infinitos. GEOMETRÍA: handasa ( )هندسةraíz h-n-
Ahora, considérese dos puntos arbitrarios d-s
D1 y E1 en L y L′ respectivamente. Como En griego: γεωμετρία
resultado, D1 E1 es un intervalo que se ciencia de la geometría ()علم الهندسة, ʿilm
encuentra entre L y L′. Además, se considera al-handasa:ʿ-l-m (s) + h-n-d-s (s).
todos los intervalos D2 E2, D3 E3, D4 E4, geómetra ()مهندس, muhandis: h-n-d-s (I,
etc., paralelos a D1 E1, tales que Di y Ei p.a.), hoy se emplea en persa como ingeniero.
(para todo número natural 1≤i) se encuentran geometía ()هندسة, handasa: h-n-d-s (s.), en
respectivamente en L y L′ y la diferencia latín: geometría.
entre las longitudes de cada dos intervalos Dentro de los textos de geometría más
célebres del contexto islámico se encuentran Otra obra de geometría perteneciente Nasīr al-
el “Risālah fī Istiḫrāğ al-awtār fī al-dāʼirah” Dīn al-Ṭūsī es “Colección de los tratados” (مجموع
( )رسالة فى استخراج االوتار فى الدائرةo “Un )الرسائل, en la cual el primero de dos volúmenes
tratado sobre trazar acordes en un círculo” contiene una colección de siete tratados sobre
de Abū al-Raīḥān al-Bīrūnī. Como sugiere obras de astrónomos y matemáticos griegos. En
su título, es un tratado de geometría para el él aparecen tratados a los textos de Euclides:
trazado de acordes en los círculos siguiendo Sobre el libro “Data”; Sobre el libro “Óptica”
las propiedades de las cuerdas en un círculo. y Sobre el libro “Fenómenos”. El libro “Data”
Aquí al- Bīrūnī realizará un estudio del (en griego Dedomena, Δεδομένα, en árabe “al-
teorema de los acordes de la Proposición 35 Muʿiṭayāt”- )المعطیاتes un tratado de Euclides
del Libro III de los “Elementos” de Euclides sobre geometría plana íntimamente ligado a
sobre los acordes cruzados que crean dos la primera parte de los “Elementos”, bajo una
rectángulos iguales, ya sea que su punto de forma más adecuada al análisis de problemas. La
intersección esté en el centro o no. El método obra contiene quince definiciones, y explica lo
de al- Bīrūnī fue una síntesis de las obras que significa un objeto geométrico, en posición,
geométricas de Euclides y Brahamgugta. en forma, en tamaño, y 94 teoremas. El libro
Otro texto célebre es “Kitāb taḥrīr uṣūl li- fue traducido al árabe por Ḥunayn ibn Isḥāq
’Uqlīdus” ( )تحرير األصول إلقليدسo “Recensión (809-873) y restructurado profundamente por
de los Elementos de Euclides”, escrita por el Zābit Ibn Qurrat (836-901). Otra obra de Nasīr
filósofo persa Nasīr al-Dīn al-Ṭūsī, la cual al-Dīn al-Ṭūsī referente a la obra de Euclides es
eclipsó todas las traducciones anteriores de “Seis ensayos del libro de comentarios sobre
Euclides en el contexto islámico. Se especula Euclides” ()ستة مقاالت من كتاب تحرير االوقليدس. Esta
que su traducción fue realizada del griego. La obra consta de seis ensayos del libro “Kitāb
estructura de “Kitāb taḥrīr uṣūl li-’Uqlīdus” uṣūl al-handasah wa-al-ḥisāb” (“El libro de
sigue a la del libro en la cual se basa. Consta los elementos de la geometría y la aritmética”,
de trece capítulos: los seis primeros, sobre también conocido como “Comentarios sobre
geometría plana; los cuatro siguientes, sobre Euclides”), un tratado ilustrado sobre la obra
aritmética y la teoría de los números; y los del matemático griego.
tres últimos, sobre geometría volumétrica. Uno de los usos prácticos de la geometría en
Fue terminado hacia el final de 1248, el contexto islámico se aprecia en la caligrafía
varios años después de otra de sus obras cúfica (primera caligrafía árabe formal o
127
matemáticas extremadamente influyentes: su canónica), por su complejidad artística
revisión crítica de “Almagesto”, la obra de mediante una estricta geometría, y lugar para
Ptolomeo. Un discípulo de Ṭūsī, el filósofo la hiperdialéctica entre la visualidad y el
’išrāqī, místico y matemático persa Quṭb discurso en la caligrafía. La caligrafía cúfica
al-Dīn al- Šīrāẓī escribió en su idioma natal está asociada al gesto sagrado de describir,
la obra “Tarğome-ye Taḥrir-e ’Uqlīdes” trascribir y copiar el Corán, es la manera
(Traducción de la Recensión de los Elementos de fijar la palabra de Dios en el mundo
de Euclides), una obra de geometría de fenoménico o material. La caligrafía cúfica
quince capítulos que contiene principalmente cumple el rol de espejo metafísico, ya que
Breve léxico técnico de Matemática
la traducción de esta obra de Nasīr al-Dīn al- las letras encarnan el logos en un concepto
Ṭūsī, la cual fue completada en 1282. Los de inmanencia. La caligrafía cúfica, en su
(en el contexto islámico).
mutaǧānis: ǧ-n-s (VI, p.a.). partes, encuentras resultante de ella algo que
homogéneo ()مجانس, muǧānis: ǧ-n-s (III, p.a.). propiamente la es ajena y es irrepetible.” (Ibn
homogeneidad, proporcionalidad ()مجانسة, Sīnā, “Kitāb al-Hudūd).
muǧānasa: ǧ-n-s (III, inf) infinito en acto, infinito en actualidad
Umar al-Jayyām en su texto “Risāla fī šarḥ ()غير متناه بالفعل, ġayr mutanāhin bi-l-fiʿl:
mā aškala min muṣādarāt kitāb Uqlīdis” ġ-y-r (negativo) + n-h-w n-h-y (VI, p.a.) + b
o “Comentario sobre los problemas de (prep.) + f-ʿ-l (s).
Euclides” se dedicó al estudio exhaustivo de infinito en potencia, potencialmente
los conceptos de razón y proporcionalidad. infinito ()غير متناه بالق ّوة, ġayr mutanāhin bi-
Este libro trabaja con los postulados del l-qūwa: ġ-y-r (negativo) + n-h-w n-h-y (VI,
Libro V, y se completó en diciembre de p.a.) + b (prep.) + q-w-y (s).
1077, dividiéndose en tres capítulos. En el infinito ()غير متناه, ġayr mutanāhin: ġ-y-r
primer capítulo al-Jayyām intenta probar (negativo) + n-h-w n-h-y (VI, p.a.), en
el famoso postulado de las paralelas, griego: ἄπειρος.
asumiendo ciertas premisas aristotélicas; es infinito ()ال متناه, lā mutanāhin: l-ā (negativo)
decir, considera que el Postulado Primero + n-h-w n-h-y (VI, p.a.), en griego: ἄπειρος.
del Libro V de Euclides se puede trabajar infinito ()النهاية, lā-nihāya: lā (negativo) +
junto a los principios aristotélicos sobre los n-h-y (s).
conceptos de líneas y ángulos rectilíneos, y no-finitud; infinitud, ilimitación, infinito ()التناه,
pretende aclararlos y probarlos. El segundo lā-tanāhin: l-ā (negativo) + n-h-y (VI, inf).
capítulo explica sus ideas sobre proporciones
iguales y desiguales, y establece una serie LETRA: ḥurūf ()حروف, raíz ḥ-r-f
de proposiciones y una equivalencia entre En griego: στοιχεἶον / τά στοιχεία
sus proposiciones y las de Euclides. El oblicuidad, inclinación, desviación, sesgo
128
tercer capítulo trata sobre la combinación de ()انحراف, inḥirāf: ḥ-r-f (VII, inf).
razones, aquí es donde introduce el concepto bifurcarse, apagar, desviarse, divergir
de números irracionales. ()انحرف, inḥarafa - yanḥarifu: ḥ-r-f (VII, v.).
انما ) هي أییة: إنها (فی مخطوطة باریس: في حقيقة النسبة partícula ()حرف, ḥarf: ḥ-r-f (s).
وکذلک: اییه ؛ بالیائین غیر معجمة: (فی المخطوطتین profesión, oficio, vocación ()حرفة, ḥirfa:
فیما یلی) قدر مقدارین متجانسین أحدهما من اآلخر ḥ-r-f (s).
“ Sobre la verdadera naturaleza del radio, transformado ()مح ّرف, muḥarraf: ḥ-r-f (II,
que es una cierta medida de dos magnitudes p.p.).
homogéneas ,una con respecto a otra”. oblicuo, inclinado, inclinado, divergido
(Ummar al-Jayyām“ Risāla fī šarḥ mā aškala ()منحرف, munḥarif: ḥ-r-f (VII, p.a.).
min muṣādarāt kitāb Uqlīdis”). El término ḥurūf fue traducido del griego
στοιχείο o stouicheion (genitivo στοιχείον,
ILIMITADO: mā lā nihāyata ()ما ال نهاية, segunda declinación), que un término
raíz n-h-y polivalente y polisémico que refiere, entre
En griego: ἄπειρος otros, a elemento, causa material, superficie
pasando infinitamente, pasando sin cesar (سائر y un sonido elemental distinto de una letra
)ما ال يتناهى, sāʾir mā lā yatanāhā: s-y-r (I, p.a.) + (γράμμα). En las obras de Aristóteles se le
m-ā (pronombre) + l-ā (negativo) + n-h-y (VI, v.). traduce ḥurūf ( )حروفde τά στοιχεία, como
“Tópicos” (150b 20) por Damašqī y “Metafísica” (1013b 17) por Usṭāṯ, sin embargo, Ibn Yūsuf
Ibn Mattār traduce στοιχεἶον en la “Poética” (1456b 20), como usṭuqus ()اسطقس. En el misticismo
las letras cumplen un valor simbólico dentro de los diagramas mnomotécnicos de conocimiento
y cuadrados mágicos (pseudomórfosis esotéricas matemáticas). Este tipo de práctica matemática-
esotérica fue realizada por muchos de los geómetras-filósofos islámicos como al-Bīrūnī y al-
Juwārizmī, y poseen paralelo con la aritmología de A. Kircher, la ciencia de las letras (la cual
decía Fārābīî que era la raíz de las ciencias), la cábala y el arte combinatoria de Ramón Lulio y
Leibniz. Esta práctica es muy común en el espacio del sufismo y las ciencias ocultas islámicas
(‘ulum ġarībih). El primer tomo de la obra “Al-Futūḥāt al-Makīyat” de Ibn Arabī es un examen
minucioso del valor de las letras y sus permutaciones a partir de la revelación coránica. La
correlación de valores es la siguiente:
129
س 60
ع 70
ف 80
ص 90
ق 100
ر 200
ش 300
ت 400
Breve léxico técnico de Matemática
ث 500
خ 600
(en el contexto islámico).
ذ 700
ض 800
ظ 900
غ 1000
LÍNEA: ḫaṭṭ ( ,)ّخطraíz ḫ-ṭ[ mat]. “Y encontré todos los números ,pero ellos
En latín :linea estaban compuestos a partir del uno ,y el uno
línea circular ()خطّ مستدير, ḫaṭṭ mustadīr: ḫ-ṭ estaba incluidos en todos los números( ”al-
(s) + d-w-r (X, p.a.). Juwārizmī“ Kitāb al-ǧabr wa-l-muqābilat”,
Léxico
131
(V, v.) ; en griego : ἄτομος, ἀδιαίρετος ; en latín : indivisibilis.
Partes homeómeras, homogeneas, similares ()المتشابهة األجزاء, al-mutašābiha al-ʾaǧzāʾ : š-b-h
(VI, p.a., plural inanimado) + ǧ-z-ʾ (s, plural de جزء: ǧuzʾ).
Partes homogeneas ()متشابه األجزاء, mutašābih al-ʾaǧzāʾ : š-b-h (VI, p.a.) + ǧ-z-ʾ (s, plural) ; en
griego : τὰ ὁμοιομερῆ.
División, partición, separación, diferenciación ()تجزئة, taǧziʾa : ǧ-z-ʾ (II, inf).
Ser o estar dividido, ser o estar separado ; ser divisible ()تج ّزأ, taǧazzaʾa - yataǧazzaʾu : ǧ-z-ʾ
(V, v.).
Divisible, separable ; dividido, separado ()متج ّزئ, mutaǧazziʾ : ǧ-z-ʾ (V, p.a.).
Breve léxico técnico de Matemática
punto ()نقطة, nuqṭa: n-q-ṭ (s): “El punto es una esencia indivisible que tiene una posición, y es
el límite de la línea.” (Ibn Sīnā, “Kitāb al-Hudūd”).
RECTO: mustaqīm ()مستقيم, raíz q-w-m
triángulo rectángulo ()مثلّث قائم, muṯallaṯ qāʾim: ṯ-l-ṯ (II, p.p.) + q-w-m (I, p. a.).
movimiento rectilíneo ()حركة مستقيمة, ḥaraka mustaqīma: ḥ-r-k (s.) + q-w-m (X, p.a.).
línea rectilínea, línea recta ()خطّ مستقيم, ḫaṭṭ mustaqīm: ḫ-ṭ (s) + q-w-m (X, p. a.).
Léxico
cuadrilátero en ángulo recto ()مربّع قائم زوايا, murabbaʿ qāʾim zawāyā: r-b-ʿ (II, p.p.) + q-w-m (I,
p. a.) + z-w-y (s, plural de زاوية: zāwiya).
ángulo recto ()زاوية قائمة, zāwiya qāʾima: z-w-y (s) + q-w-m (I, p.a.).
extensión lineal ()مستقيم االمتداد, mustaqīm al-imtidād: q-w-m (X, p.a.) + m-d (VIII, inf).
en ángulo recto, perpendicular, rectangular ()قائم الزاوية, qāʾim al-zāwiya: q-w-m (I, p.a.) +
z-w-y (s).
en sí mismo, por sí mismo ()قائم بذاته, qāʾim bi-ḏātihī: q-w-m (I, p.a.) + b (prep.) + ḏ-w (s) +
(pronombre). En griego: αὐτό.
por sí, por sí mismo ()قائم بنفسه, qāʾim bi-nafsihī: q-w-m (I, p.a.) + b (prep.) + n-f-s (s) +
(pronombre). En griego: αὐτό.
ser rectilíneo, ser recto ()استقامة, istiqāma: q-w-m (X, inf); rectitud, rectitud; sinceridad,
integridad, honestidad; solidez, corrección.
ser constituido; sustentarse ()تق ّوم, taqawwama – yataqawwamu: q-w-m (V, verb).
subsistencia, estado normal ()قوام, qiwām: q-w-m (s); subsistencia, cosa subyacente; constitución.
rectilíneo, recto ()مستقيم, mustaqīm: q-w-m (X, p.a.).
posición, ubicación, lugar ()مقام, maqam: q-w-m (s).
فاقسم علی األموال إن وجدتها واقسم علی األجذار إن عدمتها (T₁) ax² = bx ↔ a/ax² = b/ax ↔ x= b/a (al-yidhr)
فهذه المسائل البسیطة خارجها الجذر سوی الوسیطة (T₂) ax² = c ↔ a/ax² = c/a ↔ x² = c/a (al- mâl)
فإنما یخرج فیها المال حسبما قد إقتضی السوال (T₃) bx = c ↔ b/b x = c/b ↔ x = c/b (al-yidhr)
133
superficie interna ()سطح باطن, saṭḥ bāṭin: s-ṭ-ḥ (s.) + b-ṭ-n (I, p.a.).
superficie simple, superficie bidimensional ()سطح بسيط, saṭḥ basīṭ: s-ṭ-ḥ (s.) + b-s-ṭ (adj.).
superficie no reducible, no inclusiva ()سطح غير حاوى, saṭḥ ġayr ḥāwī: s-ṭ-ḥ (s.) + ġ-y-r (negativo)
+ ḥ-w-y (I, p.a.).
superficie convexa ()سطح مقبّب, saṭḥ muqabbab: s-ṭ-ḥ (s.) + q-b (II, p.p.).
superficie cóncava ()سطح مقعّر, saṭḥ muqaʿʿar: s-ṭ-ḥ (s.) + q-ʿ-r (II, p.p.).
superficie de contacto ()سطح مالق, saṭḥ mulāqin: s-ṭ-ḥ (s.) + l-q-y (III, p.a.).
superficie del cono ()سطح المخروط, saṭḥ al-maḫrūṭ.
superficie cónica ()سطح مخروطي, saṭḥ al-maḫrūṭī.
Breve léxico técnico de Matemática
superficie rectangular ()سطح قائم الزوايا, saṭḥ qāyim al-zawāyā. En griego ὀρθογώνιον.
Los términos basīṭ y saṭh serían el equivalente al término euclidiano epifáneia que refiere a
superficie general, diferente a epípedon o superficie plana, ya que epifáneia aparece designado
originalmente en Euclides como la apariencia visible de un cuerpo sólido.
Cuerpo geométrico, en la geometría de ""ب ج فلینکن السطح المتوازی االضالع ا ب ج د
Euclides es llamado “sólido”, del griego “ Bā ,ğī sea la superficie (al-saṭḥ) del
“stereón” (στερεών), adjetivo que en paralelogramo ālif, bā, ğīn, dāl”
geometría hace referencia a sôma - σώμα Esta formulación corresponde a la
Léxico
de P. Esta propiedad de ser homeomorfa corporalidad, pero por este aspecto que lo
con el plano permite construir un sistema de sujeta necesariamente tiene una finitud luego
coordenadas local bidimensional en torno a de ser un cuerpo. Entonces, ni la superficie
cualquier punto en la superficie. En ocasiones (al-saṭḥ) ni la finitud son algo que no entran
al-saṭḥ refiere el sentido de “rectángulo”, en la concepción de un cuerpo” (Al-Išārāt wa
por ejemplo, en la expresión “al-saṭḥ A al-tanbīhāt, 102).
por ( )فيB”—pero todavía traducida como El axioma expuesto por Ibn Sīnā refiere a
“superficie”. la definición 2 del Libro XI de Elementos,
Tanto Suhrawardī como Muḥammad Mahdī el cual establece la condición de límite
ibn Abi zarr Naraqī en su Taūḍīḥ al-’Iškāl: del cuerpo sólido: “Στερεοῡ δὲ πέρας
šarḥ bartaḥrīr ’Uṣūl ’Uqlīdus, comentario ἐπιφάνεια.” (“Y el extremo de un sólido es su
al comentario del filósofo persa Nasīr al- superficie”). Los términos basīṭ y saṭḥ serían
Dīn al-Ṭūsī a los Elementos -llamado Kitāb el equivalente al término euclidiano epifáneia
taḥrīr uṣūl li-Uqlīdus” (“Recensión de los que refiere a superficie general, diferente a
Elementos de Euclides”) –, destacan como epípedon o superficie plana, ya que epifáneia
saṭḥ refiere al mismo significado de basīṭ. En aparece designado originalmente en Euclides
la traducción de los Elementos de al-Ḥajjāj como la apariencia visible de un cuerpo
ibn Yūsuf ibn Maṭar encontramos: sólido. Cuerpo geométrico, en la geometría
de Euclides es llamado “sólido”, del griego
stereón (στερεών), adjetivo que en geometría
hace referencia a sôma - σώμα (cuerpo) o
skhêmas (figura). El cuerpo geométrico es la
región limitada por superficies planas o curvas
o la combinación de estas superficies. La
superficie se puede definir como un conjunto
de puntos de un espacio euclídeo que forma
un espacio topológico bidimensional que
localmente se asemeja al plano euclídeo. Así
alrededor de cada punto de una superficie esta
se aproxima lo suficiente por el plano tangente
a la superficie en dicho punto. Euclides definía
superficie como: Έπιφανείας δὲ πέρατα
γραμμαί. / “Una superficie (epifáneia) es
aquello que sólo tiene longitud y anchura”.
(Libro I, definición 5ª, 1991, 191).
135
proposición tripartita ()ثالثية, ṯulāṯiyya: ṯ-l-ṯ
(s).
TARǦOMA-YE TAḤRIR-E ’UQLĪDUS
(TRADUCCIÓN DE LA RECENSIÓN
Reseñas
islámico. Los Elementos fueron traducidos al árabe dos veces a principios del
siglo IX por Al-Ḥajjāj Ibn Yūsuf Ibn Maṭar (786-833), y de nuevo unos años
más tarde por Išāq ibn Ḥunayn (830- 910 / 911) en una versión mejor que la de
Al-Ḥajjāj y revisada por el gran matemático Ṯābit Ibn Qurra. Estas ediciones
quizás fueron traducidas de manuscritos griegos que no eran muy diferentes a
los que todavía se poseen, y así presentaron el sistema extendido de principios
(catorce o quince de ellos) que ya eran comunes en la Antigüedad tardía
griega. En el siglo X, el matemático persa Abū’l- ‘Abbās al-Faḍl ibn Ḥātim
al-Nairīzī (865 – 922) escribió un importante comentario sobre Euclides,
inspirándose en las nuevas suposiciones adicionales de neoplatónicos como
Proclo y Simplicio, además de Herón (entre otros). Aunque esta no era una
edición de los Elementos en sí, sino más bien un comentario al respecto,
estaba claro que el sistema de principios de Euclides podría, y probablemente
debería, ampliarse para llenar los vacíos presentes en varias demostraciones.
El comentario de An-Nayrīzī sobre Euclides sobrevivió con respecto a los
Libros I-VI y X, con un fragmento muy breve sobre los Libros VII y VIII y un
fragmento más largo sobre el Libro IX.1
1. La primera traducción de los Elementos al árabe fue bajo responsabilidad del matemático Al-
Algunas de estas traducciones al árabe capítulos o tratados: Geometría, Aritmética,
basadas en las interpretaciones de filósofos Astronomía y Música; estas representan,
neoplatónicos, como Proclo y Simplicio, en la forma clásica, las disciplinas del
pudieron tener un cierto imparto en cuatro “quadrivium”. El primer tratado de la serie,
lecturas en árabe de la obra geométrica la geometría, es un compendio de los trece
realizadas por filósofos persas. La primera libros de los Elementos de Euclides y los dos
la podemos encontrar en el gran filósofo Ibn Libros (XV-XV) atribuidos a Hipsicles. Aquí
Sīnā (980-1037). En la parte correspondiente Ibn Sīnā, con detalle, sigue la secuencia del
a la Matemática en el Kitāb aš -Šifâ’ (Libro de modelo euclidiano. Debido a su decisión de
la curación), estructura dicha parte en cuatro conformar la obra de Euclides, la aritmética
Ḥajjāj Ibn Yūsuf Ibn Maṭar (786-833). Ibn Maṭar tradujo
euclidiana de los Libros VII y IX es presentada
los Elementos dos veces, la primera traducción la realizó en su primer tratado. El segundo tratado,
bajo el gobierno abasí de Hārūn Ar-Rašīd (del 763 al 766) dedicado a la aritmética aparece siguiendo un
por mandato de su visir Yaḥyā Ibn Jālil. Esta traducción se
conoció “la traducción de Hārūn” la cual perdió valides
patrón en relación con un modelo pitagórico.
con el tiempo. La segunda traducción la realizó durante Umar al-Jayyām (1048 -1123), es autor de otro
el califato de al-Ma’mūn (813-833), conocida como “la comentario árabe de visión filosófica, el Risāla
traducción de Ma’mūn”, aunque pudo ser la misma prim-
era traducción. Solo quedan copias de la segunda traduc-
fī šarḥ mā aškala min muṣādarāt kitāb Uqlīdis
ción, y fue esta la usada por Adelardo de Bath (1080-1150) ( )رسالهً في شرح ما أشكل من مصادرات کتاب اقليدسo
para su traducción del árabe al latín de Elementos, aunque Comentario sobre los problemas de Euclides.
la mejor traducción latina fue la del italiano afincado en
Toledo Gerardo de Cremona (1114-1187), realizada de la
En él se dedicó al estudio exhaustivo de los
versión árabe de Ṯābit Ibn Qurra (836-901). Las siguien- conceptos de razón y proporcionalidad. Este
tes traducciones al árabe fueron las del nestoriano Išāq ibn libro trabaja con los postulados del Libro V, y se
Ḥunayn (830- 910 / 911) y el sabeo Ṯābit Ibn Qurra. El
traductor y médico Ibn Išāq, hijo Ḥunayn ibn Išāq, real-
completó en diciembre de 1077, dividiéndose
izó la traducción de Elementos, valiéndose del método de en tres capítulos. Una parte del comentario de
traducción de su padre, traducir del griego al siriaco y de Jayyām sobre los Elementos de Euclides trata
este al árabe. Este método, a diferencia de otros traductores
abasíes, no trataba de seguir un léxico exacto del texto, en
del axioma paralelo, siendo este tratado de al-
su lugar intentaría resumir los temas de los textos origina- Jayyām el primero en dar un tratamiento del
les, para luego parafrasearlo en siriaco o árabe. Es por ello axioma no basándose en una petitio principii,
que al margen de sus traducciones redactó textos de trabajo
técnico comparando la información contenida en ellos con
sino en un postulado más intuitivo. Jayyām
otros sobre temas similares. Por lo tanto, sus traducciones refuta los intentos previos de otros matemáticos
pueden observarse como interpretaciones. Al no ser es- para probar la proposición, principalmente
137
pecialista en matemáticas la traducción de los Elementos
fue revisada por Ṯābit Ibn Qurra, así igualmente con sus
sobre la base de que cada uno de ellos había
traducciones de Data y Óptica de Euclides, convirtiéndose postulado algo que no era de ninguna manera
bajo este trabajo conjunto en las traducciones clásicas en más fácil de admitir que el propio V Postulado.
árabe de Euclides. La traducción de Ḥunayn incluyen del I
Libro al XIII Libro, posteriormente se incluyeron los Libro
En el primer capítulo al-Jayyām intenta probar
XIV y XV, los llamados Libros apócrifos de los Elemen- el famoso postulado de las paralelas, asumiendo
CIÓN DE LA RECENSIÓN DE LOS ELEMENTOS DE
TARǦOMA-YE TAḤRIR-E ’UQLĪDUS (TRADUC-
tos, escritos por Hipsicles ()اِبِســقِالوُس, y que se centran en ciertas premisas aristotélicas; es decir, considera
el dodecaedro y el icosaedro, dicha traducción al árabe de
estos dos Libros o capítulos fue realizada por el filósofo y
que el Postulado Primero del Libro V de
matemático sirio Qusṭā Ibn Lūqā al-Ba’labakkī (820-912), Euclides se puede trabajar junto a los principios
el cual como cristiano melquita tenía al griego como lengua aristotélicos sobre los conceptos de líneas y
materna y dominaba perfectamente el siriaco y el árabe. La
traducción completa con los quince Libros permanece en
ángulos rectilíneos, y pretende aclararlos y
manuscritos en nuestros días. Según el erudito y bibliógrafo probarlos. El segundo capítulo explica sus
iraquí Ibn al-Nadīm (m. 990), Abū ‘Uzmān Damašqī fue ideas sobre proporciones iguales y desiguales,
el que tradujo el décimo Libro de esta traducción. Es muy
discutido si los Elementos fueron traducidos directamente
y establece una serie de proposiciones y una
EUCLIDES)
del griego, o si se usó una traducción siriaca como vicaria equivalencia entre sus proposiciones y las
para traducir al árabe, es probable que se haya utilizado el de Euclides. El tercer capítulo trata sobre
siriaco como fuente.
la combinación de razones, aquí es donde La cuarta lectura corresponde a Šams al-
introduce el concepto de números irracionales. Dīn al-Samarqandī (m. 1322), el cual en
Basándose en los puntos de vista de Aristóteles, su obra Aškāl al-Ta’sts. Al-Samarqandī
Reseñas
rechaza el uso del movimiento en la geometría era un contemporáneo de Nasīr al-Dīn al-
y por lo tanto descarta el intento diferente de Ṭūsī, pero aparentemente nunca visitó el
Al-Haytham. Insatisfecho con el fracaso de famoso observatorio de al-Ṭūsī en Maragha
los matemáticos para probar la afirmación de y, por lo tanto, no pertenecía a ese grupo
Euclides a partir de sus otros postulados, Umar de investigación altamente innovador. El
al-Jayyām trató de conectar el axioma con el IV trabajo de Samarqandī ha sido generalmente
Postulado, que establece que todos los ángulos reconocido como influyente en toda la cultura
rectos son iguales entre sí. árabe/islámica del período medieval, pero
Y el tercer comentario en árabe fue el Kitāb su contenido aún no ha recibido un análisis
taḥrīr ’Uṣūl li-’Uqlīdus o Recensión de los moderno sistemático. Este descuido es
Elementos de Euclides ()تحرير األصول إلقليدس, desafortunado porque este breve tratado de tan
escrita por el filósofo persa Nasīr al-Dīn al- sólo 20 páginas, fue ampliamente conocido y
Ṭūsī (1201–1274), la cual eclipsó todas las muy utilizado en todo el mundo de lectura
traducciones y cometarios anteriores, y la cual árabe. El texto Aškāl al-Ta’sts presenta las
se especula que fue traducida directamente definiciones claves, postulados y axiomas del
del griego. La estructura de Kitāb taḥrīr uṣūl Libro I, junto con 35 proposiciones extraídas
li-Uqlīdus sigue la del texto original, consta principalmente de los Libros I y II de los
así de trece capítulos: los seis primeros, sobre Elementos (La atribución a al-Samarqandī de
geometría plana; los cuatro siguientes, sobre la “prueba” del postulado de las paralelas ha
aritmética y la teoría de los números; y los sido cuestionada, y se cree generalmente que
tres últimos, sobre geometría volumétrica, el autor fue Athīr al-Dīn al-Abharī (m. 1265).
aunque muchas ediciones posteriores cuentan Aunque es un trabajo breve, al-Samarqandī
con quince capítulos.2 Fue terminado hacia consultó los trabajos de otros matemáticos
el final de 1248, varios años después de otra musulmanes antes de escribirlo. Por ejemplo,
de sus obras matemáticas extremadamente se refiere a escritos de Ibn al-Haytham, Umar
138
influyentes: su revisión crítica de Almagesto, al-Jayyam, Nasīr al-Dīn al-Ṭūsī y Athīr al-Dīn
la obra de Ptolomeo. al-Abharī.
Es por medio de la tercera lectura de Elementos
2.En la edición realizada el 22 de Sha‘bān de 646 / 10 de
diciembre de 1248, el texto se divide en quince libros ()مقــاالت,
en árabe que se realizará la traducción en
de los cuales se dice correctamente que los dos últimos (Libros persa por parte de uno de los discípulos de
14 y 15) no fueron escritos por Euclides, y al-Ṭūsī atribuye tan- al-Ṭūsī, el filósofo išrāqī, polímata, místico y
to al astrónomo como al matemático Hipsicles de Alejandría
(Ὑψικλῆς, ;إبســقالوسPrimera mitad del siglo II a.C.).
matemático persa Quṭb al-Dīn al-Šīrāẓī (1236-
• Libro Uno (المقالة األولى, pp. 2-38); 1311), también conocido como ʿAllāma Širāzī,
• Libro Dos (المقالة الثانية, pp. 38-48); al-Šāreḥ al-ʿAllāma y Mollā Qoṭb, apodado
• Libro Tres (المقالة الثالثة, pp. 48-66);
• Libro Cuatro (المقالة الرابعة, pp 66-77);
Abu’l-Ṯanāʾ. Éste escribió en su idioma
• Libro Cinco (المقالة الخامسة, pp 77-89); natal la obra Tarǧoma-ye Taḥrir-e ’Uqlīdus o
• Libro Seis (المقالة السادسة, pp 89-107); Tarjoma-ye Taḥrir-e Oqlides (Traducción de
• Libro Siete (المقالة السابعة, pp 107-117);
• Libro Ocho (المقالة الثامنة, pp 117-126);
la Recensión de los Elementos de Euclides),
• Libro Nueve (المقالة التاسعة, pp 126-134); un texto de geometría de quince capítulos
• Libro Diez (المقالة العاشرة, pp 134-163); que contiene principalmente la traducción de
• Libro Once (المقالة الحادية عاشر, pp 163-182);
• Libro Doce (المقالة الثانية عاشر, pp 182-194);
esta obra de Nasīr al-Dīn al-Ṭūsī, la cual fue
• Libro Trece (المقالة الثالثة عاشر, pp 194-208); completada en 1282.
• Libro Catorce (المقالة الرابعة عاشر, pp 208-214); Es esta valiosa obra la que hoy cuenta con
• Libro Quince (المقالة الخامسة عاشر, pp 214-216);
una edición crítica realizada en Teherán por matemático (ǧism taʿlīmī) son el límite del
la editorial Maūla, la cual tiene a su haber un cuerpo absoluto (ǧism muṭlaq). ٍ Esto significa
amplio catálogo de publicaciones de filosofía, que el lugar donde termina el objeto o el
mística, literatura y ciencias del contexto final de algo no es una cosa existente ,siendo
islámico. una enunciación de los inexistentes ;pero en
La edición cuenta con la corrección, comparación con la existencia ,adquiere un
supervisión y el prólogo del recientemente sentido de existencia mental en sí ,que ,en
fallecido Sayyed ʿAbd-Allāh Anwār (m. este sentido ,se le denomina privación de
2022), el cual fue un lexicógrafo, matemático correlativos( ʿadam muḍāf). Por lo tanto, no
y traductor iraní, pionero contemporáneo en tenemos una base en lo externo, sino que solo
el estudio de los manuscritos en Irán, siendo tenemos una fuente abstracta. Lo que es real
un experto en varias ciencias, incluidas las existe y lo que se muestra en diferentes formas
matemáticas, la lógica y la música, con igual y elementos, por así decirlo, las quididades
dominio de obras en los campos literarios, todas, existen como definición por esencia,
filosóficos e históricos antiguos. Sayyed ʿAbd- siendo como realidades sombrías inferiores.
Allāh Anwār fue además traductor al persa Como lo diría el poeta y místico persa Sa‘adī
tanto de obras filosóficas de al- Ġazālī, al- Šīrāzī: همه هرچه هستند از آن کمترند که با هستیش نام
Ṭūsī y al-Suhrawardī, como de Wittgenstein y هستی برند- “Todos son insuficientes de lo que
Bergson. También trabaja en la corrección el son, ya que con su ser se nomina ser” (Būstān,
investigador iraní Salmān Mufīd, con amplia Tercer capítulo, estrofa 18, verso 6).
experiencia en la edición de textos Suhrawardī Esta edición de Tarǧoma-ye Taḥrir-e
e Ibn Arabī. Todo ello valida de sobremanera ’Uqlīdus es una excelente oportunidad para
la edición. especialistas en el área de las matemáticas y
Es importante destacar el trabajo directo la filosofía griega e islámica de profundizar
con manuscritos y la edición crítica de en los estudios sobre la interpretación de la
este voluminoso texto con anotaciones del obra de Euclides de Alejandría en el contexto
profesor Anwār, que cuenta a su vez con un iranio.
excelente trabajo de diseño en las imágenes de
las demostraciones geométricas.
Siendo la obra en árabe de un filósofo, que
139
es traducida por otro notable filósofo y
editada por dos especialistas de este campo,
se deja ver en la edición actual de Tarǧoma-
ye Taḥrir-e ’Uqlīdus un fuerte sustrato
filosófico. En la geometría euclidiana, el
punto (nuqṭa), la línea (ḫaṭṭ), la superficie
CIÓN DE LA RECENSIÓN DE LOS ELEMENTOS DE
TARǦOMA-YE TAḤRIR-E ’UQLĪDUS (TRADUC-