Documentos de Académico
Documentos de Profesional
Documentos de Cultura
24
25
critic a quienes
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
(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
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
28
29
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
31
Bibliografia