Revisado por LPH: 19.12.2008 Qu es la Epistemologa?

Puede afirmarse que la Epistemologa como disciplina filosfica cultivada con un significativo nivel de autonoma data de la tercera dcada del siglo XX. Despus de los aos veinte, la filosofa de la ciencia de corte tradicional sufre una modificacin sustantiva con la adopcin de la Lgica Matemtica como un nuevo instrumento de anlisis del lenguaje cientfico. De esta manera la discusin filosfica, que siempre se formul en el lenguaje natural, cambi de medio expresivo y se transform en un discurso que usaba intensamente lenguajes formalizados. As puede diferenciarse, de modo observacional, los textos del Tractatus Logico Philosophicus de Wittgenstein, de la Lgica de la Investigacin Cientfica de Popper o de la Introduccin a la Filosofa Matemtica de Russell de libros tradicionales y famosos como la Crtica de la Razn Pura de Kant, que estn escritos sin recurrir a lenguaje formalizado alguno. El introductor de esta nueva tendencia formalista y rigorista en la filosofa de la ciencia fue Gottlob Frege, con sus escritos esclarecedores sobre los fundamentos de la Matemtica y, en particular, sobre el concepto de nmero natural. Y entre los ms entusiastas difusores y defensores de este nuevo estilo de pensar y hacer filosofa se encontraron los miembros del llamado Crculo de Viena o escuela neopositivista, que liderados por Moritz Schlick, en sus inicios, asumieron el proyecto logicista diseado por Frege, el mismo que trat de ser desarrollado independientemente por Russell y Whitehead en su famosa obra titulada Principia Mathematica.

La filosofa cultivada por los neopositivistas y por sus adversarios, como Karl Popper, fue reconocida progresivamente como epistemolgica a travs de sus versiones en Ingls, pues la palabra Epistemologa parece haber sido usada muy poco en alemn, idioma en el que el trmino dominante sigue siendo Erkenntnistheorie o, en su defecto, Wissenschaftstheorie, que corresponden a lo que en espaol conocemos como teora del conocimiento y teora de la ciencia, respectivamente. Ciertamente, la segunda denominacin est mucho ms cerca del tipo de filosofa que fueron perfilando los neopositivistas, pues ellos no estuvieron centralmente interesados en el estudio de la facultad de conocer, como si lo estuvo Kant, sino en el anlisis del producto ms

elaborado de tal supuesta facultad, esto es, del conocimiento cientfico, el mismo que se plasma, objetivamente, en conjuntos de proposiciones o enunciados. Cuando stos estn adecuadamente sistematizados, bajo un orden lgico, constituyen una teora que presenta la estructura de un sistema hipottico-deductivo, que es el nombre con el que actualmente se conoce a la formulacin axiomtica del conocimiento, tarea que fue cumplida histricamente, por vez primera, en el campo especfico de la geometra, por Euclides (siglo III A. C.) en su obra genial conocida como Elementos.

De esta manera, la Epistemologa como disciplina filosfica rigurosa ha surgido proponiendo el modelo hipottico deductivo como instrumento conceptual adecuado para dar cuenta de la naturaleza del conocimiento cientfico y para establecer un criterio de cientificidad, denominado por Popper, de demarcacin, que permita decidir cundo un conjunto de afirmaciones tiene un nivel adecuado de organizacin cientfica y cundo no. Los trminos de la discusin as planteada obligan a recurrir a lenguajes lgicos, a modalidades de axiomatizacin, a ejemplos que generalmente los proporciona la Matemtica y la Fsica, y a la discusin de las llamadas propiedades metatericas de consistencia, complecin, decidibilidad, deducibilidad, satisfabilidad, etc. Asimismo, el acceso a este nuevo contexto demanda de una formacin especializada y de un entrenamiento para adquirir capacidad operativa que facilite el manejo de sistemas simblicos de inferencia y clculo. Sin embargo, el establecimiento de un nuevo estilo de pensar slo es posible si desplaza al vigente o dominante. En este caso, parafraseando a Thomas Kuhn, diremos que el paradigma hipottico-deductivo desplaz al paradigma comprensivo, que gozaba de respetabilidad en los aos 20 y que haba consagrado la divisin entre ciencias del espritu y ciencias de la naturaleza, clasificacin que fue cuestionada por los neopositivistas que aspiraban a una ciencia unificada, nomolgica, explicativa y predictiva. El paradigma comprensivo haba sido instaurado por Dilthey para la investigacin histrica y para el mbito de las ciencias humanas, cobrando particular relevancia en el campo de la psicologa. Dilthey sostena que las ciencias naturales se caracterizaban por explicar y predecir y las ciencias del espritu por comprender, lo cual fue inaceptable para los neopositivistas. Estos sostuvieron que un conocimiento que careciera de capacidad explicativa no era digno de llamarse cientfico. De otra parte, la escuela de Dilthey calific a las ciencias del espritu de ideogrficas para as eximirlas

de la obligatoriedad de expresar sus conocimientos en forma de leyes o enunciados que pretendan validez universal. Este segundo aspecto tambin fue objetado por los neopositivistas que resolvieron el problema, suscitado por las excepciones que conllevan las generalizaciones en el sector de las ciencias humanas, recurriendo a la estadstica y al clculo de las probabilidades, que se convirti en el medio expresivo ms utilizado por las ciencias factuales o empricas. La filosofa de Popper, una de las fuentes de lo que hoy conocemos como Epistemologa, siempre enfatiz sus discrepancias con las tesis neopositivistas, sin embargo comparti con ellas los temas de discusin, el uso de instrumentos lgicomatemticos, la concepcin lgica de la estructura de las leyes cientficas y el rechazo al modelo comprensivo y al mtodo basado en el verstehen (comprender). Posiblemente el tema de mayor discrepancia entre Popper y los dos ms destacados neopositivistas, Carnap y Reichenbach, fue el referente a la induccin. Segn Popper no existe prueba inductiva de la verdad de proposicin factual alguna, en trminos lgicos estrictos. Consecuentemente, todo lo que puede hacer el investigador, con rigor, es refutar sus hiptesis o, al menos, intentar hacerlo. De esta manera slo es posible probar lgicamente la falsedad de una hiptesis y ello es compatible con el progreso cientfico porque el investigador puede aprender de sus errores. Empero, para Carnap y Reichenbach si exista la posibilidad de construir la ciencia inductivamente aunque no necesariamente utilizando hiptesis verdaderas. Ellos propusieron como alternativa el uso de hiptesis a las que se les pueda asignar un valor de probabilidad, dentro de un sistema de clculo, que fue de tipo lgico para Carnap y de tipo estadstico frecuencial para Reichenbach.

Las variaciones, antes anotadas, no son ciertamente obstculos para sostener que el modelo hipottico-deductivo es un aporte tanto de los neopositivistas como de algunos de sus rivales, tal es el caso de Popper. Y afirmamos que es un genuino aporte debido a que ha viabilizado la reconstruccin lgica del conocimiento en trminos que nos aproximan a decidir con rigor su verdad o falsedad y ha facilitado, notablemente, la comunicacin al interior de la comunidad filosfica y de la comunidad cientfica y, tambin, entre ambas. Particularmente han sido los cientficos naturales, como Einstein, Monod o Heisenberg quienes han mostrado especial inters por la nueva filosofa epistemolgica e inclusive han participado directamente en su discusin. En el mbito

de las ciencias humanas han sido los conductistas, los funcionalistas y los representantes de la revalorada psicologa interconductual quienes han visto con mayor simpata el modelo hipottico-deductivo. Lo mismo se puede decir de quienes usan el modelo sistmico. En el campo de la Matemtica moderna la afinidad por el modelo hipotticodeductivo ha sido notable desde los tiempos de Peano y su axiomatizacin de la aritmtica. La obra Principia Mathematica de Whitehead y Russell as como las sucesivas axiomatizaciones de la teora de conjuntos de Zermelo, Fraenkel y von Neumann son ejemplos ya no de afinidad sino de trabajo instaurador de la versin contempornea del modelo hipottico-deductivo. Puede afirmarse, sin riesgo de error, que sta es la perspectiva que gobierna el mbito total de los trabajos actuales en Lgica matemtica, con independencia de la rama o tendencia que se cultive. El proyecto francs de sistematizacin y reconstruccin de la Matemtica, realizado por el grupo Bourbaki, es otro importante ejemplo que ilustra la orientacin antes descrita.

De otra parte, el modelo hipottico-deductivo ha influido notablemente en el quehacer metodolgico que se ha intensificado durante los ltimos veinticinco aos. Conocidos manuales de investigacin en ciencias sociales y de la conducta, como Investigacin del comportamiento de Fred Kerlinger, incorporan como esquema los pasos conducentes a la obtencin de una teora de forma hipottico-deductiva. Otros trabajos sobre los fundamentos del mtodo cientfico, como el libro La Investigacin Cientfica de Mario Bunge, orientados ms hacia los aspectos tericos que a los operativos, tambin responden a esta tendencia. Dentro de ellos se recoge resultados de la discusin iniciada por los neopositivistas sobre la naturaleza de los conceptos cientficos, los niveles del lenguaje cientfico y las propiedades que debe satisfacer una buena teora. En este sector la influencia de Popper se hace patente en el hecho de que, prcticamente, la expresin verificacin de hiptesis ha desaparecido del vocabulario metodolgico para dejar su lugar a la nocin de contrastacin de hiptesis, trmino con el cual se ha traducido a Popper al espaol. Asimismo, el llamado enfoque sistmico es inteligible como la aplicacin de las transformaciones que se realizan dentro de un sistema lgico a procesos reales, entendidos como totalidades espacio-temporales, las mismas que pueden ser organismos o mquinas. De este modo se produce la conversin de un sistema de frmulas, temporal y esttico (el sistema lgico), en uno material y dinmico.

Las repercusiones antes descritas han destacado las posibilidades integradoras y unificadoras del modelo hipottico-deductivo, lo cual explica el afianzamiento de la Epistemologa, como disciplina, a travs del inters creciente que muestran las comunidades cientficas en sus aportes, que son en gran medida esclarecimientos. En efecto, ms inmediato resulta sealar los esclarecimientos que el trabajo epistemolgico ha aportado a la ciencia que los nuevos hallazgos que ha propiciado. El ejemplo de las paradojas de la teora de conjuntos, resueltas por diferentes medios, como la teora de los tipos de Russell; o las limitaciones del uso del concepto de verdad, puestas en evidencia por Tarski, son suficientes para ilustrar un aporte esclarecedor que ha posibilitado poner fin a discusiones desorientadoras o reformularlas en trminos que hagan posible soluciones precisas. En el nivel prctico, el esclarecimiento de las insolubles implicancias del trmino verificacin ha posibilitado la propuesta de orientaciones metodolgicas ms productivas. Ello mismo ha conllevado el abandono de seguridades ingenuas y apriorsticas de cepa hegeliana y kantiana. El modelo hipottico-deductivo, ya sea en su versin inductivista representada en su ltima fase por la teora de la confirmacin de Hempel, o en su versin no inductivista representada por la tesis de la falsibilidad de las hiptesis de Popper, es compatible con la conmensurabilidad de las teoras y con la aceptacin de un progreso cientfico o de un perfeccionamiento del conocimiento humano. As una teora T es comparativamente preferible a una W si T es capaz de explicar todos los hechos que puede explicar W y adems ciertos hechos que no son compatibles con W. Esto es, los hechos falseadores de W, no son hechos falsadores de T, pero, al mismo tiempo, el conjunto de posibles falsadores de T es diferente del conjunto vaco. Anlogamente, una teora T es lgicamente ms general que una W si los axiomas de W son deducibles, como teoremas, desde los axiomas de T y no se cumple la situacin inversa. De esto se deduce que el cambio cientfico se da cuando una teora T es reemplazada por otra W que posee mayor poder explicativo y mayor generalidad en relacin con T. En caso de que T sea una teora muy importante, este cambio constituye una revolucin cientfica y puede no ser suficientemente entendida, inmediatamente, por la comunidad de investigadores. Las crticas al modelo hipottico-deductivo y a sus correlatos tericos se generaron paralelamente al desarrollo de ste. Poincar, por citar un caso notable, fue
5

duro crtico del proyecto logicista de Russell desarrollado en Principia Mathematica. Defendi, intuitivamente, la tesis de que el principio de induccin matemtica no era reducible a proposiciones analticas o puramente lgicas. Estuvo en lo correcto al formular esta conjetura pero no dispuso de medios adecuados para demostrarla. Han sido los desarrollos de la misma Lgica-matemtica, a travs de la teora de modelos, los que algunos aos despus permitieron probar la existencia de estructuras matemticas no-inductivas, lo que ha conducido a demostrar de manera concluyente el carcter no-analtico de dicho principio. Sin embargo, la crtica de Poincar, tal vez, hay que entenderla como una objecin a una pretensin especfica del modelo hipotticodeductivo y no al modelo mismo. Las objeciones radicales han venido de las canteras de Thomas Kuhn quien en su libro, La estructura de las revoluciones cientficas, ha sostenido la inconmensurabilidad de las teoras cientficas y sustituido el concepto de verdad de una teora por el de vigencia de un paradigma de ciencia normal, entidad conceptual que, segn Kuhn, posee un ncleo terico pero que, adems, tiene componentes irracionales como, por ejemplo, una institucionalidad con sus jerarquas y autoridades. De esta suerte el cambio cientfico estara ms ligado al agotamiento histrico de un paradigma que a cuestiones relacionadas con la capacidad explicativa o la generalidad de las teoras. El concepto de verdad no sera determinante para decidir el cambio porque est sujeto, como los otros conceptos cientficos, a los

condicionamientos del paradigma vigente. Consecuentemente, el cambio de paradigma tambin acarrea cambios en el concepto de verdad, el mismo que carecera de la objetividad que presuponen los cultores del modelo hipottico-deductivo.

Aparentemente, las consecuencias del punto de vista kuhniano coincidiran con la tesis de Tarski que circunscribe la definicin de verdad a un lenguaje L determinado y concluye que no es posible establecer ningn criterio general de verdad. Empero, la tesis de Tarski presupone que existe, objetivamente, la necesidad de usar consistentemente el concepto de verdad y que la contradiccin es una deficiencia que inhabilita una teora T. Ciertamente, la presencia de una contradiccin no se anula quitndole vigencia sino reestructurando el lenguaje de tal manera que sus reglas no la hagan posible. No es este el lugar para abordar con detalle las objeciones de Kuhn sino slo para anotar sus tesis como adversas a la solidez del modelo hipottico-deductivo, al cual el filsofo alemn Stegmller ha denominado statement point of view (punto de vista del enunciado), para oponerlo a posiciones historicistas, como las del mismo Kuhn, o genticas como

las de Piaget. En lo que se refiere a este ltimo, sus reservas no estn dirigidas, propiamente, al modelo hipottico-deductivo en cuanto tal sino a sus insuficiencias y a la necesidad de complementarlo con los aportes de la investigacin psicolgica experimental para dar cuenta satisfactoriamente del conocimiento cientfico en su integridad. Piaget considera al punto de vista del enunciado, hasta cierto punto, esclarecedor de la naturaleza lgica de la ciencia. Sin embargo, sostiene que una aproximacin ms completa se logra si no slo se analiza la lgica del resultado del proceso sino, tambin, la del proceso mismo que conduce a la produccin de dicho resultado. En otras palabras, no sera suficiente analizar las teoras, pues para comprenderlas en su integridad sera necesario examinar el proceso cognitivo que las produce, esto es, el modelo hipottico-deductivo debera ser complementado con un estudio psicogentico del conocimiento que ponga en evidencia las bases conductuales, mentales y ambientales que lo convierten en verdadero y que explican su organizacin lgica. Una crtica, ms radical, proviene de algunos representantes del pensamiento dialctico que consideran que el modelo hipottico-deductivo, se sustenta en una lgica que se cumple en determinado segmento histrico del proceso de produccin de conocimientos pero no en perodos de duracin considerable, en los cuales se producen irremediablemente contradicciones que no anulan la fecundidad del proceso sino, al contrario, garantizan saltos cualitativos que perfeccionan el conocimiento humano. Asimismo, las contradicciones no seran puramente formales sino ontolgicas por ocurrir en la realidad y reflejarse en el conocimiento. Consecuentemente, el modelo hipottico-deductivo expresara su unilateralidad al considerar a la contradiccin como sinnimo de absurdo y de imposibilidad de racionalidad. De lo anterior se deducira que la lgica que supla las deficiencias antes anotadas sera una que exprese el movimiento total de la realidad, vale decir, la llamada lgica dialctica. Asimismo, desde este ngulo, el modelo hipottico-deductivo slo podra tener alguna utilidad si se lo inscribe dentro del marco del pensamiento dialctico y se lo depura de todo aquello que se oponga a las leyes generales de la dialctica. La objecin anterior asume la hiptesis de que la Lgica-matemtica slo dispone del concepto que hoy se conoce como de consistencia simple, el mismo que coincide con la concepcin aristotlica de consistencia. Aunque no es lo usual, el modelo hipottico-deductivo puede utilizarse sin modificaciones substanciales tolerando

un cierto nivel de contradiccin posible, prximo a la contradiccin dialctica, para lo cual es suficiente recurrir al concepto de consistencia absoluta, que tiene mayor generalidad que el de consistencia simple y que puede utilizarse en sistemas lgicos sin operador de negacin explcito como los construidos usando el lenguaje de Nicod. Para ello es suficiente definir dentro de un lenguaje L, un sistema S, cuyo conjunto de frmulas es mayor que el conjunto de sus teoremas. Asimismo, se debe suprimir, dentro de este segundo conjunto, el clsico teorema que afirma que una contradiccin implica a cualquier frmula. Este expediente sera suficiente para resolver la objecin de origen dialctico dirigida contra la lgica que usa el modelo hipottico-deductivo. Sin embargo, existe una inexactitud adicional que consiste en dar el mismo estatuto a las contradicciones formales y a las ontolgicas. Desde una perspectiva lgica estricta las nicas contradicciones relevantes son las que se producen en el lenguaje, vale decir, las formales. Y ello debido a que con independencia de la concepcin de la realidad que poseamos, resulta de necesidad inexcusable describirla de manera consistente o nocontradictoria, pues si dentro de la teora T admitimos como igualmente verdaderas a una proposicin A y a otra no-A, entonces el interlocutor estara imposibilitado de decidir cul es el mensaje y no sabra a qu atenerse. Adems, mediante la aplicacin de reglas lgicas conocidas en la lgica estndar, la contradiccin producida por A y no-A genera otras tantas como deseemos, y as tendramos B1, y no-B1, B2, y no-B2, y as, sucesivamente, de tal manera que una teora contradictoria tiene como limitacin el imposibilitar la comunicacin cientfica fiable, pues igualmente puede afirmar la existencia de ciertos hechos como negarla. Por lo tanto, la pretensin fundamental del modelo hipottico-deductivo no es afirmar que la naturaleza o la realidad carecen de contradicciones sino que el discurso que las describe debe ser coherente o consistente para posibilitar una comunicacin cientfica fiable. Por lo tanto, en este nivel, las contradicciones relevantes son las formales y son las nicas identificables con la nocin de absurdo. Por aadidura, el recurso a un sistema S, absolutamente consistente, no se hace con el propsito de introducir la presencia de contradicciones explcitas, sino con el de contar con un sistema de reglas lgicas que asegure que en caso de presentarse inesperadamente una contradiccin de cierto tipo, la teora en cuestin no quedar automticamente inhabilitada, en tanto que una teora T, absolutamente consistente, se diferencia de una teora W, simplemente consistente, en que la primera no multiplica necesariamente las contradicciones como s lo hace la segunda.

Sin embargo, no es nuestra intencin defender el modelo hipottico-deductivo a ultranza sino solamente poner a prueba su temple frente a la crtica. Ello no es incompatible con reconocer dificultades reales como la suscitada por la historia, como disciplina cientfica, que difcilmente puede ajustarse a la forma axiomtica sin sufrir desnaturalizacin cognoscitiva. Esto podra devolvernos a la distincin entre ciencias de la naturaleza y ciencias del espritu, aunque no en los mismos trminos que en la poca de W. Dilthey. Ello debido a que hay sectores de la Psicologa, la Lingstica y la Economa, entre otros, que pueden ser aproximados, en sus formulaciones finales, al modelo hipottico deductivo, el mismo que es ms una manera de organizar el conocimiento que de producirlo. De otra parte, la decisin de eliminar a la historia del universo de la ciencia, por definicin, no parece adecuada por la dosis de arbitrariedad que entraa. La dificultad, tal vez, radica parcialmente en que la historia tomada con generalidad comporta el estudio de la evolucin de la totalidad de lo humano. Distinta es la situacin si definimos la tarea en trminos ms especficos como, por ejemplo, la historia del derecho, o la historia de la organizacin de la produccin, o la historia de la ciencia. Sin embargo, cuando se trata de la Historia del Per, de la de Amrica, o de la Historia Universal, la situacin es ms compleja porque necesitamos un conjunto muy grande de criterios de relevancia para seleccionar lo que estimamos ms significativo dentro de un mbito multvoco y de fronteras muy difusas. En dichos contextos la preocupacin por buscar leyes cede espacio a la preocupacin especfica por reconstruir hechos sociales, sus motivaciones e intencionalidades. Y si es verdad que la reconstruccin presupone la vigencia de leyes, stas no tienen que ser histricas sino pueden pertenecer a los diversos dominios de las ciencias particulares como la Fsica, la Qumica, la Biologa, la Lingstica, la Filologa, etc. En este nivel, la interpretacin como mtodo hermenutico podra rigorizarse como una decodificacin de signos lingsticos e icnicos regulada por leyes generales. Las dificultades continan cuando se pretende reconstruir una totalidad tan compleja como la Historia Universal o la Historia de Amrica. En este caso la tentacin a recurrir a entidades metafsicas como el Volksgeist de Hegel es fuerte y puede llegarse a los extremos del nazismo o de todos los etnocentrismos, cuyo denominador comn es el poseer un ncleo irracional basado en sentimientos y no en argumentos. La nocin de totalidad, que es muy manejable cuando se la aplica a un organismo o a un sistema de trasmisin y procesamiento de

informacin, se convierte en una nocin metafsica cuando se le aplica a grandes grupos sociales bajo el rtulo de sujeto colectivo al que se atribuye intencionalidades autnomas en relacin con los sujetos concretos. El principio que afirma que el todo es mayor que la suma de las partes y posee propiedades que stas no tienen por separado, puede sujetarse a control observacional en pequeas dimensiones, pero tiende a asumir caracteres metafsicos cuando se hace extrapolaciones a grandes dimensiones, especialmente en el plano de las ciencias humanas. Es por ello que el holismo histrico es muy atractivo pero casi, inevitablemente, metafsico por atribuir propiedades constatables en totalidades pequeas a macrototalidades, cuyos lmites escapan a definiciones rigurosas y cuyo comportamiento carece de indicadores observables. Los tericos de los mtodos comprensivos y de la empata (Einfhlung) no parecen haber aportado, en su favor, nada ms preciso que la recomendacin de comprender, cada elemento, dentro del sentido de la totalidad y comprender, la totalidad, en su soporte constituido por sus elementos. Dadas las dificultades antes anotadas, la posibilidad ms inmediata de rigorizar los estudios histricos es desarrollarlos regionalmente a travs de la arqueologa, etnografa, historia econmica, filologa, paleontologa, etc. Este proceder no conducir a la instauracin de sistemas hipottico-deductivos pero si a reconstrucciones cuya mayor o menor exactitud puede ser constatada con los hechos. Por ahora, el planteamiento de la historia como ciencia global general suscita tantas dificultades como las que, presumiblemente, surgiran si se pretendiese una ciencia natural global. La diferencia la ha aportado el hecho de que ningn cientfico natural ha postulado la necesidad de una ciencia natural global sino regional, como la fsica, la qumica, la microbiologa, etc. Y esta decisin es un factor, no desdeable, que ha posibilitado mejores niveles de precisin y rigorizacin a las diversas ramas de las ciencias naturales en relacin con las ciencias sociales. El otro factor que explicara la debilidad generalizada de las ciencias sociales es que en este caso tanto el sujeto cognoscente como el objeto de estudio coinciden en el hombre, lo que facilita que los intereses sociales en pugna, expresados a travs de ideologa, perturben la objetividad del conocimiento y, en muchos casos, lo desnaturalicen. Con consciencia de sus limitaciones, puede sostenerse que el uso flexible del modelo hipottico-deductivo puede cumplir adicionalmente, con ventaja sobre otras opciones, la funcin pragmtica de viabilizar la comunicacin entre investigadores, en

10

circunstancias en que la superespecializacin nos mantiene ante el riesgo de dejar decisiones fundamentales a los que Ortega y Gasset llam sabios ignorantes. Este puede ser, por ahora, el medio de no perder la percepcin de la totalidad sin debilitar exageradamente por ello el rigor lgico y observacional, evitando as caer en la instauracin de objetos metafsicos, que nos remitan a entidades que no son objetos de nuestro conocimiento sino sub-productos creados por disfunciones de nuestra actividad cognoscitiva.

En los aos 60 del siglo XX se hizo notorio en la Filosofa Epistemolgica un redimensionamiento de sus proyectos originales. As, por ejemplo, el proyecto de la Enciclopedia para la ciencia unificada que fue formulado por el Crculo de Viena en su manifiesto titulado Concepcin Cientfica del Mundo fue dejado de lado en un contexto en el que la matemtica probabilstica sustituy al lenguaje de las certidumbres newtonianas y la antropologa cultural, la lingstica y otras ciencias sociales adquirieron carta de ciudadana pese a su distancia del mtodo experimental Se lo calific como el componente nuclear del conjunto de tesis filosficas publicadas por los empiristas lgicos entre los aos 20 y 30, las mismas que fueron denominadas por sus crticos la Concepcin recibida de los neopositivistas fisicalistas que se propusieron la reconstruccin racional del conocimiento, con el objetivo de lograr su reorganizacin lgica, inspirados en el mtodo axiomtico utilizado por Aristteles, Euclides, Newton, Spinoza, Peano y Einstein, entre otros. De esta manera intentaron dotar al conocimiento de fundamentos indiscutibles y convincentes como los que buscaron infructuosamente Descartes a travs de la duda metdica y Kant a travs de los juicios sintticos a priori.

Paralelamente, la concepcin lgica del lenguaje y del mundo sostenida en el Tratactus Logico Philosoficus de Wittgenstein tendi a ser percibida como desactualizada con la carga adicional de que su propio autor la someti a duras criticas y propuso la tesis de los language games que minimiz los temas sintctico-semnticos y enfatiz los pragmticos y prescriptivos. De este modo el lenguaje natural, cotidiano u ordinario desplaz al lenguaje cientfico de las preocupaciones de numerosos filsofos ingleses y, posteriormente, de las de un sector importante de los filsofos norteamericanos y alemanes. De manera anloga, los proyectos encaminados a construir una lgica de la investigacin cientfica pasaron a un segundo plano, tanto los inscritos en la perspectiva

11

inductivista, representados por Reichenbach y Carnap, como los desarrollados dentro de la perspectiva no inductivista liderada por Popper.

La preocupacin por el anlisis del cambio cientfico, la sustitucin y eleccin de teoras, la denominada subdeterminacin de teoras por los hechos, as como la distincin entre ciencia y seudociencia dejaron un espacio mnimo a los esfuerzos de Hempel, entre otros, por establecer una teora y una metodologa de la confirmacin o de la corroboracin de las hiptesis cientficas. La difusin progresiva de los resultados de la mecnica cuntica a travs de la divulgacin del principio de indeterminacin de Heisenberg y de las tesis de la Escuela de Copenhague contribuyeron significativamente al debilitamiento del uso del concepto de verdad en la ciencia pese a que el aporte de Tarski haba creado condiciones de claridad terica y lgica para usarlo rigurosamente en la Lgica y en la Matemtica. Sin embargo, las seguridades proporcionadas por la concepcin semntica de Tarski quedaban al margen de la discusin ante el hecho concluyente de que eran aplicables directamente a los lenguajes formales de la Lgica y de la Matemtica, restriccin que dificultaba seriamente aplicar la denominada convencin T de Tarski a otras ciencias cuyas proposiciones se expresan en lenguaje social y reclaman tener en unos casos contenido factual y en otros contenido fenomnico, ligados en lo principal a la capacidad de predecir exitosamente observaciones y no necesariamente de describir fidedignamente la denominada realidad.

El pragmatismo de Quine a travs de su conocido artculo Dos Dogmas del Empirismo reclam haber refutado de manera definitiva la distincin kantiana entre juicios sintticos y juicios analticos que este autor atribuy, sin mayores provisos, a los neopositivistas. Pese a su notable autoridad como especialista en lgica, no concedi importancia al hecho de que el concepto de afirmacin analtica en Kant era estrictamente semntico mientras que en primer Wittgenstein y en los neopositivistas fue estrictamente sintctico y estructural, razn por la que se lo identific con el concepto extensional de tautologa. De esta manera se entiende que en la concepcin kantiana el juicio analtico est constituido por un predicado que se limita a ser explicativo del contenido semntico del sujeto mientras que para los neopositivistas careci de sentido hablar del poder explicativo de una tautologa porque, simplemente, era semnticamente vaca o puramente estructural.

12

Tanto los discpulos de Quine como sus simpatizantes interpretaron apresuradamente que los argumentos de Dos dogmas del empirismo haban asestado una estocada definitiva a la distincin entre ciencias formales y ciencias factuales introducida por la Concepcin recibida y concedieron, sin reparar en la inconsistencia de la argumentacin de su maestro, que los denominados problemas derivados de las tesis de Quine de la inescrutabilidad de la referencia, indeterminacin de la traduccin y subdeterminacin de las teoras por la evidencia emprica constituan obstculos genuinos para hablar con fundamento de verdades cientficas, surgiendo de esta manera las llamadas posiciones deflacionistas que se propusieron sustituir la definicin aristotlica del concepto de verdad, rescatada por Tarski, por la aceptacin consensual de las teoras en base al xito predictivo y a la utilidad. De esta suerte, lo que se soslaya hasta la fecha es que si las tesis quineanas antes mencionadas fueran vlidas, toda argumentacin fundada en reemplazos por sinonimia, como la conocida soltero = no casado, carecera totalmente de fuerza probatoria, inclusive para cuestionar la tradicional analiticidad de cepa kantiana.

Lo antes expuesto explica la reactualizacin del pragmatismo de Charles S. Peirce y la difusin del denominado pensamiento posmoderno en Francia, Alemania y Estados Unidos de Norte Amrica con el refuerzo de la epistemologa histrica de Thomas Kuhn. Este pensador acu el concepto de paradigma de ciencia normal para describir y explicar el comportamiento social de las comunidades cientficas y el carcter eminentemente cultural de las teoras cientficas, de las metodologas y de los conceptos que se utilizan para evaluarlas. En este contexto surge, con las repercusiones del existencialismo heideggeriano y del neomarxismo de Francfort, una concepcin postmoderna de la ciencia que la concibe como un intento frustrado de objetividad y seguridad de la denominada razn instrumental cartesiana y la trata como un relato que slo se distingue de la Caperucita Roja, del Popol Vuh o del Mito de Prometeo en que es una construccin simblica ms exitosa y eficiente para las necesidades de la sociedad tecnocientfica sostenedora del mito del progreso. La debilidad principal de estas tendencias, de cierto xito literario, radica en que no distinguen entre fundamento y consenso; entre ciencia terica y tecnologa; entre comunidades de investigadores y redes tericas; entre verdad, validez y eficiencia; entre lgica de las teoras y los

13

intereses sociales de los investigadores, etc. Con la sombrilla de un holismo contextualista que parece buscar ms el impacto que la exactitud e invocando una supuesta nueva epistemologa se confunde objetos lingsticos con objetos reales; propiedades de las teoras, de las metodologas y de los lenguajes cientficos con propiedades de los hechos y de los procesos naturales y sociales.

El escenario antes descrito muestra un distanciamiento muy severo entre un sector importante de la actividad filosfica que elabora discursos sobre la ciencia y lo que las comunidades cientficas realmente hacen. Este divorcio no existi en los orgenes de la epistemologa si consideramos que la mayor parte de los miembros del Crculo de Viena eran fsicos, matemticos o cientficos sociales de prestigio. Uno de ellos, Kurt Gdel ha sido probablemente el matemtico ms famoso del siglo XX. Y el animador de este grupo, Moritz Schlick, realiz tanto investigaciones fsicas sobre la teora de la relatividad de Albert Einstein como sobre la filosofa clsica. Inclusive, uno de los ms duros crticos del neopositivismo, Karl Popper, fortaleci su acercamiento a la comunidad cientfica a travs de sus vnculos con Albert Einstein, Eccles, von Hayek, todos ellos merecedores del premio Nobel en Fsica, Medicina y Economa, respectivamente. Los programas de investigacin que alent este acercamiento, como los referentes a la unificacin de teoras, es el caso inicial de Principia Mathematica de Russell y Whitehead, continan siendo retos para la investigacin cientfica. Un ejemplo vigente lo constituye el proyecto de unificacin de la mecnica cuntica y la teora general de la relatividad a travs de lo que Einstein propuso como teora de campo unificado. Los problemas de induccin continan abiertos en el mbito de las ciencias fcticas. Y las propuestas de Reichenbach y Carnap han contribuido a abrir nuevos horizontes que han conducido al crecimiento y diversificacin de la lgica matemtica. Tambin han posibilitado concreciones tecnolgicas en los campos de la inteligencia artificial, sistemas expertos y robtica.

Evidentemente, lo anteriormente descrito no sera posible si no existieran grupos importantes de acadmicos que hacen epistemologa acadmica en estrecha relacin con las comunidades cientficas y con un nivel de formacin que posibilita comunicacin vlida con ellas. En estos sectores se encuentran los epistemlogos de la corriente estructuralista, de la tendencia que cultiva la filosofa de la mente y la inteligencia

14

artificial, la epistemologa evolucionista, la epistemologa gentica, la epistemologa de la fsica, de la matemtica y de la lgica, incluyendo sus temas ontolgicos. Sobre lo ltimo, la lgica matemtica desarrollada en Brasil (da Costa y Krause) ha continuado demostrando la fecundidad de los sistemas no-clsicos, como herramientas de anlisis, construyendo teoras sobre cuasi conjuntos y teoras aplicables a dominios con elementos indiscernibles como los de la fsica de Schroedinger. Esto significa que el panorama de la filosofa de la ciencia rigurosa a comienzos del siglo XXI es bastante ms segmentado y diversificado que el de la primera mitad del siglo XX, razn por la que puede ser de utilidad un esquema grfico que ayude a orientarse en el nuevo escenario configurado por las tendencias vigentes. Por ello, como ltimo componente de este artculo aadimos un diagrama que usado con flexibilidad puede ser de utilidad para identificar las grandes orientaciones que eran distinguibles a principios del siglo XX y hacer un seguimiento del proceso que ha conducido a las tendencias visibles a comienzos del siglo XXI. Una limitacin aparente de la clasificacin que proponemos podra ser sugerida por el hecho de que un mismo autor aparece en ms de un recuadro. La explicacin razonable para ello est dada por el hecho constituido por la evolucin del pensamiento filosfico de los ms distinguidos miembros de la comunidad acadmica internacional.

15

Panorama de la Epistemologa Contempornea

16