CLASE 11 UNIDAD 4 LA CONCEPCIN SEMNTICA DE LAS TEORAS

CIENTFICAS
Dez, J.A. y C.U. Moulines, Fundamentos de filosofa de la ciencia, Ariel, Barcelona,
1997, caps. 10,
pp. 327-366, y 11, 367-391.
Captulo 10 Anlisis sincrnico de teoras III
Las Concepciones Semnticas: las teoras como entidades modelotericas
1) Teoras, Enunciados y Modelos
El lema de las concepciones semnticas es: presentar una teora no es presentar una
clase de
axiomas, las teoras no se identifican metatericamente con conjuntos de enunciados;
presentar una
teora es presentar una clase de modelos, las teoras se identifican metatericamente
como
conjuntos de modelos. Puesto que la nocin de modelo es una nocin
fundamentalmente
semntica, se denomina concepcin semntica a este nuevo enfoque que enfatiza la
importancia de
los modelos en el anlisis de la ciencia. Contrariamente, la concepcin clsica es
calificada de
sintctica por su caracterizacin de las teoras como conjuntos de enunciados y por su
nfasis general
en los aspectos lingsticos-sintcticos.
1.1)Axiomas y Modelos
Segn la concepcin semntica, una teora es una clase de axiomas e implica que toda
diferencia
de axiomas supone una diferencia de teoras.
El modo en que la Concepcin Semntica va a expresar las intuiciones contenidas ya
en la
Concepcin Heredada surge de tomarse en serio el hecho de que dos axiomatizaciones
diferentes pueden serlo de la misma teora. De la misma teora porque el conjunto total
de las
cosas que dicen de cierta parcela del mundo es el mismo, porque la manera en que
segn ambas

dicha parcela se comporta es la misma. Lo que importa de una teora, lo que la

identifica, es lo
que dice sobre el comportamiento de determinada parcela de la realidad, no cmo lo
dice. Lo
46

esencia es que caracteriza ciertos trozos de la realidad como comportndose de cierto

modo,
determina ciertos modelos. Si dos axiomatizaciones lo son de lo mismo, lo son porque
ambas
determinan la misma clase de modelos o realizaciones. Lo importante es pues qu
modelo
determina una teora, no los recursos lingsticos que emplea para ello. De all el lema
de la
concepcin semntica: presentar una teora es presentar una clase de modelos no de
axiomas.
De acuerdo a la Concepcin Semntica, presentar una teora es presentar una familia
de
modelos. Esta familia puede ser descrita de varios modos, mediante enunciados
diferentes en
leguajes diferentes y ninguna formulacin lingstica tiene ningn estatuto
privilegiado. No se
atribuye ninguna importancia a la axiomatizacin como tal e incluso la teora puede no
se
axiomatizable en ningn sentido ni trivial.
El modelo semntico enfatiza la referencia explcita a los modelos ms que a los
enunciados. La
concepcin heredada sostiene que ese vnculo se establece a travs de enunciados, las
reglas de
correspondencia, que conectan trminos tericos con trminos que refieren a entidades
directamente observables.
1.2) El enfoque Modeloterico
A pesar de sus diferencias, las diversas caracterizaciones de la nocin de teora que se
hacen
dentro de la familia semntica tienen algunos elementos comunes:

a) Una teora se caracteriza por determinar un conjunto de modelos; presentaridentificar una

teora es presentar-identificar la familia de sus modelos. La determinacin de sus
modelos se
realiza mediante una serie de principios o leyes. Las leyes se deben entender como
definiendo una clase de modelos x es un sistemadonde expresa las leyes en
cuestin.
Que esto sea una definicin, que las leyes definan modelos no significa por supuesto
que una
teora sea una definicin o que vaya a ser verdadera por definicin o cosas parecidas.
Que las
leyes definan una serie de modelos significa slo que las leyes determinan qu
entidades son
las que se comportan de acuerdo con la teora; por ejemplo, cierta entidad, cierto
pedazo del
mundo es por definicin un sistema mecnico si y slo si cumple tales y cuales
principios.
b) Una teora no slo determina, a travs de sus leyes, una clase de modelos. Una
teora
determina una clase de modelos para algo, para dar cuenta de ciertos datos,
fenmenos o
experiencias correspondientes a determinado mbito de la realidad. Parte de la
identificacin de la teora consiste en la identificacin de esos fenmenos empricos de
los
que pretende dar cuenta.
c) Una vez identificados los modelos tericos abstractos y los fenmenos empricos de
los que
se pretende dar cuenta, tenemos lo esencial de la teora. Lo que hace la teora es
definir los
modelos con la pretensin de que representen adecuadamente los fenmenos, con la
pretensin de que los sistemas que constituyen los fenmenos de que queremos dar
cuenta
estn entre los modelo de la teora. Lo esencial es que expresa la pretensin de que
nuestra

teora representa adecuadamente la realidad, esto es, que nuestros modelos se

apliquen
bien a los sistemas a aplicar. As es como la teora dice cmo es el mundo, esos
pedazos del
mundo de que quiere dar cuenta en su mbito de aplicacin especfico. Dice que el
mundo es
de cierto modo al afirmar que ciertos sistemas empricos especficos son (o se
aproximan a, o
se subsumen bajo) modelos de los que ella ha definido; el mundo, los sistemas
empricos,
se comporta de ese modo.
Derivativamente, una teora es derivativamente verdadera si y solo si su asercin
emprica es
verdadera y en el sentido de falsar una teora, si la asercin es falsa, la teora queda
falsada En
el sentido de que no todo puede permanecer igual. Si no es falsable ser porque
entendemos
entonces por teora slo la parte esencial.
2) La nocin de teora de Suppes
Patrick Suppes es el primero en criticar la prctica general de la Concepcin Heredada
de identificar
las teoras con determinadas formulaciones lingsticas. Como alternativa a la
axiomatizacin clsica
desarrolla un programa alternativo de axiomatizacin de teoras cientficas con el que
se inaugura el
enfoque semntico.
El nuevo procedimiento de axiomatizacin consiste en la introduccin de o que Suppes
llama un
predicado conjuntista: axiomatizar una teora es definir un predicado conjuntista.
En esencia, un
47

predicado tal es una manera especfica de definir una clase de modelos. Entiende los
modelos como
sistemas o estructuras constituidas por una serie de dominios bsicos y relaciones y

funciones
construidos sobre ellos. El recurso que se utiliza para definir la clase de modelos es el
lenguaje
semiformal de la teora intuitiva de conjuntos, completado con todos los recursos
matemticos
necesarios propios de la teora que se est axiomatizando.
3) Adams y las aplicaciones intencionales
Vemos ahora la importante modificacin que introduce el discpulo de Suppes, Adams.
La
modificacin de Admas est destinada a subsanar lo que l considera una insuficiencia
crucial de la
versin original de Suppes.
Adams propone abordar el concepto de verdad o correccin a travs de la nocin de
interpretacin
pretendida o modelo pretendido de teora, que es cualquier sistema del cual se pretende
que se
ajusta a los axiomas. Hay en general un enorme nmero de sistemas que satisfacen los
axiomas de la
teora, pero en las teoras de la ciencia emprica, normalmente slo unos pocos de ellos
sern
aplicaciones o modelos pretendidos.
Son modelos pretendidos de la mecnica newtoniana, por ejemplo, el sistema formado
por la tierra y
la luna, o el constituido por el sol con los planetas, o un plan inclinado, o un proyectil
sobre la tierra,
etc.
La identificacin o caracterizacin metaterica de una teora debe incluir entonces,
adems del
conjunto de modelos que satisfacen el predicado, un conjunto de aplicaciones, de
sistemas fsicos
especficos, de partes concretas de la realidad, de las que se pretende que se
comportan como la
teora dice, esto es, de las que se pretende que estn entre los modelos.
Formalmente, una teora T se caracterizar como un par ordenando de conjuntos T =

<C. I> tal que C

es el conjunto de todas las entidades que satisfacen los axiomas, e I es el conjunto de
modelos
pretendidos.
La teora es verdadera si y solo si todos sus modelos pretendidos satisfacen sus
axiomas, en caso
contrario es falsa. Si T = <C, I>, entonces T es verdadera si y solo si I est incluido en
C. C expresa la
asercin o hiptesis emprica vinculada a la teora, de la cual sta hereda su valor
veritativo.
4) La familia semanticista
4.1) Van Fraassen: espacios de estado; base emprica y observabilidad
Van Fraassen coincide con Suppes en que el modo filosficamente ms iluminado de
caracterizar una
teora es presentndola como definiendo una clase de modelos. Discrepa de l, en la
naturaleza
matemtica de estas entidades. Frente a los modelos como estructuras conjuntistas de
Suppes, Van
Fraassen opta por los modelos como puntos o trayectorias en un espacio de
estados, idea cuya
aplicacin a las teoras fsicas atribuye a Beth. Beth propone un anlisis semntico de
las mecnicas
newtoniana y cuntica en trminos de sistemas constituidos por estados gobernados
por las
ecuaciones mecnicas fundamentales.
Un estado de un sistema est definido por los valores de ciertas magnitudes en cierto
momento. Por
ejemplo, un estado de un gas queda definido por los valores del volumen, la presin y
la
temperatura; se puede identificar por tanto con una triada ordenada <v, p, t> de
nmeros reales,
donde cada componente es respectivamente, el valor de la correspondiente magnitud.
Los estados
se identifican con puntos en un determinado sistema de coordenadas, de tantas

dimensiones como
componentes tengan los estados. A cada tipo de sistema le corresponde un espacio de
estados, el
conjunto de todas las posibles n-secuencias (n es la dimensin del espacio) de valores;
los estados
posibles de los sistemas de ese tipo son pues los puntos de ese espacio.
La parte pura de la teora define el tipo de sistemas a los cuales se aplica; las
aserciones empricas
tendrn la forma de que cierto sistema emprico dado pertenece a tal clase.
4.2) Suppe: sistemas relacionales; fenmenos, datos y teoras
Suppe inicia su propio enfoque semntico. Suppe sigue a Suppes en la aproximacin
modeloterica
general pero prefiere caracterizar los modelos mediante estados en un espacio de
estados, no al
modo conjuntista de Suppes. El instrumental matemtico es prcticamente coincidente
con el de van
Fraassen.
48

Una teora se analiza ahora como un sistema relacional consistente en: a) un dominio
que contiene
todos los estados lgicamente posibles de los sistemas de que trata la teora (el espacio
de estados
entero) y b) una serie de relaciones entre los estados, determinadas por los postulados
o leyes de la
teora, que especifican las trayectorias y regiones fsicamente posibles. Una teora
entonces,
determina, a travs de alguna de sus formulaciones, una clase de tales sistemas, una
clase de
modelos. Para su identidad no es esencial la particular formulacin sino la clase de
modelos.
La teora pretende dar cuenta de cierto mbito de la experiencia, lo que Suppe llama el
alcance
pretendido. Este mbito de aplicacin est constituido por sistemas fsicos que ejercen
de datos

duros para la teora. Los datos no son en ningn sentido relevantes observables:
las teoras tienen
como su principal objeto los informes de datos duros, no informes de observacin
directa. La
necesidad de una dicotoma observacional/terica desaparece. La reemplaza la
distincin entre
datos duros aproblemticos sobre sistemas fsicos y condiciones de entorno y los ms
problemticos
asertos tericos acerca de ellos.
Una teora es empricamente verdadera si los datos coinciden con los modelos de la
teora, si los
sistemas fsicos del alcance pretendido coinciden con los sistemas fsicos causalmente
posibles
determinados por la teora, esto es, si en los sistemas de datos los valores de los
atributos son los
determinados por la teora. Suppe coincide con van Fraassen en que la aceptacin de
la teora no
supone aceptar su verdad, la verdad de toda ella.
4.3) Giere: modelos e hiptesis tericas
Giere desarrolla su propia versin de la concepcin semntica en el marco de un
programa
metacientfico ms amplio de anlisis de los diversos elementos de la ciencia desde una
perspectivo
cognitiva. Desde esta perspectiva, propone considerar las teoras como medios para
definir modelos
abstractos de los que se postula su aplicacin a ciertos sistemas reales. Su sugerencia
es que se
entienda una teora como compuesta de dos elementos: a) una poblacin de modelos y
b) varias
hiptesis conectando esos modelos con sistemas en el mundo real.
Los modelos ahora no se caracterizan como entidades conjuntistas, ni mediante
espacios de estado,
ni de ninguna otra forma especfica. No se les atribuye una naturaleza matemtica
determinada. La

nocin de modelo terico es aqu extremadamente amplia, son entidades abstractas

definidas
mediante ciertos recursos expresivos, generalmente pero no necesariamente,
lingsticos (por
ejemplo, se pueden usar grafos o croquis). A veces los modelos pueden ser a escala
fsicamente
construidos como en el caso del modelo de doble hlice de Watson y Crick para e ADN.
Un modelo terico es parte de un mundo imaginado. No existe en ningn lugar
excepto en las
mentes de los cientficos o como sujetos abstractos de las descripciones verbales que
los cientficos
escriben.
Una vez definidos los modelos tericos, la teora formula ciertas hiptesis tericas.
Una hiptesis
terica es un enunciado o proposicin que afirma cierto tipo de relacin entre un
modelo y un
sistema real determinado. Las hiptesis tericas s son entidades lingsticas
(proposicionales),
verdaderas o falsas. La relacin afirmada en la hiptesis es la de similitud o semejanza.
Los enunciados contenidos en la formulacin de la teora no estn en conexin directa
con el mundo
real sino que se conectan indirectamente con el mundo a travs de los modelos. Los
enunciados
definen los modelos y los modelos estn directamente conectados con el mundo fsico a
travs de la
relacin de similaridad.
4.4) Sneed y la concepcin estructuralista
La concepcin estructuralista ana y desarrolla de un modo especfico dos tradiciones
anteriores. De
un lado, el programa Suppes-Adams de anlisis y reconstruccin de teoras mediante el
instrumental
modeloterica de la teora informal de conjuntos. De otro, los trabajos de los
historicistas, en
especial de Kulin y Lakatos, donde se analizan las teoras como entidades

estructuralmente
complejas u susceptibles de evolucin, con un ncleo central inmutable y un
entorno
complementario cambiante.
Dentro de la familia semntica, la concepcin estructuralista es la que ofrece un
anlisis ms
detallado de la estructura fina de las teoras y sus rasgos generales son:
a) Se rechaza la distincin terico/observacional y se sustituye por
terico/terico,
relativizada a cada teora.
49

b) En trminos de esa nueva distincin se caracteriza la base emprica y el domino de

aplicaciones pretendidas. Los datos estn cargados de teora pero no de la teora para
la
que son datos.
c) Con esta nueva caracterizacin se da una formulacin de la asercin emprica que
claramente excluye la interpretacin autojustificativa de la misma.
d) Se identifican como nuevos elementos en la determinacin de la determinacin de
los
modelos, adems de las tradicionales leyes, otros menos manifiestos pero igualmente
esenciales, las ligaduras o restricciones cruzadas.
e) Se identifican los vnculos entre los modelos de diversas teoras.
f) Se caracteriza la estructura sincrnica de una teora como una red con diversos
componentes, unos ms esenciales y permanentes y otros ms especficos y cambiantes.
La evolucin de una teora consiste en la sucesin de tales redes.
5) La concepcin estructuralista de las teoras
Una teora tiene una parte formal y otra aplicativa. Ambas partes se articular a su vez
en diversos
niveles de especificidad. Esta idea de los diversos niveles de especificidad se expresa
mediante la
nocin de red terica, que describe en toda su riqueza la estructura sincrnica de las
teoras, su
imagen congelada en un momento dado de su evolucin.
Las redes estn formadas por diversos elementos estratificados segn su especificad.

Cada uno de
estos elementos tiene una parte formal y otra aplicativa. La parte formal global de la
teora-red
queda expresada por el conjunto de las partes formales de los elementos
constituyentes; su parte
aplicativa global por el conjunto de las partes aplicativas de sus constituyentes. A estos
elementos
constituyentes de les denomina elementos tericos. La parte formal de los elementos
tericos se
denomina ncleo y su parte aplicativa, dominio de aplicacin pretendida (o
intencionales).
5.1) El Ncleo K
El ncleo, al que denotamos mediante la letra K, expresa la parte formal de la
teora, las
tradicionales leyes. Las leyes no se expresan en trminos lingusticos sino modelsticos,
entendiendo
los modelos como estructuras conjuntistas definidas mediante la introduccin de cierto
predicado. El
ncleo K, contiene una serie de modelos, las estructuras que satisfacen los axiomias del
predicado.
A diferencia de Suppes y Adams, para el estructuralismo no es adecuado identificar el
ncleo con un
nico conjunto de modelos.
5.2) Aplicaciones intencionales
El ncleo K es el componente formal de la teora, pero no el nico. Las teoras
empricas pretenden
que las constricciones de K lo son de ciertas partes de la realidad fsica, los sistemas
empricos a los
que se pretende aplicar el ncleo. Estos sistemas empricos se denominan en el
estructuralismo,
aplicaciones pretendidas o intencionales y se denota s conjunto mediante I.
5.3) Las teoras como elementos tericos. Contenido y asercin emprica
Elementos tericos
Se presenta la nocin de estructuralismo mnimo (y previsional) de teora, la nocin de

elemento
terico. Un elemento terico una teora en este sentido mnimo- est constituido por:
1) una parte
formal que expresa los recursos conceptuales a diferentes niveles y las constriccionesleyes que
segn la teora rigen su mbito de estudio y 2) una parte aplicativa que especifica en
trminos
pretericos, los sistemas fsicos a los que la teora pretende aplicarse, de los que
pretende que son
regidos por sus constricciones-leyes.
Un elemento terico T se identifica con el par formado por el ncleo K, la parte formal
y el dominio
de aplicaciones I, la parte aplicativa: T = <K, I>.
El ncleo K expresa la parte matemtico-formal de la teora. Es en ella donde se
presentan las
condiciones que rigen la teora, rigen las partes de la realidad de que ella trata.
Estas condiciones
consisten en bsicamente en las leyes propiamente dichas y las condiciones de ligadura
que en el
ncleo se corresponden con los conjuntos M y GC.
La nocin central para expresa la asercin emprica es la de contenido emprico, que
se deriva de la
de contenido terico.
50

El contenido emprico recoge los conjuntos de modelos parciales que resultan de

recortar los
componentes T-tericos de los modelos potenciales que satisfacen las restricciones.
Asercin emprica
Segn el estructuralismo, la naturaleza que tiene la asercin emprica de una teora
est dado en que
ciertos sistemas fsicos, T-no tericamente descritos, satisfacen las condiciones puestas
por la teora
en el sentido siguiente: sos son los datos de experiencia que se deberan obtener si la
realidad

operase como la teora dice. Esta pretensin se expresa en la asercin emprica de la

teora.
5.4) Especializacin. Las teoras como redes tericas
Los elementos tericos expresan la estructura sincrnica de las teoras solo
parcialmente.
El estructuralismo ha desarrollado el concepto de red terica, que expresa la
naturaleza sincrnica de
las teoras en toda su riqueza estructural.
Especializacin
Una red terica es un conjunto de elementos tericos que guardan cierta relacin entre
s. La idea es
que el conjunto represente la estructura (sincrnica) de una teora en sus diferentes
estratos, esto
es, en sus diversos niveles de especificidad. Tal conjunto, partiendo de elementos muy
generales, se
va concretando progresivamente en direcciones diversas cada vez ms restrictivas y
especficas, las
ramas de la teora-red. La relacin que se ha de dar entre los elementos tericos
para considerar el
conjunto, una red ha de ser de concrecin o especificacin o, una relacin de
especializacin.
ste es el panorama que pretende recoger y expresar la nocin estructuralista de red
terica. El
primer paso es definir de modo preciso la relacin de especializacin. Un elemento T
es una
especializacin de otro T si la parte formal (las constricciones) de T es una concrecin
de la T y est
destinada a dar cuenta de una parte de las aplicaciones pretendidas de T.
Redes tericas
Una red terica N es simplemente un conjunto de elementos tericos (parcialmente)
ordenado por
una relacin de especializacin; es un conjunto no vaco de elementos tericos y, es
una relacin de
especializacin. A cada red le corresponde un conjunto de aplicaciones pretendidas, la

unin de los
dominios y de los elementos que lo constituyen.
Mediante el concepto de red terica se captura la estructura de una teora en un
momento dado en
toda su complejidad; este concepto expresa adecuadamente la naturaleza de las teoras
desde un
punto de vista sincrnico o esttico.
Un tipo especialmente interesante de redes (conectadas) son aquellas que presentan un
nico
elemento superior del cual emana todo. Estas redes (que tienen forma de pulpo o de
rbol
invertido) se caracterizan formalmente por tener algn elemento terico del que todos
son
especializaciones.
Las redes arbreas reflejan parcialmente la imagen de la ciencia, parcialmente porque
faltan por ver
los aspectos diacrnicos, el tipo de evolucin de las redes que constituye la ciencia
normal kuhniana.
Las teoras tienen, en los elementos tericos de la red, un componente formal, el ncleo
K y otro
aplicativo, el dominio I de aplicaciones pretendidas.
5.5) Vnculos intertericos y holones
Vemos ahora un ltimo componente de la concepcin estructuralista de las teoras,
dicho
componente pretende dar cuenta de un hecho usual y esencial de la ciencia, a saber,
que las teoras
no son entidades aisladas sino que mantienen estrechas relaciones entre s. Algunas de
estas
relaciones se expresan mediante leyes mixtas o leyes puente, mediante postulados
que
involucran conceptos de diversas teoras. Las teoras mantienen vnculos intertericos.
En principio
los vnculos pueden relacionar varias teoras a la vez pero lo usual parece ser que
relacionen dos

teoras. Ejemplo: el vnculo interterico binario entre la hidrodinmica y la

termodinmica que
relaciona presin, volumen y energa, siendo la presin una magnitud especficamente
dinmica y la
energa una magnitud especficamente termodinmica.
Los vnculos intertericos tienen, como las leyes propias de la teora, efectos
restrictivos sobre los
modelos pero a diferencia de ellas no son satisfechas o insatisfechas por modelos
potenciales de una
51

nica teora sino por pares (en el caso de los vnculos binarios) de modelos potenciales
de teoras
diferentes. Las leyes propias determinan un subconjunto de modelos potenciales,
aquellos que las
satisfacen (los modelos actuales). Los vnculos intertericos no determinan
directamente un
subconjunto de modelos potenciales de teoras.
No todas las teoras dentro de una disciplina o de toda la ciencia son la misma teora.
Por tanto,
considerar los vnculos intertericos exactamente del mismo modo que los axiomas
propios de las
teoras es inaceptable, Lo adecuado es reconstruirlos e incluirlos en la caracterizacin
de las teoras
como lo que son: leyes puentes que vinculan teoras. Su existencia genera cierto tipo de
unidad
pero no puede convertir teoras diferentes en la misma teora. Esas unidades que
generan no son
teoras individuales sino grupos de teoras interconectadas, o lo que el estructuralismo
denomina
holones tericos. Estas macro-unidades cientficas pueden englobar partes de una
disciplina o
incluso de disciplinas diferentes, y son fundamentales para elucidar algunas cuestiones
relativas a la
estructura global de la ciencia.

La reconstruccin o anlisis de una teora debe poner de manifiesto todos los aspectos
que sean
relevantes para elucidar su naturaleza. A continuacin los elementos relevantes para la
dimensin
sincrnica de las teoras:
1) Las teoras tienen una parte formal, las leyes y otra aplicativa, los sistemas fsicos
concretos a
los que se pretende aplicar las leyes. Tal pretensin es expresada por la asercin
emprica de
la teora.
2) Es ms adecuado identificar las teoras a travs de sus modelos que a travs de sus
enunciados. Lo preferible es presentar el anlisis el anlisis metafrico as como las
cuestiones vinculadas al mismo, directamente en trminos de modelos.
3) El aparato conceptual con el que se describen y determinan los modelos de datos es
slo
parte del usado por la teora. La determinacin de los modelos de datos no puede
depender
de conceptos cuya aplicacin presupongan la validez de la teora. Los conceptos
mediante los
que se determinan los datos son previos, anteriores o no-tericos en relacin a la teora
para
la que son datos. Los conceptos mediante los que la teora explica o subsume esos
datos son
los conceptos propios o tericos en relacin a la teora. La distincin terico/noterico es
relativa a cada teora.
4) La caracterizacin del componente formal debe hacer manifiesta la diferencia entre
aparato
conceptualizador y aparato constrictivo.
5) En cuanto al aparato conceptualizador, se debe hacer manifiesta la diferencia entre
los
conceptos previos, T-no tericos y los conceptos propios, T-tericos.
6) En cuanto al aparato constrictivo, la reconstruccin debe hacer manifiesta la
diferencia

entre: a) constricciones que se imponen a sistemas aislados e involucran conceptos

exclusivos de la teora en cuestin (leyes propias); b) constricciones que se imponen a
sistemas aislados e involucran conceptos de diferentes teoras (leyes puente) y c)
constricciones que se imponen a grupos de sistemas (condiciones de coherencia o
ligaduras).
7) La parte aplicativa, los sistemas de datos, seleccionada intencional y
paradigmticamente y
determinada T-no tericamente, contribuye esencialmente a la determinacin del
significado
emprico de los trminos tericos.
8) Todo lo anterior se debe considerar conformado una estructura dctil, con unas
partes ms
genricas y esenciales que constituyen el ncleo firme de la teora, y otras partes ms
especficas y accidentales que pueden ir modificndose como resultado de la
contrastacin
de la asercin emprica.
Captulo 11 Relaciones intertericas
Las teoras de las ciencias empricas en general no son mnadas conceptuales y
metolgicas; es
decir, ni desde el punto de vista de su armazn conceptual ni tomando en cuenta el
modo como
funcionan, como se aplican y ponen a prueba, pueden ellas existir de manera
completamente
aislada unas de otras. En este captulo veremos otros tipos de relaciones intertericas
de naturaleza
ms global, en especial la teorizacin, la reduccin y la equivalencia.
1) Concepto general de relaciones interterica
52

Cada teora de las diversas disciplinas cientficas se halla en relaciones ms o menos

estrechas y de
diversa ndole con otras teoras, con frecuencia de la misma disciplina pero a veces
tambin de
disciplinas bastante distintas.
La identificacin de una teora dada presupone su relacin con otras teoras, sin

embargo, las
relaciones intertericas resultan esenciales a la hora de someter a prueba emprica la
teora en
cuestin. As por ejemplo, cuando ponemos a prueba las predicciones experimentales
de la
termodinmica mediante un termmetro, presuponemos implcitamente que ste
funciona
correctamente y ello quiere decir que funciona de acuerdo a leyes mecnicas,
hidrodinmicas,
electrostticas, etc.
Al contrastar una teora con la experiencia siempre hay que tener en cuenta al menos
algunas de sus
relaciones con algunas otras teoras.
El estudio de las relaciones intertericas resulta imprescindible para comprender los
aspectos ms
globales de la ciencia, tanto en una perspectiva sincrnica como en una diacrnica.
2) Teorizacin
La teorizacin, vista como relacin interterica, se da entre dos teoras: T1 y T0
cuando algunos de
los conceptos que aparecen en las leyes de T1, vienen determinados en la T0, o sea, le
son
provistos a T1 por T0; a tales conceptos podemos llamarlos conceptos T1 notericos; mientras
que a los dems conceptos de T1, que no vienen determinados por ninguna teora
independiente de
T1, las llamamos T1-tericos.
La teorizacin puede ser total o parcial. Diremos que T1 es una teorizacin total de
T0 cuando T0 es
la nica teora de la cual T1 es teorizacin, o sea, T0 es la nica teora que subyace a T1.
Es plausible
suponer que un ejemplo de teorizacin total lo constituye la relacin entre la mecnica
y la
cinemtica, pues todos los conceptos no propios de la mecnica que hay que
presuponer para aplicar

la mecnica y la cinemtica, pues todos los conceptos no propios de la mecnica que

hay que
presuponer para aplicar la mecnica provienen de la cinemtica. Sin embargo la
teorizacin total es
ms bien la excepcin y no la regla. Por lo general, a una misma teora subyacen
varias teoras
distintas, o sea, T1 es teorizacin de T0, T0, T0.
As, la termodinmica es teorizacin de por lo menos tres teoras: la geometra fsica
(por el
volumen), la hidrodinmica (por la presin) y la estequiometra (por el concepto de
mol).
3) Reduccin
Si todas las disciplinas cientficas existentes pudieran reducirse a una sola (por
ejemplo, todas las
ciencias sociales a la biologa, la biologa a la qumica, la qumica a la fsica) y dentro
de esa disciplina
hubiera una sola teora que redujera a todas las dems (por ejemplo, la gran teora
unificada que
persiguen los fsicos de partculas), entonces podramos considerar el desarrollo
cientfico como un
progreso hacia una unidad cada vez mayor, en la que todas las teoras quedaran
al fin reducidas
a una sola que explicara todos los fenmenos del universo y que se podra considerar
la verdadera
representacin de la realidad tal cual es; tal situacin parecera una garanta de
conocimiento
definitivo.
La teora reductora se refiere en lo esencial al mismo campo de la experiencia y que
contiene la
misma informacin y ms que la que provee la teora reducida. Ello sugiere dos cosas.
Por un lado,
que ambas teoras estarn vinculadas semnticamente y por tanto, que habr una
conexin entre los
conceptos de ambas. Y por otro, que las aseveraciones sobre el mundo que hace la

teora reductoras
son ms fuerte que las que hace la reducida pero no incompatibles con ellas.
4) Equivalencia
La relacin de equivalencias entre teoras tambin ha jugado un papel considerable en
discusiones
epistemolgicas generales, aunque quiz no de manera tan controvertida como en el
caso de la
reduccin. La significacin de la equivalencia en trminos generales estriba en que,
cuando ella se da,
dos teoras que a primera vista parecen muy distintas por sus conceptos y leyes, resulta
no obstante,
que hablan de lo mismo o que aportan la misma informacin sobre la misma porcin
de realidad.
Al tratar el tema de la equivalencia de teoras y sus consecuencias epistemolgicas
conviene
distinguir dos tipos generales de equivalencia que muchas veces se confunden: la que
podemos
llamar equivalencia fuerte o equivalencia en sentido estricto, y la que llamaremos
equivalencia
53

emprica, que es ms dbil. En el primer caso, aunque conceptos y leyes de una y otra
teora sean
distintos, hay una correspondencia plena y biunvoca entre ambas teoras, de modo que
todo lo que
puede decirse en la primera teora puede traducirse sin prdida de informacin a la
segunda, y
viceversa. Es decir, hay una correspondencia exacta entre ambas teoras tanto a nivel
conceptual
como a nivel del contenido de sus afirmaciones respectivas. El ejemplo de la
correlacin entre una
geometra de puntos y una geometra de lneas es de esta naturaleza.
En el caso de la equivalencia emprica, ms dbil, ese paralelismo slo se da a nivel de
los datos
empricos que cubren ambas teoras: todo dato predicho por una teora es tambin

predicho por la
otra, y a la inversa. Y, sin embargo, puede que no haya una correlacin-plena ni entre
los conceptos
ni entre las leyes de ambas teoras, de modo que no pueden derivarse las leyes de una
teora a partir
de las de la otra ni a la inversa. Las teoras dicen mas de lo que dice la experiencia
que ellas
cubren.
Dez, J.A. y P. Lorenzano, La concepcin estructuralista en el contexto de lafilosofa
de la ciencia
del siglo XX, en Dez, J.A. y P. Lorenzano (eds.),Desarrollos actuales de la
metateoraestructuralista: problemas y discusiones,Quilmes: Universidad Nacional de
QuilmesUniversidad Autnoma deZacatecas-Universidad Rovira i Virgili, 2002, pp. 2671.
La Concepcin Estructuralista en el contexto de la filosofa de la ciencia del Siglo XX
La teorizacin filosfica sobre la ciencia (entendida como actividad o proceso o como
resultado o
producto) o, sencillamente filosofa de la ciencia, surge como disciplina con
especificidad propia,
profesionalizndose en el periodo de entreguerras. Esta profesionalizacin se da a
partir de la
conformacin en los aos veinte de lo que desde 1929 pasara a denominarse
oficialmente Crculo de
Viena y se consolida tras la llegada a los Estados Unidos de los principales filsofos de
la ciencia
centroeuropeos.
En su desarrollo desde entonces, ha pasado por tres etapas principales: 1) un periodo
clsico que
abarca desde fines de los aos veinte hasta finales de los aos sesenta (Carnap,
Reichenbach,
Popper, Hempel, Nagel, etc.); 2) un periodo historicista, iniciado en los sesenta y
dominante durante
los setenta y principios de los ochenta (Hanson, Tulmin, Kuhn, Lakatos, Feyrabend,
Lauden, etc.) y 3)

un periodo contemporneo, que se inicia a comienzos de los setenta y se extiende hasta

nuestros
das (Kitchert, Hacking, Ackermann, Suppes, van Fraassen, Gire, Suppe, Sneed,
Stegmuller, Moulines,
Balzar, etc.).
En cada uno de estos periodos prevalece una determinada concepcin de la naturaleza
y estructura
de las teoras cientficas, respectivamente: 1) Concepcin Heredada, las teoras como
sistemas
axiomticos empricamente interpretados; 2) Concepcin Historicista, las teoras como
proyectos de
investigacin; 3) Concepcin Semntica, las teoras como entidades modelo-tericas.
1) Periodo Clsico. La concepcin Heredada:
Crculo de Viena a partir de 1924, en sus concepciones podemos encontrar las
siguientes
influencias principales: el positivismo crtico alemn de fines del siglo XIX, la
epistemologa
italiana, la nueva lgica llamada lgica matemtica, formal, clsica o logstica- y el
por ella
fecundado anlisis lgico del lenguaje. La existencia del grupo en torno a Schlick se
hace pblica
a partir de 1929, con la aparicin del manifiesto La concepcin cientfica del mundo.
El Crculo
de Viena.
El movimiento filosfico iniciado por el Crculo de Viena que, a pesar de la
multiplicidad de
aspectos, las diferencias y la variedad de matices, recibi primero el nombre unitario
de
positivismo lgico o neopositivismo y a partir de comienzos de los aos treinta el de
neoempirismo o empirismo lgico, fue continuado en otro contexto poltico y social,
fundamentalmente en los Estados Unidos por los emigrados europeos, dando lugar a lo
que
entre 1940 y 1960 constituira la filosofa de la ciencia hegemnica en los pases
anglosajones.

Aun cuando se suele considerar este periodo como un homogneo, en l la filosofa de

la ciencia
estuvo marcada no por una sola concepcin sino por un conjunto de problemas
abordados,
posiciones y postulados que tenan un aire comn.
El positivismo o empirismo lgico, el racionalismo crtico, el realismo cientfico
posean un aire
de familia. Dicho aire podra denominarse clsico, en el sentido de que, si bien
muchas de sus
54

tesis y mtodos son hoy considerados como superados por una gran parte de
filsofos de la
ciencia contempornea, stos constituyen punto de referencia obligado para los
desarrollos
ulteriores, siendo imposible imaginar la filosofa de la ciencia actual sin tomar en
cuenta los
aportes realizados en dicho periodo.
Algunos de los temas abordados durante este periodo fueron la demarcacin entre
ciencia y nociencia, la naturaleza de los conceptos cientficos, la estructura de las
teoras cientficas, la
relacin entre teora y experiencia, la metodologa de la contrastacin de hiptesis y su
posterior
evaluacin y la naturaleza de la explicacin y prediccin cientficas. Se propusieron
distintos
criterios de demarcacin entre ciencia y la no-ciencia (entendida sta ltima como
pseudociencia
por algunos, en especial Popper, y como metafsica por otros como Carnap); no todos
aceptaban
la distincin entre conceptos observacionales y conceptos tericos, aunque el mtodo
hipottico-deductivo era aceptado casi universalmente como el mtodo segn el cual
son
contrastados (o sometidos a examen) las hiptesis, no haba acuerdo respecto del modo
de
evaluar las contrastaciones exitosas de la hiptesis, ya sea siguiendo el

confirmacionismo de
Carnap o el corroboracionismo de Popper, an cuando se aceptaba la eludicidacin de
los
conceptos de explicacin y prediccin cientficas realizada por Hempel.
En cuanto a la estructura de las teoras cientficas, cuya elucidacin constituy uno de
los
problemas centrales de dicho periodo, podra decirse que si bien todos consideraban a
las teoras
como conjunto de enunciados organizados deductivamente o axiomticamente, no
todos
concordaban en el modo de especfico en que esto deba se comprendido y precisado.
Esta
concepcin es conocida como concepcin heredada, clsica, estndar, recibida,
ortodoxa,
tradicional o enunciativa y conceba las teoras empricas como clculos axiomticos
parcialmente interpretados. De acuerdo con ella, las teoras cientficas particulares
pueden
presentarse bajo la forma de un sistema interpretado que consta de: a) un clculo
especfico
(sistema axiomtico) y b) un sistema de reglas semnticas para su interpretacin.
Los sistemas axiomticos constan de dos partes: el clculo bsico lgico y un clculo
especfico
que se le aade. El clculo bsico consiste en el clculo de enunciados y una parte,
ms chica o
ms grande, del clculo funcional. No contiene por lo general, reglas de inferencia sino
slo los
enunciados primitivos adicionales, llamados axiomas y denominado sistema
axiomtico.
En el caso de la teora particular, las leyes de dicha teora (las que se deducen de
otras) son los
axiomas, los enunciados bsicos primitivos de la teora. De estos axiomas se deducen
como
teoremas el resto de las afirmaciones tericas.
Un sistema axiomtico contiene por un lado constantes lgicas (pertenecientes al

clculo bsico)
y por el otro, constantes especficas o axiomticas (propias del clculo especfico).
2) Periodo Histrico. La Concepcin Historicista
Las crticas a la concepcin heredada provenan de personas interesadas en la historia
de la
ciencia, que empezaron a ser conocidas bajo el nombre de nuevos filsofos de la
ciencia.
Constituyen una verdadera revolucin contra la filosofa de la ciencia del periodo
clsico, al
extremo de acusarla de demasiado simplista y de insinuar hacer filosofa de la
ciencia-ficcin y
no de la ciencia real tal como la practican los cientficos.
Dentro de estos nuevos filsofos se destaca la figura de T. Kuhn con su obra La
estructura de las
revoluciones cientficas marca la irrupcin de los nuevos filsofos.
La obra de Kuhn se caracteriza por la idea de largas permanencias en el tiempo de
slidos marcos
conceptuales que evolucionan, se enriquecen, decaen y finalmente son reemplazadas.
El impacto
que provoc en su momento se explicara porque realiza una sntesis de las
preocupaciones y los
logros tericos de diversas corrientes de pensamiento con una slida trayectoria
histrica.
Kuhn asume e incorpora las influencias de pensadores de historiadores, de la
psicologa, la
filosofa y las transforma en esa concepcin original que visualiza a la ciencia como
nacimiento,
desarrollo, crisis y reemplazo de paradigmas. La corriente popperiana no les
perdonaran los
aspectos pragmticos (psicolgicos y sociolgicos) de su propuesta.
La obra de Kuhn marca definitivamente el desarrollo de la reflexin metacientfica
posterior. Su
influencia se hizo sentir en la puesta en primer plano de cuestiones tales como la
importancia de

los estudios histricos y de los determinantes sociales, la puesta en duda de la

distincin tajante
entre el contexto de descubrimiento y el contexto de justificacin, el problema de la
carga
55

terica de las observaciones y el problema de la inconmensurabilidad entre teoras, las

nociones
de progreso y racionalidad cientficos, la discusin acerca de la relevancia y alcance de
los anlisis
formales y el problema del relativismo.
A la mayora de sus tesis y estudios diacrnicos subyace una nueva concepcin acerca
de la
naturaleza y estructura sincrnica de las teoras cientficas que se supone ms apegada
a la
prctica cientfica tal como la historia nos las presenta. Los principales rasgos de esta
nueva
nocin de teoras son las siguientes:
1) Las teoras cientficas son entidades sumamente complejas y dctiles, susceptibles de
evolucionar en el tiempo sin perder su identidad.
2) Las teoras cientficas no son enunciados o secuencias de enunciados y en un sentido
propio
no pueden calificarse de verdaderas o falsas, aunque con ellas s se realizan
afirmaciones
empricas verdaderas o falsas.
3) Las teoras cientficas tienen, al menos, un componente formal, terico o conceptual
(las
leyes o hiptesis) y otro emprico o aplicativo (los sistemas a los que se pretende
aplicar).
4) Cierta parte de cada uno de los componentes de las teoras cientficas se considera
intocable
por decisin metodolgica (ncleo). Las teoras tienen pues partes esenciales y
partes
accidentales; en ello radica su ductilidad. El aparato formal se articular en niveles
progresivamente cada vez ms especficos o restrictivos, que da cuenta de situaciones

empricas tambin especficas. A veces se denomina teora, en un sentido ms

restrictivo, a
estos desarrollos concretos del formalismo.
5) Las teoras cientficas tienen diversos niveles de empiricidad. Parte de la teora
conceptualiza
los hechos y parte los explica y se contrasta con lo as conceptualizado.
6) La parte especfica, accidental del formalismo, es la que recibe el peso de la
contrastacin.
Ante esta contrastacin negativa, el ncleo siempre se puede salvaguardar modificando
los
elementos no nucleares.
7) Las teoras cientficas llevan asociadas normas, valores o simplemente indicaciones,
metodolgicas y evaluativas, algunas de ellas fuertemente dependientes del contexto.
Bajo esta perspectiva se desarrolla toda una rama de los estudios de la ciencia que se
centra en
el estudio de los determinantes sociales de la ciencia apoyndose en una considerable
investigacin emprica. Esta lnea de investigacin desemboca en el asentamiento
durante los
aos ochenta de la sociologa de la ciencia como disciplina.
3) Periodo Contemporneo. La Concepcin Semntica
Esta no fue la reaccin de toda la comunidad metacientfica, parte de ella sostuvo que
la
investigacin de la ciencia deba ser llevada a cabo utilizando mtodos o basndose en
resultados
pertenecientes a las ciencias naturales. Nos encontramos con una serie de propuestas
de anlisis
del desarrollo del conocimiento en general y/o del conocimiento cientfico en particular
conocidas con el nombre de epistemologas evolucionistas, que toman como base
para su
anlisis la evolucin biolgica; se discuti sobre el realismo cientfico en conexin con
la
problemtica semntica ms general del realismo.
Se recupera durante los aos setenta la confianza en la viabilidad de los anlisis
formales o

semiformales de la ciencia al menos en algunos de sus mbitos, entre ellos el relativo a

la
naturaleza de las teoras que continuaran siendo las unidades bsicas de esto que
llamamos
ciencia, ya que los experimentos y las operacionalizaciones instrumentales en la
ciencia, por
ejemplo, slo tendran sentido en cuanto forman parte de un contexto terico.
A mediado de los setenta y en los ochenta se extiende y acaba imponindose una nueva
caracterizacin en la ciencia que se ha denominado concepcin semntica o modeloterico. No
se trata de una nica concepcin sino de una familia de ellas que comparten algunos
elementos
generales. A esta familia pertenecen P. Suppes, B. van Fraassen y F. Suppe; adems de
Giere, J.
Seneed.
Todos los miembros de esta familia comparten el espritu formalista del periodo
clsico aunque
no la letra: la virtud clsica de la claridad y precisin conceptuales es un principio
regulativo para
ellos; consideran que la mejor manera de aproximarse a ese ideal consiste en utilizar
todos los
instrumentos lgico-matemticos que puedan contribuir a alcanzar ese objetivo. No se
limitan al
uso de la lgica de predicados de primer orden favorito del periodo clsico- sino que
hacen un
56

creciente uso de conceptos, mtodos y resultados lgicos y matemticos, en especial de

la teora
de conjuntos y de modelos.
Esto se ve de modo muy claro en el tratamiento que la concepcin semntica hace de
las teoras
cientficas. A diferencia de lo sostenido en la concepcin heredada, las teoras no se
identifican
metatericamente con conjuntos de enunciados. El slogan del enfoque semntico dice:

presentar una teora no es presentar una clase de axiomas, presentar una teora es
presentar
una clase de modelos. Un modelo, en su acepcin informal mnima, es un sistema o
estructura
que pretende representar, de manera ms o menos aproximada, un trozo de la
realidad,
constituido por entidades de diverso tipo, que realiza una serie de afirmaciones, en el
sentido
de que en dicho sistema pasa lo que las afirmaciones dicen o, las afirmaciones son
verdaderas
en dicho sistema.
Por ejemplo: si tomamos los principios monrquicos ms generales, entonces Espaa,
Holanda,
Blgica, Suecia, etc., en tanto que sistemas o partes de la realidad, son modelos de
dichos
principios mientras que Francia e Italia no lo son.
Puesto que la nocin de modelo es una nocin fundamentalmente semntica (algo es
modelo de
una afirmacin si la afirmacin es verdadera de ello) y que su anlisis ms habitual lo
efecta la
teora de modelos, se denomina concepcin semntica o modelo-terica, a este nuevo
enfoque
que enfatiza la importancia de los modelos en el anlisis de la ciencia; contrariamente,
la
concepcin clsica es calificada de sintctica por su caracterizacin de las teoras
como conjuntos
de enunciados y por su nfasis general en los aspectos lingsticos-sintcticos. El
enfoque
semntico es en parte, un intento de mejorar la concepcin heredada en ese punto.
Segn esta concepcin, una teora es una clase de axiomas, lo cual implica que toda
diferencia en
axiomas supone una diferencia de teoras.
De acuerdo con la concepcin semntica, presentar una teora es presentar una familia
de

modelos. Esta familia puede ser descrita de varios modos, mediante enunciados
diferentes en
lenguajes diferentes y ninguna formulacin lingstica tiene ningn estatuto
privilegiado. No se
atribuye ninguna importancia a la axiomatizacin como tal e incluso la teora puede no
se
axiomatizable en ningn sentido trivial. Es una revisin del enfoque de la concepcin
heredada y
pretende expresar ms adecuadamente una idea ya contenida en la concepcin anterior
aunque
insatisfactoriamente expresada. Esta reconceptualizacin genera inmediatamente otras
subsidiarias vinculadas a la idea central, lo que permite reorientar algunos problemas
que ms
dificultades haban planteado a la concepcin heredada. Uno de ellos ser el relativo a
la
vinculacin de los conceptos tericos con la experiencia. La concepcin heredada
sostiene que
ese vnculo se establece a travs de enunciados, las reglas de correspondencia que
conectan
trminos tericos con trminos que refieren a entidades directamente observables.
En cuanto al desarrollo de esta estrategia, cada miembro de la familia lo hace de un
modo
especfico. No comparten una serie de tesis filosficas sustantivas sino un modo y un
marco en
el que plantear los problemas filosficos sustantivos como el del realismo, la
explicacin o la
causalidad. A pesar de sus diferencias, las diversas caracterizaciones de la nocin de
teora que se
hacen dentro de la familia semntica tienen algunos elementos comunes:
(1) Una teora se caracteriza por determinar un conjunto de modelos: presentaridentificar una
teora es presentar-identificar la familia de sus modelos caractersticos. La
determinacin de
los modelos se realiza mediante una serie de principios o leyes. Las leyes se deben

entender
como definiendo una clase de modelos. Que las leyes definan los modelos no significa
que
una teora sea una definicin o que sea verdadera por definicin. Que las leyes definen
una
serie de modelos significa slo que las leyes determinan qu entidades son las que se
comportan de acuerdo con la teora, por ejemplo, cierta entidad, cierto trozo del
mundo, es
por definicin un sistema (modelo) mecnico si y slo cumple tales y cuales
principios.
(2) Una teora no slo determina, a travs de sus leyes, una clase de modelos. Una
teora
determina una clase de modelos para algo: para dar cuenta de ciertos datos,
fenmenos o
experiencias correspondientes a determinado mbito de la realidad. Parte de la
identificacin de la teora consiste en la identificacin de esos fenmenos empricos de
los
que pretende dar cuenta de ciertos datos, fenmenos o experiencias correspondientes a
determinad mbito de la realidad. Parte de la identificacin de la teora consiste en la
identificacin de esos fenmenos empricos de los que pretende dar cuenta.
57

(3) Una vez identificados los modelos tericos abstractos y los fenmenos empricos de
los que
se pretende dar cuenta, tenemos lo esencial de la teora. Lo que hace la teora es
definir los
modelos con la pretensin de que los sistemas que constituyen los fenmenos de los que
queremos dar cuenta estn entre los modelos de la teora. Esta pretensin se hace
explcita
mediante un acto lingstico o proposicional, mediante una afirmacin o asercin
emprica
de la teora. La asercin emprica afirma que entre los sistemas empricos de los que
queremos dar cuenta y los modelos determinados por leyes se da cierta relacin y de
que
nuestra teora representa adecuadamente la realidad, que nuestros modelos se

aplican
bien a los sistemas a explicar. Dice que el mundo es de cierto modo, al afirmar que
ciertos
sistemas empricos especficos son (se aproximan o se subsumen bajo) modelos de los
que
ella ha definido.
Las diversas versiones de la concepcin semntica discrepan, entre otras cosas, en la
naturaleza precisa de esas entidades a las que denominan modelos y cuya
determinacin
identifica a una teora. Para Suppes y la concepcin estructuralista se trata de modelos
en el
sentido de la teora de modelos, para van Fraassen y Suppe son lo que ellos denominan
espacio de fase o de estado, para Giere son modelos en cualquier sentido informal
aceptable
del trmino.
(4.1) La nocin de teora de Patrick Suppes
Suppes plantea las principales objeciones, propone un programa de axiomatizacin de
teoras cientficas alternativo al de la axiomatizacin clsica.
El nuevo procedimeinto de axiomatizacin consiste en la introduccin de lo que Suppes
llama
un predicado conjuntista: axiomatizar una teora es definir un predicado (o concepto
de
segundo orden) en trminos de o en lenguaje de la teora de conjuntos. Un predicado
tal es
una manera especfica de definir una clase de modelos. Tal manera se caracteriza
bsicamente por entender los modelos en el sentido tcnico de la teora de modelos,
como
sistemas o estructuras constituidas por una serie de dominios bsicos y relaciones y
funciones sobre ellos. El recurso formal que se utiliza para definir la clase de modelos
es el
lenguaje semiformal de la teora intuitiva de conjuntos, completado con todos los
recursos
matemticos necesarios propios de la teora que se est axiomatizando.
(4.2) Adams y las aplicaciones pretendidas

Adams discpulo de Suppes- introduce una importante modificacin con la que intenta
subsanar lo que considera una insuficiencia en la versin original. La cuestin en
juego es la
de la interpretacin emprica. El predicado conjuntista que define los modelos es un
mero
formalismo matemtico abstracto carente de interpretacin emprica o compatible con
interpretaciones muy diferentes, tanto empricas como no empricas; el conjunto de
modelos
que tal predicado determina incluye sistemas de la ms variada constitucin tanto
emprico
como matemticos. Estamos de nueve ante el viejo problema de la conexin del
formalismo
con la experiencia. Otra objecin a Suppes es mostrar que su caracterizacin, sin
elementos
adicionales, no permite distinguir las teoras empricas de las teoras matemticas. La
interpretacin emprica de una teora se expresa a travs de los vnculos que guardan
sus
magnitudes con las teoras de la medicin fundamental. La interpretacin emprica no
se
manifiesta inmediatamente en la caracterizacin-axiomatizacin de una teora.
La objecin de Adams es que si caracterizamos las teoras, como hace Suppes, slo
mediante
el conjunto de sus modelos o realizaciones efectivas, entonces no es posible hacer
explcito el
elemento veritativo o proposicional de las teoras; esto es: no es posible hacer
explcito
el sentido en que las teoras son verdaderas o falsas o correctas o incorrectas. El
conjunto de
modelos caracteriza un modo en el que pueden ser las cosas, el modo en el que segn
las
teora son las cosas pero qu cosas?, la teora quiere decir as son las cosas pero
de qu
cosas dice ella que son as?, planetas, pndulos, pases, ngeles, simples nmeros? El
as

est expresado por el conjunto de modelos pero nos falta algo que exprese las cosas
de las
que se pretende que son de ese modo. Sin eso no podemos expresar esa pretensin de la
teora. Esta pretensin es esencial a las teoras pues stas son ideadas para dar cuenta
de
parcelas especficas de la realidad y esta pretensin contiene el elemento
proposicional de
las teoras pues se expresa una afirmacin susceptible de ser verdadera o falsa:
verdadera si
esas cosas son efectivamente as (si estn entre los modelos), falsa si no los son.
58

Adams, propone abordar el concepto de verdad o correccin () a travs de la nocin

de
interpretacin pretendida (intencional) de la teora () (que es) cualquier sistema del
cual
(...) se exige que se ajuste a los axiomas. Habr en general un gran nmero de sistemas
que
satisfacen los axiomas de una teora pero para las teoras de la ciencia emprica
normalmente
slo unos pocos de ellos sern aplicaciones o modelos pretendidos.
La teora es verdadera, s y slo si todos sus modelos pretendidos satisfacen sus
axiomas,
en caso contrario es falsa. Esta es la modificacin esencial con la que Adams
contribuye al
programa de Suppes.
(4.3) Van Fraassen: espacios de estado; base emprica y observabilidad
Van Fraassen coincide con Suppes en que el modo filosficamente ms iluminador de
caracterizar una teora es definiendo una clase de modelos. Discrepa de l en la
naturaleza
matemtica de estas entidades. Frente a los modelos como estructuras conjuntistas de
Suppes, van Fraassen opta por los modelos como puntos o trayectorias en un
espacio de
estados. A cada tipo de sistema le corresponde un espacio de estados, los estados
posibles

de los sistemas de ese tipo son los puntos de ese espacio.

Como en Suppes, la teora define mediante las leyes una clase de modelos, pero ahora
tales
modelos son trayectorias o regiones permitidas en un espacio de estados de
determinada
dimensin. La forma de antirrealismo que van Fraassen defiende, su llamado
empirismo
constructivo, no depende de las preferencias sobre la forma de los modelos. El
empirismo
constructivo es una tesis epistemolgica acerca de qu creencias implica la aceptacin
de
una teora.
La diferencia radica en que, los sistemas a los que se aplica la teora son
subestructuras de los
modelos determinados por las leyes, las subestructuras consistentes en quedarnos con
la
parte observacional de los modelos. Lo que hace la teora es postular la existencia de
ciertas
entidades inobservables, ocultas cuya (supuesta) interaccin con las entidades
observables
produce (pretendidamente) los efectos observables, los fenmenos. Esas subestructuras
empricas son subsumibles bajo uno de sus modelos, esto es, que se comportan del
modo en
que lo haran si el mundo fuese uno de sus modelos, con sus entidades ocultas
interactuando
con las observables del modo especfico indicado en las leyes. Ese es el contenido de la
asercin emprica y si dicha asercin es verdadera, decimos que la teora es
empricamente
adecuada (que salva los fenmenos).
Van Fraassen defiende que la teora dice algo ms: que el mundo contiene tales y
cuales
entidades adems de las observables: parece claro que podemos discutir dos
cuestiones
separadas: qu dice la teora sobre cmo es el mundo?, y qu dice la teora sobre

cmo
son los fenmenos? Lo que quiere defender es que la teora misma y no slo su asercin
emprica, puede ser verdadera o falsa. Por eso insiste en que la teora debe ser una
entidad
en cierto sentido proposicional, con valor veritativo y susceptible de ser o no creda.
Su posicin antirrealista (empirismo constructivo) sostiene que al aceptar una teora
estamos
justificados slo en creer en su adecuacin emprica, no en su verdad. Aceptar una
teora nos
compromete slo a creer que lo que afirma de la parte observable del mundo es verdad,
no a
creer que lo que tambin afirma acerca de inobservables es verdad.
(4.4) Suppe: sistemas relacionales: fenmenos, datos y teoras
Suppe inicia su propio enfoque semntico dedicada al significado y uso de los modelos
en la
ciencia, influido por los trabajos de J. von Neumann y G. Birkhoff sobre
fundamentacin de la
mecnica cuntica y por los de Suppes sobre modelos de datos.
La teora pretende dar cuenta de cierto mbito de la experiencia, lo que Suppe llama el
alcance pretendido. Este mbito de aplicacin est constituido por sistemas fsicos que
ejercen de datos duros para la teora. Las teoras tienen como su principal objeto los
informes de datos duros no informes de observacin directa.
Una teora es empricamente verdadera si los datos coinciden con los modelos de la
teora, si
los sistemas fsicos del alcance pretendido coinciden con los sistemas fsicos
causalmente
posibles determinados por la teora.
(4.5) Giere: modelos e hiptesis terica
Giere desarrolla su propia versin de la concepcin semntica en el marco de un
programa
metacientfico ms amplio de anlisis de los diversos elementos de la ciencia desde una
59

perspectiva cognitiva. Desde esta perspectiva, propone considerar a las teoras como
medios

para definir modelos abstractos de los que se postula su aplicacin a ciertos sistemas
reales.
La sugerencia de Giere es que se entienda una teora como puesta de dos elementos: 1)
una
poblacin de modelos y 2) varias hiptesis conectando esos modelos con sistemas en el
mundo real.
Los modelos no se caracterizan como entidades conjuntistas ni mediante espacios de
estado,
ni de ninguna otra forma especfica. No se les atribuye una naturaleza matemtica
determinada. La nocin de modelo terico es aqu extremadamente amplia: son
entidades
abstractas definidas mediante ciertos recursos sgnicos, generalmente pero no
necesariamente, lingsticos (se pueden usar grafos o croquis). A veces los modelos
pueden
ser modelos a escala fsicamente construidos, como en el caso del modelo de doble
hlice
de Watson y Crick para el ADN. Un modelo terico es parte de un mundo imaginado.
No
existe en ningn lugar excepto en las mentes de los cientficos o como sujetos
abstractos de
las descripciones verbales que los cientficos escriben. Un modelo es una entidad
abstracta y
estructurada que representa otra cosa. Los postulados, leyes y ecuaciones que aparecen
en
los textos cientficos definen estas entidades.
Una vez definidos los modelos tericos, la teora formula ciertas hiptesis tericas.
Una
hiptesis terica es un enunciado o proposicin que afirma cierto tipo de relacin entre
un
modelo y un sistema real determinado (o una clase de sistemas tales). Giere enfatiza
que a
diferencia de los modelos, las hiptesis tericas s son entidades lingsticas
(proposicionales), verdaderas o falsas. Los modelos son entidades abstractas y los
sistemas

son entidades fsicas. La relacin afirmada en la hiptesis es la de similaridad: el

sistema real
identificable tal y tal es similar al modelo designado en los aspectos y grados
indicados.
Los enunciados definen los modelos y los modelos estn directamente conectados con
el
mundo fsico a travs de la relacin de similaridad. Esta relacin de similaridad en
ciertos
aspectos relevantes y hasta cierto grado es expresada por la hiptesis terica, que s es
una
entidad lingstica. La relacin puede darse o no: si se da, la hiptesis es verdadera; si
no, es
falsa.
Para Giere, las teoras cientficas son entidades que no estn bien definidas, no estn
bien
determinadas al menos formalmente- cules son los modelos vinculados a una teora
especfica, por ejemplo, qu cuenta propiamente como modelo newtoniano. En su
opinin,
lo que se puede decir es que los modelos de la mecnica comparten un parecido de
familia.
El juicio de los cientficos determina si el parecido es suficiente. Este es un aspecto en
el cual
las teoras son no slo construidas sino adems socialmente construidas.
Giere defiende sobre estas bases cierto tipo de realismo que l denomina realismo
constructivista. La ciencia tiene un aspecto esencialmente constructivo, la definicin de
los
modelos, y modelos diferentes pueden ser representaciones alternativas de un mismo
sistema fsico. Nada en el mundo mismo fija los aspectos a representar ni cuan buena
es la
representacin. La especificacin debe apelar necesariamente a intereses humanos, no
slo
epistmicos o cientficos sino tambin prcticos de diverso tipo. Esto supone cierto
relativismo. Este relativismo es compatible con cierto realismo, en el sentido de que los
modelos representan hechos del mundo.

(4.6) La concepcin estructuralista de las teoras

La concepcin estructuralista de las teoras cientficas tambin llamada concepcin
estructural o estructuralismo- es una de las principales escuelas actuales en filosofa de
la
ciencia y la que ms atencin ha dedicado al anlisis y reconstruccin de teoras
cientficas de
los problemas conceptuales y en la explicitacin de los supuestos fundamentales de
teoras
cientficas concretas. El estructuralismo metacientfico no tiene relacin histrica ni
conceptual con las escuelas tambin llamadas estructuralistas pertenecientes a otras
disciplinas (como la lingstica o la antropologa), slo comparte con ellas la idea de
que tras
las apariencias del correspondiente objeto de estudio, en este caso las teoras
cientficas,
subyace una entidad estructurada, estructura que debe ser hecha explcita mediante el
anlisis. En la concepcin metaterica, el trmino estructura es usado en el sentido
preciso
de la lgica y teora de conjuntos.
60

La concepcin estructuralista nace en EEUU con la obra fundacional de un discpulo

de
Suppes, J. Sneed, quien investigando el modelo de hacer afirmaciones empricas con
teoras
cientficas que incluyen en su formulacin trminos tericos, profundiza la concepcin
de
Suppes , de forma tal de permitirle, adems del anlisis sincrnico de teoras
particulares
consideradas de modo aislado, el tratamiento de ciertas relaciones intertericas
generales
(tales como la equivalencia y la reduccin) y el de algunos aspectos diacrnicos
sealados por
Kuhn.
La concepcin estructuralista nos ensea que adems de los estudios sincrnicos en la
filosofa de la ciencia, hay lugar para un enfoque diacrnico sistemtico, superando as

el
estril antagonismo entre las metateoras centradas en el anlisis de la estructura de
las
teoras cientficas y las de corte historicista, del tipo de loas de Kuhn o Lakatos.
Esta concepcin es, dentro de la familia de concepciones semnticas, la que ofrece un
anlisis ms detallado de la estructura fina de las teoras, a travs del tratamiento de
una
mayor cantidad de elementos como de una mejora en el de los previamente
identificados.
Los principales elementos de este anlisis son los siguientes:
(a) Se rechaza la tradicional distincin terico/observacional y se sustituye por otra
terico/no terico relativizada a cada teora.
(b) En trminos de esa nueva distincin se caracteriza la base emprica y el dominio
de
aplicaciones pretendidas. Los datos estn cargados de teora pero no de la teora para
la
que son datos.
(c) Con esta nueva caracterizacin se da una fo
lacin de la asercin emprica que
claramente excluye la interpretacin autojustificativa de la misma.
(d) Se identifican como nuevos elementos en la determinacin de los modelos, adems
de
las tradicionales leyes, otros menos aparentes pero igualmente esenciales, las
condiciones de ligadura.
(e) Se identifican los vnculos entre los modelos de diversas teoras.
(f) Se caracteriza la estructura sincrnica de una teora como una red de diversos
componentes, unos ms esenciales y permanentes y otros ms especficos y cambiantes.
La evolucin de una teora consiste en la sucesin de tales redes.
(g) Se analizan en trminos modelo-tericas las tradicionales relaciones intertericas
de
reduccin y equivalencia.
Algunos de los elementos del anlisis estructuralista:
(1) Elementos tericos, redes tericas y evoluciones tericas: Una teora tiene una
parte

formal y otra aplicativa, ambas partes se articulan a su vez en diversos niveles de

especificidad expresada en la idea de red terica que describe en toda su riqueza la
estructura sincrnica de las teoras, su imagen congelada en un momento dado de su
evolucin. La nocin estructuralista que recoge esta nocin diacrnica es la de
evolucin terica.
Las redes estn formadas por diversos elementos estratificados segn su especificidad.
Cada uno de estos elementos tiene una parte formal y otra aplicativa. La parte formal
global de la teora-red queda expresada por el conjunto de las partes formales de los
elementos constituyentes; su parte aplicativa global por el conjunto de las partes
aplicativas de sus constituyentes. A estos elementos constituyentes se les denomina
elementos tericos. La parte formal de los elementos tericos se denomina ncleo y su
parte aplicativa dominio de aplicaciones pretendidas (propuestas o intencionales).
(2) El ncleo K: Expresa la parte formal de la teora, las tradicionales leyes. Las leyes
se
expresan en modelos-tericos, entendiendo los modelos como estructuras conjuntistas
entendidas mediante la introduccin de cierto predicado. El ncleo K contiene una
serie
de modelos: las estructuras que satisfacen los axiomas del predicado. Para el
estructuralismo no es adecuado identificar el ncleo con un nico conjunto de modelos.
(2.1) Modelos potenciales y modelos actuales:
(2.2) Condiciones de ligadura:
(2.3) T-teoricidad y modelos parciales:
61

(3) Aplicaciones intencionales: El ncleo K es el componente formal de la teora pero

no el
nico. En las concepciones semnticas, las teoras empricas pretenden que las
constricciones
de K lo son de ciertas partes de la realidad: los sistemas empricos a los que se
pretende
aplicar el ncleo. Estos sistemas empricos se denominan en el estructuralismo,
aplicaciones
pretendidas y se denota su conjunto mediante I.
(4) Elementos tericos. Contenido y asercin emprica: Un elemento terico, una teora
en

este sentido mnimo, est constituido por: 1) una parte formal, que expresa los recursos
conceptuales a diferentes niveles y las constricciones-leyes que segn la teora rigen su
mbito de estudio, y 2) una parte aplicativa, que especifica en trminos no tericos
respecto
de la teora los sistemas empricos a los que la teora pretende aplicarse, de los que
pretende
que son regidos por sus constricciones-leyes.
La nocin central para expresar la asercin emprica es la de contenido emprico que
se
deriva de la de contenido terico. El contenido emprico es el contenido terico.
La asercin afirma que ciertos sistemas empricos concretos descritos T-no
tericamente,
tienen el comportamiento que las restricciones legales determinan a nivel T-no terico.
(5) Especializacin. Las teoras como redes sociales: Una red terica es un conjunto de
elementos tericos que guardan cierta relacin entre s. La idea es que el conjunto
represente la estructura (sincrnica) de una teora en sus diferentes estratos, en sus
diferentes niveles de especificidad. Tal conjunto, partiendo de elementos muy
generales,
se va concretando progresivamente en direcciones diversas cada vez ms restrictivas y
especficas, las ramas de la red-terica. La relacin que se debe dar entre los
elementos
tericos para considerar el conjunto una red es de especializacin.
Un elemento terico T es especializacin de otro T si T impone constricciones
adicionales a
las de T. Ello supone que: 1) los conjuntos de modelos parciales y potenciales de
ambos
coinciden, su aparato conceptual es el mismo, 2) los conjuntos de modelos actuales y
condiciones de ligadura de T estn incluidos en los de T, pues algunos modelos de T
no
satisfarn las constricciones adicionales que aade T, 3) el dominio de aplicaciones
pretendidas de T est incluido en el de T, esto es, el elemento ms especfico, se
pretende
aplicar a algunas aplicaciones del ms general.
Una red terica es un conjunto de elementos tericos conectados mediante la relacin

de
especializacin. Aunque puede haber en principio redes tericas de muchas formas, en
todos
los casos reconstruidos hasta ahora la red ha resultado arbrea, con un nico elemento
terico en la cspide, a partir del cual se especializan los recursos en diferentes
direcciones.
(6) Evoluciones tericas: Mediante el concepto de red terica se captura la estructura
de una
teora en un momento dado en toda su complejidad; este concepto expresa
adecuadamente
la naturaleza de las teoras desde un punto de vista sincrnico o esttico. Las teoras
son
entendidas persistentes, que se extienden en el tiempo, pasando por diferentes versiones
y
conservndose, a pesar de ello, la misma.
La nocin estructuralista que captura la naturaleza de las teoras en toda su
complejidad,
incluida su dimensin diacrnica, es la de evolucin terica. Una evolucin terica es
una
determinada sucesin de redes tericas en la que se conservan determinados elementos
constantes a lo largo de toda la sucesin. Las redes tericas son los fotogramas, la
imagen
congelada de una teora en un momento dado; las evoluciones tericas proporcionan la
pelcula entera de la teora, son la imagen viva de su desarrollo histrico. Las teoras
en tanto
que redes tericas tienen partes esenciales y otras accidentales por lo que se puede
reconstruir su evolucin como una secuencia de cambios accidentales conservando lo
esencial.
(7) Vnculos (links) y relaciones intertericas: Desde la concepcin estructuralista las
teoras
empricas no se consideran aisladas sino que slo puede ser capturada si se toma en
cuenta
no slo ella y su entorno terico, si se toman en cuenta sus relaciones con otras teoras.
62

CLASE 12 UNIDAD 4 LA CONCEPCIN ESTRUCTURALISTA DE LAS

TEORAS CIENTFICAS
Moulines, C.U., Exploraciones metacientficas, Madrid: Alianza, 1982, cap. 2.2, pp. 7487.
Un programa de reconstruccin estructural de las teoras fsicas
Los aspectos cruciales revelados por Kuhn pueden resumirse en los siguientes puntos:
1) Una teora emprica es algo ms que un conjunto de hiptesis o axiomas.
Es la axiomatizacin de la teora, formal y exacto sin necesidad de presuponer un
lenguaje formal
y una interpretacin. Se trata de la axiomatizacin por introduccin de un predicado
conjuntista.
2) Las aplicaciones empricas de una teora forma parte esencial del concepto mismo
de la teora.
La estructura terica y sus aplicaciones estn conceptualmente ligadas de manera
estrecha.
Las condiciones de ligadura ligan de determinadas maneras fijas los valores que
pueden tomar
las funciones correspondientes de los diversos modelos.
Una teora es ms que el conjunto de axiomas que determinan sus modelos, pues
existen
importantes condiciones adicionales que ligan los distintos modelos entre s.
3) Una teora emprica es una entidad que evoluciona en el tiempo; est evolucin es lo
que Kuhn
llama ciencia normal.
Dada la teora T, algunos de sus conceptos funcionan de modo que han de considerarse
como
parte del campo de aplicaciones empricas de T, mientras que otros funcionan como
conceptos
de la superestructura terica de T, y puede ocurrir y ciertamente ocurre- que un
mismo
concepto que forma parte de la superestructura terica de la teora T, funcione en
cambio como
parte de la base emprica en otra teora T. Por ejemplo, como ocurre en los conceptos
dinmicos
que son tericos en la mecnica y no tericos en la termodinmica).

El problema es hallar un criterio funcional que permita clasificar, para cada teora
fsica, los
conceptos que intervienen en la misma en dos grupos: los pertenecientes a la base
emprica (o
campo de aplicaciones) y los pertenecientes a la superestructura.
4) En la determinacin de una teora interviene un elemento oscuro que Kuhn
denomina
paradigma. El propio Kuhn ha reconocido que su uso original de este trmino fue
contundente
y que l mismo no tena las ideas muy claras al respecto pero es obvio que ese trmino
denota a
algo esencial a las teoras cientficas, que haba escapado de los anlisis anteriores.
5) El rechazo de hiptesis particulares de una teora durante un periodo de ciencia
normal no
significa el rechazo de la teora misma. Cientficos que usan la misma teora pueden
divergir en
cuanto a las hiptesis empricas que postulan mediante la teora.
Los elementos que constituyen una teora son: el predicado conjuntista que incluye la
ley
fundamental de la teora y que fija sus modelos; las condiciones de ligadura que
conectan los
distintos modelos entre s; la distincin entre modelos parciales y modelos tericos que
permite
dar un sentido preciso al contenido emprico de la teora. Todos estos elementos se
hallan
interrelacionados entre s formando una estructura compleja y muy general que Sneed
denomina
el ncleo de la teora.
El ncleo corresponde, a la parte formal de lo que Kuhn llama el paradigma, dado
que esta
estructura no es cuestionada por los cientficos mientras no se produzca una
revolucin. El
ncleo es el presupuesto mismo del uso de la teora en sus aplicaciones.
6) Una teora se acepta o se rechaza en su totalidad, no por sus partes.

En la definicin del concepto de teora fsica interviene no slo el ncleo sino tambin
el
conjunto de aplicaciones paradigmticas. Para identificar una teora fsica no basta
con captar su
estructura formal especificada en el ncleo sino que adems hay que reconocer sus
aplicaciones
paradigmticas.
Para averiguar cules son exactamente las aplicaciones paradigmticas no puede
recurrirse a un
criterio formal. Hay que acudir a la biografa de la teora, es decir, hay que tener en
cuenta
aspectos histrico-pragmticos. Hay que ver cmo naci la teora, cmo evolucion,
qu
aplicaciones sirvieron de ejemplos distinguidos para hallar nuevas aplicaciones. Este
es uno de
los sentidos en que la historia de la ciencia es relevante para la filosofa de la ciencia.
7) Las revoluciones cientficas son eventos en los que una teora sustituye
completamente a otra,
con profundos cambios conceptuales y sin que medie una relacin lgica directa entre
ambas
teoras.
63

El ncleo y las aplicaciones paradigmticas constituyen la porcin intangible,

inatacable de una
teora a menos que se produzca una revolucin. Ncleo y aplicaciones paradigmticas
se
constituyeron conjuntamente en el inicio de la teora y son el supuesto indiscutido con
el que se
trabaja durante un periodo de ciencia normal.
Las leyes especiales no forman parte de la teora en sentido estricto. Son ampliaciones
del ncleo
que varan con el desarrollo de la teora y que no se pretende que sean universalmente
vlidas.
Los resultados obtenidos con ellas son slo de validez limitada a ciertos tipos de

aplicaciones
propuestas.
Las leyes especiales resultan de restringir la extensin del predicado fundamental
aadiendo
nuevas condiciones de definicin, o sea, nuevos axiomas. CLASE 14 UNIDAD 4
ANLISIS DIACRNICO DE TEORAS
Dez, J.A. y C.U. Moulines, Fundamentos de filosofa de la ciencia, Ariel, Barcelona,
1997, cap. 13,
439-462.
Captulo 13 Anlisis diacrnico de teoras: el cambio terico
Cambio interterico caracterizacin general
ste es el tipo de desarrollo cientfico ms reconocido y estudiado dentro de la filosofa
diacrnica de
la ciencia, y para el que se han elaborado modelos (metatericos) de un nivel
razonable de precisin
conceptual. Kuhn ha llamado a este tipo de proceso ciencia normal, terminologa que
se ha
popularizado desde entonces. Dentro del enfoque de Kuhn, este tipo de actividad
cientfica tiene
lugar bajo la gida de un paradigma, una matriz disciplinar algunos decuyos
constituyentes son
paradigmticos y esenciales. Para Lakatos, el cambio consiste en el desarrollo de
unprograma de
investigacin regido por un ncleo que se desarrolla mediante un cinturn protector de
hiptesis
auxiliares. Laudan, a su vez, caracteriza estos procesos histricos como una tradicin
de investigacin
o de resolucin de problemas, en que se aplican ciertos principios bsicos. Dentro de la
concepcin
estructural est la estructura de la ciencia normal aparece, como veremos a
continuacin, descrita en
trminos de una serie de redes tericas que cumple ciertas condiciones, serie que
constituye una
evolucin terica.

Todos estos modelos de cambio cientfico estn basados en las nociones

correspondientes del
anlisis sincrnico de cada enfoque particular. Este elemento permanente en el cambio
intraterico
es lo que Kuhn llam primero 'paradigma' y, ms tarde, 'matriz disciplinar', lo que
Lakatos denomina
'ncleo duro del programa' y en el estructuralismo aparece como "elemento terico
bsico" (de una
red determinada). Tanto para Kuhn como para el estructuralismo, este elemento
identificatorio de
cada teora a travs de los cambios es, a su vez, una entidad de articulacin bastante
compleja, como
ya se ha sealado en los captulos correspondientes.
La intuicin bsica que acompaa a todas estas caracterizaciones es la misma: una
teora en sentido
diacrnico, como entidad que se extiende en el tiempo, es una sucesin de teoras en
sentido
sincrnico que comparten un elemento comn; la imagen de una teora en sentido
diacrnico es la
de una pelcula cuyos fotogramas son los diferentes estadios o versiones por las que la
teora va
pasando (cada una de las cuales se considera aproximadamente estable durante el
lapso que dura).
Para ello es esencial que, sincrnicamente consideradas, las teoras sean entidades
dctiles, con una
parte esencial en la que descanse su identidad y otras partes ms especficas ocomplementarias
que se puedan "perder" sin alterar la esencia.
Segn Kuhn, el consenso bsico se rompe nicamente durante el proceso que l
denomina
revolucin cientfica, cuando una teora fundamental o matriz disciplinar es
reemplazada
enteramente por otra. Durante la ciencia normal, la comunidad cambia las leyes
especiales y las

aplicaciones concretas, pero no los principios fundamentales ni las

aplicacionesparadigmticas.
Las teoras como evoluciones tericas
Una red terica es un conjunto de elementos tericos conectados entre s por la
relacin de
especializacin. En las redes arbreas hay un elemento terico bsico del cual todos
los dems
elementos tericos de la red son especializaciones.
64

Podemos entonces reconstruir lo esencial de la idea intuitiva de un cambio intraterico

de la
siguiente manera: un desarrollo cientfico de tipo cambio intraterico es un proceso
evolutivo
gradual que podemos representar formalmente como una sucesin finita <N1, N2, ...,
Nn> de redes
tericas (donde cada subndice representa un determinado perodo histrico en la
evolucin de la
teora) que satisface ciertas condiciones de continuidad parcial tanto a nivel terico
como aplicativo.
Estas condiciones quedan recogidas en la siguiente definicin de evolucin terica,
reconstruccin
formal del fenmeno de cambio intraterico.
Lo, que no queda invariable en el cambio intraterico son las redes de la sucesin <
N1, N2, ..., Nn > en
su conjunto: tanto las leyes y ligaduras especiales como las aplicaciones no
paradigmticas pueden
cambiar mucho a lo largo de la evolucin. Sin embargo, todas las leyes sern siempre
especializaciones de un ncleo comn a todas las redes, Ko, y todas las redes
compartirn al menos
las aplicaciones paradigmticas.
Cambio interterico en general
La estructura de los cambios intertericos, en los que se produce algn tipo de
"innovacin
dramtica" o revolucin, es ms difcil de capturar formalmente que la de los cambios

intratericos.
Ello es debido en parte a razones historiogrficas, porque el material histrico
correspondiente y su
interpretacin es asunto ms sujeto a controversias.
Pero en parte tambin es debido a razones epistemolgicas y metatericas, porque el
estudio
sistemtico de estoscasos presupone una (meta) teora general de los cambios
semnticos en los
conceptos cientficos y de las complejas relaciones intertericas tpicas de estos casos
consideradas
en perspectiva diacrnica, y hay que admitir que sta esuna temtica de la filosofa de
la ciencia que
apenas ha empezado a abordarse de manera sistemtica en los ltimosaos.
Por lo dems, tambin parece claro que la expresin 'cambio interterico' engloba
tipos bastante
distintos de fenmenos diacrnicos. La idea intuitiva de Kuhn segn la cual en una
revolucin
cientfica se sustituye o elimina completamente un paradigma por otro parece aplicarse
slo a un
nmero limitado de casos de cambio interterico, probablemente slo a una pequea
minora.
muchos de los ejemplos mencionados por Kuhn y sus seguidores como candidatos
arevoluciones
cientficas responden, en realidad, a un esquema de cambios mucho menos dramticos:
no se trata
verdaderamente de rupturas totales, ni al nivel conceptual, ni al metodolgico, ni al
aplicativo. Tales
casos se distinguen ms bien por las siguientes caractersticas:
a) la teora anterior al cambio es suplantada slo en parte por la posterior;
b) algunos, o incluso muchos, de los conceptos, principios y casos paradigmticos de
aplicacin de
la primera teora quedan incorporados, con modificaciones semnticas leves, a la
segunda teora;
c) la primera teora es reinterpretada como un caso "especial", "Idealizado" o

"aproximado" de la
segunda;
d) a nivel sociolgico, la comunidad cientfica afectada por el cambio no queda
dividida en dos
comunidades rivales e irreconciliables, sino que una parte de la misma comunidad,
aunque
"oficialmente" adherida a la nueva teora, sigue trabajando con la teora anterior, al
menos a
fines didcticos, o para resolver problemas de cierto mbitorestringido o aplicaciones
puramente
tecnolgicas.
Conviene, por lo tanto, distinguir netamente por lo menos dos grandes tipos de cambio
interterico:
(1) la suplantacin de teoras acompaada de inconmensurabilidad (semntica);
(2) la incorporacin de teoras sin inconmensurabilidad.
Slo el primero de estos dos fenmenos corresponde aproximadamente a la nocin
kuhniana de
revolucin cientfica (aunque Kuhn mismo vea muchos casos de] segundo tipo como
revoluciones).
Para abreviar, al primer tipo lollamaremos simplemente 'suplantacin' y al segundo
'incorporacin'
de teoras. Ambos tipos pueden elucidarse formalmente mediante el aparato conceptual
del
estructural sino, aunque en el caso de la suplantacin la elucidacin es algo ms
problemtica que
en el caso de la incorporacin. Empecemos por esta ltima.
Cambio interterico como incorporacin
La incorporacin de teoras como fenmeno diacrnico est inspirada en un tipo
particular de
relacin interterica sincrnica: la reduccin, ya sea "exacta" o bien "aproximada" (en
la inmensa
65

mayora de casos histricos se tratar ms bien de lo segundo, o sea, de una

"reduccin aproximada"

o "aproximacin reductiva", como se la prefiera llamar).

La intuicin bsica detrs de la nocin de reduccin estructural se resume en las tres
siguientes
condiciones:
a) Existe una correspondencia formal entre los marcos conceptuales respectivos de la
teora
reducida y la reductora, o sea, en perspectiva dia crnica, entre la teora incorporada y
la
incorporadora.
b) Las leyes fundamentales de la teora incorporada son" implicadas, al menos
aproximativamente,
por las leyes fundamentales de la teora incorporadora reforzadas por alguna(s) ley(es)
especial(es) de esta ltima.
c) Todas las aplicaciones intencionales exitosas de la teora incorporada pueden
reinterpretarse (al
menos aproximativamente) como aplicaciones intencionales exitosas de la teora
incorporadora;
pero en general no ser vlida la relacin inversa: habr aplicaciones intencionales
exitosas de la
teora incorporadora que fueron "fracasos" para lateora incorporada o incluso que no
fueron
contempladas en absoluto por esta ltima.
Cambio interterico como suplantacin
Segn la metateora de Kuhn, en las genuinas revoluciones cientficas se da la
suplantacin total de
una teora (unparadigma o matriz disciplinar) por otra. Ahora bien, este proceso de
suplantacin es
radical en el sentido de que no slo se abandona una teora que hasta ahora se tena
por verdadera y
a partir del cambio se la considera falsa: lasuplantacin no consiste en una mera
falsacin o
refutacin de una teora y su sustitucin por otra, sino que el cambio va acompaado,
si Kuhn est en
lo cierto, de un fenmeno semntico ms profundo: la inconmensurabilidad entreambas

teoras. Ello
significa que ocurre una verdadera ruptura entre los marcos conceptuales de una otra,
y por lo tanto
tampoco puede establecerse ninguna relacin lgica entre los principios de una y otra
teora. Cada
teora se vuelve "ininteligible" para la otra. En consecuencia, no es que una teora sea,
propiamente
hablando, falsa respecto de la otra, sino algo peor: carece de sentido.
Se trata de una tesis acerca de los aspectos semnticos de los cambios intertericos.
Ms
concretamente, la tesis de Kuhn es que en la forma de cambio cientfico que l trata de
apresar se da
un tipo de relacin especial entre los conceptos bsicos antes y despus del cambio que
es
precisamente lo que l llama "inconmensurabilidad" (la cual, segn el propio Kuhn, no
debe
confundirse con la incomparabilidad: dos conceptos o principios pueden ser
comparables en el
sentido de apresar ms o menos eficientemente el mismo tipo de fenmenos y, no
obstante, ser
inconmensurables en el sentido de que no pueda traducirse el uno al otro, -de que no.
haya una
base semntica comn).
Al darse la relacin de inconmensurabilidad en un cambio interterico revolucionario,
no slo
cambian de significado los trminosbsicos de una y otra teora, sino tambin sus
respectivos
"universos del discurso"; es decir, la ontologa fundamental, que sirve de base a la
interpretacin de
los trminos y enunciados de una y otra teora se vuelve completamente dispar: los
cientficos
portadores de una y otra teora 44viven en mundos distintos" como dice Kuhn.
Prez Ransanz, A.R., Modelos de cambio cientfico, en Moulines, C.U.(ed.), La
ciencia: estructura

y desarrollo, Madrid: Trotta, 1993, pp. 181-202.

Modelos de cambio cientfico
Existen numerosas razones para intentar comprender la dinmica de la ciencia.
Algunas pueden ser
de tipo prctico y otras de tipo terico. Lo que hay es una variedad de teoras
atractivas, que a, la vez
que proponen hiptesis iluminadoras de ciertos aspectos de la empresa cientfica, son
ampliamente
discutidas y ninguna logra un acuerdo significativo.
En los aos sesenta se desarrollaron varias teoras de la ciencia como alternativas a la
concepcin
hasta entonces dominante, el positivismo o empirismo lgico. Para los empiristas
lgicos, el nico
aspecto relevante del desarrollo del conocimiento era el de la incorporacin de viejas
teoras en
teoras ms comprehensivas, por medio de la subsuncin lgica o reduccin
interterica. En los
setenta aparecen las propuestas de una nueva generacin de tericos: Irrire Lakatos,
Larry Laudan,
66

Joseph Sneed, Wolfgang Steginller, Dudley Shapere y Mary Hesse, entre los
principales, quienes
elaboran modelos para el desarrollo cientfico tomando como punto principal de
referencia el
modelo kuhniano (a la vez que adoptan algunas de sus tesis, critican y modifican
otras).
A continuacin enumeramos una serie de tesis de carcter general, cada una, de las
cuales rene un
acuerdo significativo, aunque slo parcial, entre los autores postempiristas
mencionados.
1) La historia de la ciencia es la principal fuente de informacin Para construir y
poner a prueba los
modelos sobre la ciencia. En particular, los modelos que intentan dar cuenta de la
dinmica

cientfica deben estar respaldados por el estudio de la prctica efectiva Y estar sujetos
a
contrastacin emprica (Kuhn y Feyerabend son los principales responsables de este
giro
histrico y emprico en la filosofa de la ciencia). De aqu la importancia que frente a
los anlisis
lgicos adquieren los estudios histricos como herramienta para la comprensin del
conocimiento cientfico.
2) No hay una nica manera de organizar conceptualmente la experiencia. Si bien la
experiencia es
un ingrediente fundamental en la adquisicin de conocimiento la ciencia no slo es
experiencia
sino tambin y sobre todo, capacidad de ver los mismos hechos de distintas maneras.
Todos los
hechos dela ciencia estn cargados de teora.
3) Las teoras cientficas se construyen y se evalan, siempre, dentro de marcos
conceptuales ms
amplios. Estos marcos generales estn formados por una serie de supuestos bsicos
(presupuestos) que establecen, entre otras cosas, los intereses por los que se construyen
las
teoras y lo que se espera de ellas (qu problemas deben resolver y a qu campo de
fenmenos
se deben aplicar), tambin establecen sus compromisos ontolgicos (qu entidades y
procesos se
postulan como existentes) y sus compromisos metodolgicos (a qu criterios se deben
ajustar
para su evaluacin). Estos marcos conceptuales adquieren caractersticas especficas y
nombres
diferentes segn el autor (paradigmas, programas de investigacin, teoras globales,
etc.), pero
en general se consideran como las unidades bsicas del anlisis de la ciencia.
4) Los marcos conceptuales mismos cambian. Ciertamente se trata de estructuras que
tienen una
vida media ms larga que sus teoras asocia das, pero de ninguna manera son

entidades fijas o
ahistricas. De aqu la preocupacin -que se ha vuelto central para muchos autorespor
proponer modelos que den cuenta de los cambios ms profundos y a largo plazo en el
nivel de
los presupuestos.
5) La ciencia no es una empresa totalmente autnoma. Dado que no hay
procedimientos
algortmicos para la evaluacin y comparacin de teoras (no hay una medida
universal de su
xito), el cambio terico est subdeterminado por las razones que, en cada contexto,
existen a su
favor; esta situacin da lugar a que factores de tipo externo (ideolgicos, sociales,
psicolgicos,
etc.) jueguen un papel en el desarrollo cientfico.
6) El desarrollo de la ciencia no es lineal ni acumulativo. Como la regla es ms bien la
competencia y
el conflicto entre teoras rivales, casi siempre la aceptacin de una teora implica el
rechazo de
otra, y esto puede traer consigo prdidas explicativas. Incluso se considera que la
coexistencia de
enfoques diversos es esencial para el crecimiento y la mejora del conocimiento
cientfico.
7) La ciencia es una empresa cuya racionalidad es imposible determinar a priori. Slo
la
investigacin emprica de sus mecanismos y resultados a travs del tiempo nos, puede
revelar en
qu consiste la racionalidad cientfica. Por tanto, los estndares o principios
normativos deben
extraerse del registro histrico de la ciencia exitosa.
8) Los modelos del desarrollo cientfico no tienen una base neutral de contrastacin.
Como la base
para poner a prueba estos modelos filosficos es la historia de la ciencia, y como no
hay una

historia de la ciencia que sea, metodolgicamente neutral toda historia supone ciertas
ideas
sobre lo que es la ciencia), se plantea con lo apremiante el problema de establecer las
relaciones
e interacciones entre historia de la ciencia y filosofa de la ciencia.
A continuacin, los modelos ms citados en la literatura sobre desarrollo y cambio
cientficos: los
modelos de Kuhn, Lakatos y Laudan. Sealaremos despus algunos de los aspectos ms
originales de
las propuestas de Feyerabend, Shapere y Stegmller.
El modelo de Kuhn
El libro de Thomas Kuhn La estructura de las revoluciones cientficas (ERC), publicado
en 1962, marca
el punto de partida tanto de una nueva imagen de la ciencia como de una nueva forma
de hacer
67

filosofa de la ciencia. El indicador ms claro de la trascendencia de esta obra es el

hecho de que la
mayora de los filsofos de la ciencia ms destacados en la actualidad. La mayora de
las tesis arriba
enumeradas se articulan por primera vez en el modelo propuesto por Kuhn,
conformando una
concepcin global de la ciencia alternativa a la tradicional. La obra de Kuhn
constituye un giro crucial,
una revolucin, en el desarrollo de la filosofa de la ciencia, colocando en el centro
de las
discusiones el problema del cambio cientfico.
El modelo kuhniano establece una serie de etapas sucesivas en el desarrollo de una
disciplina
cientfica. Comienza con una etapa llamada pre-paradigmtica, en la cual coexisten
diversas
escuelas que compiten entre s por el dominio en un cierto campo de investigacin.
Entre estas
escuelas existe muy poco (o ningn) acuerdo con respecto a la caracterizacin de los

objetos de
estudio, los problemas que hay que resolver y su orden de importancia, los mtodos y
procedimientos ms adecuados, etc. Lo caracterstico en esta etapa es que la
investigacin que
realizan los grupos en competencia no logra producir un cuerpo acumulativo de
resultados. Este
perodo de las escuelas termina cuando el campo de investigacin se unifica bajo la
direccin de un
mismo conjunto de supuestos bsicos, que Kuhn llama paradigma. Los
investigadores llegan a
estar de acuerdo en que uno de los enfoques competidores es tan prometedor que
abandonan los
dems, y aceptan este enfoque como base de su propia investigacin. Esta transicin,
que ocurre
slo una vez en cada disciplina cientfica y es por tanto irreversible, crea el primer
consenso
alrededor de un paradigma, y marca el paso hacia la ciencia madura.
Kuhn utiliza el trmino paradigma bsicamente en dos sentidos: 1) como logro o
realizacin concreta
y 2) como conjunto de compromisos compartidos. El primer sentido se refiere a las
soluciones
exitosas y sorprendentes de ciertos problemas las cuales son reconocidas por toda la
unidad
pertinente. Estas aplicaciones o casos concretos de solucin funcionan como ejemplos
o
investigaciones subsecuentes.
El segundo sentido se refiere al conjunto de supuestos o compromisos bsicos que
comparte la
comunidad encargada de desarrollar una disciplina cientfica. Este conjunto incluye
compromisos con
ciertos supuestos ontolgicos, generalizaciones simblicas (leyes fundamentales),
procedimientos y
tcnicas de investigacin, y criterios de evaluacin. La relacin entre los dos sentidos
de paradigma

se puede ver como sigue: paradigma como conjunto de compromisos compartidos

(segundo sentido)
es aquello que presuponen quienes modelan su trabajo sobre ciertos casos
paradigmticos (primer
sentido).
El consenso acerca de un paradigma (segundo sentido) marca el inicio de una etapa de
ciencia
normal. La ciencia normal consiste, bsicamente, en una actividad de resolucin de
problemas
(enigmas). A travs de esta actividad el paradigma vigente se va haciendo cada vez ms
preciso y
mejor articulado. La etapa de ciencia normal es conservadora; el objetivo no es la
bsqueda de
novedades, ni en el nivel de los hechos ni en el de la teora. Se trata de estirar al
mximo, tanto en
alcance como en precisin, el potencial explicativo del paradigma dominante.
El papel que juegan los paradigmas en tanto logros concretos o ejemplares (primer
sentido) es
central en el desarrollo de la investigacin normal. Los cientficos resuelven los
problemas
reconociendo su semejanza con los casos ejemplares, identifican nuevos datos como
significativos, y
las nuevas generaciones aprenden el significado de los conceptos bsicos resolviendo
los problemas
de las soluciones modelo. Estos casos ejemplares son la conexin entre la experiencia y
la teora;
muestran cmo ver y manipular la naturaleza desde una cierta perspectiva terica.
Contrariamente a sus propsitos la investigacin normal -con su creciente
especializacin y extensin
del campo de aplicaciones- conduce al planteamiento de problemas anomalas) que
se resisten a
ser resueltos con las herramientas del paradigma en cuestin. Si bien es cierto que la
adecuacin
entre un paradigma y la naturaleza nunca es total o perfecta -siempre y desde un

principio existen
problemas no resueltos-, el surgimiento de ciertas anomalas hace pensar que algo
anda mal a nivel
profundo, y que slo un cambio en los supuestos bsicos har posible encontrar una
solucin. Esta
etapa en que se cuestiona la eficacia y la correccin del paradigma mismo es la etapa
de crisis.
Con la crisis comienza la ciencia extraordinaria, esto es, la actividad de proponer
teoras
alternativas que implican un rechazo o una modificacin de los supuestos bsicos
aceptados hasta
entonces. Es en estos perodos cuando cobra auge la reflexin filosfica sobre dichos
supuestos o
fundamentos. La proliferacin de teoras y perspectivas alternativas tiene una
importancia crucial en
68

el desarrollo de la ciencia, pues los cientficos nunca abandonan un paradigma a

menos que exista un
paradigma alternativo que permita resolver las anomalas.
Las crisis se terminan de alguna de las tres siguientes maneras: 1) el paradigma
cuestionado se
muestra finalmente capaz de resolver los problemas que provocaron la crisis; 2) ni los
enfoques ms
radicalmente novedosos logran dar cuenta de las anomalas, por lo cual stas se
archivan (se
reservan para una etapa futura donde se cuente con mejores herramientas conceptuales
e
instrumentales), y 3) surge un paradigma alternativo que resuelve las anomalas y
comienza la lucha
por lograr un nuevo consenso.
Kuhn describe el cambio de paradigmas como una revolucin cientfica. Las tesis de
Kuhn acerca
del cambio cientfico tienen como blanco de ataque los modelos tradicionales de
evaluacin y

eleccin de teoras (tanto confirmacionistas como refutacionistas), y la nocin de

racionalidad
presupuesta por estos modelos. Al describir el cambio de paradigma como una
revolucin, Kuhn est
negando que la eleccin entre teoras pertenecientes a paradigmas distintos sea una
cuestin que
pueda resolverse aplicando un algoritmo neutral. La eleccin entre teoras rivales no se
puede
resolver de manera inequvoca slo por medio de la lgica y la experiencia neutral
(como pretendan
los empiristas lgicos)', ni mediante decisiones claramente gobernadas por reglas
metodolgicas
(como proponan los popperianos).
Las diferencias entre los contendientes durante una revolucin cientfica pueden llegar
a ser tan
profundas que impidan llegar a cualquier acuerdo sobre qu cuenta como un
argumento decisivo a
favor de alguno de los paradigmas en competencia.
Los cuerpos de conocimientos separados por una revolucin, es decir, insertos en
paradigmas
diferentes, son muy difciles de comparar, y puede llegar a ser el caso que -no exista
una medida
comn de su xito, esto es, pueden ser inconmensurables. Las diferencias que
separan a los
defensores de teoras rivales (y que son las responsables de la inconmensurabilidad)
son diferencias
en los supuestos bsicos de los paradigmas: diferencias en los criterios que determinan
la legitimidad
tanto de los problemas como de las soluciones propuestas; diferencias en la red
conceptual a travs
de la cual se ve el mundo (en la manera de organizar conceptualmente la experiencia),
lo cual implica
que no hay un lenguaje neutral de observacin; diferencias en los supuestos acerca de
qu entidades

y procesos contiene la naturaleza (en la ontologa que se postula); y diferencias en la

manera de
aplicar y jerarquizar los valores tales, como consistencia, simplicidad, adecuacin
emprica, precisin,
fecundidad,. etc.
Entonces, como un cambio de paradigma lleva consigo diferencias fundamentales -que
generan
cambios en el significado y el uso del lenguaje de las teoras rivales-, y como no existe
una instancia
de apelacin por encima de los paradigmas -un marco privilegiado de principios
universales-, en los
debates no se puede partir de premisas comunes y, por tanto, no se puede probar que
una teora es
mejor que otra. De aqu que el nico camino que queda es el de la persuasin: cada
una de las partes
en conflicto trata de convencer a la otra de que adopte sus propios supuestos bsicos.
La ausencia de
argumentos decisivos hace que no se pueda tachar de ilgico o de irracional a quien se
niegue a
aceptar el nuevo paradigma; y por lo mismo, esta aceptacin no ocurre de manera
simultnea.
Cuando finalmente se reinstaura el consenso alrededor del nuevo paradigma, comienza
una nueva
etapa de ciencia normal. De esta manera, una vez que una disciplina cientfica ha
alcanzado la
madurez, pasa repetidamente a travs de la secuencia: ciencia normal-crisisrevolucin-nueva ciencia
normal.
A raz del trabajo de Kuhn se pone de relieve que ningn componente de la empresa
cientfica es
inmutable o absoluto, se trate de criterios de evaluacin, creencias sustantivas acerca
del mundo,
procedimientos experimentales, herramientas formales, percepciones, datos, intereses,
etc. Todo en

la ciencia est sujeto a alteracin. Se considera ahora que el objetivo de una teora
filosfica de la
ciencia es reconstruir racionalmente el cambio y el desarrollo cientficos. Esta
reconstruccin se hace
a travs de modelos que en lugar de prescribir a priori lo que ha de considerarse
racional, se apoyan
en la investigacin emprica e histrica de casos que revelan lo que es y ha sido la
racionalidad
cientfica.
El modelo de Lakatos
Imre Lakatos (1922-1974) propone su modelo con el propsito de reconstruir la
historia de la ciencia
como un progreso racional. Con su modelo pretende ofrecer tanto un medio para la
evaluacin del
69

carcter cientfico y racional de los sistemas conceptuales, como una herramienta para
la
reconstruccin histrica del cambio y desarrollo de dichos sistemas.
La propuesta de Lakatos -desarrollada en Lakatos, 1970 y 1971- surge dentro de una
perspectiva
epistemolgica popperiana, y comparte con sta los siguientes supuestos: el carcter
falible de todo
conocimiento, la importancia de establecer un criterio de demarcacin entre ciencia y
no-ciencia, el
desarrollo del conocimiento como problema central de la epistemologa, y la
posibilidad de comparar
distintos sistemas conceptuales.
Para este autor, la evaluacin de las teoras cientficas es una cuestin histrica y
comparativa. Dado
que las teoras no se pueden poner a prueba de manera aislada ni considerando slo
momentos
puntuales de su desarrollo, es necesario partir de unidades de anlisis ms amplias y
complejas que
las teoras consideradas en lo individual. Estas unidades son los programas de

investigacin
cientfica.
Cada programa de investigacin cientfica (PI) est caracterizado por: 1) un ncleo
de leyes y
supuestos fundamentales, que se considera inmune a la refutacin por decisin
metodolgica de los
protagonistas; 2) un cinturn protector de hiptesis auxiliares, que est sujeto a
revisin y debe
resistir el peso de las contrastaciones, y 3) una heurstica o conjunto de reglas
metodolgicas que
guan a los cientficos sobre qu caminos deben evitar (heurstica negativa) y qu
caminos deben
seguir (heurstica positiva), para resolver las dificultades que confrontan las teoras y
aumentar su
contenido emprico.
Para que un PI se pueda desarrollar es necesario proteger el ncleo que contiene las
ideas que lo
identifican, sobre todo en las primeras etapas de su crecimiento. La heurstica negativa,
entonces,
prescribe que la evidencia en contra (las anomala s) se desve hacia las hiptesis
auxilia res. La
heurstica positiva complementa a la negativa sugiriendo cmo modificar, sofisticar o
desarrollar las
hiptesis refutables del cinturn protector, con el fin de ampliar el contenido emprico
del programa.
De esta manera, la sucesin de teoras que constituye un PI presenta dos
caractersticas: a) cada
teora conserva el ncleo de supuestos bsicos, y b) cada teora surge de su
predecesora mediante la
aplicacin de los lneamientos heurstcos. No slo el ncleo sino tambin la heurstica
permanece sin
cambios a lo largo de la vida de un programa.
Segn Lakatos, una teora de una serie se considera refutada cuando es reemplazada
por otra

teora con mayor contenido emprico corroborado. En la contrastacin de una teora,

los casos
decisivos y cruciales son aquellos que corroboran su excedente de informacin. Como
se puede ver,
Lakatos utiliza el trmino refutacin de manera peculiar; a diferencia del uso
tradicional, la evidencia
en contra, por bien establecida que est, no es una condicin suficiente para eliminar
una teora. Las
teoras de un PI se enfrentan a mltiples anomalas todo el tiempo, y estas anomalas se
vuelven
decisivas slo cuando en el PI se han dejado de producir nuevos tipos, de fenmenos,
esto es,
cuando el cambio de teoras ha, entrado en una fase degenerativa.
La historia de -la ciencia, en la concepcin de Lakatos ha sido y debera ser una
historia de programas
de investigacin en competencia, pero entonces se plantea el problema de cmo se
eliminan los PI.
La respuesta de Lakatos es que un PI se abandona cuando adems de haber entrado en
una fase
degenerativa, tiene un rival que es empricamente progresivo.
En cuanto a la evaluacin de los diversos modelos del desarrollo cientfico, Lakatos,
junto con los
filsofos postempiristas, sostiene que la historia de la ciencia constituye su base de
contrastacin.
Una teora de la ciencia que no tenga adecuacin emprica, adecuacin histrica, no
puede ser
aceptada. La mejor -metodologa ser entonces aquella que reconstruya como
racionales una mayor
cantidad de episodios de la historia de la ciencia.
Para Lakatos, la evaluacin de las metodologas es un procedimiento totalmente
anlogo al de la
evaluacin de los programas de investigacin cientfica.
El modelo de Lauden
El modelo de cambio cientfico propuesto por Larry Laudan es un modelo basado en la

solucin de
problemas. Para este autor, el objetivo de la ciencia es obtener teoras altamente
eficaces en la
solucin de problemas. Por tanto la ciencia progresa en la medida en que las teoras
sucesivas
resuelven ms problemas que sus predecesoras.
Laudan considera que cualquier modelo de desarrollo que pretenda dar cuenta de la
ciencia como
una empresa progresiva y racional, debe reconocer ciertos rasgos del cambio cientfico
que la
70

historia de la ciencia nos muestra como persistentes, a saber: los cambios de teora
son, por lo
general, no acumulativos; las teoras no se rechazan simplemente por la presencia de
anomalas, ni
se aceptan tan slo por haber sido confirmadas empricamente; los debates en los
cambios de teora
se centran, con frecuencia, en cuestiones conceptuales y no en cuestiones de apoyo
emprico; los
criterios utilizados por los cientficos al evaluar las teoras (que Laudan llama
principios locales de
racionalidad) han cambiado considerable mente a lo largo del desarrollo cientfico; la
aceptacin o
el rechazo no son las nicas actitudes cognoscitivas hacia las teoras, existe una gama
ms amplia de
actitudes epistmicas; los principios de evaluacin varan considerablemente de
acuerdo con los
distintos niveles de generalidad que presentan las teoras; la coexistencia de teoras
rivales es la regla
ms que la excepcin, por tanto la evaluacin de teoras es, bsicamente, una cuestin
comparativa.
Laudan considera que el limitar nuestra atencin a las teoras, entendidas a la manera
tradicional,
nos impedira tomar en consideracin los compromisos ms bsicos y a largo plazo que

son un
componente central de toda la investigacin cientfica.
Las teoras son versiones especficas de visiones ms fundamentales acerca del mundo,
y una manera
en que se desarrollan y cambian cobra sentido slo cuando se analizan a la luz de sus
compromisos
(presupuestos) ms bsicos.
Laudan llama tradiciones de investigacin (TI) al conjunto de compromisos
compartidos por una
familia de teoras. Una TI incluye: 1) una ontologa (un conjunto de supuestos
generales acerca de la
clase de entidades y procesos que integran el dominio de investigacin); 2) una
metodologa (un
conjunto de normas epistmicas y metodolgicas acerca de cmo investigar ese
dominio, cmo
poner a prueba las teoras, qu cuenta como evidencia, cmo modificar las teoras que
estn en
dificultades, etc.), y 3) una especificacin de los objetivos cognitivos (como, por
ejemplo, el de
restringirse a enunciados sobre propiedades manifiestas y a teoras inducidas por ellos,
objetivo
dominante en la filosofa experimental del siglo XVIII).
Aunque las TI son las unidades que persisten a travs del cambio de teoras, las mismas
TI pueden ser
abandonadas. La evaluacin tanto de las teoras como de las TI depende
fundamentalmente de su
eficacia en la resolucin de problemas.
Los problemas que han de ser resueltos son bsicamente de dos tipos: empricos y
conceptuales.
Entre los problemas empricos, Laudan distingue: problemas potenciales, problemas
resueltos y
problemas anmalos. Los problemas potenciales o no resueltos, son los hechos
conocidos
acerca de los cuales no hay, hasta el momento, ninguna explicacin; los problemas

resueltos, o
reales, son las afirmaciones acerca del mundo que han sido explicadas por alguna
teora viable; y
los problemas anmalos, en relacin con una cierta teora, son problemas que ella
no resuelve
pero que una teora rival, que es viable, s lo hace. Los problemas conceptuales son los
problemas
que se le presentan a una teora T en las siguientes circunstancias: cuando T es
internamente
inconsistente o encierra ambigedades conceptuales; cuando T entra en contradiccin
con otras
teoras, con los principios metodolgicos o con los supuestos metafsicos
prevalecientes; cuando T no
utiliza conceptos de teoras ms generales a las que se supone est lgicamente
subordinada.
De acuerdo con el componente retrospectivo, una TI es ms adecuada (ms aceptable)
que otra
cuando el conjunto de sus teoras tiene una eficacia global mayor que el conjunto
asociado a la TI
rival. De acuerdo con el componente prospectivo, una TI es ms progresiva (ms
prometedora) que
otra cuando su tasa de progreso es mayor, una TI puede ser menos adecuada que una
rival y, sin
embargo, ser ms progresiva. La racionalidad estribara, segn Laudan, en proseguir
la investigacin
de las teoras ms progresivas, y en aceptar slo las teoras ms adecuadas.