Signos Filosficos, suplemento nm. 11, vol. VI, 2004, pp. 115-130 Sobre la lgica del descubrimiento...

SOBRE

LA

LGICA

DEL DESCUBRIMIENTO CIENTFICO DE

POPPER

ATOCHA ALISEDA LLERA*

Resumen: El objetivo aqu es dilucidar algunos aspectos de la lgica de la investigacin de Popper y situarla en la discusin filosfica del descubrimiento cientfico. Un anlisis ms cercano de su propuesta revela que su obra, a la luz de textos ms recientes, s apunta en la direccin de algunos mecanismos fundamentales que caen en el rubro del estudio del descubrimiento. El argumento en favor de esta tesis tiene dos partes: por un lado, cuando se hace un anlisis ms fino de los contextos de investigacin, parece que la lgica de Popper puede ser considerada como parte del contexto de descubrimiento, y, por el otro, su explicacin sobre el crecimiento del conocimiento mediante el mtodo de conjeturas y refutaciones coincide con la corriente dominante de los llamados Amigos del descubrimiento, al menos en lo que respecta a la obra de Herbert Simon. Abstract: The aim of this paper is to elucidate some aspects of Karl Poppers logic of research and place it in the philosophical discussion of scientific discovery. A closer look into his proposal reveals that his work, in the light of recent literature, does point into the direction of some fundamental mechanisms which fall under the study of discovery. The argument for this claim is twofold: one the one hand, when a finer analysis of contexts of research is done, it seems that Poppers logic may be considered as part of the context of discovery, and on the other hand, his account on the growth of knowledge by the method of conjectures and refutations, is in accordance with the Friends of Discovery mainstream, at least is so far as the work of Herbert Simon is concerned. PALABRAS
CLAVE: FILOSOFA DE LA CIENCIA , DESCUBRIMIENTO, LGICA , HEURSTICA,

INVESTIGACIN

Profesora del Instituto de Investigaciones Filosficas-UNAM, atocha@minerva.filosoficas.unam.mx

RECEPCIN: 20/01/03

115

ACEPTACIN: 13/10/03

ATOCHA ALISEDA

Es evidente que nunca se podr explicar plenamente una accin creadora. (POPPER, 1974: 169)

I. INTRODUCCIN

s un hecho poco afortunado, aunque interesante, que la Logik der Forschung de Karl Popper, publicada originalmente en alemn en 1934, se haya traducido al ingls y publicado 25 aos ms tarde como The Logic of Scientific Discovery. Una traduccin ms precisa habra sido: The Logic of Scientific Research, como se hizo en las versiones en otras lenguas como el espaol (La lgica de la investigacin cientfica). Una razn por la que fue poco afortunado radica en el hecho de que varios especialistas reconocidos (Herbert Simon y Larry Laudan entre otros) han acusado a Popper de haber negado la materia misma de lo que el ttulo de su libro sugiere, algo as como una empresa lgica que incursiona en la epistemologa del descubrimiento de teoras cientficas. Estos reclamos estn firmemente fundados en la postura establecida de que, para Popper, la metodologa cientfica se ocupa principalmente de la contrastacin de teoras, y este planteamiento deja claramente fuera de su campo de accin problemas que tienen que ver con el descubrimiento. As, para aquellos filsofos de la ciencia interesados en los procesos de descubrimiento, como en otros mtodos de indagacin cientfica ms all del terreno de la justificacin, parece natural dejar a Popper fuera y tomar el reclamo antes planteado acerca del ttulo, simplemente como una confusin originada a partir de la traduccin al ingls. Sin embargo, al examinar ms de cerca la filosofa popperiana, se suscita otra confusin cuando encontramos (en una publicacin aparecida poco despus), que su posicin va ms all de los temas de la justificacin y se ocupa del avance y el descubrimiento en la ciencia, tal como lo demuestra la siguiente cita:
[...] debemos ver la ciencia como progresando de problemas a problemas de creciente profundidad. Pues una teora cientfica una teora explicativa es, en todo caso, un intento por resolver un problema cientfico, es decir, un problema concerniente al descubrimiento de una explicacin. (Popper, 1972: 272)

116

Sobre la lgica del descubrimiento...

Este punto de vista concuerda con el famoso eslogan de Herbert Simon el razonamiento cientfico es resolucin de problemas, formulado en el campo de la investigacin en psicologa cognitiva e inteligencia artificial; afirmacin tambin propuesta por Laudan en el terreno de la filosofa de la ciencia. Adems, parece que Popper estaba satisfecho con el ttulo en ingls de su libro, pues siendo, como era, un obsesivo lector de pruebas de su propio trabajo, no hizo ninguna observacin al respecto.1 Asimismo, tambin llama la atencin que en la bibliografa computacional acerca del descubrimiento cientfico, algunas de las ideas fundamentales de Popper realmente se pongan en prctica en la simulacin de procesos de descubrimiento y contrastacin en la ciencia. Por ejemplo, el requisito que permite caracterizar una teora como cientfica cuando se somete a refutacin se traduce en el criterio de adecuacin [o FITness],2 e interviene en el proceso de generacin de teoras, pues una teora propuesta slo sobrevive si puede ser refutada en un nmero finito de casos.3 Por consiguiente, la aparente inexactitud en la traduccin de The Logic of Scientific Discovery es tambin un hecho interesante que pide ser puesto en duda an ms. El objetivo de este artculo es dilucidar algunos aspectos de la lgica de la investigacin de Popper y situarla en la discusin filosfica del descubrimiento cientfico. Un anlisis ms cercano de su propuesta revela que su obra, a la luz de textos ms recientes, apunta en la direccin de algunos mecanismos fundamentales que caen en el rubro del estudio del descubrimiento. El argumento en favor de esta tesis tiene dos partes: por un lado, cuando se hace un anlisis ms fino de los contextos de investigacin, parece que la lgica de Popper puede ser considerada como parte del contexto de descubrimiento, y, por el otro, su explicacin respecto al crecimiento del conocimiento mediante el mtodo de con-

Popper aprovech todas las oportunidades para esclarecer las tesis y trminos que present en su Logik der Forschung, como lo demuestran una gran cantidad de notas a pie de pgina y nuevos apndices agregados a The Logic of Scientific Discovery, y las mltiples observaciones encontradas en publicaciones posteriores. Popper afirma (haciendo referencia a su Postscript: after twenty years): En este Postscript analizaba y desarrollaba los principales problemas y soluciones discutidos en la Logik der Forschung. Por ejemplo, subrayaba que yo haba rechazado todos los intentos de justificacin de teoras, y que haba reemplazado justificacin por crtica (Popper 1994: 199200).

2 3

Por sus siglas en ingls, las teoras FIT son aquellas Finita e Irrevocablemente Verificables. Cfr., Simon, 1973b.

117

ATOCHA ALISEDA

jeturas y refutaciones coincide con la corriente dominante de los llamados Amigos del descubrimiento, al menos en lo que respecta a la obra de Herbert Simon.

II. CONTEXTOS DE INVESTIGACIN: CULES SON?

La bibliografa acerca del tema del descubrimiento cientfico es asombrosamente confusa por la ambigedad y la complejidad del trmino descubrimiento. El descubrimiento de una idea que conduzca a una nueva teora hecha en la ciencia, involucra un complicado proceso que parte de la concepcin inicial de una idea, para llegar a su justificacin y planteamiento final como una nueva teora. Estos dos aspectos no son ms que los dos extremos de una serie de procesos intermedios los cuales no tienen por qu ser secuenciales, que incluyen la consideracin de una nueva idea, su evaluacin inicial, que puede conducir a ideas ms finas que necesiten ser evaluadas o tal vez incluso reemplazadas por otras ideas, que exijan modificar la idea original. Por lo tanto, cuando menos hay que reconocer que el descubrimiento cientfico es un proceso sujeto a divisin. Este hecho nos enfrenta naturalmente al problema de cmo suministrar una divisin apropiada. La distincin entre el contexto de descubrimiento y el contexto de justificacin (originalmente propuesta por Hans Reichenbach en la dcada de 1930), proporciona una divisin tentativa.4 Dicha divisin suele presuponer que el segundo (contexto de justificacin) tiene que ver de manera exclusiva con el llamado informe de investigacin concluido de una teora, as ciertamente deja amplio espacio al primero, al contexto de descubrimiento. Con el fin de poner un poco de orden y dar claridad al estudio del proceso de descubrimiento cientfico en general, varios autores identifican un paso intermedio entre ambos extremos, la concepcin y la justificacin de una nueva idea. Mientras que Claude Savary propone la fase de trabajo con ideas, 5 Laudan introduce el contexto del quehacer como un

Cabe sealar que esta distincin tiene antecedentes aunque no de manera explcita en los trabajos de Rudolf Carnap y de Moritz Schlick. En el siglo XIX se remonta a las obras de Edmund Husserl, Gottlob Frege, Morris Cohen y John Herschel. Incluso podra remontarse a Immanuel Kant, Euclides y Aristteles.

Cfr., Savary, 1995.

118

Sobre la lgica del descubrimiento...

submundo entre los dos contextos.6 Otra dimensin, en el estudio del contexto de descubrimiento, consiste en distinguir entre un punto de vista restringido y otro amplio. El primero considera que los problemas de descubrimiento son aquellos que tienen que ver exclusivamente con la concepcin inicial de una idea; mientras que el segundo es aqul que aborda el proceso global partiendo de la concepcin de una nueva idea hasta llegar a su planteamiento como una idea sujeta a justificacin ltima (distincin introducida por Laudan).7 Sin embargo, extender las fronteras del contexto de justificacin para que tambin trate lo relacionado con la evaluacin, en especial cuando la verdad de una teora no es lo nico que nos interesa, es cuestin de eleccin. Una consecuencia de este movimiento es la propuesta de rebautizar el contexto de justificacin como contexto de evaluacin8 o como contexto de apreciacin.9 Segn este ltimo punto de vista, el contexto de descubrimiento recibe, a su vez, el nuevo nombre de contexto de invencin, con el fin de evitar la aparente contradiccin que surge cuando hablamos del descubrimiento de hiptesis, ya que descubrimiento es una palabra que denota xito y presupone que lo que se descubre tiene que ser cierto. Por consiguiente, la distincin original entre el contexto de descubrimiento y el de justificacin no slo se puede seguir subdividiendo, sino que tambin es claro que sus fronteras no estn ntidamente definidas. Otro asunto que tiene que ver con todos estos contextos de investigacin es el que atae a indagar si el contexto de descubrimiento, o cualquier otro contexto que se quiera, es susceptible de reflexin filosfica y permite un anlisis lgico.

III. EXISTE UNA LGICA DEL DESCUBRIMIENTO? III.1 Historia

Puede ofrecerse un anlisis crtico respecto a la pregunta concerniente por la bsqueda de una lgica del descubrimiento partiendo de un punto de vista histrico, como ya lo ha hecho Laudan en su artculo Why was the logic of discovery
6 7 8 9

Laudan, 1980: 174. Cfr., Laudan, 1980. Kuipers, 2000: 132. Cfr., Musgrave, 1989: 20.

119

ATOCHA ALISEDA

abandoned?10 En ese trabajo, el autor se ocupa del descubrimiento en su sentido restringido, posicin que considera que los problemas de descubrimiento son aquellos que tienen que ver exclusivamente con la concepcin inicial de una idea. Identifica tres periodos en la evolucin de la empresa global, que abarcan desde la Antigedad hasta el siglo XIX. El primero y el segundo periodos (desde la Antigedad hasta 1750 y desde 1750 hasta 1820, respectivamente) se caracterizaron por la bsqueda de una lgica que sirviera tanto a los propsitos del descubrimiento como a la justificacin de teoras, y ambos sustentaban una postura infalibilista en cuanto al problema de la fundamentacin slida del conocimiento. La principal diferencia entre esos periodos se encuentra en el objeto de estudio de la ciencia, algo que a su vez determina el tipo de lgica que se ha de elaborar. En el primer periodo, los investigadores se centraron principalmente en la caracterizacin de leyes empricas, tales como todos los gases se expanden cuando se calientan, en el descubrimiento de enunciados universales concernientes slo a entidades observables. La lgica correspondiente era inductiva. No fue sino hasta el decenio de 1750 cuando varios cientficos y filsofos se interesaron en modelar, tambin, el descubrimiento de teoras explicativas, las que ataen a entidades tericas. Con este propsito se requera un mecanismo lgico mucho ms complejo que el de la induccin enumerativa. La idea de aproximacin a la verdad estaba detrs de la concepcin de estas lgicas, y en consecuencia, fueron tildadas de lgicas autocorrectivas.11 De modo que, hasta ese momento, se buscaba una lgica del descubrimiento y la justificacin que preservara la verdad para garantizar el conocimiento infalible. La transicin del segundo al tercer periodo (18201830) se dio mediante un cambio importante de punto de vista en cuanto a la legitimacin del conocimiento; a saber, mediante un cambio del infalibilismo al falibilismo. Por consiguiente, ms o menos a mediados del siglo XIX, se abandon la empresa de una lgica del descubrimiento y se reemplaz con la bsqueda exclusiva de una lgica de la justificacin, una lgica de la evaluacin post hoc. sta es una reconstruccin aproximada y, hay que decirlo, no completamente justa del anlisis histrico de Laudan, pues adems, entre otras cosas, l afirma
10 11

Cfr., Laudan, 1980. Estas lgicas suelen comprender una teora de base (consistente en leyes), condiciones iniciales y una observacin relevante. La meta de este aparato lgico era producir una teora mejor y ms verdadera que la anterior (de base).

120

Sobre la lgica del descubrimiento...

convincentemente que los intentos recientes por revivir la bsqueda de una lgica del descubrimiento no tienen bases claras, ya que el movimiento hacia una lgica de la justificacin hizo que la bsqueda de una lgica del descubrimiento se volviera epistemolgicamente irrelevante. Aunque me parece que este argumento induce a reflexionar, mi posicin es que la pertinencia de una lgica del descubrimiento hoy da no debe basarse en cuestiones epistemolgicas de fundamento del conocimiento, sino ms bien en aspectos heursticos, caracterizados por estrategias de bsqueda falibles que modelen justamente el descubrimiento cientfico. La postura de Laudan presupone una visin estrecha de la epistemologa, segn la cual sta tiene que ver exclusivamente con cuestiones de fundamento y de bsqueda de la verdad. En una visin ms amplia, la epistemologa concierne adems a cuestiones de adquisicin de conocimiento, dando as lugar al anlisis heurstico del mismo. Sin embargo, para efectos de este ensayo, lo que me interesa es complementar el anlisis crtico histrico de Laudan con el mo, que se basa en la divisin de la pregunta acerca de una lgica del descubrimiento en otras tres, cada una de las cuales toma en cuenta uno de los siguientes aspectos: su propsito, su quehacer y su logro.

III.2 Las preguntas subyacentes

El propsito de una lgica del descubrimiento incumbe a la meta ltima que las investigaciones dedicadas a esta empresa desean lograr a fin de cuentas, y la respuesta afirmativa (negativa) a la pregunta de que si tal lgica existe se basa en buena medida en ideales filosficos. El quehacer de una lgica del descubrimiento se ocupa de las actividades a las que se dedican los investigadores del rea para alcanzar sus metas, y la respuesta a tal pregunta se da en la forma de propuestas concretas de lgicas del descubrimiento. Por ltimo, el logro de una lgica del descubrimiento proporciona una evaluacin entre aspectos previos de si lo que realmente se logra est a la altura de su propsito. Esta divisin en tres preguntas permite evaluar las propuestas existentes acerca de la lgica del descubrimiento en cuanto a su coherencia y, tambin, ofrece una distincin ms fina para comparar propuestas rivales, pues pueden coincidir en una pregunta y disentir en la otra. En el primer periodo antes identificado (de la Antigedad a mediados del siglo XIX), el propsito de una lgica del descubrimiento se gui por un fuerte ideal filosfico: encontrar un sistema universal que captara la manera en que razonan los seres humanos en la ciencia, incluido todo el espectro, desde la concepcin

121

ATOCHA ALISEDA

inicial de nuevas ideas hasta su justificacin ltima. Siguiendo el espritu de Caracteristica Universalis, de Leibniz, este ideal fue el motor detrs del fin ltimo de encontrar una lgica del descubrimiento. En cuanto a la pregunta respecto del quehacer, el mtodo desarrollado fue la induccin, que da lugar a propuestas como la induccin eliminativa, de Francis Bacon, que es de hecho un mtodo para la seleccin de hiptesis. Por lo tanto, en lo que concierne a la pregunta acerca del logro de una lgica del descubrimiento en este periodo, los productos resultantes de su propsito capturaron slo en una escala muy pequea lo que se pretenda, y por lo tanto es justo decir que el proyecto no fue coherente en cuanto a lo que se buscaba y lo que se encontr a fin de cuentas. Se puede ofrecer un anlisis similar del segundo periodo. En el tercer periodo, la pregunta original acerca del propsito se desvaneci por el avance del falibilismo, pues entonces qued claro que un clculo universal al que todas las ideas pudiesen ser traducidas y mediante el cual los argumentos intelectuales se plantearan de manera concluyente era una meta imposible de alcanzar. La pregunta que se buscaba tena que ver, ms bien, con una lgica de la justificacin. En consecuencia, la pregunta por el quehacer se centr en el desarrollo de explicaciones acerca de estos asuntos, brindando as, una armona entre la meta y los hallazgos, y la pregunta respecto al logro juzga este periodo como coherente. Sin embargo, no se descart por completo el objetivo de encontrar una lgica que examinara la concepcin de ideas nuevas, como se observ posteriormente en la obra de Charles S. Peirce y otros, pero esta lnea de investigacin ha seguido siendo incoherente en cuanto a la pregunta acerca del logro. Por absurda que parezca esta posicin, sigue siendo el ideal al que se aferran los Amigos del descubrimiento, pero un anlisis ms cercano del planteamiento ayudar a interpretar su postura. Nos limitaremos a examinar la posicin de Herbert Simon.12

III.3 Simon y el descubrimiento

En principio, la obra pionera de Herbert Simon y su equipo comparten el ideal mediante el cual se fund, en principio, toda la empresa de la inteligencia artificial, a saber, la construccin de computadoras inteligentes que se comportaran como seres racionales, lo que se parece al ideal filosfico que gui la bsqueda
12

Aunque hay varias particularidades acerca de la propuesta de Simon con respecto a todas las dems, en general sus tesis reflejan el espritu del proyecto acerca de la bsqueda de una lgica del descubrimiento para la empresa general de los Amigos del descubrimiento. Nuestras tesis se basan en Simon (1973a).

122

Sobre la lgica del descubrimiento...

de una lgica del descubrimiento en el primer periodo antes identificado (hasta el siglo XIX). Sin embargo, es importante esclarecer en qu condiciones fue heredado este ideal en cuanto a la pregunta por el propsito de una lgica del descubrimiento, por un lado, y fue puesto en accin con respecto a la pregunta por el quehacer de dicha lgica, por el otro. En su ensayo Does scientific discovery have a logic?, Simon se plantea el reto de refutar el argumento general de Popper, reconstruido para sus propsitos de la siguiente manera: Si no existe, en absoluto, un mtodo lgico de tener nuevas ideas, entonces tampoco existe, en absoluto, un mtodo lgico de tener pequeas nuevas ideas13 y su estrategia consiste, precisamente, en mostrar que un antecedente afirmativo no compromete a una aceptacin del consecuente, como Popper parece sugerirlo. As, Simon convierte el ambicioso objetivo de buscar una lgica del descubrimiento que revele el proceso de descubrimiento en general, en una meta poco pretenciosa: Su modestia [de los ejemplos que aborda] como casos de descubrimiento ser compensada por su transparencia al revelar el proceso subyacente.14 Este humilde, pero brillante movimiento, permite a Simon establecer otras distinciones acerca del tipo de problemas que se han de analizar y los mtodos que se usarn. Para Simon y sus seguidores, el descubrimiento cientfico es una actividad de resolucin de problemas. Con este fin se proporciona una caracterizacin de los problemas que los divide en aquellos que estn bien estructurados y los que estn mal estructurados,15 y la pretensin de encontrar una lgica del descubrimiento se concentra en los problemas bien estructurados. Aunque no hay un mtodo preciso mediante el cual se logre el descubrimiento cientfico, como una forma de resolucin de problemas, puede buscarse por medio de varias estrategias. El concepto clave en todo esto es el de heurstica, la gua en el descubrimiento cientfico que no es ni racional por completo ni absolutamente ciega. Los mtodos heursticos del descubrimiento se caracterizan por el uso de una bsqueda selectiva con resultados falibles. Es decir, aunque no ofrecen ga13 14 15

Simon, 1973a: 327, nfasis mo. Simon, 1973a: 327. Un problema bien estructurado es aquel para el cual existe un criterio definido de contrastacin y para el cual existe al menos un espacio de problemas donde el estado inicial y el estado meta pueden ser representados, y todos los dems estados intermedios se pueden alcanzar con las transiciones apropiadas entre ellos. Un problema mal estructurado carece cuando menos de una de las condiciones anteriores.

123

ATOCHA ALISEDA

ranta completa de que se llegar a una solucin, la bsqueda en el espacio de problemas no es ciega, sino selectiva conforme a una estrategia predefinida.16 Aun cuando este enfoque provenga de disciplinas aparentemente distantes de la filosofa de la ciencia, a saber, de la psicologa cognitiva y la inteligencia artificial, se trata de propuestas que sugieren la inclusin de herramientas computacionales en la metodologa de investigacin de la filosofa de la ciencia y con ello pretenden reincorporar aspectos del contexto de descubrimiento en su agenda. Con todo, este enfoque no da una explicacin del momento Eureka, ni siquiera en el caso de ideas pequeas.

IV. LA POSICIN DE POPPER IV.1 El descubrimiento

La idea comn acerca de la posicin de Popper afirma que los problemas de descubrimiento no pueden ser estudiados dentro de las fronteras de la metodologa, pues l niega explcitamente la existencia de una explicacin lgica de los procesos de descubrimiento, y considera que su estudio es un asunto que compete a la psicologa. Esta posicin est respaldada por el siguiente pasaje multicitado:
En consecuencia, distinguir netamente entre el proceso de concebir una idea nueva y los mtodos y resultados de su examen lgico. En cuanto a la tarea de la

16

Los autores distinguen entre mtodos de descubrimiento dbiles y fuertes. Los primeros abarcan el tipo de resolucin de problemas usado en los campos novedosos; se caracterizan por su generalidad, pues no exigen conocimiento profundo de su campo particular. En contraste, los mtodos fuertes se usan para casos en que nuestro conocimiento del campo es extenso, y estn diseados especialmente para una estructura especfica. Los mtodos dbiles incluyen mtodos heursticos de generacin y contrastacin, y anlisis de medios y fines, para construir explicaciones y soluciones para problemas dados. Estos mtodos han resultado tiles en inteligencia artificial y simulacin cognitiva, y son usados por varios programas. Un ejemplo al respecto es el sistema BACON que modela explicaciones y leyes cientficas descriptivas, como la ley de Kepler, la Ley de Ohm y otras. No obstante, es materia de debate si BACON realmente hace descubrimientos, ya que produce teoras nuevas para el programa pero no para el mundo, y al parecer sus descubrimientos son resultado ms de un proceso muy facilitado que de la creacin.

124

Sobre la lgica del descubrimiento...

lgica del conocimiento que he contrapuesto a la psicologa del mismo, me basar en el supuesto de que consiste pura y exclusivamente en la investigacin de los mtodos empleados en las contrastaciones sistemticas a que debe someterse toda idea nueva antes de que se la pueda sostener seriamente. Algunos objetarn, tal vez, que sera ms pertinente considerar como ocupacin propia de la epistemologa la fabricacin de lo que se ha llamado una reconstruccin racional de los pasos que han llevado al cientfico al descubrimiento, a encontrar una nueva verdad [] Pero esta reconstruccin no habr de describir tales procesos segn acontecen realmente: slo puede dar un esqueleto lgico del procedimiento de contrastar. Y tal vez esto es todo lo que quieren decir los que hablan de una reconstruccin racional de los medios por los que adquirimos conocimientos. Ocurre que los razonamientos expuestos en este libro son enteramente independientes de este problema. Sin embargo, mi opinin del asunto valga lo que valiere es que no existe, en absoluto, un mtodo lgico de tener nuevas ideas, ni una reconstruccin lgica de este proceso. (Popper, 1962: 31)

Antes que nada, no debera causar ninguna sorpresa que la posicin de Popper mantenga un lugar en la discusin de los problemas de descubrimiento, pues los objetos de su anlisis son de manera precisa las ideas genuinamente nuevas. Adems, deberamos subrayar que Popper establece una clara divisin entre dos procesos: la concepcin de una idea nueva y las contrastaciones sistemticas a las cuales una idea nueva debera someterse; a la luz de esta divisin, plantea la afirmacin de que, no el primero, pero s el segundo es susceptible de examen lgico.

IV.2 El crecimiento del conocimiento cientfico

Para Popper, el crecimiento del conocimiento cientfico fue el ms importante de los problemas epistemolgicos tradicionales.17 Su posicin falibilista le dio la clave para reformular el problema tradicional de la epistemologa, que se centra en la reflexin acerca de las fuentes de nuestro conocimiento. Formulada de esta manera, esta pregunta es de origen y pide una respuesta autoritaria,18 independientemente de que su respuesta se site en nuestras observaciones o en algunas
17 18

Cfr., Popper, 1962. Cfr., Popper, 1972.

125

ATOCHA ALISEDA

aseveraciones fundamentales que yacen en el ncleo de nuestro conocimiento. La respuesta de Popper a esta pregunta es que no sabemos ni esperamos saber acerca de las fuentes de nuestro conocimiento, pues nuestras aseveraciones slo son conjeturas.19 Ms bien, la pregunta y su respuesta seran las siguientes: Cmo podemos detectar y eliminar el error?, es, segn creo [...]: Criticando las teoras y presunciones de otros.20 sta es la senda para hacer que el conocimiento progrese: El avance del conocimiento consiste, principalmente, en la modificacin del conocimiento anterior.21 Este inters por el crecimiento del conocimiento est ntimamente relacionado con su postura antes mencionada de la ciencia, como una actividad de resolucin de problemas, y al respecto escribe: As, la ciencia parte de problemas, y no de observaciones, aunque stas pueden dar origen a un problema, especialmente si son inesperadas.22 Por otra parte, en lugar de preguntar Cmo saltamos de un enunciado observacional a una teora?, la pregunta apropiada sera la siguiente:
Cmo saltamos de un enunciado observacional a una teora buena? [] saltando primero a cualquier teora y luego testndola, para ver si es o no buena; es decir, aplicando repetidamente el mtodo crtico, eliminando muchas malas teoras e inventando muchas nuevas. (Popper, 1972: 83)

As, la intencin tanto en el ttulo como en el contenido de The Logic of Scientific Discovery de Popper era examinar la epistemologa de la evaluacin y la seleccin de ideas recientemente descubiertas en la ciencia, mas en particular, de la eleccin de teoras cientficas. Con este fin, Popper propuso un mtodo racional para la indagacin cientfica, el mtodo de conjeturas y refutaciones, que refin en publicaciones posteriores.23 Lo que motivaba este mtodo era el deseo de suministrar un criterio de demarcacin entre ciencia y pseudociencia. Adems de su propsito, el mtodo lgico de conjeturas y refu19 20 21 22 23

Cfr., Popper, 1972. Popper, 1972: 50. Popper, 1972: 272. Popper, 1972: 272. Este mtodo se propone como alternativa a la induccin; de hecho pretende volver a la induccin absolutamente irrelevante y de esta manera intenta disolver el problema de la induccin. Cfr., Popper, 1972.

126

Sobre la lgica del descubrimiento...

taciones es una norma para el progreso de la ciencia, para producir nuevas y mejores teoras de una manera confiable. Segn Popper, el crecimiento del conocimiento cientfico e incluso del conocimiento pre-cientfico, se basa en la posibilidad de aprender de nuestros errores, lo que, para l, se logra mediante el mtodo de ensayo y error. No ofreci un procedimiento preciso para llevar a cabo el progreso cientfico, que condujera a mejores teoras, sino ms bien, un conjunto de criterios de evaluacin de teoras que inclua una medida de su progresividad potencial (su contrastabilidad) y la condicin de tener un mayor contenido emprico que la teora antecedente.

V. UNA NUEVA MIRADA A LA POSICIN POPPERIANA V.1 Sobre el contexto de investigacin de Popper
De acuerdo con nuestra discusin previa de los contextos de investigacin, dnde debemos situar la posicin de Popper? Tomando como base la divisin original entre contextos de descubrimiento y de justificacin, si consideramos que la postura popperiana acerca del descubrimiento es restringida, segn la cual los problemas de descubrimiento tienen que ver de manera exclusiva con la concepcin inicial de una idea, entonces su posicin de dejar el momento Eureka fuera del alcance del anlisis lgico concuerda plenamente con su lema: no existe, en absoluto, un mtodo lgico de tener nuevas ideas, y sita su enfoque general como perteneciente al contexto de justificacin, tal como ha sido interpretado desde el principio. En contraste, si consideramos que el punto de vista de Popper es amplio en cuanto al descubrimiento (una posicin sostenida por Savari24), entonces ya que concede al segundo proceso la posibilidad de examen lgico, esto es, a los mtodos empleados en las contrastaciones sistemticas a que debe someterse toda idea nueva antes de que se la pueda sostener seriamente, sean cuales sean dichos mtodos, son ciertamente previos a la justificacin ltima de una idea y, por ende, el segundo proceso cae dentro del contexto de descubrimiento de manera general. Por otra parte, un examen ms cercano a la filosofa de Popper revela que su mtodo de conjeturas y refutaciones no aspiraba a evaluar una teora como definitivamente verdadera, como pretendan los positivistas que era la meta ltima de la justificacin. Finalmente, tomar en cuenta las distin24

Cfr., Savari, 1995.

127

ATOCHA ALISEDA

ciones ms finas propuestas para los contextos de investigacin nos obliga a situar la posicin de Popper respecto al segundo proceso en el contexto del quehacer y, por ende, en el contexto de descubrimiento cuando se reconoce un punto de vista amplio, pero en el contexto de evaluacin o apreciacin cuando el contexto de justificacin se ampla. En todo caso, lo que parece claro es que si bien el primer proceso cae en el contexto de invencin, el segundo est claramente fuera de sus fronteras. Una primera conclusin es que mientras Popper estaba genuinamente interesado en el anlisis de las nuevas ideas en la ciencia, situ el primersimo proceso de concepcin de una idea fuera de las fronteras de la metodologa de la ciencia, y centr sus esfuerzos en dar la explicacin de un proceso subsiguiente, que se ocupaba de los mtodos para analizar de manera lgica nuevas ideas. Determinar en qu contexto situamos la posicin de Popper respecto a su lgica del conocimiento no es para nada un asunto sencillo, y decido no tomar ninguna posicin, pues esto depende claramente de donde situamos las fronteras y la incumbencia de los contextos de investigacin, algo que mantiene nuestra discusin en un debate terminolgico que da razones tanto para quejarse del ttulo en ingls de su libro The Logic of Scientific Discovery, como para alabarlo.

V.2 Sobre la lgica de la investigacin de Popper

La lgica del descubrimiento cientfico de Popper abraza una postura falibilista y no aspira a descubrir la epistemologa de la creatividad; se centra, ms bien, en la evaluacin y la seleccin de nuevas ideas en la ciencia. As, su posicin es claramente afn al periodo correspondiente a la bsqueda de una lgica de la justificacin, en cuanto a la pregunta por el propsito. En cuanto a la pregunta acerca del quehacer, su explicacin ofrece criterios para la justificacin de teoras con su postura del racionalismo crtico, mediante la cual ninguna teora se plantea finalmente como verdadera, y tambin se ocupa del avance de la ciencia, caracterizando situaciones problemticas,25 as como un mtodo para su solucin: el mtodo de conjeturas y refutaciones. Por consiguiente, en cuanto a la pregunta por el logro, parece que Popper en realidad encontr ms de lo que estaba buscando, pues su explicacin ofrece, no
25

La nocin de situacin de problema no se explica en esta versin abreviada; sin embargo, en buena parte Savary (1995), basa su anlisis en ella.

128

Sobre la lgica del descubrimiento...

la justificacin de teoras como verdaderas, sino ms bien una metodologa para tener teoras mejores y ms fuertes, algo que entra en el territorio del descubrimiento, al menos en cuanto a la cuestin del crecimiento del conocimiento. Para concluir, creo que el enfoque de Popper se acerca al de Simon, al menos en lo que concierne a las siguientes ideas bsicas: ambos sostienen una postura falibilista en relacin con la fundamentacin slida del conocimiento y consideran que la ciencia es una actividad dinmica de resolucin de problemas donde el crecimiento del conocimiento es el principal aspecto que se ha de caracterizar, en tanto opuesto a la postura de la ciencia como una empresa esttica en busca de la aceptacin de teoras como verdaderas. Una razn que permite la convergencia de estos dos enfoques, tal vez ya obvia en este momento, es que ni los Amigos del descubrimiento explican en realidad el descubrimiento en general ni Popper soslaya enteramente su estudio. No obstante, una diferencia fundamental entre estos enfoques se encuentra en el mtodo mismo para el avance de la ciencia, en lo que consideran que es la lgica del descubrimiento. Mientras que para Popper las ideas son generadas por el mtodo de bsqueda ciega, Simon y su equipo desarrollan una teora completa para sustentar la postura de que las ideas se generan mediante el mtodo de bsqueda selectiva, y esta ltima explicacin permite, entender mejor cmo se pueden generar las teoras y las ideas. Mi propia postura respecto del tema del descubrimiento es que as como tenemos que reconocer que el descubrimiento es un proceso sujeto a divisin, tambin debemos admitir que una parte ineludible del proceso de descubrimiento, y en consecuencia recordar el lema de Popper: Es evidente que nunca se podr explicar plenamente una accin creadora.26 Pero esta oracin implica naturalmente que la accin creadora puede ser parcialmente explicada (como sostiene Savary27). Se trata entonces de identificar una lnea apropiada que trace una divisin conveniente con el fin de llevar a cabo un anlisis de la generacin de nuevas ideas en la ciencia.

26 27

Popper, 1974: 169. Cfr., Savary, 1995.

129

ATOCHA ALISEDA

BIBLIOGRAFA28
Kuipers, Theo, (2000), From Instrumentalism to Constructive Realism: on Some Relations between Confirmation, Empirical Progress, and Truth Approximation, Dordrecht, Kluwer Academic Publishers, Col. Synthese Library, nm. 287. Laudan, Larry, (1980), Why was the logic of discovery abandoned?, en Ted Nickles (comp.), Scientific Discovery, Logic and Rationality, Dordrecht/Boston, Reidel, pp. 173183. Miller, David, (comp.), (1983), A Pocket Popper. Fontana Paperbacks 1983, Oxford, Oxford University Press. Musgrave, Alan, (1989), Deductive Heuristics, en Kostas Gavroglu et al. (comps.). Imre Lakatos and Theories of Scientific Change, Boston, Kluwer Academic Publishers, pp. 1532. Popper, Karl, (1959), The Logic of Scientific Discovery, Londres, Hutchinson. ________, (1960a), The Growth of Scientific Knowledge (1960), en David Miller (comp.), A Pocket Popper. Fontana Paperbacks 1983, Oxford, Oxford University Press, pp. 171-180. ________, (1960b), Knowledge without authority (1960), en David Miller (comp.), A Pocket Popper. Fontana Paperbacks 1983, Oxford, University Press Oxford, 46-57. ________, (1962), La lgica de la investigacin cientfica, Madrid, Tecnos. ________, (1972), Conjeturas y refutaciones, Barcelona, Paids. ________, (1974), Conocimiento objetivo. Un enfoque evolucionista, Madrid, Tecnos. ________, (1975), Objective Knowledge: An Evolutionary Approach, Oxford, Oxford University Press. ________, (1992), Unended Quest: An Intellectual Autobiography, Londres, Routledge. ________, (1994), Bsqueda sin trmino. Una autobiografa intelectual, Madrid, Tecnos. Savary, Claude, (1995), Discovery and its logic: Popper and the friends of discovery, en Philosophy of the Social Sciences, vol. XXV, nm. 3, pp. 318344. Simon, Herbert, (1973a), Does scientific discovery have a logic?, en Herbert Simon, Models of Discovery, Reidel, Pallas Paperbacks. ________, (1973b), Ramsey eliminability and the testability of scientific theories, en British Journal for the Philosophy of Science, nm. 24, pp. 357408.
28

Las referencias a la obra de Popper se basan principalmente en (Popper 1962) y (Popper 1972). Con todo, en cuanto a la segunda, tomo las citas directamente de (Miller 1983), una seleccin de ensayos de Popper que refleja mejor las fechas originales en el que distintas partes de (Popper 1972) fueron publicadas originalmente.

130