Cuadernos de la Facultad de Humanidades y

Ciencias Sociales - Universidad Nacional de

Jujuy
ISSN: 0327-1471
info@cuadernos-fhycs.org.ar
Universidad Nacional de Jujuy
Argentina

ALVAREZ, Marisa Alejandra; ARAUJO, Carolina Ins; MEDINA, Celia Georgina

LA REDUCCION COMO EJEMPLO DE RELACION INTERTEORICA
Cuadernos de la Facultad de Humanidades y Ciencias Sociales - Universidad Nacional de Jujuy, nm.
44, 2013, pp. 119-131
Universidad Nacional de Jujuy
Jujuy, Argentina

Disponible en: http://www.redalyc.org/articulo.oa?id=18532860009

Cmo citar el artculo

Nmero completo
Sistema de Informacin Cientfica
Ms informacin del artculo Red de Revistas Cientficas de Amrica Latina, el Caribe, Espaa y Portugal
Pgina de la revista en redalyc.org Proyecto acadmico sin fines de lucro, desarrollado bajo la iniciativa de acceso abierto
CUADERNOS FHyCS-UNJu, Nro. 44:119-131, Ao 2013
LA REDUCCION COMO EJEMPLO DE RELACION INTERTEORICA

(REDUCTION AS AN EXAMPLE OF INTERTHEORICAL RELATION)

Marisa Alejandra ALVAREZ - Carolina Ins ARAUJO -

Celia Georgina MEDINA*

RESUMEN

Las teoras cientcas estn en permanente relacin con sus pares, por
ejemplo, no es posible contrastar empricamente una teora sin presuponer otras,
ni tampoco introducir una nueva si no es compatible con el conocimiento aceptado
hasta ese momento. Una forma clsica de analizar el problema de las relaciones
intertericas ha sido el modelo reduccionista.
En este trabajo analizaremos el problema de las relaciones intertericas,
centrndonos en la reduccin con el objetivo de ver si sta ha sido o no
superada. Para ello comenzaremos con una revisin histrica de cmo trat el
tema la concepcin heredada, principalmente el Crculo de Viena y el empirismo
lgico. Luego mostraremos algunas de las principales crticas a tal tratamiento
detenindonos en las realizadas en el contexto del giro historicista. Despus
analizaremos la visin de Ulises Moulines (1991), representante de la concepcin
estructuralista, que deende la reduccin como uno de los diferentes tipos posibles
de relaciones intertericas y brinda una versin que, segn l, es inmune a las
crticas historicistas sobre la variacin de signicados en los cambios tericos.
Finalmente evaluaremos si esta posicin implica una superacin de la concepcin
heredada.

Palabras Clave: emergencia, reduccin, relaciones intertericas.

ABSTRACT

Scientic theories are in permanent relationship, it is not also possible to

conrm empirically a theory without presupposing others, even it is not possible to
introduce a new one if it is not compatible with the accepted knowledge. A classic
way of analyzing the problem of relations has been the reductionist model.
In this paper we will analyze intertheoretical relations problem by focusing
on the reduction in order to see whether or not this has been overcome. This
will begin with historical account of the subject, mainly the Vienna Circle and the
logical empiricism. Then we will show some critics against the received views idea
of reduction, chiey the historicist turn. After we will analyze the vision of Ulises
Moulines (1991), representative of the structuralist view, which advocates the

* Universidad Nacional de Tucumn Benjamn Araz 800 - CP 4000 Tucumn Argentina.

Correo Electrnico: crabnebula@hotmail.com

119
 MARISA A. ALVAREZ - CAROLINA I. ARAUJO - CELIA G. MEDINA
reduction as one of different kind of possible types of intertheorical relationships and
offers an account of it, according to hem, that avoid historicist criticism grounded
in the meanings variations in theoretical change. Finally we will evaluate whether
this last position overcame the received view.

Key Words: emergence, reduction, intertheorical relation.

INTRODUCCIN

Las teoras estn en permanente relacin entre s (Kitcher, 1993). Por

ejemplo, no es posible contrastar empricamente una teora sin presuponer
otras, ni tampoco introducir una nueva si no es compatible con el conocimiento
aceptado, en relacin a esto Bunge arma que las hiptesis para ser cientcas
deben ser, entre otras cosas, compatibles con el conocimiento ya establecido
(Bunge, 1967). Desde el punto de vista del progreso, evaluar si vale o no la pena
proseguir la investigacin de una nueva teora o una nueva hiptesis requiere de
la comparacin con teoras e hiptesis previas, por ejemplo, Popper arma que
se considera un progreso a una teora nueva si explica algn nuevo fenmeno y
adems explica lo que las anteriores (Popper, 1962).
Muchas teoras actuales son derivadas -no en sentido deductivo- de otras
teoras, por ejemplo, la teora del big bang incorpora los conocimientos, leyes e
hiptesis fundamentales tanto de la fsica como de la geologa.(1)
En este trabajo analizaremos la evolucin de cmo se ha tratado la
cuestin de las relaciones intertericas, principalmente la reduccin, con el
objetivo de ver si la forma en que la elabor la losofa clsica de la ciencia ha
sido o no superada. Por ello comenzaremos con una revisin de cmo trataron
el tema el Crculo de Viena y el empirismo lgico. Luego mostraremos algunas
de las principales crticas a tal tratamiento detenindonos en las realizadas en el
contexto del giro historicista. Despus analizaremos la visin de Ulises Moulines
(1991), representante de la concepcin estructuralista, que deende la reduccin
como uno de los diferentes tipos posibles de relaciones intertericas y brinda una
versin que, segn l, es inmune a las crticas historicistas sobre la variacin de
signicados en los cambios tericos. Finalmente evaluaremos si esta posicin
implica una superacin de la concepcin heredada.(2)

LA REDUCCIN EN LA CONCEPCIN HEREDADA(3)

El problema de la relacin entre teoras no es un problema nuevo, como

muchos de los temas en losofa de la ciencia, ya fue tratado por el Crculo de
Viena, cuyos miembros debatieron respecto de cmo suceden y cmo deberan
ser las relaciones intertericas. Si bien todos compartan el ideal de unidad de
la ciencia, ste no signicaba lo mismo para todos, as, para Neurath la relacin
que debe existir entre teoras y disciplinas no es reductiva sino enciclopdica,
esto es, se relacionan en un marco de igualdad y discusin abierta, a veces se
complementan y, a veces, se oponen. Lo importante es que una enciclopedia

120
CUADERNOS FHyCS-UNJu, Nro. 44:119-131, Ao 2013
muestra el estado del conocimiento en un momento dado, y tiene por tarea
mostrar cmo se pueden examinar cuestiones bastante diferentes cientcamente
y conectarlas unas con otras, y cmo mtodos cientcos divergentes pueden
ser aplicados al mismo problema (Neurath,1937).
Mientras que para Carnap la principal relacin interterica es la unidad
reductiva, por ello una tarea fundamental de la losofa de la ciencia era encarar
una traduccin del lenguaje terico a un lenguaje observacional, proponiendo
as una reduccin lgico lingstica entre teoras que salvaguardara tanto el
carcter emprico como el progreso acumulativo entre teoras sucesivas. Con las
nociones de traducibilidad, construccin y reduccin, Carnap pretenda solucionar
el problema planteado por los trminos tericos reemplazndolos por trminos
observacionales. As, un trmino terico es reducible a trminos observacionales
si cada vez que aparece en un enunciado puede ser reemplazado por los trminos
observacionales que se han estipulado como su traduccin (Carnap, 1928). Podra
armarse entonces que para Carnap la reduccin es sobre todo traduccin a un
lenguaje sicalista.
La visin que prevaleci fue la de Carnap y no la de Neurath, pero debido
a la imposibilidad de traducir los trminos tericos a trminos observacionales,
los modelos de reduccin posteriores se centraron en la reduccin por derivacin
(Nagel, 1961 y Hempel, 1965) o por explicacin de los datos observacionales
(Kemeny y Oppenheim, 1956).
Kemeny y Oppenheim (1956) mantienen la distincin entre trminos
observacionales y tericos, pero ya no es necesaria la traduccin de trminos para
reducir una teora a otra sino slo que ambas teoras compartan el vocabulario
observacional aunque dieran en sus trminos tericos. La reduccin es exitosa
slo si la teora reductora explica los datos observables de la teora reducida y
permite una economa en el vocabulario terico de la ciencia, es decir, si consiente
la eliminacin de algunos trminos tericos.
En La estructura de la ciencia, Ernst Nagel (1961) formul una denicin
de la reduccin interterica que se convirti en una de las tesis tpicas de la
concepcin heredada: una reduccin es la explicacin de una teora o de un
conjunto de leyes experimentales establecidas en un campo de investigacin
por otra teora formulada habitualmente, aunque no invariablemente, para otro
dominio. Y, como la explicacin para la concepcin heredada es un argumento
deductivo -en el cual las premisas contienen leyes de las cuales se derivan lo que
quiere explicarse- entonces la reduccin es bsicamente una relacin lgica en
la que la teora reducida se deduce lgicamente de la teora reductora.
Para que esta reduccin sea correcta, Nagel propone dos condiciones
formales, la primera es la condicin de conectabilidad que exige relacionar a travs
de suposiciones adicionales los trminos de la teora reducida que no existen en
la teora reductora con propiedades o caractersticas que s aparecen en esta
ltima para que sea posible la deduccin a travs del reemplazo del signicado
de los trminos nuevos por el conjunto de caractersticas ya existentes. De modo
que, aunque Nagel no propone la traducibilidad de todos los trminos tericos a
trminos empricos u observacionales, propone su traduccin a propiedades y/o

121
 MARISA A. ALVAREZ - CAROLINA I. ARAUJO - CELIA G. MEDINA
caractersticas que aparecen en las teoras reductoras.
Nagel la llama conectabilidad, en lugar de traducibilidad, porque reconoce
que las distintas disciplinas cientcas tienen sus propios problemas as como un
lenguaje que les permite abordarlos, por lo cual no se trata de hacer una traduccin
de los conceptos de las diferentes teoras involucradas sino que, supuestamente,
se trata ms bien de conectarlos. La segunda condicin es que las leyes de la
teora reducida sean deducibles de la teora reductora. Esta condicin se cumple
si logramos cumplir la primera.
Nagel expuso su modelo a travs del ejemplo de la reduccin de la
termodinmica a la mecnica estadstica. Justamente tom este caso para mostrar
cmo pueden cumplirse las condiciones aun cuando se trate de dos teoras cuyo
lenguaje no es homogneo porque no usan los mismos trminos: el trmino
temperatura aparece en la termodinmica pero no en la mecnica estadstica.
Ahora bien, segn la lgica, para que sea posible la deduccin es necesario que
en la conclusin no haya ningn trmino que no est contenido en las premisas, y
por tanto, para derivar reductivamente una teora de la otra han de conectarse los
lenguajes de ambas. As, la denicin de la temperatura de un cuerpo como la
energa cintica media de las molculas de dicho cuerpo (Nagel, 1961) cumple
ambas condiciones, no slo porque conecta temperatura con los conceptos de la
mecnica estadstica sino porque garantiza la deduccin y, con ella, la reduccin
de la termodinmica.
Por otro lado, Nagel caracteriza la emergencia no como la aparicin de
propiedades nuevas sino como una relacin interterica en la que es imposible
deducir enunciados que reeren a objetos y sus propiedades a partir de otros
enunciados que, a su vez, se reeren a los componentes de tales objetos. Toma el
ejemplo del agua y sus propiedades de viscosidad y transparencia del emergentista
britnico Charles Broad (Broad, 1925). Dichas propiedades son imposibles de
predecir(4) a partir de los componentes an cuando tengamos un conocimiento
completo de las propiedades del hidrgeno y del oxgeno (Nagel, 1961). Ahora
bien, para Nagel La doctrina de la emergencia enuncia ciertos hechos lgicos
acerca de relaciones formales entre enunciados, y no hechos experimentales
o metafsicos acerca de caractersticas inherentes a las propiedades de los
objetos (Nagel, 1961). Es decir, la pretensin de Nagel es que la emergencia es
una cuestin epistmico-lingstica y no ontolgica, porque puede darse el caso
que una determinada propiedad sea emergente con respecto a una determina
teora, pero no con respecto a otra.(5)
Sin embargo, creemos que el propio ejemplo usado por Nagel muestra que
no se trata slo de una cuestin lgico lingstica, sino que tiene connotaciones
ontolgicas aunque l pretenda limitar su anlisis a lo lgico-epistmico. As, cuando
habla del segundo tipo de reduccin, dice, que muchas de las caractersticas de la
teora reducida caen en el mbito de una teora que puede haber sido elaborada
inicialmente para abordar elementos cualitativamente diferentes, y que esta
teora reductora parece borrar distinciones familiares como si fueran cticias y
parece sostener que caractersticas prima facie indiscutiblemente diferentes de las
cosas son, en realidad, idnticas (Nagel, 1961). En estas lneas explcitamente

122
CUADERNOS FHyCS-UNJu, Nro. 44:119-131, Ao 2013
est hablando de cosas y de sus propiedades y caractersticas y no de trminos
y conceptos. Por ello armamos que, aunque pretenda mantenerse lejos de las
cuestiones ontolgicas, cae en un reduccionismo ontolgico.
En resumen, sin quererlo, en la visin de Nagel tanto la reduccin como
la emergencia no son slo relaciones epistmicas y lgicas entre teoras sino
ontolgicas. Su reduccin de la termodinmica a la mecnica estadstica no es
slo una traduccin del trmino temperatura sino la reduccin de una propiedad
de un sistema al nivel de sus componentes y sus propiedades, esto es a la energa
cintica de sus molculas.
Esta pretensin de que la reduccin no es ontolgica tambin puede
verse en el modelo de explicacin de la concepcin heredada segn el cual
una explicacin es un argumento cuyas premisas contienen leyes -generales
o probabilistas- bajo las cuales se subsume lo que se quiere explicar, ya sean
hechos particulares o leyes. Esta visin, -aunque est implcita ya en el Crculo de
Viena y explicitada por Popper- fue desarrollada y sistematizada en dos famosos
artculos de Hempel y Oppenheim, Studies in the logic of explanation (1948) y
Aspects of Scientic Explanation (1965). En la reduccin explicativa lo que se
pretende es derivar teoras anteriores de las teoras ms nuevas y teoras o leyes
menos universales de teoras ms abarcadoras y universales.
Hempel y Oppenheim sostienen que las explicaciones de leyes a travs
de leyes ms generales son siempre argumentos deductivos -en el caso de leyes
probabilistas es estadstico deductivo-. Sin embargo, en ninguno de sus textos
desarrollan la explicacin de leyes y centran sus anlisis en las explicaciones de
hechos particulares. El motivo de esto se aclara en una nota al pie -nota nmero
33- de Studies in the logic of explanation, en la que arman:
La reconstruccin racional precisa de una explicacin aplicada a las
regularidades generales presenta problemas particulares para los cuales no
podemos, actualmente ofrecer ninguna solucin. El ncleo de la dicultad puede
indicarse por referencia a un ejemplo: las leyes de Kepler, K, pueden asociarse
a la ley de Boyle, B, para [formar] una ley ms fuerte K.B; pero la derivacin de
K desde esta ltima no sera considerada una explicacin de las regularidades
armadas por las leyes de Kepler; ms bien, se vera como representando, en
efecto, una intil explicacin de las leyes de Kepler por s mismas. Por otro
lado, la derivacin de las leyes de Kepler a partir de las leyes de movimiento y
gravedad de Newton, se reconoceran como una explicacin genuina en trminos
de regularidades ms comprensivas, tambin llamadas leyes de mayor nivel.
Surge entonces el problema de establecer criterios bien denidos para distinguir
niveles de explicacin o para comparar sentencias generales en lo que hace a su
comprensividad. El establecimiento de criterios adecuados para este propsito
es todava un problema abierto (Hempel y Oppenheim, 1948).
Aqu Hempel y Oppenheim sealan los lmites del anlisis lgico lingstico,
pues en el primer caso, segn la lgica, la conjuncin de dos premisas verdaderas
no cambia el valor de verdad del argumento pero resulta no slo irrelevante
sino que podran aparecer en las premisas leyes -como las de Boyle- que rigen
para diferentes dominios y no tienen relacin con la conclusin; y por lo tanto,

123
 MARISA A. ALVAREZ - CAROLINA I. ARAUJO - CELIA G. MEDINA
el modelo de explicacin que pretende ser un esquema riguroso se convierte
en algo engorroso. En el segundo caso, los lmites se deben claramente a que
si uno se mantiene en el nivel lgico-lingstico no hay modo de saber cul de
dos enunciados universales es ms universal y por lo tanto incluye al otro, esto
slo puede resolverse apelando a las caractersticas del universo y al contenido
semntico de las leyes, es decir, al mundo y por tanto al nivel ontolgico. De
modo que el modelo termina no dando cuenta de lo que pretenda: la acumulacin
del conocimiento, en la que las leyes de teoras anteriores estn implicadas por
las leyes ms novedosas, y la pretensin reduccionista de que las leyes menos
universales -de la biologa, la qumica, etc.- son derivables de las ms universales
y fundamentales de la fsica.
De hecho, muchas de las crticas que se realizaron a los modelos
reduccionistas de la concepcin heredada apuntaron a las limitaciones del anlisis
lgico, incluso entre sus seguidores. As, ya desde Popper se seal que una
teora no puede ser reducida o implicada por otra a menos que sea corregida y
por lo tanto lo que se deriva no es la teora tal como era sino una versin que ha
cambiado los conceptos y las leyes (Schaffner, 1967). En cuanto a la reduccin
explicativa de leyes, a las limitaciones sealadas, se agregan diversas crticas, una
de las ms importantes ha sido que el hecho de poder deducir una ley de otra no
implica necesariamente una explicacin, por ejemplo Einstein dedujo la existencia
de los fotones a partir de la teora de la radiacin trmica de Planck; casi 20 aos
despus Bose mostr que la teora de Planck poda ser deducida de la teora de los
fotones de Einstein. En primer lugar la radiacin trmica no explica la existencia de
los fotones pero, adems, puesto que hay deduccin en los dos sentidos cul de
las dos teoras se supone que explica a la otra? Justamente, en el modelo heredado
explanans y explanandum son asimtricos en tanto el ltimo debe derivarse del
primero pero no a la inversa. En este ejemplo, no slo no se cumple tal asimetra sino
que no puede saberse, slo por el anlisis lgico, cul es la teora explicativa.

EL GIRO HISTORICISTA Y EL RECHAZO A LA REDUCCIN INTERTERICA

Las diversas crticas que surgieron a la concepcin heredada incluso

desde sus propias las, el fracaso de reducir y/o traducir los trminos tericos
a trminos observacionales, as como las crticas concretas al modelo reductivo
de Nagel y al modelo explicativo de Hempel y Oppenheim llevaron a la crisis de
este modo de hacer losofa de la ciencia. Esto y los cambios producidos por el
n de la guerra fra y los procesos sociales de los aos de 1960, dieron lugar a
una nueva losofa de la ciencia que luego se denomin giro historicista por la
importancia que adquiere en sus anlisis la historia de la ciencia.
Dos de los representantes ms importantes de esta nueva losofa de la
ciencia, Kuhn y Feyerabend sostuvieron que la reduccin es slo una pretensin
de los lsofos y que no concuerda con las prcticas cientcas reales. Las
teoras sucesivas no pueden tener una relacin de reduccin ni de explicacin
deductiva, pues son inconmensurables. En Explicacin, reduccin y empirismo
(1962), Feyerabend sostiene que cuando se pasa de una teora a otra ms

124
CUADERNOS FHyCS-UNJu, Nro. 44:119-131, Ao 2013
amplia, que se supone que cubre todos los fenmenos que cubra la anterior, no
hay una relacin de implicacin deductiva entre la teora nueva, T, y la anterior,
T, sino que se produce una sustitucin de la ontologa de la primera teora y
su correspondiente cambio de los signicados de los elementos descriptivos.
Feyerabend arma que el modelo reduccionista de la concepcin heredada se
basa en el supuesto de la invariancia del signicado de los trminos que permite
la deducibilidad, supuesto que ha sido desmentido por la historia de la ciencia y
la evolucin entre teoras. Segn Feyerabend los problemas del modelo llevan a
dos salidas posibles: o reconocer que no hay reduccin entre teoras sucesivas
o bien que puede haberla pero que esta no es deductiva.
En la evolucin histrica para Feyerabend no hay acumulacin sino
reemplazo de las teoras ms antiguas por las ms nuevas, dicho reemplazo
conlleva un cambio tanto de los trminos y leyes como de la ontologa, de all que
sean inconmensurables.
En el mismo sentido, Kuhn sostiene que tanto la losofa de la concepcin
heredada como los libros cientcos de texto muestran un progreso gradual de la
ciencia en la que las teoras ms nuevas son una contribucin al creciente caudal
de conocimientos, pero esta visin no coincide con los datos que se extraen de la
historia. Segn su visin del cambio terico, no hay acumulacin ni unidad entre
teoras sucesivas, ms bien, el surgimiento de una nueva teora raramente o nunca
constituye slo un incremento de lo que ya se conoce. Su asimilacin requiere la
reconstruccin de la teora anterior y la reevaluacin de los hechos anteriores; un
proceso revolucionario (Kuhn, 1969). Despus de una revolucin para Kuhn no
slo cambian los conceptos y los mtodos sino tambin la ontologa, por eso Kuhn
arma que los cientcos al cambiar de paradigma viven en mundos diferentes,
y sus paradigmas son inconmensurables.
A diferencia de Nagel, los historicistas no hacen referencia a la emergencia
ni estudian relaciones entre teoras simultneas y al armar que las teoras
sucesivas son inconmensurables marcan la insuciencia de los argumentos
empricos y lgicos para mostrar cul de dos paradigmas es ms correcto que el
otro, por ello niegan cualquier otra relacin que no sea el conicto y la lucha por
imponerse (Kuhn, 1969).

LAS RELACIONES INTERTERICAS EN LA CONCEPCIN ESTRUCTURAL

DE LAS TEORAS

Los herederos del empirismo lgico, reivindicando principalmente su

formalismo, intentaron brindar una nueva visin de las teoras cientcas que evite
las crticas a las limitaciones del encuadre logicista y las del historicismo. Esta
nueva visin desarrollada principalmente por Sneed (1971), Stegmller (1973)
y sus discpulos, Moulines y Balzer (1987) llamada concepcin estructural de
las teoras, retom el tema de las relaciones intertericas y trat de hacer una
sistematizacin de las mismas.
A diferencia de la concepcin heredada, la concepcin estructural concibe
las teoras como conjuntos de modelos, por lo que las relaciones intertericas

125
 MARISA A. ALVAREZ - CAROLINA I. ARAUJO - CELIA G. MEDINA
dejan de verse como relaciones entre enunciados para pasar a ser relaciones entre
conjuntos de modelos. La herramienta principal de anlisis de las teoras ya no
es la lgica sino la teora de conjuntos (Moulines, 1982; Suppes, 1954 y Adams,
1959). Los modelos que constituyen las teoras son los correlatos formales de
los trozos de la realidad que la teora explica (Moulines, 1982). Tales modelos
se determinan axiomatizando las teoras a travs de predicados conjuntistas y se
considera que aquellas entidades que cumplen con esos predicados satisfacen
los modelos de esa teora. Ahora bien, cada teora cuenta con varios conjuntos
de modelos -no son innitos sino que estn restringidos por leyes y condiciones
de la teora; y todos ellos deben respetar los valores dados para ciertas funciones
en la teora- cada uno de los cuales se vincula a una determinada aplicacin de
la teora a la realidad (Lorenzano, 2001).
Es importante destacar que los diversos modelos se aplican a un sector
de la realidad que expresa los compromisos ontolgicos que tiene la teora a la
que pertenecen. Las armaciones que una teora hace acerca de lo que hay slo
se justican si al menos algunas de las predicciones empricas que hacen son
correctas aunque sea aproximadamente, por ello las cosas que realmente existen
son aquellas y slo aquellas que estn incluidas en el modelo o los modelos que
representan nuestra experiencia (Moulines, 2010).
Segn la concepcin estructural, los diferentes tipos de relaciones
intertericas -reduccin, equivalencia, aproximacin, teorizacin, presuposicin,
emergencia y superveniencia-, estn dadas por vnculos entre las teoras, y estos
vnculos suelen ser asimtricos, es decir, sealan cul teora es ms fuerte que
la otra. Segn Lorenzano las tpicas relaciones globales entre teoras -como
la reduccin, la equivalencia, la inconmensurabilidad y otras- se asumen
como constituidas por vnculos (Lorenzano, 2001). Ahora bien, los vnculos son
inherentes a las teoras pues, para esta concepcin, las teoras no son unidades
aisladas sino que desde un principio estn ligadas con otras teoras. Moulines
distingue dos tipos de vnculos: los implicativos y los determinantes, pero se trata
de una distincin y separacin que es til para su anlisis, pero que no ocurren
en la prctica real de la ciencia.
Los vnculos determinantes relacionan los conceptos (cualitativos y
cuantitativos) de teoras diferentes, por ejemplo el vnculo que identica el valor
de la presin de la hidrodinmica con el valor de la derivada parcial de la energa
interna en termodinmica. Por su parte, los vnculos implicativos conectan los
modelos y leyes de las teoras en cuestin, sin involucrar los conceptos de las
mismas. Los vnculos implicativos son globales, en el sentido de que relacionan
clases enteras de estructuras de teoras diferentes (Moulines, 1991) y, como su
nombre lo indica, la teora ms fuerte implica a la teora ms dbil, se trata de una
implicacin estructural de algunos modelos de la teora ms dbil que no tiene
la fuerza de una implicacin lgica entre enunciados. Adems, al no ser entre
enunciados evitan el problema del cambio de signicado entre teoras sucesivas.
En este punto nos parece necesario sealar que no est claro en qu consiste
esta implicacin dbil, slo queda claro que para esta corriente la reduccin es
un vnculo implicativo.

126
CUADERNOS FHyCS-UNJu, Nro. 44:119-131, Ao 2013
Respecto de la reduccin, segn esta concepcin, se trata de una relacin
asimtrica donde la teora reductora es claramente ms fuerte que la reducida
porque sus modelos cubren muchos sistemas que la teora reducida no cubre,
al tiempo que todos los modelos de la teora reducida se vinculan con modelos
de la teora reductora; de modo que las leyes de la teora reductora implican las
leyes de la teora reducida y, adems, la teora reductora debe tener mayor poder
explicativo que la reducida (Moulines, 1982).
Moulines critica la visin de Nagel por simplista -en tanto no toma en
cuenta la complejidad de las teoras cientcas y slo considera el problema
lingsticamente- y repleta de dicultades, pues no siempre puede conectar las
leyes de las diferentes teoras, a veces por la imposibilidad de denir un trmino
de una teora mediante los trminos de la otra, y otras veces porque la deduccin
se vuelve tan engorrosa que el resultado no resulta ni elegante ni eciente; por
ejemplo, cmo reducir principios como la seleccin natural o la adaptacin a la
qumica?
Para la concepcin estructural, el hecho de que el tratamiento lgico
deductivista de la reduccin fracasara no implica que la reduccin sea imposible,
sino slo que ha sido vista incorrectamente. Sostienen que hay reduccin y esta
sigue consistiendo en la derivacin de las leyes principales de la teora reducida
de las leyes de la teora reductora pero esta derivacin no es una deduccin lgica
sino, ms bien, una derivacin intuitiva que no requiere trminos homogneos.
A diferencia de la concepcin heredada, Moulines y la concepcin estructural
reconocen explcitamente que la reduccin encierra aspectos ontolgicos, pues
una reduccin de una teora a otra no ser considerada genuina si las entidades
bsicas postuladas por la primera (el mobiliario del mundo tal como es visto por
ella) no pueden reducirse en algn sentido a las entidades bsicas de la teora
reductora (Moulines, 1991). Por lo tanto la reduccin no slo supone vnculos
implicativos, es decir, derivacin de leyes, sino tambin vnculos determinantes,
esto es, la derivacin de los trminos que designan los dominios bsicos de ambas
teoras. El componente ontolgico garantiza que no se trata slo de una relacin
matemtica ad hoc entre dos conjuntos de estructuras que no dice realmente
nada sobre el mundo (Moulines, 1991). En consecuencia, la reduccin es posible
slo en virtud de una concepcin ontolgica en la que ciertos dominios son ms
fundamentales que otros.
Sin embargo, no todas las teoras pueden ser reducidas algn da a una
teora nica como pensaba Carnap, pues frecuentemente la reduccin no es
posible, como cuando las teoras de una misma disciplina no slo dieren en sus
marcos conceptuales y no pueden derivarse una de la otra porque se reeren a
diferentes sectores de la realidad como es el caso de la relatividad general y la
electrodinmica cuntica. Otro caso se da entre teoras de diferentes disciplinas
en las que la relacin es la de emergencia, que para esta concepcin es una
relacin mucho ms dbil que la reduccin. As, decimos que una teora T emerge
de otra T cuando a pesar de que sus leyes no pueden derivarse lgicamente de
las leyes de T su dominio se construye a partir del dominio de T. De modo, que
para el estructuralismo una teora emerge de otra cuando, a pesar de gozar de

127
 MARISA A. ALVAREZ - CAROLINA I. ARAUJO - CELIA G. MEDINA
una independiencia nomolgica respecto a la teora de la que emerge, depende
ontolgicamente de ella (Moulines, 2006). Por ejemplo, hay emergencia entre la
biologa y la qumica, si bien son irreductibles epistmica y nomolgicamente, el
dominio del que se ocupa la biologa depende ontolgicamente del nivel qumico
y, a su vez, el nivel qumico depende ontolgicamente del fsico.
De esto se sigue entonces que podemos construir un sistema ontolgico
nico, aunque por supuesto con el precio de aceptar que el Ser a veces se dice
en el sentido de la relatividad general, algunas veces en el sentido de la fsica de
partculas, algunas veces en el sentido de la termodinmica irreversible, y quizs
an en otro sentido. An habra un mundo pero este mundo sera ms parecido a un
sistema federal descentralizado que a un estado centralizado (Moulines, 2001).
De modo que para Moulines lo real es una unidad ontolgica con niveles
dependientes de un nivel fundamental, el fsico; esta unidad, sin embargo slo
puede ser abordada por teoras y disciplinas diferentes, que son irreductibles entre
s, por tanto la unidad epistemolgica se vuelve un ideal difcil de alcanzar.

CONCLUSIN

En este trabajo hicimos una revisin histrica de cmo se abord el

problema de las reduccin de teoras en el mbito de la losofa de la ciencia para
mostrar que, a pesar de las crticas y las variaciones, la visin reduccionista de
la concepcin heredada sigue siendo inuyente hasta nuestros das. Aunque se
ha reconocido desde antes de Nagel las dicultades que encerraba la reduccin
tal como la entenda Carnap (por el problema de inemilinabilidad de los trminos
tericos), hasta mediados de siglo el modelo de relacin interterica sigui siendo
el de la reduccin entendida en trminos de una relacin lgico-lingstica que no
implica aspectos ontolgicos.
De all que las crticas del historicismo se centraran en el problema de la
variacin de signicados entre teoras sucesivas que hace imposible la deduccin
pretendida por la visin acumulativa y reductiva del conocimiento y del cambio
terico. Pero los historicistas sealan algo fundamental: la variacin de trminos
implica variacin en la ontologa del universo.
Esto ha sido central para los desarrollos posteriores de los modelos
de reduccin, en tanto intentan evitar los problemas del enfoque lingstico y
sus limitaciones, por un lado y, las crticas historicistas, por otro, abandonando
la concepcin lingstica de la ciencia e incluyendo la ontologa. Sin embargo,
pensamos que hemos mostrado que la concepcin estructuralista retoma el
tratamiento nageliano de reduccin y la dene como la derivacin de las leyes
principales de la teora reducida de las leyes de la teora reductora; diere de la
concepcin heredada en su visin de la derivacin que ya no es lgico lingstica
sino intuitiva y que tiene como base una ontologa con niveles ms o menos
fundamentales.
Moulines pretende haber superado las falencias del anlisis nageliano,
sin embargo pensamos que su idea de una implicacin dbil entre teoras que
supuestamente garantizara la reduccin entre las mismas no es lo sucientemente

128
CUADERNOS FHyCS-UNJu, Nro. 44:119-131, Ao 2013
clara, el concepto de vnculo implicativo explicado como derivacin intuitiva
es demasiado ambiguo. La apelacin a la ontologa intenta tambin resolver
esta ambigedad distinguiendo dominios ontolgicos ms fundamentales, -que
permiten que una teora sea ms fuerte que otra- lo cual est siendo discutido por
lo menos desde hace cuatro dcadas por las posiciones que se inclinan por valorar
los diversos mbitos ontolgicos como igualmente fundamentales, rescatando los
niveles complejos como autnomos e importantes en s mismos.
Por otro lado, los ejemplos del modelo de reduccin de Moulines en
general son de la misma disciplina y, dentro de ella de una misma rea, como la
reduccin de la mecnica de choque a la mecnica newtoniana, que es posible
porque ambas satisfacen la ley de conservacin del momento y los valores de
masa son los mismos en los correspondientes modelos.
En cuanto a la emergencia de una teora a partir de otra que los
emergentistas britnicos desarrollaron a inicios del siglo XX, no es siquiera
considerado por el Crculo de Viena que concibe a la reduccin como la nica
relacin intertorica. Desde entonces y hasta ahora, tanto el empirismo lgico
como la concepcin estructuralista de la ciencia, han considerado la emergencia
slo como una imposibilidad lgica de derivar unas leyes de otras, pero vacan
su contenido ontolgico.
Nuestra conclusin es que si bien desde hace tiempo se han levantado
numerosas crticas a la reduccin, la losofa de la ciencia actual sigue defendiendo
algn tipo de la misma sin alejarse completamente del ideal reduccionista de
la concepcin heredada. Por otra parte, el propio concepto de emergencia
usado tanto por reduccionistas como por anti reduccionistas no est libre ni de
ambigedades ni de una carga reduccionista, en tanto mantienen a la emergencia
en un nivel epistemolgico dominando la reduccin la ontologa.

NOTAS

1) En el sentido de que son teoras que hacen uso de las consecuencias de teoras
establecidas y que, sin estas ltimas no seran posibles. En nuestro ejemplo de
la teora del Big Bang, la hiptesis original dedujo de la expansin, en el sentido
habitual, que en algn momento el universo debera haber sido ms pequeo,
(por el corrimiento al rojo de la luz de las galaxias se supuso que haba expansin,
consecuencia de algunas de las ecuaciones de la relatividad general). Ms tarde,
la teora del Big Bang ech mano de los hallazgos de la fsica de partculas y la
mecnica cuntica para explicar las condiciones iniciales del universo. Otro ejemplo
de cmo hay relaciones intertericas entre incluso diferentes disciplinas es el uso
que Eddington dio en astrofsica al concepto qumico de energa de enlace: hacia
1915 no se saba por qu brillaban las estrellas, sin embargo, los qumicos haban
descubierto la prdida de masa que conllevaba la unin molecular y hablaban
ya de la energa de enlace. Eddington ley artculos de qumicos y se percat
que la energa de enlace era, como la frmula de la relatividad postulaba, masa
transformada en energa y entonces plante que el mismo proceso se daba en
el interior de las estrellas pero en cantidades enormes, produciendo el brillo de
las mismas.

129
 MARISA A. ALVAREZ - CAROLINA I. ARAUJO - CELIA G. MEDINA
2) La seleccin de los autores y corrientes que se toman en el trabajo se
consideran clsicos en los temas tratados en funcin de que se trata el tema
desde la perspectiva de las relaciones intertericas. Si en cambio se tratara de
reduccin y emergencia ya no como relaciones intertericas, entonces se ha
de hacer referencia a las polmicas en losofa de la mente, y en losofa de la
ciencia que reeren a las cuestiones metodolgicas y metafsicas de la ciencia (por
ejemplo las polmicas entre holismo y reduccionismo, entre pluralismo ontolgico
y monismo, etc.). Para una visin sobre estas polmicas vase Van Riel, R. y Van
Gulik, Robert Scientic Reduction (2014)
3) Putnam 1962, fue quien llam con este nombre a la losofa de la ciencia que
bajo la agenda del empirismo lgico (Circulo de Viena y Circulo de Berln) y Popper,
se desarroll hasta mediados de la dcada de 1960.
4) Segn el modelo de la concepcin heredada una prediccin es una deduccin,
en este caso entonces se trata de que es imposible deducir a partir de los
componentes y sus caractersticas las caractersticas del compuesto.
5) El concepto de emergencia apareci en Inglaterra en 1920, sin embargo, todava
no hay una nica denicin del mismo lo que ha llevado a polmicas distinciones
entre tipos de emergencia. Para la distincin entre emergencia ontolgica y
epistmica, vase OConnor y Wong 2005, entre dbil y fuerte vase Chalmers
2006 y sincrnica y diacrnica Stephan 1999, El-Hani 2002.

BIBLIOGRAFA

BROAD, CH (1925) The Mind and its place in nature, Londres, Kegan Paul, 1925.

BUNGE, M (1967) La investigacin cientca. Su estrategia y su losofa, Ariel, Barcelona,

1969.

CARNAP, R (1928) Der Logische Aufbau der Welt, Leipzig, Verlag 1928. Berkeley, University
of California Press, 1967.

CHALMER, D (2006) Strong and weak emergence. En: CLAYTON, P y DAVIES, P (Eds.),
The Re-emergence of Emergence, (pp. 244-254). Oxford: Oxford University Press.

EL-HANI, CH (2004) Os debates sobre a emergencia de propiedades: onde estamos

atualmente? En: RABOSSI, E. (Ed.) La mente y sus problemas. Temas actuales de Filosofa
de la Psicologa (pp. 249-300). Buenos Aires, Argentina, Catlogos.

HEMPEL, C (1965) Aspects of scientic explanation and other essays in the philosophy of
science. New York, The Free Press.

HEMPEL, C y OPPENHEIM, P (1948) Studies in the logic of Explanation.Philosophy of

science, 15, 567-579.

FEYERABEND, P (1962) Explanation, Reduction and Empiricism. En: FEYERABEND

(Ed.) Philosophical Papers, vol. 2, Realism, Rationalism and Scientic Method (pp. 44-91).
Cambridge UK, Cambridge University Press, 1981.

KEMENY, J y OPPENHEIM, P (1956) On reduction. Philosophical Studies, 7, pp 6-19.

130
CUADERNOS FHyCS-UNJu, Nro. 44:119-131, Ao 2013
KIM, J (1999) Making Sense of Emergence. Philosophical Studies, 95, 3-36.

KITCHER, P (1993) El avance de la ciencia, Mxico, UNAM, 2001.

KUHN, T (1962/69) La estructura de las revoluciones cientcas, Mxico, FCE, 1971.

LORENZANO, P (2001) Sobre la unidad de las ciencias biolgicas, Signos Filoscos, 5,

121-131.

MOULINES, C (1991) Pluralidad y recursin, Madrid, Alianza,.

MOULINES, C (1993) Exploraciones metacientcas. Estructura, desarrollo y contenido

de la ciencia, Madrid, Trotta.

MOULINES, C (2001) Ontology, reduction, and the unity of science. Recuperado el

16 de abril de 2014, de http://www.gemas.fr/dphan/cosmagems/docs/philo/Moulines_
OntologyReductionAndTheUnityOfScience.pdf

MOULINES, C (2006) Ontology, reduction, emergence: A general frame. Synthese, 151,

313-323.

NAGEL, E (1961) La estructura de la ciencia, Paids, Barcelona, 1981.

NEURATH, O (1937) Unity of Science and Logical Empiricism: A Reply. En: SYMONS et al
(Eds.), Otto Neurath and the Unity of Science (pp. 15-31). Dordrecht, Springer, 2011.

OCONNOR, Th y WONG, H (2005) The metaphysics od Emergence. Nous, 39, 258-

678.

POPPER, K (1962) La lgica de la investigacin cientca. Tecnos, Madrid, 1980.

PUTNAM, H (1962) What Theories Are Not. En: NAGEL et al (Eds.) Logic, Methodology
and Philosophy of Science (pp. 240-251), Standford University Press, Standford.

SCHAFFNER, K. (1967) Approaches to Reduction. Philosophy of Science, 34, 137-147.

VAN RIEL, R AND VAN GULICK, R (2014) Scientic Reduction, The Stanford Encyclopedia
of Philosophy (Summer 2014 Edition), Edward N. Zalta (ed.), forthcoming URL = <http://
plato.stanford.edu/archives/sum2014/entries/scientic-reduction/>

131