Imre Lakatos (en húngaro, Lakatos Imre; Debrecen, Hungría, 9 de noviembre de 1922-Londres, 2 de febrero de 1974), registrado al nacer como Imre Lipschitz, fue un filósofo y matemático húngaro reconocido por sus contribuciones a la filosofía de la ciencia y la filosofía de las matemáticas. Conocido por su tesis de la falibilidad de las matemáticas y su "metodología de pruebas y refutaciones" en sus etapas de desarrollo preaxiomático, y también por introducir el concepto de "programa de investigación" en su metodología de los programas de investigación científica.
Biografía Lakatos nació en Hungría en 1922 en el seno de una familia judía. Se cambió el nombre y tomó el de Imre Molnár ante la invasión nazi de Hungría, que se cobró la vida de millones de personas, incluida su madre y su abuela, muertas en el campo de concentración de Auschwitz. Completó su educación en la Universidad de Debrecen en 1944, graduándose en matemáticas, física y filosofía. Finalizada la guerra, Imre, en ese momento un comunista activo, se dio cuenta de que tendría dificultades para usar sus camisas bordadas con las iniciales "IL", llamándose Imre Molnár, por lo que cambió de nombre nuevamente, eligiendo el de la clase trabajadora húngara, Lakatos. En 1947 fue designado para ocupar un alto puesto en el Ministerio de Educación húngaro. En 1950 fue arrestado por ser “un revisionista” y tuvo que pasar tres años en una prisión estalinista. Recibió su doctorado en la Universidad de Debrecen en 1948, y al año siguiente cursó estudios en la Universidad Estatal de Moscú con la matemática rusa Sofya Yanovskaya. En 1956 se enteró de que podría ser arrestado de nuevo y se fue a Viena huyendo de las autoridades rusas tras la fallida revolución húngara abortada por los soviéticos. Posteriormente se estableció en Francia, donde colaboró en la London School of Economics. En 1961 recibió un doctorado en filosofía por la Universidad de Cambridge. Allí hizo sus estudios de filosofía de la ciencia bajo el tutelaje de Sir Karl Popper. Fue profesor de la Escuela de Economía de Londres (LSE) desde 1960 hasta 1974, año en que repentinamente murió el 2 de febrero.
Trayectoria A pesar de su relativamente corta carrera como filósofo de la ciencia, Lakatos ha tenido una gran influencia tanto en las ciencias naturales como en las ciencias sociales. Su trabajo es más conocido y reconocido como un valioso esquema para la evaluación del progreso (o degeneración) del conocimiento de cualquier área científica de investigación.
Lakatos dio a conocer su “metodología” en 1965, con motivo del Coloquio Internacional de Filosofía de la Ciencia, celebrado en Londres. En esa ocasión el grupo de la LSE (llamado informalmente “el grupo popperiano”) criticó La estructura de las revoluciones científicas, de Thomas S. Kuhn (1962) y la “nueva imagen” de la ciencia que de él se deriva.
En sus comienzos se adscribió a la escuela de Karl Popper, en lo que él mismo llamó el falsacionismo sofisticado. Reformula el falsacionismo para poder resolver el problema de la base empírica y el de escape a la falsación que no resolvían las dos clases anteriores de falsacionismo que él llama falsacionismo dogmático y falsacionismo ingenuo.
Lakatos recoge ciertos aspectos de la teoría de Thomas Kuhn, entre ellos la importancia de la historia de la ciencia para la filosofía de la ciencia. Lakatos cuestiona a Popper, pues la historia de la ciencia] muestra que los científicos no utilizan la falsación como criterio para descartar teorías enteras, como Popper defendía, sino para hacer que éstas se desarrollen y perfeccionen. Y, por otra parte, la confirmación de los supuestos científicos también es necesaria, según Lakatos, pues nos permite mantenerlos vigentes.
La falsación Para Lakatos la falsación consiste en un doble enfrentamiento entre dos teorías rivales y la experiencia. Las teorías rivales se confrontan con la experiencia; una es aceptada y la otra es refutada. La refutación de una teoría depende del éxito total de la teoría rival. Así Lakatos plantea una nueva unidad de análisis: el programa de investigación científica (PIC).
Los escritos de Imre Lakatos contienen abundantes comparaciones de sus propias opiniones con las de otros autores. Él mismo destaca estas relaciones subrayando su deuda con Popper. Considera que la concepción que está dispuesto a defender constituye un desarrollo de las ideas popperianas, una versión más evolucionada del falsacionismo, pero en esta evolución se reconoce la influencia que han ejercido sobre el pensamiento de Lakatos los incisivos argumentos esgrimidos por otros filósofos que cuestionan el modelo epistemológico de Popper.
Programa de investigación científica (PIC)
Consiste en una sucesión de teorías relacionadas entre sí, de manera que unas se generan partiendo de las anteriores. Estas teorías que están dentro de un PIC comparten un núcleo firme o duro (NF). El núcleo firme está protegido por un Cinturón protector (CP) que consiste en un conjunto de hipótesis auxiliares que pueden ser modificadas, eliminadas o reemplazadas por otras nuevas con el objetivo de impedir que se pueda falsar el núcleo firme.
Dentro de un PIC hay una heurística negativa y una heurística positiva. La positiva sirve de guía e indica cómo continuar el programa, mientras que la negativa prohíbe la refutación del núcleo firme.
Cuando un PIC se enfrenta a anomalías empíricas que teóricamente no ha podido predecir se reemplaza por un PIC rival. En el caso de que no haya un PIC rival que conserve los elementos no refutados del PIC anterior, y a la vez tenga soluciones para las nuevas anomalías, el PIC se queda en etapa regresiva hasta que se recupera.
Los PIC pueden ser degenerativos, cuando el programa no predice fenómenos nuevos por mucho tiempo, o progresivos, cuando el programa tiene éxito.
En Pruebas y refutaciones expuso que la teoría de Karl Popper según la cual la ciencia se distingue de las demás ramas del conocimiento porque las teorías pueden ser "falsadas" al establecer sus creadores unos "falsadores potenciales" es incorrecta, ya que toda teoría (como la de Newton, la cual estudió en profundidad), nace con un conjunto de "hechos" que la refutan en el mismo momento que es creada.
Esto le llevaba a considerar que la ciencia era incapaz de alcanzar la "verdad", pero sugirió en sus programas de investigación científica que cada nueva teoría era capaz de explicar más cosas que la anterior, y sobre todo, de predecir hechos nuevos que nadie antes ni siquiera se había planteado (como el cometa Halley, que regresó exactamente el mismo año en que había sido calculado utilizando la teoría de Newton). Aunque esto no le distanciaba mucho de su amigo y colaborador Paul Feyerabend. Una de las obras más importantes es su obra sobre el Falsacionismo sofisticado.
Obra filosófica Filosofía de las matemáticas La filosofía de las matemáticas de Lakatos se inspiró tanto en la dialéctica de Georg Friedrich Hegel como en la de Karl Marx, en la teoría del conocimiento de Karl Popper y en la obra del matemático George Pólya.
El libro de 1976 Proofs and Refutations se basa en los tres primeros capítulos de su tesis doctoral de 1961, de cuatro capítulos, Essays in the Logic of Mathematical Discovery. Pero su primer capítulo es una revisión del propio Lakatos de su capítulo 1 que se publicó por primera vez como Proofs and Refutations en cuatro partes en 1963-1964 en la British Journal for the Philosophy of Science. Se trata en gran parte de un diálogo ficticio que tiene lugar en una clase de matemáticas. Los estudiantes intentan demostrar la fórmula de la característica de Euler en topología algebraica, que es un teorema sobre las propiedades de los poliedros, a saber, que para todos los poliedros el número de sus vértices V menos el número de sus aristas E más el número de sus caras F es 2 (). El diálogo pretende representar la serie real de intentos de demostración que los matemáticos han ofrecido históricamente para la conjetura, sólo para ser refutada repetidamente por contraejemplos. A menudo los estudiantes parafrasean a matemáticos famosos como Cauchy, como se señala en las extensas notas a pie de página de Lakatos.
Lakatos denominó monstruos a los contraejemplos poliédricos de la fórmula de Euler y distinguió tres formas de tratar estos objetos: En primer lugar, la exclusión de monstruos, según la cual el teorema en cuestión no podía aplicarse a tales objetos. En segundo lugar, el ajuste-monstruo, mediante el cual, haciendo una revaluación del monstruo, se podía hacer que obedeciera al teorema propuesto. En tercer lugar, la "gestión de excepciones", otro proceso distinto. Estas estrategias distintas se han adoptado en la física cualitativa, donde la terminología de monstruos se ha aplicado a contraejemplos aparentes, y las técnicas de monstruo-barrado y monstruo-ajuste se han reconocido como enfoques para el refinamiento del análisis de una cuestión física.
Lo que Lakatos intentó establecer fue que ningún teorema de matemáticas informales es definitivo o perfecto. Esto significa que no debemos pensar que un teorema es verdadero en última instancia, sino sólo que aún no se ha encontrado ningún contraejemplo. Una vez que se encuentra un contraejemplo, ajustamos el teorema, posiblemente ampliando el dominio de su validez. Ésta es una forma continua en que se acumula nuestro conocimiento, a través de la lógica y el proceso de pruebas y refutaciones. (Sin embargo, si se dan axiomas para una rama de las matemáticas, Lakatos afirmaba que las demostraciones a partir de esos axiomas eran tautológicas, es decir, lógicamente verdaderas).Véase, por ejemplo, la sección 2 de A renaissance of empiricism in the recent philosophy of mathematics, de Lakatos, en la que define un sistema euclidiano como aquel que consiste en todas las deducciones lógicas a partir de un conjunto inicial de axiomas y escribe que "se puede afirmar que un sistema euclidiano es verdadero".
Lakatos propuso un relato del conocimiento matemático basado en la idea de heurísticas. En Pruebas y refutaciones, el concepto de "heurística" no estaba bien desarrollado, aunque Lakatos dio varias reglas básicas para encontrar pruebas y contraejemplos a conjeturas. Pensaba que los "experimentos mentales matemáticos" son una forma válida de descubrir conjeturas y pruebas matemáticas, y a veces denominaba a su filosofía "cuasi-empirismo".
Sin embargo, también concebía la comunidad matemática como una especie de dialéctica para decidir qué demostraciones matemáticas son válidas y cuáles no. Por lo tanto, discrepaba fundamentalmente de la concepción "formalista" de la demostración que prevalecía en el logicismo de Gottlob Frege y Bertrand Russell, que define la demostración simplemente en términos de validez formal.