La filosofa de la ciencia de Lakatos (Primera parte: la metodologa de los programas de investigacin) 1

Eduardo Harada O. 2

Este ao se cumplen tres dcadas de la sbita desaparicin del filsofo de la ciencia de origen hngaro Imre Lakatos (1922-1994). A diferencia de lo que normalmente sucede con otros filsofos, el aniversario luctuoso de Lakatos ha pasado prcticamente desapercibido, con lo cual se ha perdido una valiosa oportunidad para releer su obra o acercarse a ella por primera vez. La filosofa o metodologa de la ciencia de Lakatos es un intento por superar los problemas del (supuesto) falsacionismo ingenuo de Karl Popper -que planteara que las teoras son falsables de modo concluyente y que habra que abandonarlas en caso de que fueran refutadas por los hechos- y las posturas sociologistas y psicologistas que reducen la ciencia a las creencias de los cientficos, ya que pueden conducir al escepticismo, el relativismo o hasta el irracionalismo. La metodologa de Lakatos nos dice que para estudiar la ciencia no se debe partir de teoras aisladas sino series de teoras, consideradas a travs del tiempo, y, mejor todava, de programas de investigacin, los cuales incluyen 1) un ncleo firme de presupuestos infalsables que son aceptados por convencin, 2) un cinturn protector con hiptesis auxiliares que s son falsables, pero que son modificables, as como 3) una heurstica positiva que protege al ncleo de la falsacin (y, por tanto, garantiza la continuidad del programa y explica su tenacidad frente a los hechos adversos) y 4) una heurstica positiva que permite solucionar problemas convirtindolos en confirmaciones del programa.
1 2

Publicado en el peridico Humanidades de la UNAM. Octubre y noviembre de 2004. Profesor de Carrera Titular A de la ENP.

Segn esto, deberamos elegir a los programas de investigacin progresivos, esto es, los que no slo dan cuenta de los hechos explicados por otras teoras, sino que descubren hechos nuevos e inesperados desde el punto de vista del conocimiento actual. En efecto, los criterios de demarcacin, que sirven para distinguir a la ciencia (progresiva) de lo que no es ella, principalmente, la seudo-ciencia y la ideologa, son criterios de racionalidad , pero tambin criterios de honestidad intelectual: ser racional y honesto, nos dice Lakatos, es abandonar un programa cuando se cuenta ms progresivo, aunque no es incorrecto continuar trabajando en uno que sea regresivo para tratar de mejorarlo. Por otro lado, Lakatos nos dice que las metodologas o filosofas de la ciencia, a pesar de su carcter normativo, deben ser evaluadas por medio de su contrastacin con la historia de la ciencia real: una metodologa es progresiva respecto de otra si logra explicar como racionales las transformaciones o revoluciones cientficas que para otras metodologas resultan irracionales o inexplicables. La filosofa de Lakatos nos ofrece una visin compleja de la ciencia, pues tambin considera sus aspectos sociolgicos; en concreto, plantea que una metodologa debe ser abandonada si no corresponde con los juicios de valor de la lite de los cientficos. Por otro lado, sostiene que todas las metodologas deben recurrir a hiptesis auxiliares psicolgicas para reconstruir la historia de la ciencia, ya que sta, debido a las caractersticas propias de los seres humanos, nunca es completamente racional. Desde luego, la propuesta de Lakatos ha sido criticada por numerosas razones, entre ellas porque al intentar reconstruir racionalmente la historia de la ciencia presenta una imagen idealizada de ella; parece ser circular: los programas y las metodologas son juzgadas por medio de hechos que dependen de ellas mismas; fracasa no slo en su intento por mostrar que la ciencia es una empresa racional, sino, igualmente, en su pretensin de que todos los cientficos

siguen las mismas reglas (Feyerabend lo acusa de ser un anarquista metodolgico encubierto, para el cual, en realidad, todo vale en la ciencia), etc. A diferencia de otras propuestas pospositivistas (de Popper y Kuhn), la de Lakatos ha tenido pocos seguidores (entre ellos, Elie Zahar y John Worral) y, como seal al principio, se encuentra un tanto olvidada. No obstante, en primer lugar, se encuentra a la base de ciertas tendencias naturalistas en la filosofa de la ciencia actual (es decir, las que consideran que sta debe ser contrastada por medio de la prctica e historia de la ciencia real), como la de Larry Laudan (investigador del IIF de la UNAM) y, en segundo lugar, su metodologa puede ser aplicada no slo a la ciencia sino a todos los programas de investigacin o metodologas en las que intervienen cuestiones normativas o valorativas, por ejemplo, la tica y la esttica; es decir, ofrece herramientas para abordar racionalmente cuestiones que a veces se han considerado ajenas a todo tratamiento racional (de hecho, en los ltimos aos, Laudan ha incursionado en la filosofa poltica), por lo cual, entre otra muchas cosas, debera ser reconsiderada. En la segunda parte de este artculo abordar la filosofa de las matemticas de Lakatos, que en los ltimos aos se ha convertido en fundamental para autores (como Reuben Hersh y Paul Ernest) que buscan una alternativa frente a los programas fundacionistas en la filosofa de las matemticas -es decir, aqullos que suponen que las matemticas pueden tener fundamentos, los necesitan y la filosofa puede ofrecrselos- y que, en cambio, ofrecen una visin falibilista, cuasi-empirista, constructivista, humanista, etc., de las matemticas (de hecho, en la filosofa de las matemticas de Lakatos, sobre todo, en la inicial, de principios de los aos sesenta, encontramos una propuesta para una lgica del descubrimiento). En la tercera y ltima parte, hablar de la relacin que existe entre la ciencia, la tica y la poltica, pues Lakatos nos dice que la distincin entre la ciencia y lo que no es ella o entre las matemticas y las ciencias empricas no es un asunto meramente terico, sino que tambin tiene consecuencias prcticas y sociales fundamentales.

La filosofa de la ciencia de Lakatos (Segunda parte: el cuasi-empirismo en las matemticas)

Eduardo Harada O. 3

En los ltimos aos la filosofa de Imre Lakatos, de origen hngaro (1922-1974), ha cobrado un gran inters para autores, como Reuben Hersch (Qu son las matemticas realmente?) y Paul Ernest (El constructivismo social como filosofa de las matemticas), que buscan una alternativa frente a los programas fundacionistas en la filosofa de las matemticas -es decir, el logicismo y el formalismo, pero tambin el intuicionismo-, los cuales plantean que las matemticas pueden tener fundamentos (ltimos y definitivos), que los necesitan debido a algn tipo de crisis que han sufrido y que la filosofa, principalmente, por medio de la lgica matemtica, puede proporcionrselos. En efecto, a partir del siglo XIX, sobre todo, con los problemas que surgieron a propsito de la teora ingenua de conjuntos (las famosas paradojas, como la de Russell, segn la cual puede haber conjuntos que se incluyen y excluyen a s mismos), teora por medio de la cual el filsofo alemn Gottlob Frege pretendi fundamentar la aritmtica, pero tambin debido al descubrimiento de las geometras no-euclideas (alternativas frente a la geometra de Euclides, que durante dos mil aos fue considerada como un modelo axiomtico para todas las ciencias), se desarrollaron los tres de programas fundacionistas arriba mencionados. Tradicionalmente se ha considerado que las matemticas, ya sea por el mtodo que emplean, el tipo de entidades que estudian, etc., pueden alcanzar la certeza plena o un conocimiento infalible, y problemas como los anteriores parecan poner en peligro no slo a esta disciplina sino tambin a otras ciencias, como la fsica, las cuales dependa cada vez ms de ellas.

Profesor de Carrera Titular A de la ENP.

En efecto, segn las opiniones tradicionales, las matemticas, al igual que la lgica, son diferentes al resto de las ciencias -las empricas, naturales y sociales- que buscan dar cuenta de la experiencia y pueden ser contrastadas por medio de ella, por lo que son falibles y slo pueden ofrecer verdades conjeturales, particulares y contingentes. En cambio, el cuasi-empirismo plantea que el conocimiento que ofrecen y los mtodos que emplean las matemticas son semejantes a los propios de las ciencias empricas. Aclaro: no se afirma que son iguales o que no hay ninguna diferencia entre ellas, sino, ms bien, que esas diferencias no son tan radicales como se ha pensado: si en el caso de las ciencias empricas no se puede probar nada de forma concluyente, en las matemticas sucede algo parecido (como se puede argumentar a partir del teorema de Gdel, el cual dice, en trminos generales, que un sistema formal suficientemente interesante para expresar la aritmtica elemental no puede ser completo y consiste al mismo tiempo). En Pruebas y refutaciones, un libro publicado pstumamente por algunos colaboradores de Lakatos (pero que se basado en la tesis doctoral de ste y en algunos artculos publicados entre 1963 y 1964), se aplica el mtodo de Popper de las conjeturas y las refutaciones o del ensayo y el error (es decir, el mtodo crtico, que es un mtodo intersubjetivo, pero falible) a las matemticas; pero tambin se siguen las ideas del matemtico hngaro George Plya acerca de la heurstica y el descubrimiento; inclusive, segn algunos estudiosos, se presuponen algunas tesis hegelianas (en las que Lakatos crey firmemente durante muchos aos). La mayor parte del libro est escrito como un dilogo que se desarrolla en un saln de clases entre un profesor y sus alumnos, los cuales discuten acerca de las posibles pruebas para la conjetura o el teorema de Euler, segn el cual para todos los poliedros regulares el nmero de sus vrtices menos el nmero de sus ngulos siempre es igual a 2. Mientras que en el cuerpo del texto Lakatos ofrece una reconstruccin racional o ideal de los avatares histricos que sufri este teorema (que se remonta a Descartes, fue trabajado por

Cauchy y reformulado por Poincar), en las notas a pie de pgina incluye informacin detallada sobre lo que realmente sucedi. Con ello, Lakatos se opone al euclidismo, deductivismo o formalismo, dogmtico y hasta autoritario, que reduce las matemticas a su estructura formal, es decir, a un conjunto de axiomas de los cuales se deducen, de manera necesaria y casi mecnica, los teoremas. Es decir, se opone al olvido de la historia de las matemticas -la especulacin, la lgica de las pruebas y las refutaciones, los ejemplos y los contraejemplos, etc.- que es su autntica vida o la manera en que efectivamente son practicadas por lo matemticos y aprendidas por los estudiantes (frente a lo que han credo muchos en la filosofa de la ciencia, en la ciencia real justificacin y descubrimiento no pueden ser separados). En Existe un renacimiento del empirismo en la reciente filosofa de las matemticas? (1967), Lakatos agrega que las matemticas son cuasi-empricas pues poseen, como las ciencias empricas, falsadores (enunciados bsicos que las contradicen): en efecto, las pruebas informales no slo son el origen de las pruebas formales, sino que tambin constituyen sus falsadores potenciales. Los escritos cuasi-empiristas de Lakatos se remontan desde finales de los aos cincuenta a mediados de los aos sesenta, pues, con el descubrimiento de su metodologa de los programas de investigacin (la cual present en la primera parte de este artculo, publicada en el nmero anterior de este peridico), no slo se enfoc al estudio de las ciencias empricas, principalmente la fsica, sino que, sobre todo, abandon el mtodo de las pruebas y refutaciones, deudor del falsacionista (supuestamente) ingenuo de Popper. El nuevo enfoque de Lakatos, si bien contina siendo falibilista, es ms moderado, pues reconoce que no existen falsaciones definitivas, es racional y honesto continuar trabajando en teoras que han sido falsadas, slo se abandona una teora cuando se cuenta con una mejor alternativa, etc.

Se sabe que antes de morir Lakatos tena la intencin de revisar sus escritos sobre la filosofa de las matemticas para publicarlos. De hecho, en la segunda parte de El mtodo de anlisis-sntesis (1973), incluido en Matemticas, ciencia y epistemologa, encontramos indicios sobre como sera su nueva filosofa de las matemticas: las matemticas pasan por tres etapas 1) ingenua (de ensayos y errores), 2) sofisticada (del pruebas y refutaciones) y 3) metodolgica (de los programas de investigacin), en la que se da la axiomatizacin o formalizacin de las pruebas. En la siguiente y ltima parte, abordar las consecuencias prcticas y sociales de la propuesta de Lakatos, pues lo que apunta sobre la ciencia y, en particular, sobre las matemticas, no es un asunto meramente terico, sino que tiene relacin con la tica y la poltica.

La filosofa de la ciencia de Lakatos (Tercera parte: ciencia y poltica)

Eduardo Harada O. 4

El problema de la demarcacin o de la distincin entre la ciencia y lo que no es ella, principalmente la seudo-ciencia y la ideologa, no es un problema meramente terico o slo importante para los filsofos de la ciencia, sino que tienen consecuencias prcticas, en concreto, sociales y polticas, trascendentales para todas las personas. En efecto, en nombre de la ciencia, o basndose en creencias epistemolgicas equivocadas sobre ella, se han cometido muchos crmenes e injusticias a lo largo de la historia, pues tradicionalmente se ha credo que ciencia es igual a conocimiento probado, es decir, infalible.

Profesor de Carrera Titular A de la ENP.

Precisamente, en su conferencia radiofnica Ciencia y pseudociencia (1973), el filsofo Imre Lakatos dice: el Comit Central del Partido Comunista Sovitico en 1949 declar suedocientfica a la gentica mendeliana e hizo que sus defensores, como el acadmico Vavilov, murieran en campos de concentracin; tras la muerte de Vavilov la gentica mendeliana fue rehabilitada; pero persisti el derecho del Partido a decidir lo que es cientfico y publicable y lo que es pseudocientfico y castigable. Lakatos naci el 9 de noviembre de 1922 en Hungra. Su verdadero nombre fue Imre Lipschtitz, pero, para evitar la persecucin nazi en contra de los judos, lo cambi a Tibor Molnr. En efecto, de los cerca de 750, 000 judos que vivan en Hungra en los aos cuarenta, 550, 000 murieron en los campos de concentracin. Entre ellos, la madre y abuela de Lakatos. Lakatos logr estudiar en la Universidad de Debrecen y se gradu en 1944 en matemticas, fsica y filosofa. Despus de la Segunda Guerra Mundial se convirti en un activo comunista. Adems, se volvi a cambiar de nombre, quiz inspirado en el general Gza Lakatos, quien estuvo a cargo del gobierno hngaro antes de que los alemanes tomaran el poder. En 1947 obtuvo un puesto en el Ministerio de Educacin, pero, debido a que se alej de la doctrina estalinista que los soviticos haban impuesto en todo el bloque socialista, fue arrestado en 1950. En 1953 sali de la crcel y slo consigui trabajo como traductor de escritos en ingls al hngaro. Gracias a ello tuvo la oportunidad de entrar en contacto con la filosofa de la ciencia anglosajona o analtica, diferente a (y para l mejor que) la marxista que conoca. En 1956 ocurri una revuelta en Hungra en contra de la dominacin sovitica, sin embargo, despus de dos das fue disuelta. Ante la posibilidad de ser nuevamente arrestado, Lakatos vol a Austria y despus a Inglaterra, donde consigui una beca para estudiar un doctorado de filosofa en Cambridge. En 1960 ingres a la Escuela de Economa de Londres, como ayudante de Karl Popper, y en 1969 se convirti en profesor de la misma, donde continu enseando filosofa e historia de la ciencia hasta su muerte.

Por lo anterior, se puede entender por qu Lakatos siempre defendi la autonoma de la ciencia en contra de las injerencias externas o de la creencia en que un gobierno o una sociedad pueden decidir lo que es verdadero y falso, correcto e incorrecto en el terreno de la ciencia. Pero, ante todo, Lakatos se opuso al justificacionismo o dogmatismo epistemolgico, esto es, a la idea de que existe conocimiento que puede ser probado de forma definitiva y, en cambio, defendi un falibilismo que afirma que ni siquiera en las matemticas podemos estar completamente seguros de algo: las teoras empricas, que tienen pretensiones universales, no pueden ser probadas por medio de hechos particulares, como creen los inductivistas; pero tampoco puede ser falsadas de forma concluyente por medio de ellos, como han sostenido los falsacionistas. La demarcacin entre la ciencia y la seudociencia no se basa en que la primera puede ser verificada o, por lo menos, es falsable de forma concluyente, mientras que la segunda no puede serlo, sino, segn Lakatos, depende de una distincin diferente entre los programas de investigacin progresivos y los regresivos: en primer lugar, no debemos juzgar teoras aisladas sino el desempeo que muestran a travs del tiempo series completas de teoras que constituyen programas de investigacin, y, en segundo lugar, un programa es cientfico y progresivo cuando, por decirlo as, se adelanta a los hechos, es decir, no slo da cuenta de hechos que otras teoras no pueden explicar sino que, adems, descubre o predice hechos nuevos e inesperados. En cambio, un programa es regresivo cuando se encuentra atrasado respecto de los hechos: en lugar de explicarlos o predecirlos, busca protegerse de ellos. Por su parte, las matemticas no se limitan a deducir, de manera necesaria y casi mecnica, teoremas a partir de axiomas probados o evidentes en s mismos, como consideran los formalistas, sino que su prctica real consiste en un proceso en el que se ofrecen conjeturas, pruebas y refutaciones, siempre falibles. Por ello, sostiene Lakatos, las matemticas son cuasiempricas.

Sin embargo, Lakatos no slo se opuso al justificacionismo o al dogmatismo, sino tambin al escepticismo , es decir, a la tesis de que no existe ni es posible establecer un criterio de demarcacin entre la ciencia y la pseudociencia: todo vale (anything goes), lo cual puede dar lugar a la anarqua, como sostuvo, precisamente, quien fue uno de sus mejores amigos: Paul Feyerabend. Para concluir, quiero sealar que independientemente de si el criterio de demarcacin que ofrece Lakatos es correcto (a final de cuentas no es tan claro, pues nos dice que no es equivocado continuar trabajando en un programa regresivo para tratar de mejorarlo) o si lo es la forma en que lo aplic (segn l, tanto el marxismo como el psicoanlisis son seudociencias), lo ms importante es que nos dice que stas cuestiones no son solamente epistemolgicas, limitadas al conocimiento, sino que se relacionan con la distincin entre lo racional y lo irracional, as como entre lo honesto y lo deshonesto en el terreno intelectual: en efecto, no se puede hacer ciencia si no se estipulan antes ciertas condiciones en las cuales uno estara dispuesto a abandonar lo que se sostiene y aceptar otras ideas. La ciencia, nos dice Lakatos, no slo tiene consecuencias ticas o polticas porque puede ser aplicada por medio de la tecnologa -lo cual es un lugar comn en el pensamiento contemporneo-, o utilizada para justificar medidas sociales y polticas injustas - como el propio Lakatos denunci-, sino porque, a pesar de su autonoma, en s misma, tiene condiciones de posibilidad ticas y est cruzada enteramente por la moral: las reglas metodolgicas de la ciencia (que nos indican cules son los problemas que hay que resolver, cmo deben ser resueltos, qu es una solucin adecuada para ellos, etc.), son, al mismo tiempo, principios de racionalidad y reglas de honestidad intelectual.