IMRE LAKATOS figura entre los mis destacados representantes de lo qye se ba dado en llamar «nueva filosofia de la cieneiav. Bajo esa, denominacién se suele agrupar también a una serie de te6ricos T'S Kulin, PK. Feyerabend, Stephen Toulmin («1a comprensién huma: na», AU 191) y N.R. Hanson («Patrones de descubrimienton, AU 177 nstelaciones y conjeturas», AU 203)— a quienes une la impug- niacin de los presupuestos fundamentales de la metodologia clisica, apositivista», caracterizada por la imagen pilida y desvirtuada que ofrece del desarrollo y de la estructura de la-ciencia, De ese nuevo! enfoque es perfecto ejemplo este libro, en ef que J. Warrall y E, Zahar, eolaboradores directos del malogrado Lakatos ({allecido en 1974, 4 los,cincuenta y dos aos), reien una setie de textos de sti maestro en los que la «metodologia de los programas de investi: gacién» se aplica al caso de la matemitica. Escrito en forma de dilogo entre un profesor y sus alumnos on un aula imaginaria, PRUEBAS Y REFUTACIONES sé propone escenificar el recta del enfoque formalista 0 deductivista en filosofia de la matematica Segiin las concepciones de esta variante de la epistemologia post positivista, el formalismo «tiende a identificar h su absttaccién axiomética formal». Las mateméticas no_tendrfan propiamente historia, sino que serfan «un conjunto siempre creciente de verdades erernas ¢ inmutables, en el que no pueden entrar los contraejemplos, las refutaciones 0 Ia critica». En oposieién a esta concepeién deductivista, que «esconde la lucha y oculta la aventura», y para la cual [a deduecién es el sinico patrén heutistico de las mate- tmiticas, Imre Lakatos propone un nuevo enfogue heuristic, pero tno deductivista; y To hace con plena conciencia de que su aceptaci podria suponer la necesidad de escribir de nuevo los textos de ma- temiticas. WA ES Alianza Editorial Cubierta Daniel Gil