Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Imre Lakatos
11 1. Biografa
Imre Lakatos fue un filsofo de la matemtica y de
la Ciencia en general que contribuy a estas disciplinas con su tesis sobre la falibilidad de la Matemtica,
su metodologa sobre pruebas y refutaciones y tambin por introducir el concepto de programas de investigacin en su metodologa de la investigacin
cientfica.
Naci el 9 de noviembre de 1922 en Debrecen,
Humgra. Su verdadero nombre era Imre (Avrum)
Lipschitz y provena de una antigua familia juda de
esa ciudad. Durante la poca del nazismo, cambi su
nombre por Imre Molnr como una forma de evitar la
persecucin, aunque su madre y su abuela murieron en
Auschwitz. Durante la Segunda Guerra Mundial particip activamente en la resistencia antinazi, adoptando
el nombre de Imre Lakatos (cerrajero) en honor a Gza
Lakatos, un general hngaro que derroc a un gobierno pronazi. Mientras tanto, estudi Matemtica, Fsica
y Filosofa en la Universidad de Debrecen de donde
obtuvo su primer grado acadmico en 1944. Profundamente convencido de las bondades del comunismo,
aplaudi la llegada del comunismo a Hungra y, a partir de 1947, fue un alto funcionario del Ministerio de
Educacin hngaro. En 1948 defendi su tesis doctoral en la Universidad de Debrecen. Sola asistir a los
94
11 2. Pruebas y refutaciones
El enfoque de la Filosofa de la matemtica que
propuso Lakatos estaba inspirado tanto en Hegel como
en la dialctica de Marx, en la teora del conocimiento
de Popper y en el trabajo del matemtico hngaro
Gyry Polya. El libro Proofs and Refutations est basado sobre su tesis doctoral. Encarado como un dilogo ficticio en una clase de matemticas trata sobre los
intentos de los estudiantes de probar la frmula de Euler de la Topologa algebraica, que es un teorema sobre las propiedades de los poliedros. El dilogo trata
de representar todos los intentos histricos de probar
el teorema, que invariablemente eran refutados mediante contraejemplos.
Lo que Lakatos trat de establecer es que ningn
teorema de la Matemtica informal es perfecto y que
no se debe pensar que un teorema es verdadero slo
porque an no se haya encontrado un contraejemplo.
Una vez que se encuentra un contraejemplo, el teorema se debe ajustar, posiblemente modificando el dominio de su validez. Esta es una manera en que se
acumula nuestro conocimiento, a travs de la lgica y
procesos de pruebas y refutaciones. (Este no sera el
caso de los axiomas de una rama de la matemtica ya
que la prueba de esos axiomas es tautolgica, es decir,
lgicamente verdaderas)
Lakatos propuso un enfoque del conocimiento matemtico basado sobre la idea de una heurstica. En
Pruebas y refutaciones, el concepto de heurstica
no est bien desarrollado, si bien Lakatos dio algunas
reglas bsicas para encontrar pruebas y contraejemplos
a las conjeturas. l consideraba que los experimentos
mentales matemticos eran un medio vlido para descubrir conjeturas matemticas y pruebas y, en ocasio-
ca
Imre Lakatos
Segn Lakatos, lo que nosotros consideramos como una teora puede, realmente, ser una sucesin de
teoras ligeramente diferentes o tcnicas experimentales desarrolladas a lo largo del tiempo que comparten
alguna idea comn, idea comn a la que l llam su
ncleo duro. A esos conjuntos cambiantes, los bautiz programas de investigacin. El cientfico involucrado en un programa de investigacin intentar
blindar el ncleo terico de los intentos de falsacin
detrs de un cinturn protector de hiptesis auxiliares.
Mientras que Popper consideraba a esas hiptesis de
manera despreciativa como hiptesis ad hoc, Lakatos
intent mostrar que ajustar y desarrollar un cinturn
protector no era necesariamente algo perjudicial para
el programa de investigacin. En vez de preguntar si
una hiptesis es verdadera o falsa, Lakatos sostena
que se deba analizar si un programa de investigacin
es mejor que otro y cul es la base racional para preferirlo. El demostr que, en algunos casos, un programa
de investigacin puede considerarse como progresivo
mientras que sus rivales se muestran degenerativos.
Un programa de investigacin progresivo se evidencia
por su crecimiento y por el descubrimiento de hechos
novedosos y contundentes, por el desarrollo de tcnicas experimentales novedosas y eficientes, por predicciones ms precisas, etc. Un programa de investigacin degenerativo se caracteriza por su falta de crecimiento, o por un crecimiento del cinturn protector
que no conduce a nuevos descubrimientos.
Lakatos afirmaba que l, realmente, expona las
ideas de Popper que se haban desarrollado a lo largo
del tiempo. l contrastaba al Popper 0 el falsacionista rudimentario que exista solamente en la mente
de los crticos y partidarios que no haban entendido
los escritos de Popper, a Popper 1, el autor de lo que
realmente Popper escriba y a Popper 2 que se supona que era Popper tal como era reinterpretado por
su discpulo Lakatos, si bien muchos comentaristas
crean que Popper 2 era Lakatos. (Muchos Popperianos afirmaron que ciertas tesis que Lakatos adjudic
a Popper, no pertenecan a ste sino a un filsofo imaginario llamado Poppatos).
La idea de que, a menudo, no es posible demostrar
categricamente cual de dos teoras o programas de
investigacin es mejor en un determinado momento,
mientras que los desarrollos sucesivos pueden mostrar
que uno es progresivo mientras que el otro es regresivo (y consiguientemente menos aceptable) fue la mayor contribucin de Lakatos tanto a la Filosofa de la
Ciencia como a la historia de la ciencia.
95
96