Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
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 =
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
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
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
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
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
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
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)
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
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
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
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
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
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
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.
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
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
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
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
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
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
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.