You are on page 1of 9

23

La crtica de Leibniz a los Elementos de Euclides

Jorge Alberto Molina


Universidade de Santa Cruz do Sul (UNISC)
Universidade Estadual de Rio Grande do Sul (UERGS)
molina@unisc.br

Abstract: In this text we deal with Leibniz's criticism of Euclid's


Elements. We focus our attention on Leibniz's objections to the
definitions, axioms and kinds of proof used by Euclides.
Key-words: Philosophy of mathematics; History of mathematics;
Leibniz.

Resumen: En este trabajo se examinan las objeciones de Leibniz a la


exposicin euclidiana de la Geometra en los Elementos. Especial
atencin dada a las crticas de Leibniz a las definiciones, a los
axiomas y a las pruebas contenidas en esa obra.
Palabras clave: Filosofa de la matemtica; Historia de la Matemtica;
Leibniz.

En el siglo XVII los Elementos de Euclides eran considerados un paradigma


de exposicin de la Geometra. Sin embargo no dejaron de formularse reparos
contra ellos: a) Euclides supona cosas que podan ser probadas y asuma otras
sin prueba; b) algunas de las definiciones de los Elementos eran consideradas
confusas, por ejemplo las definiciones de la teora de las proporciones y las de
recta y ngulo; c) Euclides usaba pruebas por reduccin al absurdo; d) empleaba
pruebas por superposicin, lo que introduca un elemento emprico en la
Notae Philosophicae Scientiae Formalis,
vol. 1, n. 1, p. 23 - 31, maio 2012.

24

exposicin matemtica; e) los Elementos no respetan el orden cientfico de


exposicin que consiste en partir de los gneros supremos para llegar a las
especies nfimas.

1. Sobre las definiciones y axiomas de los Elementos

Euclides define el ngulo, en los Elementos, como el encuentro de dos


lneas rectas inclinadas sobre un mismo plano. Pero cuando prueba que un
ngulo puede ser dividido en dos partes iguales asume que el ngulo no es el
encuentro de esas dos lneas, sino el espacio que determinan. Probablemente
Euclides no habra querido definirlo como el espacio comprendido entre dos
lneas por el hecho de que ste puede aumentar o disminuir segn aumenten en
extensin las lneas que lo determinan. Pero ocupar siempre la misma parte
proporcional de la circunferencia que tiene por centro el punto donde se
encuentran esas dos lneas. La definicin euclidiana de ngulo muestra lo que
para muchos era un defecto en el orden de exposicin de los Elementos. Euclides
debera haber comenzado esa obra con una teora de las proporciones, dado que
la definicin de ngulo implcitamente la presupone. En 1677 Leibniz define el
ngulo como la razn del arco a la circunferencia (Leibniz 1995, p. 53).
Leibniz pensaba que muchas de las definiciones que estn en el Libro I de
los Elementos podran derivarse de definiciones ms bsicas. Consideraba
necesario tambin probar la posibilidad de las entidades geomtricas definidas,
esto es, su carcter no contradictorio. En su Characteristica Geometrica, de 1679
afirma (Leibniz 1995, p. 227):
Todas las definiciones habituales de la recta no son lo
suficientemente perfectas, pues siempre puede dudarse y siempre
an es necesaria una demostracin de que tal recta sea posible. Mas
eso debe figurar entre las cosas ms elementales, y por consecuencia
precisamos una definicin que haga aparecer inmediatamente la
posibilidad de la recta. Si se la define como un mnimo se puede
dudar de que exista un mnimo de un punto al otro. Si se la define
como una lnea, cuyos puntos no pueden apartarse, se presupone la
distancia, o una trayectoria mnima.
Notae Philosophicae Scientiae Formalis,
vol. 1, n. 1, p. 23 - 31, maio 2012.

25

Observemos que es la definicin euclidiana de recta como lnea cuyos


puntos no pueden apartarse la que est siendo aqu considerada. En un escrito
del ao 1685, Leibniz presenta un procedimiento para la generacin de una recta
(Leibniz 1995, p. 325):
Consideremos que dos puntos A y B de un cuerpo rgido
permanezcan inmviles mientras que otro punto est en
movimiento. Todos los puntos del cuerpo que permanecen inmviles
se encontrarn sobre una recta puesto que su situacin en relacin a
esos puntos inmviles no puede variar siendo, por hiptesis , rgido el
cuerpo que los conecta, ni su lugar, puesto que ellos mismos son
inmviles.

En la Demostracin de las proposiciones primarias, del ao 1671 (Leibniz


1982, p. 86-95) Leibniz intent demostrar el axioma de que el todo es mayor que
cualquiera de sus partes. En un opsculo del ao 1686, consider como un
defecto de los Elementos, suponer cosas que pueden ser demostradas (C, p.180).
Posteriormente en los Nuevos Ensayos (N.E, p. 489)

critic a quienes

reprocharon a Arnauld querer demostrar en sus Nuevos Elementos de Geometra


el axioma de que si a magnitudes iguales les substraemos una misma magnitud la
igualdad permanece.

2. Sobre las pruebas de los Elementos

En sus Segundos Analticos, I, 26, Aristteles afirm que la demostracin


directa es superior a la demostracin por el absurdo. Inspirndose en esa
concepcin muchos matemticos del siglo XVII buscaron sustituir las pruebas
por el absurdo por pruebas directas. Cuando se deriva una contradiccin de que
A no es B, y a partir de ah se concluye que A es B, la existencia de esa
contradiccin es un signo de la falsedad de que A no es B. Pero la prueba no da
una razn de por qu A es B, simplemente indica el hecho. Las pruebas por
reduccin al absurdo no se dejan subsumir dentro de la concepcin aristotlica
de ciencia segn la cual sta es el conocimiento de las causas.

Notae Philosophicae Scientiae Formalis,


vol. 1, n. 1, p. 23 - 31, maio 2012.

26

Otras pruebas que, para muchos matemticos del siglo XVII, resultaban
polmicas eran las pruebas por superposicin como la demostracin de la
proposicin I, 4 de los Elementos. Se apoyan en el axioma de los Elementos que
dice que dos cosas que pueden superponerse una con las otra son iguales entre
si. Las ciencias matemticas segn la caracterizacin de Aristteles en su
Metafsica M, 3, se ocupan de la cantidad en la medida en que sta es abstrada
de las cosas sensibles. Como el movimiento es propio de las cosas sensibles y no
de las abstractas, en la Geometra no podran ser admitidas

pruebas que

estuvieran basadas en el movimiento de figuras.


Leibniz pretendi llevar el anlisis de la naturaleza de las demostraciones
desde el plano de la Geometra sinttica de los griegos hasta otro plano, el de un
clculo, la caracterstica geomtrica,

que opera con smbolos, sin figuras.

(Leibniz 1995, p. 47-48). Sera una cogitatio caeca, una manipulacin simblica
de acuerdo con ciertas reglas que no exige que al efectuarse cada operacin se
piense en el contenido representativo de cada smbolo. Sin embargo la idea de
usar un clculo como auxiliar de la Geometra no era nueva. La Geometra de
Descartes enseaba cmo resolver problemas geomtricos usando el lgebra.
Tambin puede ser pensada como una cogitatio caeca, pues no es necesario
saber qu representa cada smbolo al efectuar las operaciones. Slo al final de
todo el clculo algebraico sabremos cul es la referencia de la incgnita. En qu
sentido era para Leibniz su characeristica geometrica superior a la Geometra
de Descartes? Leibniz afirma que el mtodo de Descartes presupone los
Elementos (Leibniz 1995, p. 52), entre otras cosas, el Teorema de Pitgoras para
introducir las coordenadas. Eso era inaceptable para Leibniz pues estaba
interesado en rescribir los Elementos, en su clculo caracterstico, a partir de
nociones ms bsicas que las de Euclides. Adems las pruebas en la Geometra
cartesiana podran ser muy complejas pues en ellas son introducidas las
magnitudes suponiendo las posiciones a partir de la figura (Leibniz 1995, p. 52) y
despus se es forzado a trazar lneas y figuras apelando a la imaginacin. Por

Notae Philosophicae Scientiae Formalis,


vol. 1, n. 1, p. 23 - 31, maio 2012.

27

ltimo Leibniz estaba en desacuerdo con la creencia de que todos los problemas
geomtricos pudieran resolverse por medio de ecuaciones.
Cmo seran las demostraciones en ese clculo caracterstico? En una
carta de 1678 (Leibniz 1972, p. 122) Leibniz afirma:
Pues en las demostraciones de cualquier proposicin, no se precisa
nada ms que las definiciones, los axiomas (a los que reduzco aqu los
postulados), los teoremas ya demostrados y las experiencias. Y como
a su vez, los teoremas deben ser demostrados y todos los axiomas,
excepto los idnticos, pueden serlo, es en fin evidente que todas las
verdades se resuelven en definiciones, proposiciones idnticas y
experiencias [.]; y habiendo terminado la resolucin perfecta,
aparece que una cadena de demostraciones comienza con
proposiciones idnticas o experiencias; ella se detiene en la
conclusin

En Sobre la sntesis y el anlisis universal, de 1679, Leibniz refuerza lo dicho en


esa carta (Leibniz 1982, p. 199 y GP VII, p. 292):
A partir de estas ideas o definiciones pues, pueden demostrarse
todas las verdades, excepto las proposiciones idnticas, las que por
su naturaleza es patente que son indemostrables y a las que
realmente se las puede llamar de axiomas. Pero los axiomas
ordinarios pueden ser reducidos a identidades ,es decir pueden ser
demostrados por resolucin del sujeto o del predicado, o de ambos
[] De donde es patente que en ltimo anlisis coinciden la
demostracin ostensiva y la demostracin apaggica [...] As puede
darse razn de una verdad cualquiera pues la conexin del predicado
con el sujeto o es patente por s misma, como en las proposiciones
idnticas, o debe ser explicada, lo que se hace con la resolucin de
los trminos. Este es el nico y supremo criterio de verdad en todo lo
que es abstracto y no depende de una experiencia: que la
proposicin sea idntica o reducible a las proposiciones idnticas.

Si uno de los llamados axiomas aparece en una demostracin se reducir,


va sustitucin del definiendum por el definiens a una identidad del tipo A es AB.
En relacin con esas demostraciones ideales, en las que piensa Leibniz, no se
podra hacer la distincin entre pruebas directas y pruebas apaggicas. En ellas
seran usados los smbolos de la caracterstica geomtrica y la propia frmula
final obtenida al trmino del proceso demostrativo mostrara su verdad.
Leibniz justifica las pruebas por superposicin por medio de las propiedades
de la relacin de congruencia, expuestas en su ensayo Characteristica
Geometrica (Leibniz 1995, p. 205-206). Cuando dos cosas, por ejemplos dos
Notae Philosophicae Scientiae Formalis,
vol. 1, n. 1, p. 23 - 31, maio 2012.

28

lneas AB e CD, no coinciden, es decir no ocupan el mismo lugar en el mismo


momento, pero pueden superponerse y sustituirse una por la otra sin ninguna
modificacin interna ellas son llamadas, por Leibniz, congruentes, hecho
denotado por ABCD.

3. La cuestin del orden de exposicin en los Elementos

Los Elementos no respetan la regla metodolgica de comenzar por las


cosas ms simples y ms generales, para pasar despus a las ms compuestas y a
las ms particulares (Arnauld e Nicole 1970, p. 402). Despus de tratar de la
Geometra plana, en los libros I, II, III y IV, Euclides, en el V, aborda un tpico ms
general, la teora general de las razones y proporciones, que puede aplicarse
tanto a cantidades continuas como a las discretas. En el libro VI vuelve a
ocuparse de la Geometra plana. En los libros VII, VIII e IX se ocupa de los
nmeros. Retorna a la Geometra en los libros X hasta XIII, tratando de ngulos
planos, slidos, mtodo de exaccin en polgonos semejantes dentro de crculos,
pirmides, conos, cilindros y esferas.
En su Characteristica Geometrica, Leibniz comienza a partir del espacio,
definido como lo extenso puro y absoluto, puro porque desprovisto de toda
materia y de todo movimiento, absoluto porque es ilimitado y encierra en s
mismo toda extensin. La segunda cosa que considera es el punto, el objeto ms
simple entre todos aquellos relativos al espacio y a la extensin, pues del mismo
modo que el espacio contiene la extensin absoluta, el punto expresa la mera
situacin. A partir de esa definicin, Leibniz deduce la definicin euclidiana de
que el punto es lo que no tiene partes. Muestra que todos los puntos son
congruentes, igualmente semejantes e iguales. Despus define la trayectoria
como un lugar continuo sucesivo. La trayectoria de un punto es una lnea. De eso
Leibniz deduce que toda parte de una lnea es una lnea. La trayectoria de una
lnea es una superficie y la de una superficie es un cuerpo. La nocin de

Notae Philosophicae Scientiae Formalis,


vol. 1, n. 1, p. 23 - 31, maio 2012.

29

trayectoria permite definir la lnea recta, despus de haber definido en general lo


que es una lnea. Habiendo elegido dos puntos est inmediatamente
determinada la trayectoria ms simple que pasa por los dos. Si no existiera esa
trayectoria no estara determinada la distancia entre ellos ni su situacin. Esa
lnea es la recta. De ah se sigue que dos rectas no poseen dos puntos en comn
ni encierran ningn espacio.
En un manuscrito de enero de 1680 (Leibniz 1995, p. 277) Leibniz afirma
la idealidad del continuo extenso. El continuo-dice-es aquello cuyas partes son
indefinidas y delimitadas mentalmente. La situacin (Situs) no es otra cosa que la
posicin (status) de una cosa que hace que ella pueda ser concebida de una
forma bien determinada como existiendo simultneamente junto con otras
cosas extensas, esto es su modo de coexistir. El espacio es aquello en lo cual,
considerado en si mismo, ninguna otra cosa puede ser pensada adems de la
extensin. Del punto no se puede decir otra cosa fuera de que tiene una
posicin.
En su Characteristica Geometrica (Leibniz 1955, p. 183) Leibniz haba
distinguido entre dos relaciones, la semejanza y la igualdad, la primera
cualitativa y la segunda cuantitativa: son semejantes aquellas cosas que no
pueden ser discernidas consideradas una despus de la otra, como dos
tringulos semejantes; iguales son las cosas extensas que sin ser efectivamente
congruentes, pueden serlo sin modificacin de su masa, esto es de su cantidad,
por medio de una transposicin de sus puntos. En los Principios Metafsicos de la
Matemtica (Leibniz 1982, p. 581-596; GM VII, p. 17-29) va todava ms lejos.
Distingue la cantidad y la cualidad as: cantidad o magnitud es aquello que puede
conocerse en las cosas por su mera percepcin simultnea; cualidad es aquello
que puede conocerse cuando se las observa en su singularidad (GM VII, p. 18-19)
A partir de esto distingue entre semejanza e igualdad sin pasar por la nocin de
congruencia. Iguales son entes de la misma cantidad. Semejantes son entes de la
misma cualidad, de modo que dos entes semejantes y desiguales slo pueden
distinguirse al ser percibidos simultneamente. As Leibniz comienza con una

Notae Philosophicae Scientiae Formalis,


vol. 1, n. 1, p. 23 - 31, maio 2012.

30

definicin del gnero supremo: el continuo, aquello cuyas partes son indefinidas
y delimitadas mentalmente. Define la diferencia especfica: la simultaneidad.
Entonces tenemos el espacio, como el orden del coexistir de los simultneos.
Define la situacin y despus la cantidad y la cualidad. De esas definiciones se
derivan las de igualdad y semejanza. Notamos as la preocupacin de Leibniz por
comenzar la Geometra por las cosas ms abstractas y generales, y de respetar
aquella marcha que va de lo ms abstracto a lo ms especfico y concreto.

5. Conclusiones

No hay una versin definitiva de la caracterstica geomtrica. En ninguno


de sus textos Leibniz consigui rescribir todas las definiciones de los libros I y V
ni demostrar todos los axiomas y postulados de los Elementos. No fue ms all
de los primeros principios y de la prueba de algunos de ellos, sin conseguir
derivar todos dentro de su clculo caracterstico. Su esfuerzo de rescribir los
Elementos est asociado a su Calculus situs y debe ser relacionado con sus
ensayos de Caracterstica geomtrica. Leibniz, pensaba poder obtener, dentro de
ese clculo, las demostraciones de los Elementos de Euclides (C. p. 546).
Lo que distingue el proyecto de Leibniz de otros intentos de reformular
los Elementos es: a)La idea de que no habra axiomas propiamente geomtricos,
dado que todas las pruebas geomtricas procederan a partir de proposiciones
idnticas, definiciones y sustituciones; b) la introduccin de un clculo , la
caracterstica, que permitira dispensar el uso de figuras, y que a diferencia del
lgebra no presupondra los Elementos; c) la redefinicin de los objetos de la
Geometra, a partir de la definicin de entidades ms abstractas.

Notae Philosophicae Scientiae Formalis,


vol. 1, n. 1, p. 23 - 31, maio 2012.

31

Bibliografia

ARNAULD, A. y Nicole, P. La logique ou l art de penser. Paris: Flammarion, 1970.


EUCLIDES. The Thirteen Books of The Elements. New York: Dover, 1956.
LEIBNIZ, G. W. Mathematische Schriften Hildesheim: Olms, 1971. Abreviado MS
______. Leibniz: oeuvres. Traduo Lucy Prenant. Paris: Aubier Montaigne, 1972.
______. Nuevos ensayos sobre el entendimiento humano. Traduo espanhola de
J.Echeverria. Madri: Editora Nacional, 1977. Abreviado N.E
______. Philosophische Schriften. 7 vols. Hildesheim: Olms, 1978. Abreviado GP
______. Escritos filosficos. Traduo Ezequiel de Olaso. Buenos Aires: Charcas,
1982.
______. Opuscules et fragments indits. Editados por Louis Couturat. Hildesheim:
Olms, 1988. Abreviado C.
______. La caractristique gomtrique. Paris: Vrin, 1995.

Notae Philosophicae Scientiae Formalis,


vol. 1, n. 1, p. 23 - 31, maio 2012.