Ciencia Ergo Sum

Universidad Autnoma del Estado de Mxico

ergo_sum@uaemex.mx
ISSN: 1405-0269
MXICO

2004
Josep M. Basart Muoz
CONOCIMIENTO Y MTODO EN DESCARTES, PASCAL Y LEIBNIZ
Ciencia Ergo Sum, marzo-junio, ao/vol. 11, nmero 001
Universidad Autnoma del Estado de Mxico
Toluca, Mxico
pp. 105-111

Recepcin: marzo 10 de 2003

Aceptacin: julio 14 de 2003
* Departamento de Informtica, Escuela
Tcnica Superior de Ingeniera, Universitat
Autnoma de Barcelona.
Telfono: +34 935812167, fax: +34 935813033
Correo electrnico:
josepmaria.basart@autonoma.edu
El autor agradece a los revisores
annimos de la revista sus indicaciones
y sugerencias.

Conocimiento y mtodo en
Descartes, Pascal y Leibniz
Josep M. Basart Muoz*
En fsica, los descubridores se han distinguido de los especuladores estriles no
porque en su cabeza no hubiera metafsica alguna, sino por el hecho de que
poseyeron una metafsica correcta y, adems, porque supieron vincular la
metafsica a la fsica, en lugar de mantenerlas separadas.
William Whewell

Resumen.

Este artculo presenta e ilustra las concepciones de Descartes, Pascal y Leibniz sobre la

naturaleza del mtodo o los mtodos que permite llegar al conocimiento o la comprensin de
las cosas. El anlisis de los tres casos es especialmente relevante por el hecho de que nunca se
establece una jerarqua gnoseolgica entre los distintos saberes. En su obra, tanto las matemticas
como la filosofa contribuyen a la ciencia y, con frecuencia, se hallan directamente relacionadas a
travs de los mtodos usados y los problemas considerados.
Palabras clave:

mtodo, conocimiento, filosofa moderna, matemtica moderna.

Knowledge and Method in Descartes, Pascal y Leibniz

Abstract.

This article presents and illustrates the concepts of Descartes, Pascal and Leibniz about

the nature of the method or the methods that leads to knowledge or understanding. This
analysis is specially important because, in all of them, a hierarchy it is never established among
the different kinds of knowledge. Mathematics and philosophy contribute equally to science and
frequently they are closely related by virtue of the methods used and the problems considered.
Key words:

method, knowledge, modern philosophy, modern mathematics.

Introduccin
Ren Descartes (1596-1650), Blaise Pascal (1623-1662) y Gottfried
Wilhelm Leibniz (1646-1716) coincidieron en una poca determinante para la comprensin de todos los desarrollos posteriores.
En ella surgieron con fuerza lo que hoy llamamos la ciencia moderna especialmente la matemtica y la filosofa moderna. Los
tres tienen en comn haber contribuido decisivamente a transformar estas dos ramas del saber. De hecho, tan notables fueron

sus aportaciones, que aun hoy son con frecuencia considerados

por igual matemticos o filsofos, segn sea la especialidad desde
la cual se los considera. Si bien resulta evidente que dicho desdoblamiento es a todas luces inevitable y, a menudo, necesario en la
labor acadmica, la escisin producida simplifica notablemente
la riqueza y la complejidad de su obra. sta deja de ser considerada como un todo y se transforma en una agrupacin de fragmentos heterogneos entre los cuales no hay coordinacin ni
dilogo posible.

C
C II EE N
NC
CIIA
A eerrggoo ssuum
m,, VVool l. . 1111 -11, , m
maarrzzoo--j juunni ioo 220004
04. Universidad Autnoma del Estado de Mxico, Toluca, Mxico. Pp. 105-111.

105

El objetivo fundamental de este trabajo es contribuir a la reconsla cual an mantiene buena parte de su inters histrico se publica
titucin de la integridad y las vas de comunicacin entre las diveraparte y queda relegada exclusivamente al mbito matemtico. El
sas partes de la obra de estas tres figuras: en primer lugar, recorresultado final es que, si dejamos ahora de lado los dos primeros
dando las caractersticas principales de su trabajo en cada disciplina
apndices, el Discours y La gometrie aparecen de hecho como dos
y, en segundo lugar, mostrando algunas de las relaciones y tensiolibros distintos e independientes: el primero, elaborado por un Desnes que aparecieron entre la matemtica y la filosofa de su tiempo
cartes filsofo (el anonimato era tan slo formal), mientras que el
(para un estudio comparativo ms detallado vase, por ejemplo,
segundo habra sido redactado por un Descartes matemtico. La
Brunschvicg, 1942 y 1981). Naturalmente, un anlisis similar tamperspectiva de conjunto, la unidad originaria, o bien se ha olvidado o
bin podra llevarse a cabo entre autores de otras pocas. Por
bien es menospreciada. Y el caso es que no parece que fuera sta la
ejemplo, es bastante claro que Gottlob Frege y Bertrand Russell
intencin del autor. Ms bien todo vine a indicar que pretenda moscomparten su dedicacin a la matemtica (lgica formal,
trar unos principios filosficos generales que sirvieran de gua para el
fundamentacin de la aritmtica...) y su inters por diversos aspecrecto estudio de todas las ciencias.
tos de la filosofa. Sin embargo, la riqueza de las relaciones en los
Desde este punto de vista, el objetivo de Descartes es el mtotres personajes escogidos es notablemente mayor. Entre Descardo; no una estrategia particular sino un procedimiento general
tes y Leibniz hay muchos planteamientos comunes, mientras que
que tenga validez para todos y en cualquier lugar. Hasta el moPascal, con su progresiva decantacin hacia la religin, surge como
mento, los procedimientos de la matemtica carecan de fundael espritu crtico en medio del racionalismo que predomina entre
mento. Cada problema requera empezar el estudio de un nuevo
los dos primeros. As, por ejemplo, Descartes y Leibniz, siempre
caso. Al mismo tiempo, cada uno era tratado ad hoc y, con frecon el modelo de la matemtica, buscan un
cuencia, sin aprovechar de forma sistemfundamento slido para la filosofa, y creen
tica la labor llevada a cabo en problemas
El objetivo de Descartes
encontrarlo siguiendo la tesis de Galileo,
anteriores. De manera parecida, en la fisegn la cual la estructura de la naturaleza
losofa no se llegaba nunca a conclusiones
es el mtodo; no una estrategia
presenta siempre un carcter matemtico
seguras, todo poda ser discutido sin fin.
particular sino un
independientemente del hecho de que
No haba orden, ni criterios, ni base slida,
haya podido ser creada y resulte mantenida
procedimiento general que
de tal modo que no se alcanzaba ningn
por la voluntad de Dios. Igualmente, ambos
tipo de avance objetivo. Es cierto que la
tenga validez para todos
creen en la existencia de ciertas verdades a
idea de mtodo no era nueva. Tanto Francis
y en cualquier lugar.
priori y en la necesidad de desarrollar sisteBacon como Galileo ya haban subrayado
mas deductivos seguros y eficaces que persu conveniencia. Mucho antes, Platn
mitan verificarlas o descubrirlas. De esta
(Fedro, 264e-266d- ) haba otorgado mucha
manera podemos entender cmo surgen el mtodo en Descartes
importancia a la dialctica, el proceso de divisin y generalizacin
y el lenguaje simblico universal y el clculo lgico en Leibniz.
a travs del cual poda alcanzarse el conocimiento verdadero.
Si tomamos en cuenta lo anterior, las consideraciones aqu preReconocido este precedente, las implicaciones no fueron las
sentadas pueden ser tiles cuando se trata de recuperar una persmismas en Platn que en Descartes. En primer lugar, la poca de
pectiva ms amplia y profunda del significado y el valor que puede
Descartes se hallaba ya en condiciones de sacar muchas otras
tener hoy para nosotros el compromiso con el conocimiento que, a
consecuencias y, en segundo lugar, las aplicaciones particulares
su manera, asumi cada uno de ellos.
tan notorias que se llevaron a cabo sobre todo, en la matemtica pusieron de manifiesto toda su potencia.
1. Ren Descartes
El Discours resulta la obra fundamental de Descartes, la que
mejor presenta una visin de conjunto de su pensamiento cientfiEn 1637 se publica en Francia, de forma annima, el Discours de la
co y filosfico. Consta de seis partes; cada una trata una cuestin
Mthode pour bien conduire sa raison et chercher la vrit dans
diferente: la educacin recibida, el mtodo propuesto, la moral, la
les sciences. Ser este el primer libro de filosofa escrito en franmetafsica , la fsica y la fisiologa y, en la ltima, una justificacin de
cs. Acompaan al Discours tres apndices: La dioptrique, Les
la publicacin de su obra. La segunda parte, Principales reglas del
mtores y La gometrie, los cuales se presentan como aplicaciomtodo, es la que ahora nos interesa especialmente. Cuando en
nes prcticas de los principios generales expuestos en la parte
ella se refiere a los preceptos que es menester seguir para llegar a
principal de la obra. Hoy en da, la mayor parte de las ediciones del
un conocimiento fiable de las cosas, encontramos:
Discours estn en colecciones de filosofa para las cuales los apndices no tienen mucho inters.
Fue el primero en no admitir como verdadera cosa alguna, como no
Los contenidos de los dos primeros anexos han quedado desfasados
supiese con evidencia que lo es; es decir, evitar cuidadosamente la precipor los avances del conocimiento cientfico, mientras que La gometrie
pitacin y la prevencin, y no comprender en mis juicios nada ms que lo
106

B ASART , J. M.

CONOCIMIENTO

Y MTODO EN

DESCARTES ...

que se presentase tan clara y distintamente a mi espritu, que no hubiese

ninguna ocasin de ponerlo en duda.
El segundo, dividir cada una de las dificultades que examinar en cuantas
partes fuere posible y en cuantas requiriese su mejor solucin. El tercero,
conducir ordenadamente mis pensamientos, empezando por los objetos
ms simples y ms fciles de conocer, para ir ascendiendo poco a poco,
gradualmente, hasta el conocimiento de los ms compuestos, e incluso
suponiendo un orden entre los que no se preceden naturalmente.
Y el ltimo, hacer en todos unos recuentos tan integrales y unas revisiones
tan generales, que llegase a estar seguro de no omitir nada (Descartes,
1993: 55-56).

Los cuatro preceptos anteriores quedan sintetizados, respectivamente, en los trminos evidencia, anlisis, sntesis y enumeracin. Aqu se manifiesta la influencia en la gestacin del mtodo
general de diversos conceptos y procedimientos propios de las
matemticas. No obstante, ms adelante veremos cmo el mtodo
general llega, en La gometrie, a estructurar un procedimiento especfico para la resolucin de problemas geomtricos. As, la influencia ser mutua en ambas direcciones. Adems del Discours, en
una obra pstuma redactada entre 1628 y 1629, Regulae utiles et
clarae ad ingenii directionem in veritatis inquisitionem, se detallan 25
reglas, las cuales como indica el ttulo habran de ser tiles y
claras para la orientacin de la mente en la bsqueda de la verdad.
Conviene recordar aqu que la claridad es un trmino importante
en el vocabulario de la filosofa cartesiana. Significa una evidencia
indudable para la mente, y no tan slo en un sentido ms contemporneo una presentacin formal libre de puntos ambiguos u oscuros. En particular, la cuarta de las reglas afirma que es necesario
un mtodo para investigar la verdad de las cosas, mientras que la
quinta establece de qu mtodo se trata:
Todo el mtodo consiste en el orden y disposicin de aquellas cosas a las
que se ha de dirigir la mirada de la mente a fin de que descubramos alguna
verdad. Y la observaremos exactamente si reducimos gradualmente las
proposiciones complicadas y oscuras a otras ms simples, y si despus
intentamos ascender por los mismos grados desde la intuicin de las ms
simples hasta el conocimiento de todas las dems (Descartes, 1984: 87).

En el mtodo es preciso descomponer progresivamente aquello que resulta compuesto hasta llegar a elementos simples, absolutos, los cuales se presenten a la mente con una evidencia
inmediata. La intuicin es una capacidad que todos compartimos,
forma parte de nuestra naturaleza humana, y es la que permite
captar estos elementos donde puede detenerse el proceso. La
otra capacidad comn a todos es la deduccin, la cual permite
establecer un vnculo entre dos verdades relacionadas. Este proceso deductivo resulta diferente en cada caso, depender de los
objetos considerados, y no corresponde a la deduccin mecnica
propia de los silogismos aristotlicos. Para Descartes, la lgica de

C I E N C I A e r g o s u m , V o l . 1 1- 1 , m a r z o - j u n i o 2 0 04

Aristteles tan slo sirve para recordar algo que ya nos era conocido. Tenemos, pues, que intuicin y deduccin no conforman
propiamente el mtodo, sino que se hallan a su servicio. Es en
este contexto donde se manifiesta la importancia, a menudo subestimada, de la duda metdica radical cartesiana. No se trata
de un dudar escptico y pasivo ante la posibilidad de la verdad, al
contrario, se trata de un dudar activo, de una exigencia que no
desconfa de la posibilidad de la verdad sino de los caminos groseros que pueden extraviarnos.
La gometrie, junto con los resultados independientes de Fermat
(1601-1665), inaugura la geometra analtica. Segn parece, debe
su origen al propsito de presentar una solucin para el problema
de Pappus para cuatro lneas 1 as como a la generalizacin de la
solucin para el caso de n lneas. En esta obra se establece y se
desarrolla un doble trnsito entre la representacin geomtrica y
las operaciones algebraicas. El objetivo original no era reducir la
geometra al lgebra sino acabar con el abuso de las complicaciones
de los diagramas en la geometra y proporcionar una interpretacin
geomtrica para las operaciones del lgebra, las cuales haban llegado a ser cada vez ms oscuras (Boyer, 1986: 427-429). As encontramos, en el primero de los tres libros que forman la obra,2 que
se ilustra el procedimiento para el clculo de races cuadradas no
negativas, mientras que en el libro tercero se desarrolla el mtodo
de las tangentes (o de las normales).
En lneas generales, el mtodo cartesiano aplicado a la resolucin de problemas geomtricos puede descomponerse en tres
partes (Gillies, 1992: 86), que pueden concretarse en la forma
siguiente: empezar identificando todos los elementos que pertenecen al enunciado del problema o a la solucin buscada; a continuacin, formular la ecuacin o las ecuaciones correspondientes
procurando analizar todas las relaciones relevantes que puedan
establecerse entre los elementos implicados; finalmente, resolver
por va geomtrica las ecuaciones obtenidas. Por tanto, se manifiesta con claridad que se trata, efectivamente, de una aplicacin del
mtodo general presentado anteriormente. Eso s, dicha ejecucin
ha sido llevada a cabo en un entorno donde se muestra especialmente productivo. Los elementos bsicos son aqu el orden y la
medida. En Descartes, el orden siempre resulta productivo y se
considera a la hora de establecer la secuencia en el proceso de
descubrimiento de las propiedades y las relaciones implicadas. Se
trata del orden de derivacin de las razones, no de un simple orden

1.

Fijadas cuatro rectas AB, AD, EF y GH se pide hallar un punto C tal que, conocidos los
ngulos , , y , se pueda trazar una lnea desde C a cada una de las cuatro rectas,
con ngulos respectivos , , y , de manera que ( CB) ( CF) = ( CD)( CH). De forma ms
general, se pide hallar la curva que contiene todos los puntos C.

2.

De los problemas que se pueden construir utilizando tan solo crculos y lneas rectas;
De la naturaleza de las lneas curvas y De la construccin de los problemas slidos y
superslidos.

107

en la presentacin de los hechos. Por su

parte, la medida viene referida a la proporcin aritmtica en que se manifiestan
las relaciones entre los diversos objetos
que constituyen el problema.

das de manera exclusiva en los axiomas y

en el uso de otras proposiciones demostraPascal considera que,
das anteriormente.
en la tarea humana,
Los Penses es, entre sus escritos, el de
no puede haber en
mayor contenido filosfico. Obra pstuma,
anticartesiana y apologtica del cristianisningn caso mtodos
2. Blaise Pascal
mo, fue elaborada a partir de las notas y
plenamente fiables.
composiciones ms o menos extensas que
Para algunos autores Pascal no fue propiase descubrieron una vez fallecido el autor.
mente un filsofo, aunque, paradjicamenEn ella se manifiesta una nueva dicotoma,
te, para ellos mismos no aparece duda alguna en el momento de
debida a la diversidad de las influencias que recibi. Por una parincluirlo en la historia de la filosofa. Tampoco se dedic exclusivate, la grandeza humana que se deriva del estoicismo de Epicuro,
mente a la matemtica, en coincidencia con Descartes y con Leibniz.
quien convierte al hombre en una fortaleza capaz de afrontar con
No obstante, tanto los Penses en filosofa, como sus aportaciones a la
indiferencia todos los embates del destino. Por otra, el esceptiteora de las probabilidades y a la geometra proyectiva en la matecismo de Montaigne, visin pesimista de la condicin humana que
mtica, son reconocidas como contribuciones de primera categora.
subraya su miseria y su impotencia inherente. Aun as o debido
Si a las obras filosficas y a las matemticas les aadimos sus trabajos
a ello, Pascal no se inclina decididamente por ninguna de estas
experimentales en fsica e ingeniera, junto con su labor como apologista
dos visiones tan contrapuestas. La existencia humana se mantiedel cristianismo y tenemos en cuenta que no asisti regularmente a
ne en la tensin nunca resuelta entre estos extremos (quiz tan
ninguna escuela, resulta un personaje que rehuye cualquier clasificaslo el Evangelio y la Gracia de la fe podrn dar sentido a la exiscin acadmica convencional.
tencia y, finalmente, poner fin a la angustia).
Para aproximarnos a Pascal, podemos empezar con su enfoque
El hombre no es ni ngel ni bestia, y nuestra desgracia quiere que
epistemolgico, que lo sita en oposicin al que hemos encontranquien pretende hacer de ngel haga de bestia (Pascal, 1981: 68).
do en Descartes. Para Pascal no hay principios vlidos generales e
Esta posicin puede enlazarse con una de sus distinciones concepindependientes de las diversas disciplinas. La pretendida generalituales ms importantes, aquella que contrapone el esprit de finesse
dad del mtodo cartesiano deviene inutilidad porque no es capaz de
(espritu de finura) al esprit gomtrique (espritu de geometra). El
adaptarse a los mltiples objetos de estudio que pueden llegar a
primero est relacionado con la intuicin, la visin global, la compresentarse. Hacen falta mtodos particulares para los problemas
prensin inmediata y la infinitud. Por su parte, el espritu de geomeespecficos; en caso contrario, el mtodo resulta ser tan general
tra se enlaza con el razonamiento, el anlisis particular y delimitado,
que deja de ser mtodo. As, por ejemplo, los mtodos de la fsica
la comprensin progresiva y lo finito. Tanto uno como otro resulta
habrn de ser experimentales porque los fenmenos de la naturaadecuado (productivo) en ciertas investigaciones e inadecuado (estleza no pueden ser deducidos a priori a partir de principios dogmril) en otras. De hecho, cada uno de nosotros posee los dos tipos de
ticos heredados. La debilidad de la fsica cartesiana se debe a su
espritu, si bien en proporciones distintas. En cualquier caso, el espbase metafsica: considera que puede llegar a conocer el mundo a
ritu de finura no se opone al espritu de geometra, el hecho de que
partir de la autoridad de las conclusiones del pasado, y as prescinse manifieste de forma inefable no significa que sea irracional o purade de la experimentacin.
mente instintivo. Al fin y al cabo, el espritu de finura tambin puede
Pascal considera que, en la tarea humana, no puede haber en
desarrollar saberes y alcanzar verdades.
ningn caso mtodos plenamente fiables. Retrocediendo hacia los
Se obtengan de una manera o de otra, las verdades de las mateprimeros fundamentos en la cadena de las causas y las razones,
mticas y de las ciencias son importantes, sobre todo porque resulllegamos necesariamente a trminos que no podemos explicitar
tan de aquello que distingue al hombre, su capacidad de interrogarms, o a principios que ya no admiten demostracin alguna. La
se y de razonar. Pero no son las nicas verdades, ni siquiera las ms
certeza absoluta no se halla a nuestro alcance, si bien el mtodo
importantes para nuestra existencia. El estudio ms importante
propio de las matemticas es el mejor al que podemos aspirar. En
para el hombre es el estudio del hombre mismo, su naturaleza y
ste hace falta definir y demostrar hasta donde convenga, pero sin
situacin en el mundo. No obstante la potencia y el compromiso
intentar ir ms all. Es decir, sin pretender argumentar o especificon el elemento racional que hallamos en Pascal, hay tambin en l
car aquellas nociones que nuestra luz natural ya puede captar direcuna conciencia muy aguda de los lmites de la razn. En su ltimo
tamente. Los elementos del mtodo son tres. En primer lugar, las
peldao de ascenso, la recta razn reconoce siempre que an le
definiciones que, claras e inequvocas, han de basarse en trminos
queda una infinidad de elementos que la sobrepasan. Nuevamente,
comunes o en conceptos definidos previamente. En segundo lugar,
en ello se cifra su grandeza y su miseria. La razn, por su parte, no
los axiomas, que corresponden a principios evidentes para todos.
es mera afirmacin. Cuando resulta apropiado, duda de las concluFinalmente, las demostraciones para cada nueva proposicin, basasiones, rehuye la imposicin. Si bien siempre opera sin restriccio108

B ASART , J. M.

CONOCIMIENTO

Y MTODO EN

DESCARTES ...

nes a partir de los principios recibidos, no es capaz de alterar estos

mismos principios que no admiten deduccin alguna. Pascal llama
coeur (corazn) a este mbito de comprensin no analtica. As, la
razn no puede pedir explicaciones al corazn y por la misma
causa el corazn no puede pedir intuiciones a la razn. Tanto los
primeros axiomas o principios de toda ciencia como la fe religiosa
encuentran en l su origen comn; ambos provienen del corazn y
es all donde se sostienen.
La obra matemtica de Pascal es amplia y diversa (vase Costabel,
1964). Conviene destacar siempre su estudio de la geometra
proyectiva la cual consideraremos posteriormente, no obstante,
para lograr una idea cabal del alcance de sus trabajos, es imprescindible destacar que, tal como Leibniz reconoci, anticip en el Trait
des sinus du quart de cercle de 1658 el clculo infinitesimal. Asimismo, contribuy tambin a desarrollar el incipiente clculo de probabilidades a travs de un intercambio epistolar con Fermat; finalmente, a los diecisis aos, public su clebre y fecundo Essay pour
les coniques.
La fundacin de la geometra proyectiva fue posible gracias a las
inquietudes del arquitecto e ingeniero Girard Desargues (15911661). En particular, y adems de las diversas exposiciones orales
que llev a cabo, se dio a conocer con el texto Brouillon projet
dune atteinte aux vnements des rencontres dun plan avec un
cne (1639). Dicha obra fue escrita como respuesta al estudio de
las Cnicas de Apolonio de Perga. En un principio, el trabajo no
result comprendido y qued olvidado o despreciado por prcticamente todos sus contemporneos (Descartes y Pascal figuran
entre las escasas excepciones). En aquella poca, la geometra
analtica y el clculo infinitesimal eran las estrellas en el firmamento de las matemticas, y ellas solas eclipsaban cualquier otro
desarrollo. No sera hasta el primer cuarto del siglo XIX cuando se
recuperaron sus trabajos y se les otorg la importancia que merecan. En esta lnea se puede mencionar tambin el Trait des
proprits projectives des figures (1822) de Jean Victor Poncelet
(1788-1867). Desargues resulta hoy conocido, sobre todo, por un
teorema que lleva su nombre:
Sean

ABC

y AB C dos tringulos donde las rectas que unen AA,

son concurrentes. Entonces, los puntos de concurrencia

B C , CA

AB

BB y CC

y AB ,

BC

y C A se hallan alineados.

El teorema de Pascal, tal como aparece en el Essay pour les

coniques, fue obtenido tal como l mismo declara a partir del
estudio de la geometra de Desargues. Segn este nuevo resultado:
En todo hexgono inscrito en una cnica, las prolongaciones de los pares de
costados opuestos se cortan en tres puntos alineados.

Un ltimo aspecto importante, que muestra las inquietudes de

su autor, es su actividad como diseador de la que se considera la
primera mquina de calcular (la Pascalina). Si bien es cierto que
C I E N C I A e r g o s u m , V o l . 1 1- 1 , m a r z o - j u n i o 2 0 04

Wilhelm Shickard (1592-1635), profesor en la Universidad de

Tubinga, haba mencionado a Kepler en una carta fechada el 20 de
septiembre de 1623 la construccin de una mquina diseada
por l, la cual era capaz de llevar a cabo las cuatro operaciones
aritmticas elementales, el caso es que no se conserva testimonio alguno que corrobore la existencia de dicho aparato. Tampoco
consta que Pascal tuviera noticia de tal mecanismo. Sea como
fuere, hacia 1640 Pascal empez a trabajar en el diseo de su
mquina y, en 1645, ya haba unas cuantas construidas y en funcionamiento. Sumaban y restaban correctamente, mientras que el
producto y la divisin no resultaban del todo fiables. Pocos aos
despus, en 1649, obtuvo los derechos exclusivos de construccin y venta. Hoy da, se conservan an ocho ejemplares de aquella poca. Niklaus Wirth quiso reconocer el carcter pionero de
Pascal llamando as al lenguaje de programacin que desarroll a
finales de la dcada de los aos sesenta, el cual vino a contrarrestar los inconvenientes que presentaba el algol.
3. Gottfried Wilhelm Leibniz
En un primer acercamiento a Leibniz, lo que ms impresiona es
que, casi con toda seguridad, fue el ltimo individuo que estuvo
familiarizado con prcticamente todas las ramas del saber de su
poca. Su capacidad intelectual se manifiesta en mltiples obras,
resmenes, notas, proyectos y cartas que abarcan la lgica, las
matemticas, la astronoma, la fsica, la geologa, la farmacia, la
medicina, la biologa, la alquimia, la historia, la filosofa, el derecho,
la poltica, la economa, la epigrafa, etctera (Ramrez, 1997: 21).
Fue adems un hombre de accin: diplomtico en Pars y consejero
del duque de Hannover, trabaj con afn para lograr un acuerdo en
un primer momento entre catlicos y protestantes y, posteriormente, entre los estados cristianos europeos. Tan extremo es el
caso que an queriendo limitarnos a una somera introduccin a algunos aspectos de su obra filosfica y matemtica, no resulta nada fcil
llegar a alcanzar una idea clara de las dimensiones de su produccin.
En matemticas cabe reconocer, sobre todo, el haber establecido de forma independiente y paralela a Newton el clculo diferencial y el clculo integral. Si bien, como es sabido, Newton lleg
poco antes a obtener una fundamentacin mas rigurosa, Leibniz fue
el primero, en 1684, en publicar sus resultados,3 adems de ser el
creador de la notacin que se acab imponiendo. De hecho, todo
parece indicar que Leibniz conceda una especial atencin a la notacin; mas all de ser un mero sistema formal de representacin, se
trata de un factor que como ahora sabemos puede incidir notablemente en la obtencin de nuevos resultados. Introdujo muchos
de los smbolos y expresiones que siguen hoy vigentes. As, por
ejemplo: dx, y, a x , ~ (por es semejante a),
3.

(por es con-

Nova methodus pro maximis et minimis, itemque tangentibus, qua nec fractas nec
irrationales quantitates moratur.

109

gruente con), o bien, la representacin de las proporciones en la

forma a:b = c:d.
Autodidacta, aunque bien orientado por C. Huygens quien le
recomend la lectura de Descartes y Pascal, se inici en el estudio de las matemticas a travs del anlisis de las propiedades del
tringulo armnico en relacin con el tringulo aritmtico y de la
consideracin de las series infinitas. En este ultimo campo, lleg a
mostrarse especialmente hbil. As, por ejemplo, considerando la
expresin propuesta por Huygens:

i (i + 1)
1

i=1

la resolvi descomponindola como

sta se manifiesta omnipresente y sirve para dar mayor coherencia

a la heterogeneidad de sus investigaciones. Puede decirse que el
ncleo de ideas, que sern ahora reunidas y destacadas, configura
un conjunto de principios que le sirven de gua a lo largo de todos
sus estudios. Estas constantes o puntos de referencia se ponen de
manifiesto con ms claridad si se va ms all del contenido particular
y de las caractersticas especficas que presentan las diversas disciplinas, para prestar atencin a su desarrollo y estructura interna.
En Leibniz se halla siempre presente la voluntad de recuperar la
ciencia y la metafsica de los antiguos; recuperacin sometida
crticamente a los resultados de la ciencia y la filosofa moderna. Se
trata de salvar e integrar todo aquello del pasado que l considera
til y necesario:

1
1 1
=
i (i + 1) i i + 1

Ya s que enuncio una gran paradoja al pretender rehabilitar en cierto

donde, por cancelacin de trminos, la suma de los k primeros

elementos produce

desterradas; pero acaso no se me condene a la ligera cuando se sepa que he

1
1

1 k +1
de manera que la suma infinita valdr 1.
Tambin determin la suma de la serie que lleva su nombre:

1
= ( 1) i
4 i =0
2i +1

Si Descartes tomando a Dios como garante cree en la existencia de proposiciones claras y evidentes para todos, Leibniz considera que aun aceptando la existencia de Dios, la claridad y la evidencia
contina siendo subjetiva. Lo que realmente necesitamos es calcular para no tener que discutir.
Se trata de su proyecto de characteristica universalis o lenguaje
simblico universal, cuya misin haba de ser el desarrollar, en
todas las disciplinas, la funcin que los smbolos tienen en las matemticas. Paralelamente a dicho lenguaje, la demostracin utilizara
una ars combinatoria o sistema deductivo simblico capaz de establecer todas las correspondencias legtimas (no contradictorias)
entre los elementos contrastados. De esta manera, podran
alcanzarse conclusiones vlidas para todos, sea en el derecho, la
moral o la filosofa. Si bien el propsito de Leibniz con el uso articulado de la characteristica y la combinatoria es el mismo que el de
Descartes con su mtodo general, puede considerarse que el primero invierte el camino seguido por el segundo. Efectivamente, en
lugar de empezar con Dios para llegar a los saberes mundanos, el
propsito de Leibniz es partir de la lgica y la fsica para llegar a
establecer verdaderos conocimientos metafsicos.
Esta preponderancia de la lgica es una de las caractersticas
fundamentales del pensamiento leibniziano. Juntamente con algunas otras ideas y principios que sern considerados a continuacin,
110

sentido la antigua filosofa y recordar postliminio las formas sustanciales casi

meditado bastante sobre la filosofa moderna, que he dedicado mucho
tiempo a las experiencias de fsica y a las demostraciones de geometra [...],
hay en las opiniones de los filsofos y telogos escolsticos mucha ms
solidez de lo que se cree, con tal de servirse de ellas oportunamente y en su
lugar (Leibniz, 1986: 68).

De ah, especialmente, la distincin aristotlica entre causa eficiente y causa final. A travs del mecanicismo resultante de la
filosofa cartesiana, las explicaciones del mundo y de la vida quedaban casi reducidas a choques e intercambios entre la materia. Las
leyes de la fsica eran las causas eficientes de los fenmenos. Ms all
de suscribir la validez de este punto de vista el cual, sin duda alguna,
resulta del todo adecuado y necesario para la ciencia, Leibniz recupera el estudio de la finalidad en la consideracin de cada sustancia y
cada fenmeno. Sera este el mbito de actuacin de la filosofa, la
cual habra de sacar a la superficie el sentido y las cualidades de la
obra del Creador. As, ciencia y filosofa no se oponen, se complementan con perspectivas que confluyen en el propsito de comprender mejor el mundo y nuestra propia existencia.
Leibniz distingue las verdades de hecho de las verdades de razn.
Las primeras son contingentes, accidentales y no necesarias. Dicho
de otra manera, su negacin no implica contradiccin. En cambio,
las verdades de razn son necesarias, de manera que su negacin s
implica contradiccin. Todas las proposiciones de la matemtica
son de este tipo. Si entendemos por proposiciones analticas aquellas en que el sujeto ya contiene al predicado (a la manera kantiana),
entonces Leibniz afirma que las verdades de hecho son analticas
infinitamente, mientras que las verdades de razn son analticas
finitamente. En otros trminos, que Dios, con su razn infinita,
tambin contempla como necesario todo aquello que, a nuestra
capacidad finita, aparece como contingente. Para nosotros, seres
finitos, tan slo las verdades de razn son propiamente analticas.
La ley de continuidad establece algo comn a toda diversidad.
Aquello que conocemos se muestra siempre como un continuo,
B ASART , J. M.

CONOCIMIENTO

Y MTODO EN

DESCARTES ...

pero est formado por un nmero infinito de partes que no podemos reconocer como desgajadas del todo. No puede haber agujeros en el interior de ninguna secuencia porque, por el principio de
perfeccin, Dios, la razn suprema, lo tiene que haber creado todo
con la mxima perfeccin posible. En la fsica, esta ley se traduce en
que nada en la naturaleza se desarrolla mediante saltos. Todo cambio de un estado a otro se produce mediante una sucesin infinita
de estados intermedios. En la matemtica, ello se manifiesta en la
utilizacin de los infinitsimos en el clculo. A pesar de las dificultades formales a la hora de considerar cantidades no nulas, tan
pequeas como se desee, Leibniz admite que dichas ficciones bien
fundamentadas son lcitas, pues estn bien sustentadas metafsicamente; superan el test de la continuidad.
Podemos tambin considerar este infinitismo desde otro de sus
puntos de vista epistemolgicos. Para Leibniz, todas las cadenas
causales se extienden hacia el infinito y existe una ley que gobierna
cada una de ellas. Esta ley constituye el principio de razn suficiente:
hay una razn por la cual cada cosa es como es y no de otra manera.
Hallamos pues, en el pensamiento leibniziano, una cierta metafsica aplicada, de la cual cabe destacar su capacidad para abrir camino
en la investigacin y para establecer un marco racional que permita
un estudio sistemtico de todos los fenmenos.
Finalmente, llega a una coherencia plena la expresin anlisis
del infinito que con frecuencia usa Leibniz. Efectivamente, se revela en toda su obra una orientacin metodolgica de tipo algortmico. Dicha metodologa busca explicar racionalmente aquello que,
por naturaleza, es infinito e inefable (para nosotros). As, en su
obra, tanto si se trata el estudio de la naturaleza, el caso de los
linajes o el de las curvas, se manifiesta siempre la complejidad del
tema y la confianza inquebrantable en poder hacerla, poco a poco,
cada vez ms inteligible.
Conclusiones
Ms all de la constatacin de las mltiples diferencias u oposiciones que puedan establecerse entre los supuestos, los mtodos y

los resultados en las obras de Descartes, Pascal y Leibniz, consideramos que es en sus semejanzas fundamentales donde puede sacarse mayor provecho. Tales semejanzas no van tanto referidas a
los resultados que obtuvieron, como a la disposicin personal de
cada uno de ellos en relacin con sus estudios. En particular, son
tres los aspectos comunes que nos parece importante destacar en
la actualidad.
En primer lugar, la firme creencia en que es posible llegar a un
saber cierto de las cosas. Y que, adems, existe siempre y es
fundamental su dominio un mtodo (del griego mthodos: camino con una finalidad precisa), una va que permite acercarse
progresivamente a la verdad buscada. Que el mtodo sea nico o
diverso, general o particular, no es, en el fondo, lo ms importante. Hay verdad y nos es dado aproximarnos a ella, en la medida
que nos lo permiten nuestras facultades y el estado de nuestros
conocimientos.
En segundo lugar, la variedad de los saberes humanos, la presencia de disciplinas diversas, no impone una primaca de unas
sobre otras. En particular, tanto la filosofa como la matemtica
tienen su mbito de investigacin que les es propio. Si bien no han
de equipararse ni confundirse, eso no significa que tengan que
disputarse mutuamente el patrimonio de la verdad. La razn y la
intuicin no estn opuestas per se. Considerarlas enfrentadas y
excluyentes es un camino equivocado que conduce al falseamiento y la simplificacin de aquello que es complejo por naturaleza.
Finalmente, los supuestos metafsicos resultan inevitables en
toda ciencia. Desde el primer momento en que formulamos axiomas, definiciones, principios o postulados, estamos dando por supuesta una cierta concepcin del mundo y de la naturaleza de las
relaciones que en l pueden establecerse. Tanto las matemticas,
como la fsica y la crtica llevada a cabo por la filosofa de la ciencia
han mostrado, a lo largo del siglo pasado, que los esquemas estrictamente lgicos y las observaciones supuestamente objetivas de
los fenmenos resultan insuficientes o imposibles a la hora de
fundamentar y desarrollar cualquier ciencia. El ser humano deja
siempre su huella dondequiera que pise.

Bibliografa
Boyer, C. B. (1986). Historia de la matemtica. Alianza
Editorial, Madrid.
Brunschvicg, L.
______ (1942). Descartes et Pascal, lecteurs de
Montaigne. ditions de la Baconnire,
Neuchtel.
______ (1981). Les tapes de la philosophie
mathmatique. Librairie scientifique et technique A. Blanchard, Pars.
Costabel, P.; K. Hara; J. Itard y J. Mesnard (1964).
C I E N C I A e r g o s u m , V o l . 1 1- 1 , m a r z o - j u n i o 2 0 04

Loeuvre scientifique de Pascal. Presses

Universitaires de France, Pars.
Descartes, R. (1984). Reglas para la direccin del espritu.
Edicin de Juan Manuel Navarro. Alianza Editorial, Madrid.
Descartes, R. (1993). Discurso del mtodo. Meditaciones
metafsicas. Edicin de Manuel Garca
Morente. Espasa Calpe, Madrid.
Gillies, D. (ed.) (1992). Revolutions in Mathematics. Oxford University Press, New York.

Leibniz, G. W. (1986). Discurso de metafsica.

Edicin de Julin Maras. Alianza Editorial,
Madrid.
Pascal, B. (1981). Pensamientos. Edicin de Xavier
Zubiri. Espasa Calpe, Madrid.
Platn (2000). Dilogos. Vol. III. Editorial Gredos,
Madrid.
Ramrez, D. (1997). Sobre la interpretaci del pensament
leibnizi. Ediciones de la Universidad de
Barcelona, Barcelona.
111