11

PUYAU - DAUS DE PUYAU - 1

La crisis en las ciencias y la metafsica

En 1781, Kant escriba: la solidez de la matemtica, reside en las definiciones, los
axiomas y las demostraciones. Ninguno de estos elementos, tal como los toman los
matemticos, puede ser imitado por la filosofa1 .
El filsofo de Knisberg se apresura a dar las razones por las cuales esta ciencia no
puede emplear esas piezas del mtodo axiomtico, mencionadas anteriormente.
El motivo de esta limitacin es, como sabemos, que la matemtica progresa por
construccin de conceptos, en tanto que la filosofa lo hace por anlisis de los mismos.
El mtodo axiomtico ha sido fructfero en matemticas, pero no tiene la misma
aplicacin en filosofa.
Lo importante, aqu, es sealar que, de acuerdo con las palabras de Kant, las
matemticas han seguido, desde sus comienzos, el camino seguro de la ciencia.
Esto les permiti progresar en tanto que, en la perspectiva kantiana, la filosofa no ha
podido hacerlo2 .
Cuando en 1791, la Academia de Ciencia de Berln, abri un concurso con respecto al
tema Cules son los verdaderos progresos de la Metafsica desde Leibniz y Wolf, en el
prlogo de su escrito, Kant aclara cun diferente es responder a la pregunta sobre los
progresos de la Qumica o de la Astronoma, y an, del anlisis matemtico o de la
Mecnica pura, con respecto a la Metafsica. Porque sta no deja ninguna estela.
En estas palabras de Kant, se nota que la qumica, hasta no hace mucho proscripta del
dominio de las ciencias, por el mismo Kant, ha sido includa e incorporada a ese dominio
desde Lavoisier4 .
Dos son las caractersticas de la ciencia que se desprenden de estas palabras de Kant: la
primera, unidad del objeto: cada ciencia tiene su objeto propio y, por ello, no deben
confundirse los mtodos de una con los de la otra. Por ello, advierte que no deben
emplearse los mtodos de la psicologa en lgica; y, segunda; un criterio de cientificidad,
de un saber es, su progreso, porque los avances de una ciencia dejan huellas, que pueden
ser continuadas por otras.
Este pacfico panorama de las ciencias que nos presenta Kant, a fines del sigloXVIII,
persistir durante todo el siglo siguiente, pero ya a comienzos del siglo XX, surgir cierta
inquietud.

PUYAU - DAUS DE PUYAU - 2

An en el mbito de la fsica matemtica se plantearn dudas, como las expresadas por

Enrique Poincar, en 1904.
En esa oportunidad, y siempre por referencia a la fsica matemtica, dir: El objetivo y
los mtodos de esta ciencia se presentarn dentro de diez aos, ante nuestros sucesores
inmediatos, bajo la misma luz, con que los vemos nosotros o, por el contrario, estamos
llamados a ser testigos de una profunda transformacin? 5 .
Las palabras de Poincar fueron profticas.
Un ao despus Alberto Einstein da a conocer su teora especial de la relatividad que
conmovera a la comunidad cientfica.
El primer tercio del siglo XX, fue rico en el surgimiento de teoras que, como dir
Gamow, conmovieron la fsica.
Esta situacin fue llevada a un terreno ms general por Martn Heidegger.
El filsofo alemn no se limita al mbito de la fsica, sino lo extiende a todas las
ciencias.
En su clebre libro Ser y Tiempo dice El nivel de una ciencia se determina por su
capacidad para experimentar una crisis de sus conceptos fundamentales

y, a

continuacin, el mismo Heidegger nos brinda un panorama de los conflictos de las

ciencias de su tiempo.
Menciona, as, la matemtica, la fsica, la biologa y las ciencias del espritu.
Al referirse a la matemtica, Heidegger dice: Al parecer, la ciencia ms rigurosa y ms
slidamente construda ha cado en una crisis de fundamentos 7 .
Por nuestra parte, nos detendremos en la crisis de la matemtica, para mostrar cmo esa
crisis apunt a una reflexin sobre la naturaleza de esta ciencia y de su objeto.
Las respuestas que obtuvo fueron diversas.
Heidegger menciona, por ejemplo, la lucha entre el formalismo y el intuicionismo, pero
creemos que, en esta polmica, tuvo un papel destacado el conceptualismo.
El formalismo, que cont con la adhesin de la mayora de los matemticos, no se
comprometi en dar una respuesta realmente filosfica al problema.
El formalismo surge, en Alemania, a fines del sigloXIX, y tuvo su mximo
representante en David Hilbert.
En sus discusiones con Frege, Hilbert afirma que cuando, con mis puntos, pienso mi
sistema cualquiera de cosas, por ejemplo, el sistema: amor. ley, deshollinador,... y luego
acepto todos mis axiomas como relaciones entre estas cosas, entonces valen mis

PUYAU - DAUS DE PUYAU - 3

proposiciones, por ejemplo, la de Pitgoras, tambin con respecto a estas cosas, con otras
palabras, toda teora puede siempre ser aplicada a un nmero infinito de sistemas de
elementos fundamentales 8 .
Por tanto, para el formalismo no existen entidades matemticas, existen,
exclusivamente axiomas y leyes, que pueden ser aplicados a cualquier tipo de ente.
Despus de estas discusiones con Hilbert, Frege acentu su posicin logicista, hasta
convertirse en un platnico.
Por su parte, el formalismo se conserv libre de todo compromiso ontolgico.
Y como confirmacin, leemos en Curry: hay, por lo tanto, un sentido en el cual el
marco primitivo define un sistema formal, como un nico objeto de pensamiento. Esto no
significa que exista una entidad hipostasiada llamada un sistema formal que exista
independientemente de cualquier representacin9 .
La discusin filosfica se dio entre los intuicionistas y, los que podramos designar
como platonistas encubiertos quienes admiten, de hecho, la existencia de entidades
matemticas, ms all de su insercin en los entes fsicos y de los actos psquicos que los
pueden pensar.
Esta tesis se halla en abierta oposicin con el intuicionismo de Brouwer quien, desde
sus trabajos de 1907, sostuvo que los nmeros eran entidades fundadas en la intuicin pura
del tiempo.
El intuicionismo se ha conservado hasta nuestros das por obra de Heyking, Troeltra,
Bishop y otros, pese a que su importancia ha decado, como tambin decay el tono de la
discusin en torno a los fundamentos de la matemticas.
Parece que los matemticos hubieran seguido las recomendaciones de Jean Dieudonn,
quien les aconsejaba no destinar sus esfuerzos al problema de la fundamentacin de las
matemticas, porque la crisis de comienzos del siglo XX haba sido superada.
No debemos olvidar que Dieudonn fue miembro fundador del grupo Bourbaki.
Por cierto, este grupo se mostr hostil hacia la posicin intuicionista, aunque sin
ninguna inclinacin por un platonismo matemtico.
El grupo Bourbaki ha sido objeto de crticas por parte de matemticos anglosajones y,
tambin, de algn matemtico francs, como Ren Thom.
Abraham Fraenkel ha hablado de las tres crisis de las matemticas, que son las
siguientes: 1) el descubrimiento de los irracionales; 2) la controversia en torno al rigor en

PUYAU - DAUS DE PUYAU - 4

matemticas, en tiempos Cauchy y Weierstrass, y 3) las antinomias10 que siguieron a la

aplicacin de la teora de conjuntos, obra de Jorge Cantor.
En el transcurso del siglo XX, la controversia entre formalistas e intuicionistas fue
perdiendo vigencia.
Es verdad que el intuicionismo tuvo una vida ms larga que la que le augur el grupo
Bourbaki, en su Historia de la Matemtica 11 .
Podemos decir que la disertacin inaugural de Brouwer, como profesor titular de la
ctedra de Teora de Conjuntos, teora de funciones y axiomtica, titulada
Intuicionismo y formalismo traducida al ingls en 1913, es el documento inaugural de
esta corriente filosfica, en el mbito de la fundamentacin de la matemtica.
El intuicionismo cuestion las demostraciones clsicas en Matemticas, con lo cual
limit el nmero de teoremas.
Pese a esos incovenientes, la generacin de matemticos intuicionistas, ha continuado
hasta el presente, pero las discusiones entre matemticos han perdido la vivacidad de la
dcada del XX.
La controversia entre los matemticos, que se extendi durante la primera mitad del
siglo XX, tuvo un carcter singular: es la primera vez (y, por el momento la nica) en que
matemticos profesionales deciden bajar a la arena de la dicusin filosfica, para hablar
acerca de su ciencia 12 .
La situacin de las matemticas en el siglo XX, nos recuerdan las observaciones de
Platn en el libro V de Repblica, con respecto a la funcin decisiva que desempea, en el
plano sensible, la comprobacin de contrariedades de las que precisamente nos informan
los sentidos y la funcin transformadora y movilizadora que tiene dicha comprobacin en
el plano intelectual, encargado, precisamente de asimilarlas y superarlas.
Los momentos de este proceso son tres: 1) los sentidos nos informan de la existencia de
contrariedades, informacin que provoca una verdadera resolucin en plano intelectual, 2)
el momento en que el alma asume, se hace cargo de la existencia de dichas contrariedades
y llama en su auxilio a la inteligencia, 3) sta misma las supera.
Es evidente que para Platn, el alma humana slo puede convivir con la identidad: las
contradicciones y contrariedades le producen verdaderos trastornos intelectuales y, an
ms, existenciales, difciles de soportar trastornos que el alma trata de alejar.
El primer momento13 est introducido por una distincin entre los objetos que son
captados por nuestros sentidos: unos se muestran idnticos a s mismos y sin

PUYAU - DAUS DE PUYAU - 5

contrariedades, otros, por lo contrario presentan caracteres opuestos entre s, circunstancia

que no puede ser superada por los mismos sentidos, sino por la inteligencia, que, como se
dicho, no puede sobrellevar los conflictos que le causa la comprobacin de contrariedades.
El ejemplo que presenta el filsofo es el siguiente: observemos tres dedos de la mano:
el pulgar, el ndice y el mayor14 : los tres son igualmente un dedo y, al no comprobar
contrariedades nuestra alma no necesita acudir al entendimiento, para captar qu es un
dedo en su esencia porque la vista no le ha informado, que un dedo fuera, al mismo
tiempo, otra cosa que un dedo.
Caso contrario ocurre con el tamao de los dedos: algunos ms largos, otros ms
pequeos, la vista informa al alma, que el mismo objeto le trasmite, algunas veces una
sensacin de largura y otros de pequeez. Lo mismo sucede con el tacto: algunos dedos
son ms suaves que otros.
Informada por tal situacin de contrariedad, el alma reacciona, en primera instancia, a
travs de un estado de perplejidad, de inmovilidad y de estupefaccin existenciales.
Siguiendo a su maestro, Platn denomina aportico, de autntica inmovilidad a aquel
estado en que se encuentra el alma.
Pero dicho estado, si bien es condicin de posibilidad, puesto que quien no lo
experimenta, no puede reunir fuerzas para superarlo, es el primer estadio o escaln que el
alma debe transitar hacia la posesin del saber cient fico, en efecto, el estado aportico es
el arj, el factor desencadenante y principio del autntico conocimiento, tal como el
filsofo lo presenta tambin en otros dilogos.
En efecto, en Menn17 aparece a modo de intermedio, dentro de la trama de la
obra un extenso monlogo, donde el discpulo expresa y describe, las vivencias que ha
experimentado a raz de las palabras de Scrates.
Scrates, antes de conocerte, yo haba escuchado que t no hacas otra cosa que
encontrar dificultades18 . En este momento, lo he comprobado, y yo no s que magias y qu
drogas19 , y por cuales encantamientos, t me has embrujado y ahora tengo la cabeza plena
de dudas.
...y, en un dilogo posterior, perteneciente al inicio de la ltima etapa de su produccin,
el Teetetos, Scrates reitera, con estas palabras, los mismos conceptos: los que me
escuchan estn inundados de perplejidades que los atormentan da y noche...20

PUYAU - DAUS DE PUYAU - 6

Frente a esta situacin de contrariedad, en que se encuentran la fsica y las

matemticas, los cientficos, con el ejemplo de Scrates, debern apelar a las ms
profundas fuerzas del alma, a fin de superar estas aporas en que se halla su ciencia.
Los griegos no se conformaron con hacer ciencia: adems reflexionaron sobre ella.
Fruto de esta reflexin fueron los Segundos Analticos, donde Aristteles, siguiendo la
lnea platnica, admite que sea ciencia slo el saber que concluye desde las causas.
Podemos decir que este concepto ha perdurado hasta el presente, y que, a excepcin de
la matemtica, todas las ciencias admiten el aporte de la experiencia. Eso significa que sus
conclusiones son modificables por los datos empricos.
En el libro VI de Metafsica, Aristteles haba distinguido tres ciencias tericas, vale
decir, puramente contemplativas: la fsica, la matemtica y la metafsica.
La primera y la ltima se ocupan de entes separados, con esta diferencia: el ente
metafsico es inmvil, en tanto que el ente fsico est sujeto al movimiento.
Como es sabido, el ente matemtico no est sujeto al movimiento, pues solo existe por
abstraccin, de acuerdo con el pensamiento de Aristteles.
En el siglo XVI, y a partir de Coprnico, se va gestando en Europa una situacin de
verdadera apora: la fsica cualitativa de Aristteles es sustituda por la fsica matemtica.
Durante todo el siglo XVII se va constituyendo la ciencia exacta de la naturaleza, cuya
culminacin est constituda por los Principios Matemticos de la Filosofa Natural
aparecidos en 1686.
Todo el siglo XVII fue un perodo de elaboracin de nuevos instrumentos matemticos,
como la Geometra Analtica de Descartes y el Clculo Infinitesimal de Newton y Leibniz.
La matematizacin de la fsica comienza indudablemente con Galileo, quien formula la
ley de cada de los cuerpos.
La aceleracin que los cuerpos sufren en su cada libre, haba sido objeto de discusin
entre los fsicos, ya, desde mediados del siglo XIV.
Algunos autores, como Pierre Duhen, vieron en estas disputas un anticipo de los
resultados de la ciencia fsica del siglo XVII.
Otros, ms cticos, como Anneliese Maier, sostienen la idea de que un cuerpo, en
virtud de su inercia, contine en movimiento, si una vez se lo ha puesto en tal situacin,
sera, para la Escolstica, un pensamiento totalmente inaceptable 21 .

PUYAU - DAUS DE PUYAU - 7

De hecho, podemos afirmar que, pese a algunas opiniones en contrario, con Coprnico,
la ciencia natural comienza a transitar derroteros desconocidos para la Escolstica, y es
innegable una ruptura entre ambos perodos.
En el siglo XVII se concreta la matematizacin de la fsica, tarea que es posible, en
particular, por el descubrimiento, del ya mencionado Clculo Infinitesimal.
En la obra de Newton reaparecen los ideales cientficos de la antigedad griega, por
una expresa decisin de Newton, que emplea axiomas, definiciones y teoremas, siguiendo,
de alguna manera, el orden de exposicin de Euclides.
Por cierto, esta semejanza con la geometra, ni significa, en modo alguno, que la fsica
prescinda totalmente de la experiencia.
En la Regla IV, dice, expresamente: en Filosofa experimental, debemos recoger
proposiciones verdaderas o muy aproximadas, inferidas por induccin general, a partir de
los fenmenos, prescindiendo de cualquier hiptesis contraria, hasta que se produzcan
fenmenos capaces de hacer ms precisas esas proposiciones, o sujetas a excepciones22 .
La forma como present Newton la nueva fsica, no estuvo exenta de dificultades. Por
eso, sus ideas fueron ms fructferas en el continente, que en las Islas Britnicas, donde no
aparecieron matemticos de la jerarqua de Euler o Lagrange.
La aplicacin de la matemtica a la fsica dio origen a una concepcin determinista en
el mbito de la ciencia natural.
En la perspectiva cartesiana, el determinismo slo rega en el orden de lo material o
extenso, trminos que eran equivalentes en el pensamiento del filsofo francs.
Por cierto, el determinismo no alcanzaba al mundo espiritual de la res cogitaus y estaba
muy lejos de abarcar la totalidad de las sustancias. Para Descartes, tal determinismo, no
era incompatible con el orden creado por Dios.
La relacin de las cosas con Dios, estaba bajo el dominio de la Providencia.
Dice Burtt: la osada concepcin de Galileo, se realiza aqu con menor detalle. Se
concibe el mundo como material y mecnico, ms bien que espiritual y teolgico. El
escenario est preparado para que Boyle Hacke y Leibniz, comparen el universo con un
gran reloj, al que Dios dio una vez cuerda y, desde entonces, considera sus movimientos
regulaico, merced, nicamente a su concurso general 23 .
En esta idea se fundan las llamadas leyes de conservacin, que provocaron disputas
entre cartesianos y leibnicianos, durante ms de un siglo. La controversia no pona en
discusin el concurso general vale decir, la Providencia Divina, sino aquello que

PUYAU - DAUS DE PUYAU - 8

conservaba: la cantidad de movimiento, vale decir, la masa por la velocidad, o la fuerza

viva, o sea, masa por velocidad al cuadrado.
Los cambios en el orden fsico siguen buscando su fundamento en el Metafsica. En
este caso, la Metafsica racionalista que domin en la Europa continental, hasta el
advenimiento de la filosofa Kantiana.

Hermes Puyau y Laura Daus de Puyau

LA CRISIS EN LAS CIENCIAS Y LA METAFSICA

Cuando a principios del siglo XX, la matemtica sufri una de sus crisis ms profundas: el
descubrimiento de las antinomias en la teora de los conjuntos, se desencaden una de las
discusiones mas apasionadas sobre los fundamentos de esta ciencia . Platn nos muestra
cmo, en los albores del pensamiento, el descubrimiento de las contradicciones y
contrariedades en el mundo sensible, nos hicieron asomar al mundo metafsico. Tambin,
las preocupaciones filosficas atrajeron a los cientficos, quienes en el siglo XVII crearon
la ciencia natural exacta. Un ejemplo lo brinda la discusin entre leibnicianos y
cartesianos, discusin que se extendi hasta mediados del siglo XVII sobre los principios
de conservacin, que expresan la intervencin divina en el orden creado .

Hermes Puyau y Laura Daus de Puyau

LAURA DAUS DE PUYAU. Se recibi de Profesora de filosofa en la Facultad de
Filosofa y Letras de la U.B.A y obtuvo el ttulo de doctora en la Universidad de
MADRID con una tesis sobre La induccin en Aristteles.
HERMES A. PUYAU. Se recibi de profesor de filosofa en la Facultad de Filosofa y
Letras de la U.B.A, donde obtuvo el ttulo de Doctor, con una tesis sobre El conocimiento
de lo individual en Francisco Surez.

PUYAU - DAUS DE PUYAU - 9

Notas
1
Kant, Manuel: Kritic der Reuner Vermunf von.
2
Idem. B.X
3
Idem. Werke en 12 tomos. Suhrkamp. Tomo VI. Pg. 589.
4
Idem. Metaphysik der Sihen. Knisberg. Subrkamp. Frankfurt. Pg. 311.
5
Einstein, Albert y otros: La Teora de la relatividad. Seleccin de L. Pearce
Williams. Alianza Ed. Novena edicin, 1984. Pg. 51
6
Heidegger, Martn: Sein und Zeit. Neomarius Verlag. Tubingen, 1949. Pg. 8.
7
Ibidem. Pg. 8.
8
Kambartel, Friedrich: Experiencia y estructura. Ed. Sur. Bs. As., 1972. Pg. 152.
9
Curry, Haskell: Outlines of a Formalis Philosophy of Mathematics. North-Holland.
Publishing Company. Amsterdam, 1958. Pg. 30.
10
Fraenkel, Abraham y otros. Foundation of ser Theory. North-Holland. Amsterdam,
1973. Pg. 5.
11
La escuela intuicionista, cuyo recuerdo subsistir nicamente a ttulo de curiosidad,
habr tenido, al menos, la utilidad de obligar a sus adversarios, es decir, a la inmensa
mayora de los matemticos, a precisar sus posiciones y, a tomar conciencia, ms
claramente de las razones de su confianza en las matemticas, en Bourbaki, Nicolas:
Elementos de historia de la Matemticas, versin espaola de Jesus Hernndez. Alianza
Editorial. Madrid, 1972. Pg. 62.
12
Caba, Antonio: Balance de la filosofa de la matemtica en el siglo XX, en
Suplemento 3 de Contrastes, Revista Interdisciplinar de Filosofa. Pg. 271-305, 1998.
13
Tal como aparece en Republica. 523 c y sig.
14
Republica. Idem.
15
Ibidem 523 d: ouk anagkze tai e phuch ten ncesin ?epersthai ti pot ?sti
dktulos.
16
Empleamos esta expresin, en el mismo sentido que en Rep. 515 a y sig., donde se
describen los distintos pasos que el alma debe transitar (y los objetos que va descubriendo)
en su camino hacia la Verdad (Idea del Bien).
17
Platn: Menn 80 a y si.
18
?poreis kai tous al lous poieis ?porein.
19
pharmtteis ka kate pdeis, ?oste mostn ?poras gegonmai.
20
?poras. Teetetos 151 a 6. Por nuestra parte, consideramos que la teora de Aristteles
segn la cual la ciencia de los cantianos es una y las misma puede ser considerada una
prolongacin de la teora de su maestro.
21
Maier, Anneliese Au der Grenze von Scholastik und Naturwissenchaft. Ed. di Storia
e Letteratura. Roma, 1952. Pg. 174.
22
Newton, Isaac: Principios matemticos de la Filosofa Natural. Editora Nacional.
Madrid, 1982. Pg. 659.
23
Burtt, Edwin A.: Los fundamentos metafsicos de la ciencia moderna. Ed.
Sudamericana. Bs. As., 1960. Pg. 124