Introduccin a la metodologa de la ciencia

Resumen

Captulo 1
El circulo de Viena

La primera institucin dedicada especficamente al cultivo de la nueva disciplina fue la catedra
de filosofa de las ciencias inductivas de la Universidad de Viena. En torno a ella se constituye
la primera gran escuela de Epistemologa y teora de la ciencia.
Cambios en la fsica, as como la crisis de fundamentos en matemticas, tuvieron una gran
influencia sobre los neopositivistas. As como las matemticas haban resuelto sus problemas
tericos hallando una fundamentacin lgica y una metodologa axiomtica, tambin las
ciencias empricas deberan hallar unas bases slidas en la lgica y en la experiencia.
En 1907 el economista Neurath haba fundado un grupo de trabajo con el matemtico Hahn y
el fsico Frank, que se ocupaba de filosofa de la ciencia. La nueva denominacin se opona
frontalmente a la Naturphilosophie que haba predominado en Alemania, sobre todo porque
rechazaba la especulacin metafsica sobre las ciencias de la naturaleza y promulgaba el
contacto directo de los filsofos con los cientficos
La distincin de Russell entre otros hechos atmicos y moleculares y la distincin paralela
entre proposiciones atmicas y moleculares permitieron aplicar el aparato de la lgica de
enunciados a las ciencias como contenido emprico. Por este motivo paso ser habitual la
denominacin de empirismo lgico o atomismo lgico, junto a otras como empirismo cientfico
o empirismo consistente.
El circulo se convirti en una institucin muy influyente, pero el ascenso del nazismo,
resultaron muy negativos para la nueva institucin. La condicin de judos de muchos de sus
miembros les acarreo dificultades. Finalmente, el propio Feigl hubo de huir a los Estados
Unidos y el nazismo disolvi los grupos de Berln y de Varsovia, con lo que el Crculo de Viena
dejo de existir como tal.
El gran proyecto del Crculo de Viena fue la elaboracin de la Enciclopedia para la Ciencia
Unificada. Sus posturas fueron netamente opuestas a la metafsica. Esta ausencia de
referentes empricos y la defectuosa estructuracin del discurso metafsico desde el punto de
vista de la lgica matemtica, fueron los motivos que les llevaron a descartar buena parte de la
filosofa occidental, propugnando una nueva forma de filosofa, la filosofa cientfica.

La ciencia unificada
Segn Carnap, en las grandes obras de la metafsica abundan dos tipos de
pseudoproposiciones: unas que contienen palabras a las que con criterio errneo se supone un
significado, y otras que estn mal construidos sintcticamente. Lo que Hempel llamo luego
criterio empirista de significado
Para el Crculo de Viena, la intersubjetividad no era una garanta suficiente, y por eso
adoptaron las tesis fisicalistas, afirmando la existencia de una base emprica comn a todos los
seres humanos. El fisicalismo se interesa por los enunciados observacionales, que pasan a ser
la base de cada ciencia positiva.

El lenguaje fisicalista
Carnap defendi en un primer momento la reduccin de los conceptos sociales, culturales e
histricos a los conceptos del psiquismo propio: tanto los conceptos ajenos como los propios
deberan ser reducidos primero a conceptos fsicos, y luego, a conceptos psquicos propios. Los
fenmenos del psiquismo individual, en la medida en que traducen hechos fsicos,
fundamentaran desde el punto de vista epistemolgico la reduccin del conocimiento de las
distintas ciencias unificada.
Las leyes cientficas y, en general. Los enunciados utilizados por cientficos, surgiran a partir de
las proposiciones protocolares por va inductiva. Desde el punto de vista metodolgico, el
papel central de la induccin es una de las caractersticas principales del Crculo de Viena. Para
estos autores, la metodologa de las ciencias empricas est basada en la induccin.

El criterio empirista de significado
El Crculo de Viena distingui la ciencia de la metafsica basndose en un criterio
epistemolgico de significatividad cognoscitiva. Hay dos tipos propiamente cientficos: las
proposiciones analticas o contradictorias y las que pueden ser confirmadas por la experiencia.
La primera recogen los enunciados de las matemticas, de la lgica y, en general de las ciencias
formales, el positivismo lgico considera que ninguna de esas ciencias es emprica. Lo
enunciados de las ciencias formales no aportan informacin alguna sobre el mundo, han de ser
considerado como enunciados analticos. En cuanto a las ciencias que posee un contenido
emprico, todos y cada uno de sus enunciados han de ser confirmables, al menos en principio,
por la experiencia.
Por tanto, la verificabilidad para ser el criterio para distinguir las ciencias empricas de otros
tipos de saber. Un enunciado es cientfico si es verificable.

Verificacin
Las expresiones y formulas de la lgica y de las matemticas no han de verificarse, por ser
analticas. Pero el resto de los enunciados cientficos ha de ser comprobable en la realidad y, a
poder ser, por observacin.
El Circulo de Viena oscilo entre la verificacin y la simple confirmacin de dichos enunciados.
Los enunciados generales, las leyes cientficas y, muy en particular, las teoras no pueden ser
verificados directamente, confrontndolas con la empiria. Lo que s se puede hacer es extraer
las consecuencias lgicas concretas de una ley o de una teora y comprobar que,
efectivamente, la ciencia ratifica dichos resultados. Para el Crculo de Viena, y posteriormente
para otros muchos filsofos de la ciencia, lo esencial del saber cientfico es su capacidad de
predecir exactamente fenmenos fsico-naturales. Cualquier ley universal o teora general
puede ser confirmada a travs de sus consecuencias empricas concretas y determinadas.
La cuestin de la verificacin y de la confirmacin, por otra parte, est ligada a un tema
fundamental para la filosofa de la lgica: la teora de la verdad. Los enunciados cientficos
pueden ser verificados en la medida en que se correspondan con los hechos observados o, si
se prefiere, las observaciones empricas han de concordar con las predicciones realizadas por
los cientficos

Induccin y probabilidad
La confirmacin de un enunciado, segn Carnap, es estrictamente lgica: los datos
observacionales han de ser confrontados lgicamente con las consecuencias que se derivan de
una determinada ley o teora. La comparacin entre las probabilidades respectivas define el
grado de confirmacin de cada hiptesis y nos permiten elegir como hiptesis confirmada
aquella que, para unos determinados datos observados, posee mayor grado de probabilidad.
Surgi as el concepto de grado de confirmacin de un enunciado cientfico, que conlleva la
previa cuantificacin de la nocin de confirmacin, lo cual es posible si se apela a la teora de la
probabilidad. Una hiptesis posee una probabilidad inductiva que va aumentando o
disminuyendo segn las nuevas observaciones confirmen o no dicha hiptesis.
La loica inductiva permitira fundamentar el criterio de significacin emprica, inicialmente
basado en la verificabilidad observacional, y finalmente en el grado probabilstico de
confirmacin de una determinada hiptesis.

Epistemologa y filosofa de la ciencia
Reichenbach utilizo una denominacin que ha hecho fortuna, la de reconstruccin lgica, para
nombrar la tarea que haba de llevar a cabo los epistemolgicos: podramos decir que una
construccin lgica se corresponde con la forma en que los procesos de pensamiento son
comunicados a otras personas, en lugar de la forma en que son subjetivamente conformados.
Para Reichenbach la epistemologa esta interesada solo en las relaciones internas, mientras
que la sociologa, aunque puede considerar parcialmente relaciones internas, siempre las
mezclas con relaciones externas. Podemos entonces decir que a la terea descriptiva de la
epistemologa le interesa la estructura interna del conocimiento y no las caractersticas
externas que se le presentan a un observador que no toma en consideracin su contenido.
La filosofa de la ciencia intenta convertirse en una ciencia de la ciencia o una metaciencia. Y es
importante resaltar que su objeto de estudio es el conocimiento: por eso los filsofos de la
ciencia son, ante todo, epistemolgicos.

Captulo 2
La concepcin heredada
Durante ms de veinte aos la mayora de los filsofos de la ciencia estuvieron implcitamente
de acuerdo en una serie de postulados bsicos sobre las teoras y el conocimiento cientfico.
Conforme el debate se hizo mas vivo y general, Putnam (1962) propuso englobar bajo el
apelativo de concepcin heredada al conjunto de ideas bsicas que haba caracterizado al
neopositivismo y a la filosofa analtica de la ciencia de aquella poca. Bastantes cientficos
compartan de facto la epistemologa heredada, tanto en el campo de las ciencias fsico-
naturales como en el de las ciencias sociales.

Contexto de descubrimiento y contexto de justificacin
Para Reichenbach, los epistemlogos no se ocupan de los procesos cientficos, sino que
elaboran reconstrucciones lgicas de los mismos, atenindose exclusivamente a factores
internos. Como consecuencia directa de esta idea, Reichenbach distingui dos contextos para
los estudios sobre la ciencia: introducir los trminos contexto de descubrimiento y contexto
de justificacin para hacer esta distincin. Por tanto, tenemos que decir que la epistemologa
solo se ocupa de construir el contexto de justificacin.
No es lo mismo como se llega a un resultado cientfico y como dicho resultado se expone y
justifica ante el pblico. Lo nico que interesa a la filosofa de la ciencia es el resultado final, la
manera en que son expuesta y justificadas las teoras cuando constituyen un producto
elaborado. Para la concepcin heredada, la elaboracin de una epistemologa general de la
ciencia solo poda hacerse a partir de los resultados finales de la investigacin cientfica,
investigando su estructura sintctica, as como sus relaciones con la experiencia

La axiomatizacin de teoras
La axiomatizacin de las teoras cientficas tiene su primer paradigma en los Elementos de
Euclides, con sus definiciones, nociones comunes y axiomas como punto de partida para la
demostracin de los teoremas propios de la geometra de aquella poca.
En cuanto a los epistemlogos, acaso las posturas ms claras a la hora de expresar ese cambio
de concepcin del mtodo axiomtico sea Poncare, cuando en su ciencia e hiptesis afirman:
los axiomas geomtricos no son, pues, ni juicios sintticos a priori ni hechos experimentales.
Son convenciones. Nuestra eleccin entre todas las convenciones posibles est guiada por los
hechos experimentales, pero permanece libre, y solo est guiada por la necesidad de evitar
toda contradiccin.

El axiomatismo moderno no solo acepta la evidencia de los axiomas de las teoras, sino
tampoco la intuitividad de los trminos bsicos de las mismas. Son conceptos indefinidos, que
solo cuando se combinan por medio de unos u otros axiomas comienzan a quedar
implcitamente definidos. Una vez derivadas las expresiones bien formadas que puede inferirse
de los axiomas y de los trminos primitivos, comenzamos a buscar interpretaciones de dicho
clculo formal, los trminos comienzan a adquirir significado y los axiomas pasan a ser
verdaderos o falsos.
Si esta concepcin del axiomatismo, que procede de las matemticas y de la lgica, se aplica a
las ciencias empricas, estamos en plena concepcin heredada. Lo primero que hay que
indagar en una teora con contenido emprico es su estructura sintctica, que consta de los
siguientes elementos:
1) Los trminos primitivos de la teora, no definidos
2) La estructura lgica que se va a utilizar para formar y derivar proposiciones
3) Los axiomas que se han elegido para derivar a partir de ellos todos los teoremas de
axiomas, lo cual plantea la cuestin de cules son los preferibles.

La distincin terico/observacional
Otro de los presupuestos fundamentales de la concepcin heredada estriba en la divisin en
dos clases de su vocabulario bsico y por consiguiente, tambin de sus proposiciones: trminos
tericos y trminos observacionales. El problema surge ya con trminos como frgil, porque
se est en contra de toda concepcin esencialista, y por tanto hay que proponer algn
enunciado observacional para que dicho termino tenga significado en una teora fsica. De ah
que uno de los problemas bsicos de la concepcin heredada fuese la eliminacin de los
trminos tericos.
Asimismo, puede pensarse que lo trminos tericos son simples instrumentos tiles para hacer
predicciones sobre el mbito fenomnico, ms sin afirmar por ello que dichos trminos
tericos tengan referentes reales.
Hempel formul el llamado dilema del terico, que a su vez ha dado lugar a mltiples debates
entre los defensores de la concepcin heredada: si los trminos y principios de una teora
sirven para su propsito, son innecesarios, como se acaba de sealar, y si no sirven para su
propsito sin duda resultan innecesarios. Pero, dada una teora cualquiera, sus trminos y
principios o sirven para su propsito no. Luego los trminos y teoras e cualquier teora son
innecesarios.

Las reglas de correspondencia
Para facilitar el desarrollo de las demostraciones hay que introducir adems una serie de
trminos definidos en funcin de los primeros. Siempre ha sido un requisito esencial del
mtodo axiomtico que todo concepto de la teora sea definido explcitamente en funcin de
los trminos primitivos.
En el caso de las teoras con contenido emprico, este requisito solo era necesario para los
trminos tericos, porque se presuma que los observacionales no presentaban problemas.
Por eso, el positivismo lgico inicial exiga definiciones explicitas de todos y cada uno de los
trminos tericos, sin excepcin. Todo enunciado de una teora deba ser traducible a trminos
observacionales, incluidas las leyes fundamentales o axiomas.
Carnap propuso una nueva solucin al problema de las reglas de correspondencia, exigiendo
que fuesen enunciados de reduccin que caracterizasen parcialmente los trminos tericos.
Resurge as la concepcin de las teoras cientficas como un todo, que tanto predicamento iba
a tener en los aos posteriores. En el marco de la concepcin heredada, el holismo se presenta
en relacin con la idea originaria de las teoras como clculos lgicos. Una vez construidos esos
clculos, es el conjunto de todo el clculo el que encuentra una o varias interpretaciones
empricas, pero no concepto a concepto: el holismo y el atomismo semntico se contraponen
entre s. Pues bien, las reglas de correspondencia se convirtieron a su vez en un sistema
interpretativo, y no en un conjunto disgregado de enunciados de lo terico a lo observable
para cada uno de los trminos tericos bsicos de cada teora.

Modelos de una teora cientfica
En filosofa de la ciencia, el termino modelo se usa en un sentido tcnico, derivado de las
investigaciones llevadas a cabo por Tarski sobre la semntica de los sistemas formales, que
confluyeron ulteriormente en la teora lgica de modelos
1) Modelos lgicos. Son las interpretaciones semnticas de un sistema de axiomas tales
que los axiomas son verdaderos para dichas interpretaciones
2) Modelos matemticos. Son representaciones aritmticas de una teora emprica; es
decir, un conjunto de proposiciones matemticas que tienen la misma forma que las
leyes de la teora.
3) Modelos analgicos. Son representaciones fsicas tridimensionales de un objeto o de
un sistema, como por ejemplo un planetario, o los modelos mecnicos de ter de
Kelvin, o en general los grficos.
4) Modelos tericos. Conjunto de asunciones sobre un objetos que permiten atribuirle
una estructura interna, como por ejemplo el modelo atmico de Bohr, o el modelo de
la mesa de billar para la teora cintica de las gases.
5) Modelo imaginarios. Conjunto de asunciones sobre un objeto que muestran los que
debera ser si satisficiese determinadas condiciones que, de hecho, no satifacen.

En la dcada de los 60 en torno a la cuestin de los modelos de una teora cientfica, cabe
afirmar que los defensores de este tipo de interpretacin parcial de las teoras vean en ella las
siguientes ventajas:
1) Los modelos desempean un papel muy importante en la construccin de las teoras,
al servir como guas en la bsqueda de su estructura formal.
2) Los modelos interpretan completamente los trminos tericos.
3) Al atribuir significado a los trminos tericos, los modelos conectan la teora con los
datos experimentales. Por lo tanto, son una versin mejorada de las reglas de
correspondencia clsica, que ya no presentan las dificultades lgicas de estas, porque
dichos modelos tienen, ante todo, una funcin semntica.
4) Los modelos extienden las teoras a nuevos mbitos observacionales y, por tanto,
desempean una funcin heurstica importante, que posibilitan el crecimiento de una
teora.

Reduccin y explicacin cientfica
El progreso cientfico est ligado, segn el positivismo, a los procesos de reduccin de teoras,
entre las cuales hay dos perfectamente aceptables. El primer tipo de reduccin se caracteriza
porque una teora altamente corroborada tiende ampliar su campo originario, reduciendo a
sus trminos y a su marco terico mbitos fenmenos que hasta entonces haba sido
investigados con tcnicas muy diferente: el ejemplo clsico es la extensin de la mecnica
clsica de partculas a la mecnica de cuerpos rgidos. El segundo procedimiento fundamental
para la reduccin de unas teoras cientficas a otras tiene lugar cuando varias teoras altamente
corroboradas, cada uno en su dominio, siendo estos en principios muy diversos, se incluyen en
o se reducen a otra teora ms amplia.
No est claro, en efecto, que en los procesos de reduccin cientfica no se modifiquen el
significado de los trminos, incluido los observacionales. No es lo mismo observar los
fenmenos astronmicos de una perspectiva copernicana que enmarcarlos en el aparato
conceptual newtoniano. Nagel reconoce esta dificultad para el segundo tipo de reduccin
cientfica, admitiendo que la teora reductora puede conllevar la introduccin de nuevos
trminos tericos y de diferentes reglas de correspondencia con respecto a la teora reducida.

El falsacionismo popperiano
Popper siempre ha mantenido lo esencial de sus posturas iniciales, en las que consideraba que
el punto de partida para la reflexin filosfica sobre la ciencia eran las teoras cientficas, as
como su contrastacin negativa con la experiencia, por la va de la falsacin. La actividad del
cientfico debe ser crtica, tratando de refutar las teoras vigentes en cada momento y
contribuir al progreso cientfico, que tiene lugar por integracin y mejora del conocimiento
anterior

Las teoras cientficas
La principal novedad que introdujo Popper en la metodologa cientfica estriba en la
importancia a las teoras. Popper se centrara en un tipo diferente de construccin intelectual,
cuya estructura no es simple ni inmediata: las teoras cientficas. Las ciencias empricas, afirma
Popper, son sistemas de teoras; y la lgica del conocimiento cientfico, por tanto, puede
describirse como una teora de teora.
Popper utiliza asimismo una metfora que ha hecho fortuna:
Las teoras son redes que lanzamos para apresar aquello que llamamos el mundo: para
racionalizarlo y dominarlo. Y tratamos de que la malla sea cada vez ms fina.
La razn cientfica funciona a base de construir sistemas conjeturales para conocer el mundo,
al objeto de poder explicar el mundo al objeto de poder explicar los fenmenos, y no solo
describirlos.
Otra aportacin popperiana, estriba en la crtica a la que somete al concepto de experiencia
directa e inmediata, que sin duda esa una de las nociones bsicas del atomismo lgico.

El problema de la induccin
Popper consider que una inferencia es inductiva cuando pasa de enunciados singulares (o
particulares) a enunciados universales, tales como hiptesis, leyes o teoras. El problema de la
induccin consiste en indagar si las inferencias inductivas estn lgicamente justificadas, y bajo
condiciones lo estn. Para ello habr que formular alguna ley lgica que fundamentase dichas
inferencias: el principio de la induccin. Pero Popper siempre afirmo que el principio de
induccin no puede ser una ley lgica en el sentido de la lgica formal del siglo XX.

La falsabilidad como criterio de demacracin
Para Popper, la ciencia no es nunca un sistema de enunciados ciertos e irrevocablemente
verdaderos, sino todo lo contrario. La ciencia nunca alcanza la verdad, sino se aproxima a ella
proponiendo sistemas hipotticos complejos, las teoras cientficas, que permiten explicar ms
o menos fenmenos empricos, pero nunca todos los hechos que se pueden presentar en una
disciplina determinada y en un momento histrico dado como base emprica de dicha ciencia.
Popper propuso un criterio alternativo de demacracin entre ciencia y no ciencia: una teora
cientfica puede ser falsada por medio de la experiencia: una teora cientfica si puede ser
falsada por medio de la experiencia (en el caso de las teoras empricas) o por medio de si
contrariedad interna (en el caso de las teoras lgicas y matemticas).
La posibilidad de mostrar la falsedad de una teora cientfica mediante la experiencia, por
ejemplo a travs de las predicciones que deductivamente se derivan de ella, es el signo
distintivo del saber cientfico frente a otro tipo de saberes.
La relacin metodolgica adecuada entre teora y experiencia consiste en intentar refutar
empricamente las teoras, y tambin los enunciados y leyes cientficas.

Paradigmas y revoluciones cientficas
La publicacin en 1962 de la obra de Thomas S. Kuhn, la estructura de las revoluciones
cientficas, marco una nueva etapa en la filosofa de la ciencia del siglo XX y en los estudios
sobre la ciencia en general, su influencia ha sido muy grande, y hoy en da est considerado
como una de las obras clsicas en el siglo XX. Kuhn introdujo en los estudios sobre la ciencia
diversos conceptos que son de comn aplicacin hoy en da: paradigmas, ciencia normal,
anomalas, crisis, revoluciones cientficas, etc.

Los paradigmas cientficos
El termino paradigma ha sido utilizado por los gramticos para designar diversos tipo de
declinacin de un palabra o de conjunto de palabras de un verbo.
Durante su educacin, los cientficos se han familiarizado con determinados lenguajes y
tcnicas cuya eficacia para resolver problemas ha marcado profundamente su uso de
considerar los fenmenos, adscribindoles al paradigma vigente en la comunidad cientfica de
su poca.
La nocin kuhniana de paradigma, tal y como es formulada en 1962, fue considerada como
sugerente, pero tambin criticada por su vaguedad por actores como Shapere, Toulmin y
Mastermann. Esta ltima autora distingui 21 sentidos diferentes en la utilizacin kuhniana del
trmino agrupada en tres grupos:
1) Aspecto filosfico del paradigma, que dara la imagen del mundo y las creencias
bsicas de los cientficos sobre lo que sea de la realidad: sera el caso del atomismo,
del mecanismo, de la matematizacion de la realidad, del evolucionismo, del
fenomenalismo, etc.
2) Aspecto sociolgico del paradigma, ligado a la estructura y a las relaciones internas y
externas de la comunidad de cientficos que detentan un mismo paradigma: un
paradigma conlleva un aspecto institucional, tanto desde el punto de vista nacional
como internacional, que permiten discernirlo con respecto a otros paradigmas rivales.
3) Aspecto propiamente cientfico del paradigma, ligados a los problemas ya resueltos y a
los principales ejemplos que son explicados gracias a la utilizacin del paradigma

Ciencia normal y revoluciones cientficas
La observacin y la experimentacin casual, asi como unas primeras reglas para operar con
instrumentos, van formando una primera amalgama de conocimiento sobre la materia, a la
que todava no se le puede llamar ciencia
La etapa pre cientfica y la constitucin de un paradigma dan origen a lo que Kuhn llama una
etapa de ciencia normal. En efecto durante la etapa de ciencia normal el cientfico no es crtico
ni intenta refutar las teoras cientficas vigentes. Kuhn define la etapa de ciencia normal de la
manera siguiente: ciencia normal significa investigacin basada firmemente en una o ms
realizaciones cientficas pasadas, realizaciones que alguna comunidad cientfica particular
reconoce, durante cierto tiempo fundamento para su prctica posterior