Prueba y refutaciones: La lógica del descubrimiento matemático

Aunque no se centra en las matemáticas, Latour desmonta la visión idealizada de la ciencia de una forma paralela a cómo Lakatos devela el proceso heurístico y de 'prueba y refutación' de las matemáticas. Ambos autores rechazan la noción de un progreso científico lineal e incuestionable, abordando cómo la robustez de una teoría es un resultado social y práctico, no solo lógico.

Mientras Lakatos propone un refinamiento del falsacionismo, reconociendo la complejidad del proceso científico, Feyerabend va un paso más allá, declarando que 'todo vale' en la ciencia. La conexión es no obvia porque ambos critican la visión ingenua del método científico, pero Feyerabend lo hace desde una postura anarquista mucho más radical que Lakatos, quien aún busca una lógica en el descubrimiento.

Lakatos desarrolló su metodología de programas de investigación científica como una respuesta y crítica a la teoría de Kuhn. Ambos autores comparten la preocupación por la dinámica del cambio científico y la evolución del conocimiento, pero Lakatos busca una forma racional de reconstruir la historia de la ciencia y justificar el progreso, mientras Kuhn enfatiza la irracionalidad de los cambios de paradigma.

El trabajo de Lakatos es una continuación crítica y un desarrollo del falsacionismo de Popper. Lakatos trató de superar las limitaciones del falsacionismo ingenuo de Popper, proponiendo un falsacionismo sofisticado que tiene en cuenta programas de investigación completos en lugar de teorías aisladas. La influencia de Popper es fundamental para entender la génesis de las ideas de Lakatos.

Aunque no directamente sobre matemáticas o filosofía de la ciencia, este ensayo es un ejemplo clásico de un intento riguroso de definir los límites y la metodología de una disciplina, similar al espíritu de Lakatos al examinar los métodos de descubrimiento. Su oscuridad radica en su alta especialización dentro de la filosofía de la economía, no siendo una obra de divulgación, pero con profundas implicaciones metodológicas.

Este libro aborda la epistemología y la metodología desde una perspectiva que desafía los modelos de ciencia natural, resonando con la manera en que Lakatos problematiza la "lógica" detrás del descubrimiento en matemáticas. La conexión es que ambos autores, en sus respectivos campos, exponen las complejidades y las particularidades de cómo se construye y valida el conocimiento, distanciándose de un modelo único y simplificado.

Lakatos utiliza el método de 'pruebas y refutaciones' para mostrar cómo la matemática no es una verdad apodíctica, sino un proceso de mejora de conjeturas mediante contraejemplos. Berkeley, aunque en un contexto filosófico distinto, emplea una cadena de argumentación rigorosa y proposiciones seguidas de objeciones y respuestas, una estructura que emula el proceso dialéctico de Lakatos al desmantelar ideas preconcebidas sobre la realidad.

Similar al método socrático que Lakatos 'reconstruye' en 'Pruebas y refutaciones', Hume adopta un formato dialógico donde diversas posturas (la existencia de Dios, el diseño inteligente) son expuestas, criticadas y refutadas. Esta estructura de 'pregunta-respuesta-objeción' simula la evolución de las ideas y la refutación de conjeturas que Lakatos usa para ilustrar la lógica del descubrimiento matemático.