Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Javier Echeverra
t
Introduccin
a la Metodologa
de la Ciencia
La Filosofa de la Ciencia
en el siglo )0(
BARCANOVA
TEMAS UNIVERSITARIOS
)
)
)
)
)
)
NDICE
)
)
)
)
Prlogo ..................................................................................................
7
7
10
12
13
16
19
23
23
)
)
25
28
30
34
37
44
50
59
59
63
66
75
75
77
80
)
)
)
-)
)
)
)
)
)
)
)
)
)
)
)
VIII
ndice
...... 83
3.4. La falsabilidad como criterio de demarcacin
3.5. Grados de corroboracin de una teora ........................ 86
3.6. La tesis del tercer mundo .................................................... 91
3.7. El realismo crtico ................................................................... 94
98
3.8. La verosimilitud .......................................................................
103
103
105
108
113
115
119
123
123
124
130
134
140
143
149
149
152
155
164
171
175
183
195
198
209
209
212
213
216
218
221
ndice
IX
224
224
229
234
241
241
242
247
253
259
PRLOGO
Prlogo
Prlogo
Prlogo
heredada, Popper y el falsacionismo, Kuhn, Lakatos, la concepcin estructural, la concepcin semntica y algunas de las diversas
crticas de la ciencia), as como la extensin relativa en el desarrollo de la materia, implican ya una teora, una concepcin previa
sobre lo que es ms relevante en la filosofa actual de la ciencia.
Y hay presupuestos, cmo no. Sin embargo, ello no impide que la
pretensin del autor haya sido, en primer lugar, exponer las distintas epistemologas, abordadas desde sus propios planteamientos,
teniendo en cuenta en segundo lugar las crticas a las que otros
autores las han sometido posteriormente, para terminar agrupndolas en tendencias o lneas de pensamiento que hayan tenido una
amplia repercusin internacional, desbordando los lmites gremiales y nacionales. Muchos filsofos de la ciencia relevantes no son
tratados, acaso, con la debida atencin. Y entre los seleccionados,
muchas cuestiones importantes quedan sin abordar. Se ha pretendido huir de la excesiva especializacin, tratando de componer un
volumen que pueda servir a un pblico amplio y, sobre todo,
interesado en la ciencia en general, adems de en su propia materia.
Se ha pretendido asimismo ofrecer una gua introductoria al
amplio campo de la epistemologa de la ciencia, sin entrar en
filosofas particulares (de la fsica, de la matemtica, de la biologa,
de las ciencias sociales, de la tecnologa), que sern abordadas en
parte en el segundo volumen. Cada captulo est precedido de una
breve introduccin a los temas que van a tratarse, as como de las
referencias bibliogrficas ms directamente accesibles al pblico
lector en lengua castellana. Tambin la bibliografa general, que
aparece al final del libro, responde a los mismos criterios. Se
ofrece, por una parte, una bibliografa bsica sobre filosofa general
de la ciencia, sin entrar en precedentes histricos anteriores al
siglo xx y, por otra, una seleccin relativamente amplia de las
obras existentes en castellano sobre estos temas, sean originales o
traducciones. Se intenta as facilitar un primer acceso a un pblico no especializado.
Al cabo, esta obra ha sido pensada como un instrumento auxiliar para la docencia, en los ltimos niveles del bachillerato y en los
primeros de la universidad, pero sin presuponer unos conocimientos filosficos o cientficos previos. Huyendo de la trivializacin, se
pretende ms bien sealar problemas epistemolgicos que resolverlos. Aun as, se parte de la idea de que la filosofa de la ciencia
Prlogo
Prlogo
6
1. EL CRCULO DE VIENA
avanza en el pensamiento.
JAVIER ECHEVERRA
Febrero de 1988
1.1. Introduccin
El Crculo de Viena se constituy formalmente en 1922, en torno a
la ctedra de filosofa de las ciencias inductivas que haba pasado
a ocupar Moritz Schlick. Al principio era un centro de reunin y
debate, pero a partir de 1929, tras la publicacin de su primer
manifiesto terico (obra de Carnap, Neurath y Hahn), adquiri
consistencia como una escuela con concepciones propias sobre la
ciencia.
Suele atribuirse al Crculo, si no la fundacin, el primer impulso a las investigaciones y estudios sobre filosofa de la ciencia. Sin
embargo, sus tesis bsicas provienen de la combinacin en un
programa articulado de posturas que ya haban mantenido previamente otros autores, precedentes de lo que Blumberg y Feigl
llamaron en 1931 positivismo lgico. Aunque tenga a Hume y a
Comte como predecesores lejanos, el Crculo de Viena es una
escuela netamente alemana en su origen. Tras la crtica del materialismo mecanicista por parte del neokantismo de Helmholtz y
Hermann Cohen con su escuela de Marburgo, el fisico Ernst Mach
deriv hacia un neopositivismo que negaba todo tipo de elementos
a priori en las ciencias empricas. Paralelamente, la fsica terica
iba a dar un giro fundamental con la aparicin de la teora einsteiniana de la relatividad y de la mecnica cuntica, cambios que
tuvieron una influencia enorme en los neopositivistas. La incidencia del convencionalismo de Poincar y Duhem tambin se dej
sentir en el Crculo de Viena, al igual que la creacin de la lgica
matemtica, perfectamente configurada a partir de la publicacin
de los Principia Mathematica por Russell y Whitehead en 1905.
El Crculo de Viena
L. WITTGENSTEIN,
Introduccin
Praga, que tuvo continuidad en las reuniones de Knigsberg, Copenhague, otra vez Praga, Pars y Cambridge.
En 1930 sali la revista Erkenntnis, bajo la direccin de Carnap
y de Reichenbach. Asimismo se publicaron una serie de monografas bajo el lema Ciencia unificada, y se logr llegar a la fase de
mxima actividad en la primera mitad de la dcada de los treinta.
Pero el ascenso del nazismo, junto a las diversas vicisitudes personales de miembros relevantes del Crculo (Carnap y Frank pasaron
a ser catedrticos en Praga, Feigl se traslad a Iowa, y Hahn muri
en 1934), sealaron el principio del fin del Crculo de Viena. La
condicin de 'judos de muchos de sus miembros contribuy en
buena medida a que comenzasen a pensar en salir de los pases de
habla alemana, y as Carnap se estableci en Chicago en 1936, y
Neurath march a Holanda tras el asesinato de Moritz Schlick en
1938, a manos de un perturbado. Neurath trat de continuar la
publicacin de Erkenntnis en La Haya, bajo el ttulo de
The Journal
of Unified Science, y Carnap sac a la luz en los Estados Unidos la
International Enciclopedy for the Unified Science. Finalmente, el
propio Feigl hubo de huir a los EE.UU., y el nazismo disolvi los
grupos de Berln y de Varsovia, con lo cual el Crculo de Viena dej
de existir como tal.
Esto no significa que su influencia decayera. Muy al contrario.
La emigracin de varios de sus miembros a los Estados Unidos y a
otros pases, prestigiados por la aureola de perseguidos por el
nazismo, permiti una rpida internacionalizacin de sus teoras,
principalmente en los pases y universidades anglosajones. Ello dio
lugar, si se quiere, a una segunda fase del empirismo lgico. Aqu
adoptaremos el criterio de distinguir estas dos etapas, tanto por
motivos histricos como por las diferencias entre las posturas del
Crculo de Viena propiamente dicho y de lo que ms tarde se ha
venido en llamar concepcin heredada.
Para leer los principales escritos de los miembros del Crculo
de Viena hay que remitirse a las publicaciones ya sealadas: Erkenntnis, Journal of Unified Science, International Enciclopedy for
the Unified Science. En lengua castellana la recopilacin ms accesible es sin duda la de Ayer,' aunque tambin Kraft4 y Weinberg5
3. A. J. AYER (comp.), El positivismo lgico (
Mxico, FCE, 1965).
4. V. KRAFT, El Crculo de Viena (
Madrid, Taurus, 1966).
5. J. R. WEINBERG, Examen del positivismo lgico
(Madrid, Aguilar, 1959).
El Crculo de Viena
10
escribieron obras expositivas accesibles sobre las tesis y la evolucin del Crculo. Tambin hay traducidas varias obras de Carnap,
as como algunas de Reichenbach y de Brigdman (vase la bibliografa).
Entre los estudios sobre el positivismo lgico que no son
traducciones, conviene consultar el ensayo de Pascual Casa Muoz titulado Corrientes actuales de filosofa de la ciencia: I. Positivismo lgico, aparecido en 1984.
pp. 66-87.
R. CARNAP, en A. J. AYER, El positivismo lgico,
La ciencia unificada
11
dos grandes modelos a los que debe tender toda forma de discurso
cientfico. El programa positivista de Comte en el siglo xix deba
ser culminado, convirtiendo la biologa, la psicologa y la sociologa en ciencias positivas. En la convocatoria de la Preconferencia
de Praga, en 1934, cuyo objeto era preparar el Primer Congreso
Internacional sobre Ciencia Unificada, este objetivo se seala como
general para todas las ciencias:
Hay que tratar sobre los fundamentos lgicos de todos los mbitos
cientficos, y no slo de la matemtica y de la fsica.8
1928).
8. Erkenntnis, 5 (1935), p. 1.
9. Sobre todo en su Der logische Aufbau des Welt
(Berln, Welkreis-Verlag,
El Crculo de Viena
12
1.3. El lenguaje fisicalista
Carnap defendi en un primer momento la reduccin de los conceptos sociales, culturales e histricos a los conceptos del psiquismo propio, mediante reducciones sucesivas: tanto los conceptos
ajenos como los propios deban ser reducidos primero a conceptos fsicos, y luego a conceptos psquicos propios. Los fenmenos
del psiquismo individual, en la medida en que traducen hechos
fsicos, fundamentaran desde el punto de vista epistemolgico la
reduccin del conocimiento de las distintas ciencias a una misma
ciencia unificada. Pero esta posicin fenomenalista de Carnap encontr oposicin, por no garantizar suficientemente la intersubjetividad del conocimiento cientfico. De ah que el fisicalismo, que se
basaba directamente en proposiciones expresadas en lenguaje observacional, y con la misma forma lgica para todas las ciencias
empricas, acabara imponindose. Tal y como afirma el propio
Carnap en 1932,
el lenguaje fisicalista es un lenguaje universal, esto es, un lenguaje al cual
puede traducirse cualquier proposicin
Dicho lenguaje fisicalista tiene como elemento caracterstico y
constitutivo las proposiciones protocolares, las cuales fueron estudiadas por Otto Neurath en su conocido artculo titulado, precisamente, Proposiciones protocolares."
Segn Neurath, la ciencia unificada consta de proposiciones
protocolares y de proposiciones no protocolares; en todo caso,
unas y otras son proposiciones fcticas. Las primeras no son las
proposiciones primarias (por ejemplo, para el sujeto individual),
como a veces tendi a pensar Carnap, sino que son discernibles por
su forma lingstica:
Por ejemplo, una proposicin protocolar completa podra decir:
El
13
14
El Crculo de Viena
15
Pero, aun as, el criterio de significacin emprica segua presentando problemas. El principal de ellos estribaba en que los
enunciados universales en general, y ms concretamente las leyes
cientficas, quedaban excluidos del edificio de la ciencia. Un enunciado del tipo
todos los cisnes son blancos
no puede ser inferido necesariamente a partir de un nmero finito
de observaciones. Surge aqu el llamado problema de la induccin,
ya sealado por Hume, pero que en el siglo xx va a ser ampliamente discutido a partir de las argumentaciones de Popper.
Aparte de otros problemas ligados a las peculiaridades de la
tabla de valores de verdad del condicional lgico, Hempel seal
una nueva dificultad: de acuerdo con el criterio empirista de significado, una oracin existencial (existe un cisne blanco) es plenamente verificable, desde el punto de vista observacional, pero su
negacin no, por ser universal; ello plantea una importante dificultad lgica, pues algunos enunciados seran admisibles mientras que
su negacin no, siendo as que, desde tiempos de Aristteles, est
plenamente admitido que si un enunciado pertenece a un determinado dominio cientfico, su negacin tambin tiene sentido en l,
independientemente de que sea verdadera o no.
El debate que surgi en torno a estas cuestiones fue muy
amplio, y no se trata aqu de desarrollarlo." Hempel, por ejemplo,
consider que mientras nos esforcemos por establecer un criterio
de verificabilidad para las oraciones individuales de un lenguaje
natural, en trminos de sus relaciones lgicas con las oraciones
observacionales, el resultado ser demasiado restrictivo o demasiado amplio, o ambas cosas." Algunos autores, como Carnap, intentaron resolver la cuestin tratando a fondo el problema de la
induccin y, en particular, la lgica probabilitaria.'7 Otros prefirieron distinguir en la estructura de una teora aspectos distintos de
los estrictamente lgicos, suscitando la cuestin de los trminos
tericos, los trminos observacionales y las reglas de correspon15. Vase por ejemplo A. RIVADULLA, Filosofa actual de la ciencia
(Madrid,
Editora Nacional, 1984), donde se estudian detalladamente estas cuestiones.
16. A. J. AYER, El positivismo lgico, p. 123.
17. Vase, ms adelante, 1.6.
El Crculo de Viena
16
1.5. Verificacin
Las expresiones y frmulas de la lgica y de las matemticas no han
de verificarse, por ser analticas. Pero el resto de los enunciados
cientficos ha de ser comprobable en la realidad, y a poder ser por
observacin.
Wittgenstein estableci en el Tractatus una dependencia lgica
entre los enunciados cientficos y las proposiciones elementales
(cuyo equivalente en el Crculo de Viena son las protocolares):
La proposicin es una funcin de verdad de la proposicin elementa1.19
Pero este criterio se revel excesivamente estricto: no es posible inferir los enunciados generales a partir de los atmicos. Y
desde el punto de vista de la metodologa de la ciencia, las leyes
cientficas, que son proposiciones cuantificadas universalmente,
constituyen componentes fundamentales en una teora cientfica.
El Crculo de Viena oscil entre la verificacin y la simple
confirmacin de dichos enunciados. En su primera poca, an
crea en la posibilidad de una verificacin concluyente de los
enunciados cientficos, a partir de las proposiciones elementales.
Pero posteriormente fue derivando hacia tesis menos estrictas, aun
2
afirmando, como sucede con Schlick, que el ltimo paso de
verificacin ha de consistir en observaciones o en percepciones
de los sentidos.
18.
19.
20.
(1936), pp.
Verificacin
17
Los enunciados generales, las leyes cientficas y, muy en particular las teoras, no pueden ser verificadas directamente, confrontndolas con la empiria. Lo que s puede hacerse es extraer las
consecuencias lgicas concretas de una ley o de una teora y
comprobar que, efectivamente, la experiencia ratifica dichos resultados. Este procedimiento de verificacin, que en realidad nunca
es total respecto de la ley o de la teora, ya que siempre hay otras
consecuencias que todava no han sido verificadas, reviste particular importancia en el caso de las predicciones. Para el Crculo de
Viena, y posteriormente para otros muchos filsofos de la ciencia,
lo esencial del saber cientfico es su capacidad de predecir exactamente fenmenos fisiconaturales. Al ser verificada la correccin de
una determinada prediccin, las teoras y las leyes, si no verificadas, quedan al menos confirmadas, aunque sea parcialmente. El
astrnomo Leverrier, por ejemplo, predijo la existencia de un octavo planeta en el sistema solar, Neptuno, como una consecuencia
que se derivaba lgicamente de la mecnica newtoniana. Aos
despus, el 23 de septiembre de 1846, otro astrnomo, J. G. Galle,
comprob por observacin que, efectivamente, el planeta predicho
exista. Y otro tanto sucedi ulteriormente con Plutn. Para el
empirismo lgico, estos logros son paradigmticos de lo que debera ser la metodologa cientfica. No puede decirse que la teora
haya quedado totalmente verificada, pero s tiene lugar una confirmacin objetiva de dicha teora. Consecuentemente, una determinada ley universal, o teora, ha de reducirse por la va de la
inferencia lgica a sus consecuencias empricas concretas y determinadas: una vez llevada a cabo esta labor, propiamente deductiva
(y comn a las ciencias formales), tiene lugar lo ms propio de las
ciencias empricas: la confrontacin de dichas predicciones con la
experiencia, que puede confirmar o no lo previsto. La verificabilidad
experimental de sus predicciones caracterizara a la ciencia frente
a otros tipos de saber humano.
Verificar, al decir de Kraft es comprobar la conformidad de
un hecho predicho con uno observado. Una teora cientfica posee
contenido emprico porque es capaz de predecir hechos concretos
y perceptibles; es aceptable en la medida en que sus predicciones
hayan sido confirmadas empricamente.
21.
El Crculo de Viena
18
Ahora bien, estudios ulteriores han mostrado que los procedimientos de verificacin no son metodolgicamente tan inocuos
como se supuso en el Crculo de Viena. Sucede con frecuencia, por
ejemplo, que los aparatos de observacin y de medicin presupongan por su propia construccin algunas otras teoras cientficas, e
incluso la teora misma que se trata de verificar, con lo cual se
incurrira en cierto crculo vicioso, desde el punto de vista metodolgico, en los procesos de verificacin emprica. Los trminos
tericos (por ejemplo, masa, electrn, etc.) slo son traducibles a
trminos directamente observacionales por medio de una serie de
artilugios cientficos que genricamente suelen denominarse reglas de correspondencia. Posteriormente" habremos de ocuparnos
de esta cuestin, que desborda el marco epistemolgico del Crculo de Viena, pero que supuso una fuerte objecin a sus postulados
observacionales como criterios de verificacin emprica.
Aunque basndose en otras argumentaciones, ya en el propio
Crculo de Viena surgieron objeciones al criterio wittgensteiniano
de verificacin concluyente (por derivacin lgica a partir de proposiciones elementales) e incluso contra la propia nocin de verificacin. Neurath y Hempel, por ejemplo, afirmaron que las proposiciones slo pueden ser confrontadas con otras proposiciones, y no
con hechos: de ah su insistencia en la delimitacin de los enunciados protocolares como base emprica de una determinada teora.
La cuestin de la verificacin y de la confirmacin, por otra
parte, est ligada a un tema fundamental para la filosofia de la
lgica: la teora de la verdad. La concepcin clsica de la verdad,
presente ya en Parmnides, pero formulada de manera explcita
por Aristteles, la conceptuaba como una adecuacin entre el decir
y el ser: decir las cosas como son era sinnimo de discurso verdadero. El empirismo lgico renunci a la categora de ser, as
como a la de cosa, por metafsicas, sustituyndolas por la de hechos; pero desde el punto de vista de la concepcin de la verdad,
sigui adherido al criterio clsico de la adequatio o correspondencia entre proposiciones y hechos. Los enunciados cientficos pueden ser verificados en la medida en que se correspondan a los
hechos observados o, si se prefiere, las observaciones empricas
han de concordar con las predicciones realizadas por los cientficos. El criterio de verificacin sufri, por tanto, nuevos embates
22. Vase, ms adelante, 2.6.
Induccin y probabilidad
19
desde los defensores de otro tipo de teoras sobre la verdad cientfica, como la teora de la coherencia o la concepcin pragmatista de
la verdad. Todo lo cual dio lugar a diversas modificaciones
de dicha nocin de verificacin.
Una de las distinciones que, en etapas ulteriores, fue generalmente aceptada por los miembros del Crculo es la que diferencia
verificacin y verificabilidad. Una proposicin es verificable cuando, al menos en principio, es posible llevar a cabo experimentos y
observaciones empricas concordes con lo dicho en la proposicin.
En cada momento, no todas las proposiciones empricas han sido
efectivamente verificadas, pero s lo han sido algunas, y las dems
son verificables en principio. Esta correccin, muy importante,
matizaba el criterio de cientificidad inicial.
Schlick habl de una comprobabilidad en principio, mientras
que Carnap prefera el trmino de verificabilidad en principio.
Asimismo Ayer" introdujo otro matiz, al distinguir entre verificabilidad en sentido fuerte, cuando una proposicin puede quedar
establecida concluyentemente por medio de la experiencia, y verificabilidad en sentido dbil, cuando la experiencia slo permite
determinar que esa proposicin es probable en un grado lo suficientemente elevado. Surge as un nuevo concepto de verificacin,
cuyos orgenes estn en Reichenbach y en el propio Carnap: el
probabilstico, ligado a las investigaciones que se llevaron a cabo
en esta poca sobre lgica inductiva y lgica probabilitaria.
El Crculo de Viena
20
La confirmacin de un enunciado, segn Carnap, es estrictamente lgica: los datos observacionales han de ser confrontados
lgicamente con las consecuencias que se derivan de una determinada ley o teora. Si en un momento dado disponemos de una serie
de datos, oi, obtenidos por observacin, y de una serie de hiptesis
explicativas de esos datos, hemos de determinar la probabilidad
de cada una de las hiptesis con respecto a las observaciones con
que se cuenta en un momento dado. La comparacin entre las
probabilidades respectivas, que definen el grado de confirmacin
de cada hiptesis, nos permite elegir como hiptesis confirmada
aquella que, para unos determinados datos observados, posee mayor grado de probabilidad. Considerar como admisible una hiptesis, y como descartable otra, es una decisin estrictamente lgica;
pero en dependencia de una lgica probabilitaria, que no lleva a
elegir la hiptesis verificada o totalmente comprobada, sino aquella que, en relacin con las dems y con los datos observacionales,
tiene un mayor grado de probabilidad.
Surge as el concepto de grado de confirmacin de un enunciado cientfico, que conlleva la previa cuantificacin de la nocin de
confirmacin: lo cual es posible apelando a la teora de la probabilidad. Una hiptesis posee una probabilidad inductiva, que va aumentando o disminuyendo segn las nuevas observaciones confirmen o no dicha hiptesis. El valor de una hiptesis va ligado al
mayor o menor nmero de datos empricos conformes a dicha
hiptesis. Consiguientemente, el cientfico admite unas u otras
hiptesis en funcin del aumento de su grado de confirmacin.
Hay una lgica inductiva, de base netamente probabilista, subyacente a las teoras empricas. Lejos ya del criterio wittgensteiniano
de la verificacin concluyente, por va deductiva a partir de unas
proposiciones elementales cuya verdad ha sido slidamente establecida por la va de la observacin, en los ltimos desarrollos del
Crculo de Viena se acaba apelando a una lgica inductiva, que a su
vez Carnap intent axiomatizar en forma de clculo lgico. En la
obra ya mencionada de Rivadulla pueden seguirse las sucesivas
tentativas de Carnap en este sentido.
En cualquier caso, el empirismo lgico acab confluyendo en
una afirmacin de la induccin como el mtodo principal de las
ciencias empricas. La lgica inductiva permitira fundamentar el
criterio de significacin emprica, inicialmente basado en la verificabilidad observacional, y finalmente en el grado probabilstico de
h.
Induccin y probabilidad
21
2. LA CONCEPCIN HEREDADA
2.1. Introduccin
A partir de la dispersin del Crculo de Viena, el programa del
empirismo lgico sigui desarrollndose, principalmente en los
pases anglosajones, donde fue la tradicin dominante hasta 1950.
La Lgica de la investigacin cientfica de Popper, que ya haba sido
publicada, tard en adquirir influencia, debido al predominio institucional del verificacionismo y del inductivismo frente al falsacionismo y deductivismo popperianos, como tambin al simple hecho
de que la obra no haba sido traducida al ingls. Cabe afirmar, por
tanto, que todos los avances habidos en filosofa de la ciencia hasta
prcticamente el final de la dcada de los cincuenta tuvieron lugar
en la estela del positivismo lgico, convenientemente corregido y
mejorado por diversas influencias, como la de la filosofa analtica
oxoniense o el pragmatismo norteamericano. El anlisis de las
teoras por medio de la lgica fue matizndose y hacindose ms
complejo, tanto por la influencia de la filosofa del lenguaje como
por el propio desarrollo de la lgica, y en concreto de la metamatemtica. Las aportaciones de Tarski, al revitalizar la semntica de
los sistemas formales, o los resultados de Gdel, poniendo lmites a
las investigaciones metatericas exclusivamente sintcticas, contribuyeron asimismo a dichas modificaciones del positivismo lgico.
La crtica epistemolgica, por su parte, oblig a renunciar al empirismo ingenuo del Crculo de Viena.
Pero, en cualquier caso, durante ms de veinte aos los filsofos de la ciencia estuvieron implcitamente de acuerdo en una serie
de postulados bsicos sobre las teoras cientficas a los que, a partir
del momento en que los crticos de dichas presuposiciones comen-
La concepcin heredada
24
25
La concepcin heredada
26
No es lo mismo cmo se
propuesta por Reichenbach en 1938.
llega a un resultado cientfico y cmo dicho resultado se expone y
justifica luego ante el pblico. En el caso de Kepler, mencionado
expresamente por Reichenbach, la analoga entre la Santsima
Trinidad y el sistema solar le sirvi para desarrollar sus investigaciones; pero la teora final, empricamente justificada, nada tena
que ver con expeculaciones teolgicas. De ah que, segn Reichenbach, las cuestiones relativas al contexto en que se verifican los
descubrimientos cientficos no son objeto de la epistemologa ni de
la filosofa de la ciencia, sino de la psicologa y de la historia. Lo
nico que interesa a la filosofa de la ciencia es el resultado final, la
manera en que son expuestas y justificadas las teoras cuando ya
constituyen un producto elaborado. La gnesis de las teoras y su
descubrimiento no poseen virtualidad desde el punto de vista de la
3
epistemologa cientfica.
Durante muchos aos esta distincin, as como la exclusin del
contexto de descubrimiento de la reflexin epistemolgica, fue
generalmente admitida por los filsofos de la ciencia. La influencia
de las investigaciones metamatemticas de la escuela de Hilbert
fue, en este sentido, muy grande. No slo haba que partir de las
teoras tal y como haban quedado finalmente articuladas por sus
descubridores o divulgadores, tomando como referencia principal,
por ejemplo, los libros de texto o las grandes obras de los cientficos, sino que incluso haba que intentar un paso ms, reducindolas a sistemas formales al modo de las teoras matemticas: la
aritmtica y la teora de conjuntos reducidas a la lgica por autores
como Frege, Zermelo, Fraenkel, Von Neumann, Russell, etc.; la
geometra axiomatizada por Hilbert; el clculo de probabilidades
por Kolmogorov; la teora de nmeros por Gentzen, etc. Como
consecuencia de esta concepcin, los estudios de historia de la
ciencia y las primeras tentativas de hacer una historia social de
la ciencia, o posteriormente una sociologa de la ciencia (propuesta por Merton ya en 1945), quedaban separados de la filosofa de la
4 Para la concepcin heredada, la elaboracin de una episciencia.
Experience and prediction (Chicago, University of Chi3. H. REICFIENBACH,
cago Press, 1938), pp. 6-7.
Para la historia de la ciencia interpretada en funcin de
la evolucin
l
4.
social, econmica y tcnica, la obra clsica es la de John D. Berna, dos de cuyos
ocial de la ciencia, traduccin de
libros han sido traducidos al castellano: Historias
27
28
La concepcin heredada
predicciones y de las consecuencias de sus teoras con la experiencia. De ah que el empirismo antimetafisico de la concepcin
heredada se haya centrado exclusivamente en el anlisis del contexto de justificacin de las teoras cientficas.
29
La concepcin heredada
30
tanto los trminos tericos (masa, fuerza, etc.) como las leyes de la
teora, las cuales se expresan por medio de dichos trminos (leyes
en la
del movimiento, ley de gravitacin, etc.), otra observacional,
que se incluyen los fenmenos observables explicados por la teora
(movimiento de los astros, cada de los graves, etc.), y una de
intercorrespondencia de la componente terica y la observacional,
que permite definir con criterio observacional los trminos tericos as como, recprocamente, interpretar conforme a las leyes de
la teora los fenmenos (aparatos de medida y de observacin,
pretensignificado de los trminos, etc.). La concepcin heredada
da as tener una caracterizacin general de las teoras cientficas
ms desarrolladas, corno la mecnica, la termodinmica, el electromagnetismo, etc. La tercera exigencia (III) precisaba el requisito fisicalista, y de alguna manera tambin la tendencia a la unificacin de la ciencia por reduccin de todas las teoras cientficas a
lenguaje fisicalista.
Sin embargo, esta versin inicial de la concepin heredada
pronto iba a encontrarse con diversas dificultades, que afectaban a
todas y cada una de sus cinco exigencias, con exceppin, quiz, de
la cuarta, que fue la menos afectada por los debates ulteriores.
La axiomatizacin de teoras
31
32
La concepcin heredada
La axiomatizacin de teoras
33
34
La concepcin heredada
La distincin terico/observacional
35
36
La concepcin heredada
estructura de las teoras cientficas, en lugar de hablar exclusivamente en trminos observacionales, de yo? Observacin similar a
la de Schlick en 1938) 6
A partir de este debate interno, Hempel formul el llamado
dilema del terico, que a su vez ha dado lugar a mltiples debates
entre los defensores de la concepcin heredada. Lo enuncia as:
Si los trminos y principios de una teora sirven para su propsito, son
innecesarios, como se acaba de sealar, y si no sirven para su propsito,
sin duda resultan innecesarios. Pero, dada una teora cualquiera, sus
trminos y principios o sirven para su propsito o no. Luego los trminos y
principios de cualquier teora son innecesarios.I 7
37
(fil)
Toda teora axiomatizada parte de unos trminos primitivos, indefinibles, que slo se determinan mutuamente por los axiomas que se
adopten en dicha teora. Sin embargo, para el desarrollo de las
demostraciones hay que introducir luego una serie de trminos
definidos en funcin de los primeros. Requisito esencial del mto19.
Vase 2.9.3.
38
La concepcin heredada
39
I. NEWTON, Principios matemticos de la filosofa natural, def. 1, traducEscohotado (Madrid, Editora Nacional, 1982), p. 223.
E. MACH, The Science of Mechanics (Londres, Open Court Publ., 1960),
E. MACH, The Science of Mechanics, p. 303.
40
La concepcin heredada
Pero las definiciones operacionales presentan muchos problemas tericos. Popper, en su Conjeturas y refutaciones, lo mostr
claramente:
Contra esta concepcin (operacionalista), cabe mostrar que las medidas presuponen teoras. No hay medida alguna sin teora previa, y tampoco
hay operacin que pueda ser descrita satisfactoriamente en trminos no
tericos. Las tentativas de hacerlo son circulares; por ejemplo, la descripcin de la medida de una longitud necesita una teora (rudimentaria) del
calor y de la medida de una temperatura; pero stas a su vez incluyen
medidas de longitudes.'
En efecto, Brigdman entenda la longitud en funcin de una serie de operaciones fsicas, entre las cuales se inclua llevar una
barra rgida de metal una y otra vez hasta medir el intervalo del que
se tratase, pero un presupuesto indispensable de dicha operacin,
entre otros muchos, es que la barra no se dilate, lo cual comporta
la necesidad de describir la operacin para una temperatura constante de la barra, y por tanto requiere la previa definicin de
25. P. W. BRIGDMAN, The Logic of the Modern Physics (Londres, Macmillan,
1960), p. 5.
26. K. R. POPPER, Conjectures & Refutations (Londres, Routledge Kegan
Paul, 1963), p. 62. Existe una traduccin titulada El desarrollo del conocimiento
cientfico. Conjeturas y refutaciones (Buenos Aires, Paids, 1967).
41
42
La concepcin heredada
43
La concepcin heredada
44
45
46
La concepcin heredada
concreto con la propuesta de Carnap en 1956 de las interpretaciones parciales de los trminos tericos:
No mantenemos que quepa una interpretacin completa de L sino
slo una interpretacin indirecta y parcial que dan las reglas de correspondencia.32
47
Como bien ha sealado Suppe,37 Nagel no est pensando exclusivamente en modelos matemticos de una teora, o lgicos, que
satisfacen los axiomas de la misma en el sentido de Tarski, sino en
modelos icnicos, como el de Bohr, a los cuales llambamos antes
modelos tericos. Tanto para Nagel como para Hesse, aunque esta
ultima ampla el concepto de modelo, no restringindolo a materiales visualizables y familiares,38 toda teora cientfica debe tener
ese tipo de modelos, los cuales son componentes esenciales e
integrantes de las teoras. El propio Kuhn utilizar algunas veces la
nocin de paradigma en el mismo sentido.
Mas la versin estndar de la concepcin heredada es ms
estricta: para Braithwaite los modelos de una teora han de ser
conjuntos de proposiciones con la misma estructura de la teora:
Un modelo de una teora T es otra teora M que se corresponde con T
en cuanto a la estructura deductiva [...] el modelo es otra interpretacin
del clculo de la teora."
1) Un clculo abstracto que es el esqueleto lgico del sistema explicativo y que define implcitamente las nociones bsicas del sistema.
2) Un conjunto de reglas (de correspondencia) que asignan de modo
efectivo un contenido emprico al clculo abstracto, ponindolo en
relacin con los materiales concretos de la observacin y la experimentacin.
36. E. NAGEL, The Structure of Science ( Nueva York, Harcourt Brace, 1961),
p. 90, as como las pp. 95-97. Existe traduccin al castellano de Nstor Mguez
(Buenos Aires, Paids, 1968).
37. F. SUPPE, La estructura de las teoras cientficas, pp. 125 y ss.
38. Vase M. HESSE, Forces and Fields (Totowa, Littlefield, Adams, 1965),
pp. 23-24.
39. R. B. BRAITHWAITE, Models in Empirical Science, en NAGEL, SUPPES y
TARSKI, Logic, Methodology..., p. 225.
40. H. PUTNAM, What Theories are Not.
La concepcin heredada
48
49
50
La concepcin heredada
51
52
La concepcin heredada
53
pide que las teoras sean explicativas, por considerar esto como el
objetivo principal de la ciencia.
Una vez aceptada la crtica humeana a la nocin de causalidad
por parte del Crculo de Viena, se plante sin embargo la necesidad
de mantener el concepto de explicacin como algo central en
filosofa de la ciencia, ya que no el de explicacin causal. Popper se
ha ocupado ampliamente de la cuestin, y ello ya en su obra La
lgica de la investigacin cientfica, de 1934. All afirmaba que, si
no el principio de causalidad en su interpretacin esencialista, el
cientfico deba seguir manteniendo un principio metodolgico similar al de causalidad:
Se trata de la simple regla de que no abandonaremos la bsqueda de
leyes universales y de un sistema terico coherente, ni cesaremos en
nuestros intentos de explicar causalmente todo tipo de acontecimientos
que podemos describir: esta regla gua al investigador cientfico en su
tarea."
Dicha tesis de Popper no fue bien recibida por los neopositivistas ni por los instrumentalistas, dentro de la concepcin heredada.
En cambio, s aceptaron su afirmacin de que las teoras cientficas
han de ser explicativas: Teoras que describan ciertas propiedades
estructurales del mundo que nos permitan deducir, valindonos de
condiciones iniciales, los efectos que se trata de explicar." La
diferencia va a estribar en que la explicacin cientfica no tiene por
qu ser pensada en trminos de causa y efecto. La primera propuesta en este sentido proviene de Carnap, aunque todava est orientada a un mbito restringido de las teoras cientficas:
La tarea de la explicacin consiste en transformar un concepto dado,
ms o menos inexacto, en otro exacto, o mejor an, en sustituir el primero
por el segundo. Llamamos al concepto dado (o al trmino usado en su
lugar) explicandum y al concepto exacto (o al trmino) propuesto para
ocupar el lugar del primero explicatum. El explicatum debe ser introducido por medio de reglas explcitas de uso; por ejemplo, mediante una
definicin que lo incorpore a un sistema bien construido de conceptos
cientficos lgico-matemticos o empricos."
54
La concepcin heredada
55
53
Ak
L,,
Explanans S
L
E Explanandum
y Hempel precisa que se deben cumplir las siguientes condiciones:
a) El explanandum debe ser consecuencia lgica del explanans.
b) El explanans debe contener leyes generales y stas deben
ser realmente efectivas en la derivacin del explanandum.
c) El explanans debe poseer algn contenido emprico.
d) Las proposiciones que componen el explanans deben ser
verdaderas."
56
La concepcin heredada
57
58
La concepcin heredada
A
A
59
62
62.
63.
60
La concepcin heredada
61
62
La concepcin heredada
63
TOULMIN Y EL INSTRUMENTALISMO
La concepcin heredada
64
requieren instrucciones complementarias, sin las cuales los enunciados nmicos de las teoras, e incluso muchos conceptos fundamentales de las mismas, no podran ser identificados en el mbito
fenomnico. Argumento que con posterioridad retomar Lakatos,
como veremos en el captulo 5.
En relacin con la concepcin heredada distingui, con oca76
sin de su Postscriptum a las Actas del Simposio de Urbana,
hasta cuatro puntos de divergencia con ella, que son expuestos en
forma de cuestiones de la manera siguiente:
la) Existe alguna forma o algn simbolismo estndar y obligatorio
para analizar la estructura axiomtica de cualquier teora cientfica, sea la
que sea?
lb) Es la forma axiomtica la nica estructura lgica legtima para
la ciencia o puede haber otras formas lgicas dentro de las que pueda ser
legtimamente analizado el contenido de una teora cientfica?
1c) Cul es la naturaleza de la crrespondencia por la que los
elementos formales de una teora_ cientfica adquieren relevancia o interpretacin emprica?
1d) Puede el contenido intelectual clt la ciencia natural en un cierto
corte temporal de su desarrollo ser expresado como una red sistemtica de
relaciones lgicas?"
La respuesta a la primera pregunta la considera ya dada por los
filsofos de la ciencia de la dcada de los sesenta: ya no se trata de
buscar una forma nica de lenguaje, como la fisicalista, que tuviese
preferencia con respecto a las dems como modo de expresin de
las teoras cientficas. Por el contrario: para Toulmin, muy influido
por el Wittgenstein de las Philosophische Untersuchungen en este
punto, cada teora posee su lenguaje propio, y la adopcin de una
nueva teora lleva consigo un cambio de lenguaje.78 Pueden incluso
aparecer trminos nuevos, pero lo que siempre ocurre en un
proceso de cambio cientfico es que los trminos antiguos cambian
de significado. El significado de los trminos cientficos, contra lo
que pensara la concepcin heredada con su observacionalismo y
con su creencia en una base emprica comn a todas las teoras,
depende de cada teora. Las teoras son una Weltanschauung, una
76.
F.
SUPPE,
77.
78.
65
ST. TOULMIN,
La concepcin heredada
66
Una ciencia tpica, lejos de formar un sistema lgico completo, permanece como tema vivo y activo, como campo de desarrollo de la investigacin gracias a sus fallos lgicos y a sus inconsistencias; su real carcter
atpico, no sistemtico, no axiomtico es lo que genera la verdadera
persecucin de los problemas."
Es claro que se anuncian nuevos tiempos. Toulmin no conseguir aglutinar en torno a sus ideas una escuela capaz de relevar
a la concepcin heredada, pero con su insistencia en la dinmica
de las teoras, y en la importancia de la historia y del contexto de
descubrimiento para la epistemologa, est escribiendo con su
Postscriptum al Simposio de Urbana el acta de defuncin de la
concepcin heredada. Sus trabajos ulteriores sobre el cambio de
los conceptos," aunque desbordan ya el objetivo concreto del
presente apartado, confirman su carcter de precursor de las nuevas corrientes de pensamiento que, ya en la dcada de los sesenta, y
en buena medida por la influencia de autores como Toulmin, iban
a desplegarse como alternativas netas a la concepcin heredada.
2.9.3.
67
68
La concepcin heredada
69
Decir que Kepler y Tycho ven la misma cosa al amanecer slo porque
sus ojos son afectados de un modo similar es un error elemental. Existe
88
una gran - diferencia entre un estado fsico y una experiencia visual.
O tambin:
La concepcin heredada
70
71
La concepcin heredada
72
94. N. R.
HANSON, Patrones...,
p. 151.
73
3.
EL FALSACIONISMO POPPERIANO
3.1. Introduccin
Karl R. Popper es uno de los filsofos de la ciencia ms importantes del siglo xx. En su juventud estuvo en contacto con el Crculo
de Viena, aunque sin adherirse a sus tesis fundamntales. Su crtica
del inductivismo, su afirmacin de que la observacin siempre est
impregnada de teora y el establecimiento de un nuevo criterio de
demarcacin cientfica (la falsabilidad), le han llevado a ser uno
de los primeros crticos influyentes del positivismo lgico en su
primera versin, si bien comparti puntos bsicos de la concepcin heredada. Su influencia ha sido muy grande, y no slo entre
los epistemlogos, sino tambin entre numerosos cientficos. Sin
embargo, tard en ejercerse. Lgica de la investigacin cientfica
(Logik der Forschung) fue publicada en 1934, cuando el Crculo de
Viena estaba en pleno auge. Y aun sin pasar inadvertida, lo cierto
es que slo a partir de la edicin inglesa de 1959 (The Logic of
Scientific Discovery), completada con una serie de apndices respecto de la edicin original, comenz a tener la enorme repercusin que la ha convertido en una de las obras clave en la filosofia de
la ciencia de nuestro siglo. Previamente haba escrito, entre 1930 y
1932, Die Beiden Grundprobleme der Erkenntnistheorie, que no fue
publicada hasta 1979, por T. Eggers. Sus primeros ttulos de gran
impacto fueron La miseria del historicismo (en 1957, aunque en
1944-1945 ya haba aparecido en la revista Economica) y La sociedad abierta y sus enemigos (1945). Otras obras clebres, y de mayor
inters para la metodologa cientfica, son Conjeturas y refutaciones (1962) y Conocimiento objetivo (1972), donde Popper expone
con mayor detalle su teora del conocimiento y sus discutidas tesis
sobre el tercer mundo.
76
El falsacionismo popperiano
77
78
El
falsacionismo popperiano
Las teoras son redes que lanzamos para apresar aquello que llamamos
el mundo: para racionalizarlo,2 explicarlo y dominarlo. Y tratamos de que
la malla sea cada vez ms fina.
La razn cientfica funciona pues a base de construir sistemas
peculiares de conocimiento del mundo, al objeto de poder explicar
los fenmenos (y no slo describirlos), y lo que es ms, con la meta
final de dominar la naturaleza, lo cual equivale en muchos casos a
transformarla. La ciencia no es un saber inerte o pasivo con respecto a su objeto. En la tarea del cientfico cabe rastrear una voluntad
de dominar la naturaleza, particularmente clara en el caso de la
tecnologa que de la ciencia se deriva. Y el instrumento principal
para llevar a cabo esa labor son las teoras, que por lo mismo han
de ser el punto de partida de la reflexin metodolgica sobre la
ciencia. Popper, sin embargo, no es un instrumentalista, como
veremos ms adelante. Ya en 1934 critic explcitamente el instrumentalismo de Mach, Wittgenstein y Schlick, y en el Post scriptum
el de Berkeley.
Hay cuatro modos de contrastar una teora. Cabe, en primer
lugar, estudiar la coherencia interna de la misma, investigando las
diversas consecuencias que pueden derivarse de ella y viendo si
son contradictorias o no. Asimismo puede estudiarse si una teora
es emprica o no, en virtud de su forma lgica: Popper, en la estela
del Crculo de Viena en este punto, admite en Lgica de la investigacin cientfica que puede haber teoras puramente tautolgicas,
que corresponderan a las ciencias no empricas, como la lgica y
las matemticas. En tercer lugar, unas teoras pueden ser comparadas con otras, al objeto de averiguar si la nueva teora comporta
algn adelanto cientfico respecto de la anterior. Por ltimo, una
teora se contrasta al aplicar empricamente las consecuencias que
se derivan de ella. La contrastacin teora/experiencia no es, por
tanto, sino uno de los procedimientos metodolgicos destinados a
evaluar el inters de una teora cientfica. Con Popper aparece ya
uno de los temas que ser ms estudiado posteriormente: la evaluacin de una teora relativamente a otra. Sin embargo, l se centrar
fundamentalmente en el cuarto tipo de contrastacin, introduciendo el criterio de falsacin de una teora por medio de la experiencia.
2. K. R. POPPER, Lgica de la investigacin cientfica, p. 57.
79
Estas disposiciones innatas, por consiguiente, estn impregnadas de teora, entendiendo el trmino teora en un sentido amplio. Los rganos sensoriales, en particular, incorporan genticamente teoras anticipatorias.7 No hay ningn tipo de percepcin
que sea inmediata o simple; todas estn previamente influidas por
esas teoras subyacentes.
En realidad, y como ya hemos visto en 2.9, este tipo de tesis ya
haban sido defendidas por Hanson en su obra Patrones de descubrimiento de 1958, al afirmar que la visin est cargada de teora 8
y remitir dicha tesis a Pierre Duhem como precedente,9 as como a
la psicologa de la Gestalt y al Wittgenstein de las Investigaciones
filosficas. La tesis de la inconmensurabilidad entre teoras, defen3.
4.
5.
6.
7.
8.
9.
80
El falsacionismo popperiano
El problema de la induccin
81
y XII.
12.
K. R.
13.
D.
POPPER,
HUME,
82
El falsacionismo popperiano
Para Popper, la metodologa cientfica es esencialmente deductiva, y no inductiva. Dada una teora T, deducimos consecuenc,,. Dichas consecuencias han de ser
cias de la misma, c,, c 2 ,
contrastables empricamente, pero entendiendo dicha contrastacin como posibilidad de refutacin de la teora T si los datos
empricos no coinciden con las predicciones c, emanadas de T:
nunca como verificacin de la teora T. Vemos as que la afirmacin popperiana de las teoras cientficas como las autnticas unidades de partida de la metodologa cientfica es coherente con su
crtica del inductivismo, en la medida en que esta concepcin
metodolgica hara depender a las teoras de los hechos observados, y no al revs. Popper se remite a Liebig y a Duhem como
antecesores de estas tesis antiinductivistas. Pero en su caso dichas
tesis van a complementarse con una nueva aportacin metodolgica, que ser objeto del siguiente apartado.
83
El falsacionismo popperiano
84
mticas). Para Popper, las teoras no son nunca verificables empricamente," pero s han de ser contrastables con ella. En lugar de
elegir un criterio positivo de contrastacin, hay que tomar uno negativo:
No exigir que un sistema cientfico pueda ser seleccionado, de una
vez para siempre, en un sentido positivo; pero s que sea susceptible de
seleccin en un sentido negativo por medio de contrastes o pruebas
empricas: ha de ser posible refutar por la experiencia un sistema cientfico
emprico.17
K. R. POPPER,
K. R. POPPER,
K. R. POPPER,
K. R. POPPER,
Lgica..., p. 39.
Lgica..., p. 40.
Lgica..., p. 38.
Lgica..., p. 41.
85
q)
q]
Para demostrar que una proposicin p es falsa, basta demostrar deductivamente su contradictoria, ---p. Y, a su vez, para ello
puede seguirse la va indirecta (paralela desde el punto de vista
deductivo a la clsica reductio ad absurdum) de examinar alguna
de las consecuencias, q, que se derivan de la proposicin p. Si
conseguimos demostrar:
por un lado
y por otro
podemos concluir
86
El falsacionismo popperiano
con lo cual hemos logrado nuestro objetivo de refutar p: la hiptesis p ha de ser eliminada (quitada, tollere) porque si la admitimos,
dado que de ella se deduce q y q es falsa (por ejemplo, porque
comprobamos empricamente que no ocurre q) llegamos a un
absurdo; luego hemos de aceptar la falsedad de p, en virtud de que
de lo verdadero nunca se deduce lo falso.
Vemos pues que Popper conjuga su tesis de la estructura
deductiva de las ciencias empricas con la contrastacin teora/
empiria en base a esta regla deductiva que es el modus tollendo
tollens, y que sera de continua aplicacin en el razonamiento
experimental. Por el contrario, la verificacin y el modus ponens
no tienen aplicacin en las ciencias experimentales en el caso de
los enunciados universales. La asimetra entre enunciados universales y singulares, desde el punto de vista de las propiedades
lgicas del condicional, es la tesis que sustenta el criterio popperiano de falsabilidad.
Obsrvese que, como ya sucedi en el caso del Crculo de
Viena, Popper no exige una falsacin ya efectuada para atribuir
carcter cientfico a una proposicin, sino la falsabilidad en principio. Una teora autnticamente cientfica es la que no slo se limita
a presentar sus hiptesis y sus consecuencias, sino que adems
delimita los distintos modos en los que dichas consecuencias podran ser refutadas experimentalmente. La metafsica clsica no se
ha preocupado nunca de este aspecto, limitndose a enunciar y a
argumentar sus tesis, pero sin sugerir los medios concretos mediante los cuales dichas teoras podran ser contrastadas con la
experiencia. En cambio, la ciencia s lo ha hecho, en mayor o
menor medida, y por eso la falsabilidad es un criterio adecuado de
demarcacin.
87
88
El falsacionismo popperiano
una clase, el concepto de dimensin y la relacin de subclasificacin. Finalmente opta por esta ltima posibilidad, formulndola de
la manera siguiente, para el caso ms sencillo, que es el de los
enunciados cientficos:
Se dice que un enunciado x es falsable en mayor grado o ms
contrastable que el enunciado y o, en smbolos, que Fsb(x) > Fsb(y)
cuando y solamente cuando la clase de los posibles falsadores de x incluye a la
clase de los posibles falsadores de y como una subclase propia
suya. 2 '
As pues, la teora de conjuntos, y en concreto la relacin de
inclusin, viene a ser el recurso utilizado para definir la nocin
de grado de contrastacin. A partir de ello, Popper introduce la
nocin de probabilidad lgica, que es diferente de la probabilidad
numrica que surgi de la teora de juegos de azar y que se utiliza
en estadstica. La probabilidad lgica de un enunciado es complementaria con su grado de falsabilidad. Puesto que, basndonos en
la relacin de subclasificacin, podemos comparar el grado de
falsabilidad de dos enunciados, tambin podemos afirmar que uno
es ms probable lgicamente que el otro, cuando tiene un menor
grado de falsabilidad. Una teora que no es falsable de ninguna
manera, porque no prohbe ningn acontecimiento emprico, tiene
un grado de falsabilidad igual a O y, por tanto, su probabilidad
lgica es 1; y viceversa, las teoras o los enunciados cientficos ms
falsables son los menos probables lgicamente. Lo cual no quiere
decir que este ltimo tipo de enunciados o de teoras no sean
cientficos, sino todo lo contrario. Las teoras que tienen probabilidad lgica 1 no dan ninguna informacin sobre la empiria: las
teoras empricamente preferibles, en el sentido de que son plenamente cientficas, son aquellas cuyo contenido emprico es muy
alto, y por consiguiente su probabilidad lgica muy baja. El contenido emprico de una teora equivale a su grado de falsabilidad," al
menos desde el punto de vista de la comparacin relativa de unas
teoras con otras.
En obras posteriores Popper ha vuelto sobre esta cuestin, que
tiene gran importancia dentro de su teora de la ciencia. En
Lgica de la investigacin cientfica Popper haba usado el trmino
21.
22.
89
RIVADULLA,
Filosofa actual
90
El falsacionismo popperiano
p(a, b) - p(b)
p(b, a) - p(a, b) + p(b)
91
92
El falsacionismo popperiano
POPPER,
93
94
El falsacionismo popperiano
El realismo crtico
Popper siempre se ha manifestado en contra de la teora subjetivista del conocimiento, cuya versin ms radical era la solipsista del
Aufbau de Carnap. Mas la objetividad de la ciencia no ha de estar
fundamentada en un lenguaje fisicalista, o en una base emprica
observacional. La ciencia es producto de acciones humanas, y
como tal un objeto social:
Podemos considerar el conocimiento objetivo la ciencia como una
institucin social, o un conjunto o estructura de instituciones sociales.3 I
Aunque el conocimiento y la investigacin propia de los individuos tenga sin duda su importancia, lo cierto es que la ciencia
surge a partir de la cooperacin y de la competicin institucionalizada de los cientficos. El tercer mundo descrito en el apartado
precedente sera el mbito ontolgico en donde se depositan las
objetivaciones de la investigacin cientfica, y muy en particular
aquellas que han tenido una repercusin efectiva sobre la sociedad
de la que surgieron. El mismo aprendizaje del conocimiento cientfico ha de ser visto desde esta perspectiva: no como una repeticin
de experiencias, que inductivamente proporcionaran a cada sujeto
individual los enunciados y las leyes cientficas generales, sino
como un proceso de prueba y error que cada cientfico asimila en
algunos ejemplos caractersticos, a partir de los cuales asume o no
las teoras vigentes socialmente en su tiempo.
Popper es, pues, un realista, pero sin que ello conlleve una
reduccin fisicalista de toda objetividad cientfica. Su oposicin al
empirismo de Bacon, Hume, Mill y Russell no radica en la confrontacin de stos con el idealismo, punto en el que Popper tambin
coincide, sino en la epistemologa subjetivista que, unida al empirismo, les llevaba a afirmar que todo conocimiento se deriva de la
experiencia de los sentidos." Por el contrario, para Popper el
95
33.
96
El falsacionismo popperiano
El realismo crtico
97
En primer lugar, debe entraar lgicamente al explicandum. En segundo lugar, el explicans tiene que ser verdadero, aunque, en general, no
se sabr que es verdadero; en cualquier caso no debe saberse que es falso,
ni siquiera despus del examen ms crtico... Para que el explicans no sea
de
ad hoc tiene que ser ms rico en contenido: debe de tener una variedad
36
consecuencias contrastables que sean diferentes del explicandum.
La concepcin popperiana de la explicacin cientfica se inscribe en la tradicin de la concepcin heredada: una explicacin es
satisfactoria cuando se formula en trminos de leyes universales y
condiciones iniciales contrastables y falsables. Cuanto mayor sea el
grado de corroboracin de las leyes y de las hiptesis, tanto ms
satisfactoria resulta la explicacin. Ello nos lleva a buscar teoras
cuyo contenido sea cada vez ms rico. Y aunque no existan, segn
Popper, explicaciones ltimas, que son propias de concepciones
37
esencialistas contra las cuales tambin est Popper, s cabe defender un esencialismo modificado, basado en afirmar que toda explicacin tendr tarde o temprano una explicacin mejor y ms
universal, en rechazar las preguntas del tipo qu es?, y en dejar
de caracterizar a cada individuo por el conjunto de sus notas o
propiedades esenciales. La postura de Popper es ms prxima en
esto a la de Platn: las leyes de la naturaleza seran descripciones
98
El
falsacionismo popperiano
conjeturables de las propiedades estructurales ocultas en la naturaleza, y que se trata de descubrir. Las leyes o teoras deben ser, por
lo mismo, universales; deben formular aserciones sobre todas las
regiones espaciotemporales del mundo; y deben versar sobre propiedades estructurales relacionales del mundo."
Popper es consciente de que esta postura realista tambin est
sujeta a crtica, y l mismo proporciona argumentos en contra de la
misma. Pero cabra decir que es la preferible entre las diversas
metateoras existentes en torno al conocimiento cientfico (subjetivismo, empirismo, positivismo, idealismo, esencialismo, instrumentalismo, etc.).
3.8. La verosimilitud
Preferimos una teora a otra, en ltima instancia, porque es ms
verosmil: porque se aproxima ms a la verdad, aunque nunca
vayamos a poder demoltrar de ninguna teora que es verdadera. El
aumento del contenido emprico de las teoras, y el hecho de que
las nuevas teoras hayan de poder explicar tambin lo que las
precedentes explicaban, llevan a Popper a concebir el progreso
cientfico como una paulatina aproximacin a la verdad:
Podemos explicar el mtodo cientfico y buena parte de la historia de
la ciencia como el proceso racional de aproximacin a la verdad.39
Sin embargo, Popper se va a encontrar con grandes dificultades a la hora de definir de manera precisa el concepto de verosimilitud, mxime teniendo en cuenta su rechazo del inductivismo. Su
idea inicial es sencilla: la verosimilitud de una proposicin depende de la cantidad de verdades y de falsedades que dicha proposicin implica. Y otro tanto cabe decir respecto de las teoras. De ah
que tanto en Conjeturas y refutaciones como en Conocimiento
objetivo proponga la siguiente caracterizacin de la mayor o menor
verosimilitud entre dos teoras:
38. K. R. POPPER, Realismo y el objetivo de la ciencia, en Conjeturas y
refutaciones, pp. 177-178.
39. K. R. POPPER, Conjeturas y refutaciones, pp. 57-58.
La verosimilitud
99
100
Er fa Isac i o n is m o popperiano
La verosimilitud
101
4. PARADIGMAS Y REVOLUCIONES
CIENTFICAS
4.1. Introduccin
Al igual que la Lgica de la investigacin cientfica de Popper en
1935, la publicacin en 1962 de la obra de Thomas S. Kuhn, La
estructura de las revoluciones cientficas, marca una nueva etapa
en la filosofia de la ciencia del siglo xx. Como en el caso de Popper,
la influencia de este libro no fue inmediata. En 1963 Popper public su segunda gran obra sobre metodologa cientfica, Conjeturas y
refutaciones, que marc el auge principal de las concepciones
popperianas, junto con la traduccin inglesa en 1959 de su obra
clsica de 1935. La clebre polmica Popper-Kuhn, mantenida en
el Coloquio Internacional sobre Filosofa de la Ciencia celebrado
en Londres en 1965, permaneci desconocida para el gran pblico
hasta 1970, cuando Lakatos y Musgrave la dieron a conocer' en una
obra traducida en 1975 al castellano con el ttulo La crtica y el
desarrollo del conocimiento. La coincidencia bsica entre las ideas
de Lakatos y las de Kuhn, as como la revisin de la obra de Kuhn
llevada a cabo por Stegmller en 1973,2 acercando sus aportaciones a las de la concepcin estructural, supusieron la definitiva
difusin de la obra kuhniana, que ya estaba siendo discutida ampliamente por los especialistas.
Pese a este retraso en la imposicin de La estructura de las
revoluciones cientficas como un clsico de la metodologa cientfiI. I. LAKATOS y A. E. MUSGRAVE, Critici.sm and the Growth of Knowledge
(Cambridge, Cambridge University Press, 1970), traducido por F. Hernn (Barcelona, Grijalbo, 1975) con el ttulo La crtica y el desarrollo del conocimiento.
2. W. STEGMULLER, Theoriendynarnik (Berln-Nueva York, Springer, 1973),
traducido por A. D. Morones (Mi.xicc,. Dianoia, 1975). Vase, tambin, 6.5.
104
105
106
minados lenguajes y tcnicas cuya eficacia para resolver deterrinnados problemas ha marcado profundamente su modo de considerar los fenmenos, adscribindoles al paradigma vigente en
la comunidad cientfica de su poca. Las tesis doctorales, con la
profunda impronta que dejan en la formacin de los investigadores, as como los primeros trabajos de experimentacin, han tenido
lugar en ese mismo mbito terico. Todo ello origina una serie de
creencias y hbitos intelectuales comunes a numerosos cientficos,
que por ello mismo forman una comunidad. Puede haber, por
supuesto, paradigmas y comunidades rivales, con las correspondientes pugnas por el poder acadmico y cientfico. La ciencia
vigente en un momento dado implica la constitucin y el afianzamiento de uno de esos paradigmas.
La nocin kuhniana de paradigma, tal y como es formulada en
1962, fue considerada como sugerente, pero tambin criticada por
su vaguedad por autores como Shapere, Toulmin y Mastermann.8
Esta ltima distingui hasta 21 sentidos diferentes en la utilizacin
kuhniana del trmino, agrupables en tres grandes grupos:
1) Aspecto filosfico (o metafsico) del paradigma, que dara la
imagen del mundo y los elementos bsicos de creencia de los
cientficos sobre lo que sea la realidad: sera el caso del atomismo,
del mecanicismo, de la matematizacin de la realidad, del fenomenalismo, etc.
2) Aspecto sociolgico del paradigma, ligado a la estructura y a
las relaciones internas y externas de la comunidad de cientficos
que detentan un mismo paradigma: un paradigma conlleva un
aspecto institucional, tanto nacional como internacionalmente (sociedades cientficas, apoyo a determinadas lneas de investigacin,
publicaciones peridicas, manuales utilizados en la docencia universitaria, congresos, academias, etc.) que permite discernirlo con
respecto a otros paradigmas rivales.
3) Aspecto propiamente cientfico del paradigma, ligado a los
problemas ya resueltos y a los principales ejemplos que son expli8. D. SHAPERE, The structure of scientific revolutions, en Philosophical
Review, 73 (1964), pp. 383-394.
ST. TOULMIN, Es til la distincin entre ciencia normal y ciencia revolucionaria?, en LAKATOS-MUSGRAVE, Criticisrn...
M. MASTERMAN, The nature of a paradigm, en LAKATOS-MUSGRAVE, Criticism...
107
108
109
mente, comienza a obtener resultados que retroalimentan la investigacin y acaba convirtindose en ciencia vigente.
La etapa precientfica y la constitucin de un paradigma dan
origen a lo que Kuhn llama una etapa de ciencia normal. Al distinguir esta fase histrica Kuhn encontrar argumentos poderosos
contra la metodologa falsacionista de Popper, que incluso han sido
aceptados parcialmente por ste." En efecto, durante la etapa de
ciencia normal el cientfico no es crtico ni intenta refutar las
teoras cientficas vigentes. Kuhn define la etapa de ciencia normal
de la manera siguiente:
Ciencia normal significa investigacin basada firmemente en una o
ms realizaciones cientficas pasadas, realizaciones que alguna comunidad
cientfica particular reconoce, durante cierto tiempo, como fundamento
para su prctica posterior. 13
12.
13.
LAKATOS-MUSGRAVE,
T. S. KUHN, La estructura..., p. 33.
110
a la naturaleza a que encaje dentro de los lmites preestablecidos y relativamente inflexibles que proporciona el paradigma."
Durante esta fase los cientficos no buscan nuevas teoras, y ni
siquiera nuevos fenmenos. La ciencia normal investiga zonas muy
pequeas, pero con gran minuciosidad. La tarea principal estriba
en articular y organizar cada vez mejor, en forma de teora, los
resultados que se han ido obteniendo. La comunidad cientfica
correspondiente selecciona los hechos que le interesan, que Kuhn
clasifica en tres grupos: los que el paradigma ya ha mostrado que
son particularmente reveladores, las predicciones derivadas del
paradigma que todava no han sido ratificadas empricamente y, por
ltimo, los experimentos que permiten articular mejor el paradigma e ir resolviendo sus dificultades residuales. La determinacin precisa de constantes fsicas (como la de la gravitacin universal, el nmero de Avogadro o el coeficiente de Joule) es uno de los
ejemplos ms caractersticos de este tercer tipo de investigaciones
empricas en la fase de ciencia normal, que para Kuhn es el ms
i mportante de los tres y el que permitd justificar la idea de progreso cientfico ligado al paradigma: enunciar leyes cuantitativas
que precisen matemticamente las leyes bsicas puede ser otro
ejemplo.
Asimismo la ciencia normal consagra una buena parte de sus
esfuerzos a la resolucin de puzzles, es decir, problemas que podran tener solucin en principio, conforme a los criterios de
cuestiones plausibles que siempre establece un paradigma. Estos
enigmas o puzzles pueden no ser importantes. Las etapas de ciencia
normal se caracterizan precisamente porque en ellas se puede
dedicar muchsimo tiempo y esfuerzo a la tentativa de solucionar
problemas de escasa relevancia, pero con mucho sentido dentro
del paradigma.
En cualquier caso, en toda etapa de ciencia normal existen
numerosas anomalas, es decir hechos que de ninguna manera son
explicables en el marco conceptual del paradigma y que incluso lo
contradicen. Los ejemplos histricos que proporciona Kuhn al
respecto son muchos:
El estado de la astronoma de Ptolomeo era un escndalo, antes de la
propuesta de Coprnico. La nueva teora de Newton sobre la luz y el color
14. T. S. KUHN, La estructura..., p. 52.
111
tuvo su origen en el descubrimiento de que ninguna de las teoras existentes antes del paradigma explicaban la longitud del espectro, y la teora de
las ondas, que reemplaz a la de Newton, surgi del inters cada vez mayor
por las anomalas en la relacin de los efectos de difraccin y polarizacin
con la teora de Newton.'s
La existencia de anomalas puede ser conocida durante mucho
tiempo sin que por ello el paradigma vigente se venga abajo. En ese
sentido, Kuhn no puede estar de acuerdo con el falsacionismo
popperiano, a la vista de los mltiples ejemplos en los que se
muestra que hechos contradictorios con una determinada teora
no conllevan su refutacin ni su falsacin efectiva. Pero conforme
dichas anomalas se van revelando cada vez ms insalvables, y
conforme se multiplican en nmero y en diversidad de mbitos
donde se producen, el paradigma va entrando en crisis. Se inaugura con ello una nueva etapa en el desarrollo histrico de un
paradigma, que acabar dando lugar a una revolucin cientfica
que har triunfar un nuevo paradigma.
Cmo se producen estos procesos de cambio cientfico, segn
Kuhn? Nunca es una simple anomala la que derriba un paradigma
vigente. Confrontados a una dificultad irreductible, los cientficos
inventarn numerosas articulaciones y modificaciones6 ad hoc de
su teora para eliminar cualquier conflicto aparente.' Las leyes
bsicas de la teora que caracteriza a un paradigma suelen convertirse, para sus defensores, en una especie de tautologas, no refutables por muchas observaciones que se hagan. El paradigma no
podr ser rechazado afirma Kuhn mientras no surja otro rival de
l.'7 Una vez que un mbito de saber ha comenzado a funcionar
cientficamente, mediante paradigmas, ya no puede dejar de hacerlo. De ah que los cientficos en las pocas de crisis de un paradigma comiencen a hacer surgir nuevas hiptesis y nuevas teoras,
entrndose con ello en la etapa llamada de proliferacin de teoras.
El paradigma en crisis engendra en su decadencia una multiplicidad de salidas posibles contrarias a algunos de sus postulados fundamentales:
La transicin de un paradigma en crisis a otro nuevo del que pueda
surgir una nueva tradicin de ciencia normal est lejos de ser un procedi15.
16.
17.
112
18.
19.
T. S. KUHN, La estructura...,
T. S. KUHN, La estructura...,
p.
p.
133.
149.
113
p.
16.
1 14
En cuanto a los ejemplares, son soluciones de problemas concretos, a partir de las cuales (y por impacto de su efectividad) se
puede explicar cientficamente un fenmeno y convencer a los
nefitos de la importancia del paradigma. Los ejercicios y los
ejemplos propuestos a la teora en los libros de textos se corresponden bastante bien con lo que Kuhn llama ejemplares de una matriz
disciplinaria.
Una matriz disciplinaria concreta puede contar con otras componentes, pero al menos ha de poseer objetivaciones de las tres
anteriores. Entre los cientficos adscritos a un mismo paradigma
existe un compromiso de aceptacin de las generalizaciones simblicas, de los modelos y de los ejemplares correspondientes. Hablan el mismo lenguaje, utilizan los mismos instrumentos de laboratorio, interpretan los fenmenos en el mismo marco ontolgico
y, desde luego, han tenido y reproducen cara a sus alumnos y al
pblico la misma formacin en lo que respecta a la seleccin de los
problemas ms caractersticos resueltos por la teora que ellos defienden.
Esta redefinicin de las teoras kuhnianas tampoco ha estado
exenta de crticas, 2 ' pero en general cabe sealar que la nueva
terminologa propuesta por Kuhn no ha llegado a imponerse ni a
desplazar a la expuesta en La estructura de las revoluciones cientficas. Dejando de lado, por lo tanto, las matizaciones ulteriores al
pensamiento de Kuhn que se podran introducir a partir de sus
nuevas obras, podemos volver sobre su marco descriptivo de la
historia de las teoras cientficas, que al cabo ha sido el que ha
producido un considerable impacto en la filosofia de la ciencia
actual, en buena medida por su oposicin al progreso cientfico
por acumulacin y falsacin que propusiera Popper.
I nconmensurabilidad
entre paradigmas
115
116
T. S.
T. S.
KUHN,
KUHN,
La estructura..., caps. IX y X.
La estructura..., p. 165.
I nconmensurabilidad
entre paradigmas
117
118
119
120
121
122
nes de los cientficos prescindiendo de esas mediaciones exteriores, sobre la base de que lo importante en filosofia de la ciencia
consiste en analizar el cambio cientfico, entendiendo por tal los
cambios conceptuales, heursticos, metodolgicos y ontolgicos.
Para Kuhn, aun aceptando el inters de la historia externa, puede
hacerse perfectamente una historia de la ciencia exclusivamente
interna:
5.
En cualquier caso, y pese a precisiones adicionales que podran hacerse, la obra de Kuhn seala un viraje importante de la
metodologa de la ciencia: a partir de ella el papel de los estudios
histricos adquiere gran relevancia.
5.1. Introduccin
124
Los
El
2.
na 144.
125
P. B.
MEDAWAN,
126
10.
127
ton y su ley de gravitacin (/V) con las condiciones iniciales aceptadas (1) y
calcula mediante ellas la ruta de un pequeo planeta que acaba de descubrirse, p. Pero el planeta se desva de la ruta prevista. Considera nuestro
fsico que la desviacin estaba prohibida por la teora de Newton y que, por
ello, una vez confirmada tal ruta, queda refutada la teora N? No. Sugiere
que debe existir un planeta hasta ahora desconocido, p', que perturba la
ruta de p. Calcula la masa, rbita, etc., de ese planeta hipottico y pide a un
astrnomo experimental que contraste su hiptesis. El planeta p' es tan
pequeo que ni los mayores telescopios existentes podran observarlo: el
astrnomo experimental solicita una ayuda a la investigacin para construir uno an mayor. Tres aos despus el nuevo telescopio ya est disponible. Si se descubriera el planeta desconocido p', ello sera proclamado
como una nueva victoria de la ciencia newtoniana. Pero no sucede as.
Abandona nuestro cientfico la teora de Newton y sus ideas sobre el
planeta perturbador? No. Sugiere que una nube de polvo csmico nos
oculta el planeta. Calcula la situacin y propiedades de la nube y solicita
una ayuda a la investigacin para enviar un satlite con objeto de contrastar sus clculos. Si los instrumentos del satlite (probablemente nuevos,
fundamentados en una teora poco contrastada) registraran la existencia
de la nube conjeturada, el resultado sera pregonado como una gran
victoria de la ciencia newtoniana. Pero no se descubre la nube. Abandona
nuestro cientfico la teora de Newton junto con la idea del planeta perturbador y la de la nube que lo oculta? No. Sugiere que existe un campo
magntico en esa regin del universo que inutiliz los instrumentos del
satlite. Se enva un nuevo satlite. Si se encontrara el campo magntico,
los newtonianos celebraran una victoria sensacional. Pero ello no sucede.
Se considera este hecho una refutacin de la ciencia newtoniana? No.
O bien se propone otra ingeniosa hiptesis auxiliar o bien... toda la historia
queda enterrada en los polvorientos volmenes de las revistas y nunca
vuelve a ser mencionada."
Una teora, por s misma, jams prohbe ningn acontecimiento emprico, porque siempre hay otros factores que pueden tener
influencia sobre l: basta proponer la correspondiente hiptesis ad
hoc, segn la cual ese tercer factor hace fallar a la teora, para que
sta quede preservada de la refutacin por medio de datos observacionales. Las estratagemas convencionalistas, como las llam Popper, salvan a la teora de la falsacin por va experimental.
Esto conecta con el debate en torno a lo que se ha llamado
tesis Duhem-Quine, la cual es enunciada por Quine en los trminos
siguientes: Se puede mantener la verdad de cualquier enunciado,
suceda lo que suceda, si realizamos ajustes lo bastante drsticos en
otras partes del sistema... Y al contrario, por las mismas razones
11.
128
129
de falsacionismo: el de Popper y el que el propio Lakatos, inspirndose en Popper y mejorndolo, va a defender en el resto de sus
obras:
El falsacionismo refinado difiere del ingenuo tanto en sus reglas de
aceptacin (o criterio de demarcacin) como en sus reglas de falsacin o
eliminacin.
Para el falsacionista ingenuo cualquier teora que pueda interpretarse
como experimentalmente falsable es aceptable o cientfica. Para el
falsacionismo refinado una teora es aceptable o cientfica slo si tiene
un exceso de contenido emprico corroborado con relacin a su predecesora (o rival). Esta condicin puede descomponerse en dos apartados: que
la nueva teora tenga exceso de contenido emprico (aceptabilidad i ) y
que una parte de ese exceso de contenido resulte verificado (aceptabilidad 2 ). El primer requisito puede confirmarse inmediatamente mediante
un anlisis lgico a priori; el segundo slo puede contrastarse empricamente y ello puede requerir un tiempo indefinido.
Para el falsacionista ingenuo una teora es falsada por un enunciado
observacional (reforzado) que entra en conflicto con ella (o que decide
interpretar como si entrara en conflicto con ella). Para el falsacionismo
refinado, una teora cientfica T queda falsada si y slo si otra teora T' ha
sido propuesta y tiene las siguientes caractersticas:
130
131
48.
132
I.
I.
LAKATOS,
LAKATOS,
133
134
135
grama.
Veamos ambos tipos de heurstica en el ejemplo del programa
newtoniano. Cuando emergi se encontraba inmerso en un ocano de anomalas y en contradiccin con las teoras observacionales
que apoyaban a tales anomalas;19 pero ello no afect para nada al
centro irrefutable del programa, por decisin metodolgica de sus
defensores. Bastaba con trabajar en el cinturn protector, modificando las hiptesis auxiliares que subyacan a las observaciones o
contraejemplos, o cambiando las condiciones iniciales, para que el
programa siguiese adelante sin preocuparse por la prueba emprica que sus adversarios argan en su contra. La historia imaginaria
del comportamiento de un cientfico newtoniano, referida en 5.2,
muestra bien de qu manera se pueden construir ingeniosas hiptesis al objeto de que el ncleo del programa no sea afectado. Los
newtonianos, incluso, tuvieron la habilidad de ir destruyendo las
propias teoras observacionales que subyacan a los contraejemplos, transformando cada dificultad en una nueva victoria de su
programa, como seal el mismo Laplace." Pero en general ello
no es necesario. La heurstica negativa de un programa de investigacin no slo puede estar caracterizada por la construccin de
ese cinturn protector o escudo contra las anomalas, sino incluso
por prescindir pura y simplemente de ellas. Son fenmenos que no
merece la pena estudiar, o al menos que todava no se est en
condiciones de investigar: pero por muy corroborados que estn
observacionalmente, las teoras no se ven afectadas en lo esencial
por ellos.
Esto est relacionado con la existencia de una heurstica positiva en el programa de investigacin, como subraya Lakatos:
Pocos cientficos tericos implicados en un programa de investigacin
se ocupan excesivamente de las refutaciones. Mantienen una poltica de
investigacin a largo plazo que anticipa esas refutaciones. Esta poltica
de investigacin, u orden de investigacin, queda establecida, con mayor o
menor detalle, en la heurstica positiva del programa de investigacin.21
19.
I. LAKATOS, La metodologa..., p. 66.
20. I. LAKATOS, La metodologa..., p. 67. Vase tambin M. LAPLACE, Exposition
du systme du monde (Pars, Bachelier, 1824, 5.a ed.), libro IV, cap. 2.
21. I. LAKATOS, La metodologa..., p. 68.
136
I. LAKATOS,
La metodologa..., p. 69.
137
dinmica, como dirn los estructuralistas, y ello independientemente de cuestiones subjetivas o colectivas ligadas a los creadores
y defensores de dicho programa o a sus adversarios. Cabe incluso
cierto grado de programacin previa de los pasos que caracterizan
a dicha heurstica positiva, segn Lakatos. Punto ste que le ha sido
muy criticado, entre otros por Newton-Smith, que considera esta
hiptesis de una heurstica positiva precisa como algo incompatible con las posturas realistas que, por otra parte, Lakatos tambin
defiende."
La heurstica va a desempear un papel muy importante para
le evaluacin entre dos teoras rivales, en particular cuando stas
son observacionalmente equivalentes. Puesto que Elie Zahar ha
dedicado especial atencin a este tema, en lo que sigue nos atendremos al ejemplo por l estudiado, referente a la contraposicin a
principios de este siglo entre los programas de investigacin de
Einstein y de Lorentz.24
Para Elie Zahar, tanto Lorentz como Einstein desarrollaron
autnticos programas de investigacin que, siendo diferentes, tenan tambin ncleos comnes, contrariamente a lo afirmado por
Feyerabend, quien ha polemizado con Zahar sobre este punto."
El centro firme del programa de Lorentz estaba constituido por
las ecuaciones de Maxwell para campos electromagnticos, por las
leyes newtonianas del movimiento y por la transformacin de
Galileo, ms la ecuacin:
I
F =e(D + v A H)
que suele ser denominada fuerza de Lorentz. La heurstica del
programa estara constituida por el principio metafsico de que
todos los fenmenos fsicos estn gobernados por acciones que se
23. H. W. NEwroN-SmrrH, La racionalidad de la ciencia, traduccin de Marco
Aurelio Galmarini (Barcelona, Paids, 1987), pp. 98 y ss.
24. En lo que sigue resumimos los dos artculos de Elie Zahar, Why did
Einstein's Programme supersede Lorentz's?, I y II, en British Journal for the Philosophy of Science, 24 (1973), pp. 95-123 y 223-262.
25. P. K. FEYERABEND, Zahar on Einstein, en British Journal for the Philosophy of Science, 25 (1974), pp. 25-28, y E. ZAHAR, Mach, Einstein and the rise of the
modern Science, ibd., 28 (1977), pp. 195-213, as como E. ZAHAR, Einstein's debt
to Lorentz. A reply to Feyerabend and Miller, ibd., 29 (1978), pp. 49-60.
138
139
140
por motivos heursticos un programa a otro, pese a que no poseyera un mayor contenido emprico. Y para Zahar esta eleccin fue
perfectamente racional, no tanto por los resultados ulteriores,
cuanto porque la heurstica es una componente esencial de todo
programa de investigacin, junto con su contenido emprico.
Este ejemplo, as como otros posteriormente desarrollados por
los discpulos de Lakatos," ilustra bastante bien la nocin de potencial heurstico de un programa de investigacin, que en muchos
casos ha resultado decisiva en la historia para que los cientficos
optaran por una u otra teora, entre dos contrapuestas.
141
142
30.
31.
143
144
ras ni refutaciones. El significado asimismo se inyecta en la cspide, en los trminos primitivos: los trminos definidos ulteriormente no son ms que abreviaturas, y por lo mismo tericamente
superfluos.
Una teora es empirista si las proposiciones de la base (enunciados bsicos) son verdaderas (o falsas), fluyendo luego dicho valor
de verdad hacia arriba por medio de conjeturas generales sometidas a contrastacin con los enunciados bsicos por va hipotticodeductiva, resultando dichas conjeturas verdaderas o falsas en funcin del resultado de la confrontacin entre sus consecuencias y
los enunciados bsicos. Si, adems, slo admitimos inyecciones de
significado en la base (como sera el caso de las proposiciones
protocolares de Neurath), entonces estaremos elaborando una teora estrictamente empirista, segn Lakatos. La base de una teora
puede ser fctica, pero tambin aritmtica, probabilstica a posteriori o cualquier otra cosa. Mientras una teora eucldea puede
verificarse, una teora empirista es falsable, pero no verificable.
El programa inductivista supone, para Lakatos, un; esfuerzo
desesperado por construir un canal en el que la verdad fluyera
desde los enunciados bsicos hacia arriba, estableciendo as un
principio lgico adicional, el principio de retransmisin de la verdad." Sin embargo, la lgica ha ido criticando desde el siglo xvii
esa pretensin, que todava se mantiene en Carnap y en sus seguidores, afirmando y perfeccionando los canales deductivos en contra de los inductivos La tentativa de corregir dicho programa por
la va del inductivismo probabilista, mediante el cual puede darse
alguna retransmisin de la verdad, aunque slo sea parcial (o de
algn grado de confirmacin), hacia arriba, ha sido ya refutada:
Popper mostr, en su crtica a la versin probabilista de la teora
de la inferencia inductiva, que no puede haber ni siquiera una
transferencia parcial de significado y verdad hacia arriba."
Frente a las tres concepciones anteriores, Lakatos va a proponer un nuevo tipo de teora, la cuasi-emprica, que permitir dar un
nuevo giro a la filosofa de las matemticas. Una teora cuasiemprica nunca ser verdadera, aunque podr estar bien corroborada; pero siempre ser conjetural.
33.
34.
35.
145
146
147
las que las pruebas originarias, con sus diversos matices y desarrollos, quedan sustituidas por pruebas estndar que histricamente
slo se obtuvieron a posteriori. La tesis de Lakatos en contra del
formalismo, el cual considera como una de las formas ms destacadas del dogmatismo en matemticas, puede resumirse de la manera
siguiente:
Las matemticas informales y cuasi-empricas no se desarrollan mediante un montono aumento del nmero de teoremas indubitablemente
establecidos, sino que lo hacen mediante la incesante mejora de las conjeturas, gracias a la especulacin y a la crtica, siguiendo la lgica de pruebas
y refutaciones.'
41.
42.
148
6. LA CONCEPCIN ESTRUCTURAL
DE LAS TEORAS CIENTFICAS
6.1. Introduccin
fa e historia de la ciencia (Salamanca, Universidad de Salamanca, 1986), pp. 164179. La obra bsica sobre el tema es la de P. J. DAvis y R. HERSH, The Mathematical Experience (Boston, Houghton Mifflin, 1982), y en particular las pp. 354-359.
Dicha obra acaba de ser publicada en castellano por la editorial Labor (Barcelona,
1988).
150
importantes con respecto a las propuestas de Sneed y sus seguidores: utiliza espacios de estados para la formalizacin, en lugar de la
tcnica del predicado conjuntista, y, al suponer que todos los
trminos de una teora son tericos, distingue a continuacin entre
lo observable y lo no observable. Suele llamarse a esta segunda
tendencia concepcin semntica de las teoras, y ha sido defendida
por Suppe, van Fraasen y Giere, entre otros.
Nos referiremos aqu a ambas, aunque ms ampliamente al
programa S de Suppes-Sneed-Stegmller, como ha sido denomina..
do por Scheibe, en la medida en que su desarrollo e influencia ha
sido mayor, sobre todo en Europa: Alemania Federal, Finlandia,
Polonia, Holanda y Espaa.
La concepcin estructural, denominacin que contrapondremos a la de concepcin semntica, para distinguir ambas tendencias, no tiene relacin alguna con el estructuralismo francs, a no
ser con la obra del matemtico Bourbaki, y ello en un aspecto muy
tcnico. De ah que Stegmller haya propuesto el nombre de nuevo estructuralismo para marcar la distincin, si bien ha seguido
haciendo fortuna la terminologa de concepcin estructural de las
teoras (Structuralistic View).
La novedad principal consiste en tratar de llevar a cabo una
axiomatizacin informal de las teoras cientficas, y ya no al modo
de la metamatemtica, como en la concepcin heredada. Para ello
Suppes propuso la tcnica del predicado conjuntista, que fue adoptada por Sneed y tras l por todos los seguidores de la concepcin
estructural. Al ser dicha tcnica muy similar a la utilizada por el
grupo francs Nicholas Bourbaki en sus lements de Mathmatiques,3 Stegmller ha afirmado que dicha concepcin supone una
ampliacin del programa Bourbaki a las ciencias empricas, lo cual
podra suponer una nueva tentativa, aunque en base a postulados
muy diferentes de los del Crculo de Viena, de unificacin de la
ciencia. De hecho, en el desarrollo de la concepcin estructural se
han aplicado las mismas tcnicas al anlisis y reconstruccin de
diversos tipos de ciencias: fisicas, qumicas, biolgicas, econmicas, sociales, humanas, etc. Lo cual supone uno de sus mayores
atractivos, al menos como pretensin e independientemente de los
resultados obtenidos.
Introducci
151
10
4. T. S. KUHN, Theory-change as structure-change, en Erkenntnis,
(1976), pp. 141-165.
152
lenguajes formales.'
Para llevar a cabo esa axiomatizacin informal Suppes recurri a la tcnica del predicado conjuntista, que ya haba sido usada
por el grupo Bourbaki para definir las estructuras matemticas.
Dicho predicado, al determinar la clase de modelos que lo satisfacen, caracteriza extensionalmente la teora, en funcin de dicha
clase de modelos. No hace falta, por consiguiente, reducir las
5. W. STEGMLLER, La concepcin estructuralista de las teoras, traducida
por Jos Luis Zofio (Madrid, Alianza, 1981), p. 14.
153
3)
es una funcin cuyo dominio es D x D y cuyo rango es un
subconjunto de D;
4) para todo a, b, c E D,
a. (boc) = (a.b).c;
E
E
6. J. D. SNEED, The Logical..., pp. 9-10. Vase tambin P. Sueros, Introduction to Logic (Nueva York, 1957); existe traduccin al castellano (Mxico, CECSA,
1964), pp. 249-259 de la edicin original, en Van Nostrand.
154
155
teoras con mtodos modelo-tericos. Ello dio lugar a una alternativa real a la epistemologa estndar dominante. Frente a la consideracin de las teoras como clases de enunciados (con su vocabulario, sus reglas de correspondencia, etc.), la postura de Sneed
supuso la aparicin de una concepcin rival en filosofa de la
ciencia, sobre todo en la medida en que los instrumentos de anlisis formal eran precisos y rigurosos, adems de aportar una nueva
concepcin de las teoras:
La concepcin que mantendr es sta: los enunciados (statements) de
cualquier teora cientfica axiomatizada (informalmente) son, groseramente hablando, enunciados sobre las entidades que satisfacen 'x es un S'.9
156
157
158
1) x = < P, T, m, I >;
2) P es un conjunto finito, no vaco;
3) T es un intervalo de nmeros reales;
4) .1 es una funcin de P x T en el conjunto de ternas ordenadas de
nmeros reales tales que, para todo p E P y para todo t E T existe la
derivada segunda de la funcin s, D 2.1(p,t);
5) m es una funcin de P en los nmeros reales tal que para todo p E P
es m(p) > O;
6) f es una funcin de PxTx/ en el conjunto de ternas ordenadas de
nmeros reales tal que, para todo p E P y para todo t E T es
1(p t , i) absolutamente convergente;
i e/ "
7) Para todo p E P y para2 todo t E T es vlida la ecuacin
m (p)-D .1(p, t) = E
p, t, i)
i
I k
Esta axiomatizacin informal de MCP est hecha, como puede
verse, en base a los conceptos de partcula (p), tiempo (t) , posicin
(.1, para marcar su carcter vectorial), masa (m) y fuerza (f, tambin
vectorial). Ninguno de estos conceptos est definido. Frente al
atomismo epistemolgico de la concepcin heredada, que atribua
un significado a cada trmino por medio de las reglas de correspondencia, el mtodo modelo-terico estudia globalmente dicho
predicado: los modelos que lo satisfagan caracterizarn, en primera instancia, la estructura matemtica de MCP. Sneed llama M a la
clase de los modelos que satisfacen, en el sentido de Tarski, el
predicado 'x es una MCP' as caracterizado.
Consideremos, por ejemplo, un sistema fsico muy simple,
formado por un planeta p y sus dos satlites s, y s2. Si hacemos
abstraccin de sus respectivos tamaos, y los reducimos a puntos;
si prescindimos de las eventuales variaciones de sus masas a lo
largo del tiempo; y si tampoco tenemos en cuenta otro tipo de
variables que influyan en su movimiento, centrndonos exclusivamente en las tres partculas, sus posiciones variables en el intervalo
/ y las respectivas fuerzas de atraccin que se ejercen entre s,
hemos elaborado un modelo matemtico del sistema fsico inicial:
tiene sentido preguntarnos si ese modelo del sistema formado por
el planeta y los dos satlites satisface o no el predicado `x es una
MCP'. Ocurre entonces que, entre todos los modelos que nosotros
podramos considerar, hay algunos que lo satisfacen y otros que no.
La clase M de los modelos efectivos de MCP est definida.
Sin embargo, y en ello radica la novedad de Sneed, la clase M
no basta para caracterizar la teora MCP. Los 7 items del predicado
159
160
161
162
biAyEz} cids i
163
164
165
166
167
En trminos ms precisos: el anlisis de MCP permite distinguir M, A4, A4, C y A, y dentro de A la subclase Ao. A4 es la matriz
de la teora, la clase de todos sus modelos posibles. Sus elementos
son entidades matemticas que pueden satisfacer en principio el
predicado `x es MCP'. Dicha clase ha de ser luego restringida a
por medio de la eliminacin de los trminos tericos, obtenindose
junto con M y con C el ncleo K de la mecnica clsica de partculas. Para completar el anlisis de la estructura de la teora, hay que
aadir, por ltimo, las aplicaciones propuestas, es decir, aquellos
mbitos empricos de los que efectivamente se ha comprobado que
satisfacen el predicado conjuntista. La propuesta de una nueva
aplicacin supone una modificacin en la estructura de la teora,
pero no en su ncleo. Con lo cual la reconstruccin sneediana est
en condiciones de asumir todas las estratagemas convencionalistas, emisin de hiptesis auxiliares, etc., que ataen a las aplicaciones propuestas (o al cinturn protector, en terminologa de Lakatos), pero no al ncleo de la teora.
A la vista de la generalidad y flexibilidad de esta caracterizacin de la estructura de MCP, Sneed va a ampliar su propuesta a
todas las teoras de la Fsica Matemtica, y posteriormente la concepcin estructural seguir ese programa aplicndolo a otras disciplinas cientficas." Surge as la primera definicin de la estructura
de las teoras, segn la cual una teora T caracterizada extensionalmente por el predicado conjuntista es una T, consta de dos
componentes principales, el ncleo K (Sneed todava lo denomina
H) y el conjunto de aplicaciones propuestas A, de las cuales, forman
parte las aplicaciones paradigmticas A o:
Mpp
168
169
teora de la fsica matemtica.26 La cuestin tena relevancia porque Kuhn haba caracterizado su nocin de ciencia normal por la
posesin por parte de todos los miembros de una comunidad
cientfica de la misma teora o paradigma. Pero el concepto de
tener una teora era todava intuitivo. La aportacin de Sneed
constituye la primera tentativa de definirlo en trminos lgicoformales, recurriendo como siempre a la tcnica del predicado
conjuntista. Tentativamente, Sneed propone la siguiente definicin:
Si p es una persona y < K,I > es una teora de la Fsica Matemtica,
entonces p tiene < K,I > en el tiempo t si y slo si:
Ne
170
una teora a otra. Pero stos son temas de los que nos vamos a
ocupar a continuacin, con lo cual conviene concluir este apartado con una breve descripcin del marco conceptual en el que debe
ser utilizada la formalizacin de las teoras cientficas propuestas
por Sneed.
La tesis principal es que, al menos en las teoras ms desarrolladas, siempre hay una cierta estructura matemtica asociada a
una teora T: llamemos S a dicha estructura. Puesto que tratamos
de teoras con contenido emprico, hay una serie de sistemas (fisicos, en la obra de Sneed) que son modelos de la teora, en el
sentido de que satisfacen el predicado conjuntista definido por la
estructura matemtica S. Esto permite una caracterizacin extensional de la teora 7', la cual queda definida por sus modelos
efectivos, M, pero tambin por sus modelos parciales, potenciales,
condiciones de ligadura, etc. Habra la posibilidad, asimismo, de
proponer una definicin intensional de las teoras cientficas partiendo de las propuestas de Sneed, como ha indicado Mostern:
La estructura asociada con una teora puede considerarse (intencionalmente) como lo que de comn tienen todos los modelos de esa teora,
los rasgos o propiedades comunes a todos ellos o (extensionalmente)
como la clase de todos los modelos de la teora."
p. 151. 28. J.
MOSTERIN,
171
Otro tanto cabra decir del caso de Lakatos, segn el propio Stegmller:
Su concepto de Programa de investigacin no est en contradiccin
con las ideas de Kuhn. Por el contrario, segn se interprete ese concepto,
coincide o bien con el concepto de ciencia normal en el sentido de Kuhn,
o bien con un caso especial del mismo (progreso de la ciencia normal sin
retrocesos). El concepto de falsacin del falsacionismo refinado de Lakatos, en cambio, constituye en forma precisa un mtodo para eliminar la
fisura arracional, pero esto se debe a que, a pesar del confundente marco
conceptual en el que aparece incluido en Lakatos, ese concepto equivale
en lo esencial al concepto de reduccin de teoras."
29. Vase W. STEGMLLER, Estructura y dinmica de las teoras, traduccin
de C. U. Moulines (Barcelona, Ariel, 1983), cap. IX.
30. W. STEGMLLER, Estructura y dinmica de las teoras, p. 24.
31. Vase W. STEGMLLER, La concepcin estructuralista de las teoras, introduccin.
32. W. STEGMLLER, Estructura y dinmica de las teoras, p. 41.
33. W. STEGMLLER, Estructura y dinmica de las teoras, p. 45.
172
173
mas fsicos, pero en cambio no son capaces de enunciar ecuaciones para los problemas que se les presentan en los laboratorios o
que han formulado por medio de palabras. Y adems:
En segundo lugar, y casi como corolario de lo anterior, la imaginacin
creadora que se necesita para hallar un elemento de M p que corresponda a
poco tpico (por ejemplo, una membrana o una cuerda
un elemento de
en vibracin, antes de que ambas cosas constituyeran aplicaciones normales de la mecnica newtoniana) es uno de los criterios por los que a veces
36
se puede distinguir a los grandes cientficos de los cientficos mediocres.
M pp
Las divergencias de Kuhn con respecto a las propuestas sneedianas tienen que ver con esta valoracin positiva del concepto
constraint o ligadura, por seguir la traduccin preconizada por
Moulines. A su entender, debera de atriburseles una posicin
todava ms fundamental de la que ya tienen dentro de la reconstruccin estructural de las teoras cientficas:
No se podran introducir las aplicaciones y las condiciones de ligadura como nociones primitivas, dejando que la investigacin ulterior revelara la medida en que de ellas se seguiran criterios para la identidad de
teorias y para la distincin terico/no terico?"
174
KUHN,
El cambio..., p. 152.
175
176
177
cierta medida la nocin de Lakatos de un programa de investigacin. El progreso de la ciencia tendr lugar mediante la construccin de dichas redes tericas, algunas de las cuales pueden extenderse en el tiempo durante ms de un siglo.
Desde el punto de vista del anlisis formal, cada uno de los
elementos tericos de la red va a tener, como mnimo, las componentes que Sneed asignaba en 1971 a la mecnica clsica de partculas, y en general a toda teora: el ncleo K y las aplicaciones
propuestas A. En concreto, cada elemento terico expresar alguna
ley fundamental, aunque dichas leyes estn en dependencia las
unas de las otras, surgiendo por especializacin de la ley inicial.
As, MCP ser un elemento terico que dar lugar al nuevo elemento DNP (dinmica newtoniana de partculas), y ste a su vez a
DARG (dinmica de accin y reaccin generalizada), especificacin del cual ser DARE (dinmica de accin y reaccin especfica); y as podramos seguir, retomando tanto la estructura diacrnica del desarrollo histrico de esta rama de la Fsica como el
aspecto sincrnico, conforme al cual puede ser expuesta hoy en da
en un libro estndar de texto. Resulta as ms fcil reconstruir
algunos de los aspectos pragmticos de las teoras cientficas. Tal
ha sido la opcin adoptada por Moulines en el captulo 2, apartado
4 de sus Exploraciones metacientificas,43 que aqu tomaremos como
base para definir los elementos y las redes tericas. El conjunto de
aplicaciones propuestas de una teora, al que Sneed denominaba 1
y Moulines A, conlleva en efecto un aspecto pragmtico que no
debe ser soslayado. En la caracterizacin sneediana ese aspecto era
reconocido, pero no como componente estructural..Moulines pretende eliminar ese residuo platnico de la formalizacin de
Sneed:
No podemos suponer que A est dado de una vez por todas como lo
est el ncleo. La concepcin sneediana del dominio de aplicaciones tiene
indeseables, e innecesarias, connotaciones platnicas: A sera una entidad
existente de manera absoluta, con independencia de la determinacin
pragmtica de sus lmites. En cambio, parece ms realista tomar A como
una identidad genidntica (y en este sentido ms parecida a una sociedad
que a un sistema formal). El concepto de aplicacin propuesta es, si se lo
toma en serio, relativo a seres humanos y tiempos histricos. Las aplicaciones propuestas las propone alguien (la comunidad cientfica o algn subgrupo dentro de ella) en un momento dado. En consecuencia, considero
que, en una reconstruccin ms adecuada del dominio de aplicaciones
43.
178
179
180
y K' =
Si K y K' son dos ncleos tales que K = <
< 111'1 Aepp , M', C' >, entonces K' es una especializacin nuclear de
K si y slo si:
Mp, Mpp, M, C >
pp = Mpp;
181
cin terica;
3) para cada par T Ti tal que Ti , T E R, CC, = CC;
4) para cada par TTi tal que T,,Ti E R, h . = hi.49
3) M' c M;
4) C' c C.47
Mientras que la especializacin terica se define:
Si T y T' son elementos tericos tales que T = < K, A, CC, h >
y T' = < K', A', CC', h' >, entonces T' es una especializacin terica
de T si y slo si:
3) CC = CC';
4) h
1) M' p = M p ;
2)
Redes
h' ,48
182
1) R R;
2) CC(R) = CC(R');
3) h(R) < h (R');
4) no existe ningn R. con Ri # R y R. # R' tal que R. satisfaga
la condicin 2 con respecto a R y R' y h(R) < h(R,) < h(R');
a partir de lo cual ya se puede definir el concepto de evolucin
terica:
E es una evolucin terica si y slo si E es una sucesin finita
de redes tericas tal que, para dos redes cualesquiera R.,
pertenecientes a E se cumple:
1) R. precede inmediatamente a R,,,;
2) Para cualquier 71,4_ 1 perteneciente a R,,, existe un D perteneciente a R, tal que r es una especializacin de 71,5
i+.1
183
MOULINES,
184
185
La explicacin nomolgico-deductiva surge como consecuencia de un tipo de explicacin previa, que da razn de todo un
mbito de fenmenos adscribiendo a dicho sistema como modelo
de una determinada teora; slo a partir de esa explicacin modeloterica tiene sentido, a continuacin, acometer la explicacin de
hechos y de fenmenos singulares. Y por ello, as como el explanandum es un sistema, y no un hecho aislado, el explanans es el
enunciado central emprico de la teora (enunciado RamseySneed), y no nicamente las leyes y condiciones iniciales.
Sin embargo, la concepcin estructuralista presta mucha mayor importancia al concepto de reduccin cientfica, que nos va a
permitir dar un tratamiento adecuado a los restantes casos de
explicacin, de los que tambin se ocup, aunque mucho ms
sucintamente, la concepcin heredada: explicacin de un concepto
cientfico (terico o no), explicacin de una ley e, incluso, explicacin de una teora por otra, que era uno de los casos de reduccin
cientfica.
El origen del tratamiento estructuralista del tema de la reduccin est en los trabajos de Adams, en 1955 y 1959," en los cuales
se utilizaba el mtodo de Suppes del predicado conjuntista aplicndolo a la reduccin de la mecnica del slido rgido a la mecnica
de partculas: los conceptos de la primera teora eran reducibles a
los de la segunda, y adems la primera teora era derivable a partir
de la segunda. Moulines resume as la propuesta de Adams, modificndola para mostrar el mtodo modelo-terico que le subyaca.
T es reducible a T' si y slo si existe una relacin dinmica p entre cada
estructura x expresada en el lenguaje de T y estructuras x', (normalmente
ms de una) expresadas en el lenguaje de T' tal que:
54. M. CADEVALL, El concepto de explicacin en la concepcin estructuralista, Enrahonar, 12 (1985), p. 13.
55. Vase ADAMS, 1955, y The Foundations...
186
1 87
58.
nis, 1 0:3.
59.
60.
61.
(Dordrecht,
188
189
190
191
M pp
192
193
v x, x' (< x,
> E 0- y x'
(40')
n c
P (m) n c),
dando por supuesto que cada x' E M0' tiene una imagen-p 2' en M.
A partir de lo cual la reduccin aproximativa tipo p'/ se define:
Dados dos elementos tericos T = < K, A > y T' = < K', A' >, diremos
que < T, p, T', A'. > es una aproximacin tipo p1/4 de T a T' en A'0 si y
slo si:
3) V H (H a K
4) < A, '. >
3 K'0, T'0 (T'o = < K'0 , A'.> y K'0 o-K' y p-1 (K'.) C H).
4p.
Las ideas intuitivas que estn detrs de esta definicin son las siguientes. T es la teora menos desarrollada o ms pobre que queremos
reducir, y T' es la teora ms desarrollada o ms rica, destinada a
desempear el papel reductor. Se supone que T se aproxima a T', pero slo
dentro de un subconjunto propio A'0 del dominio total de aplicaciones A'
de T'. En trminos ms intuitivos, T' cubre ms que T. A'0 es el dominio
explicado tanto por T como por T', pero es justamente slo un subdominio de A'. Este A'> , se halla en una correspondencia cuasi-reductiva p con la
totalidad del dominio A de T, pero no se trata de una correspondencia
reductiva exacta; es slo una correspondencia aproximada del tipo p'/2 , tal
como se expresa en la condicin 4. La condicin 3 significa que todas las
especializaciones de T tienen su imagen especular aproximada en T', de tal
modo que los modelos de cada especializacin de T se pueden derivar
aproximadamente de los de la especializacin correspondiente en T', en el
sentido expresado ms arriba.73
As definida la aproximacin interterica, a continuacin Moulines muestra que dicha definicin puede aplicarse perfectamente
a las teoras de Kepler y de Newton (gravitacin), partiendo de un
trabajo previo de Scheibe.74
Las relaciones entre las teoras cientficas han sido asimismo
analizadas por los estructuralistas, sobre todo a partir de la pro73.
74.
194
195
El mtodo modelo-terico de anlisis y reconstruccin de la estructura de las teoras cientficas surgi, como hemos visto con la obra
de Sneed en 1971, a partir de las teoras fsicas altamente matematizadas, como la mecnica clsica de partculas. Dicha teora fue
196
197
estudiada con mucho detalle por Sneed, y de alguna manera constituye el paradigma de la concepcin estructural. Pero en la misma obra de 1971 Sneed tambin esbozaba las lneas maestras de lo
que podra ser la reconstruccin estructural de las teoras mecnicas de Lagrange y la teora de los cuerpos slidos rgidos. Ambos
anlisis fueron perfeccionados posteriormente, el primero por Balzer y Moulines en 198177 y el segundo por Moulines en 1974.78 Este
mismo autor llev a cabo la reconstruccin estructural de la termodinmica de los sistemas simples en equilibrio en 1975, ocupndose Balzer de la geometra fsica en 1978. Hasta aqu, por consiguiente, la concepcin estructural permaneci en su mbito
originario, circunscrita a la fsica.
Se planteaba, sin embargo, el desafo de aplicar la metodologa
de Sneed a otro tipo de teoras, y muy en particular a las pertenecientes a materias diferentes de las ciencias naturales. La tradicin
fisicalista ha dominado la filosofa de la ciencia en el siglo xx,
habiendo dado lugar a diferentes crticas, como las procedentes del
mbito de las ciencias humanas y sociales, por este exclusivismo.
Parafraseando a Aristteles, podra decirse que la fsica ha sido
para los filsofos de la ciencia del presente siglo la ciencia primera,
como ya hemos sealado en la introduccin, mientras que todas las
dems eran ciencias segundas. La metateora, o metaciencia, o
filosofa general de la ciencia, ha sido elaborada sobre el modelo o
aplicacin paradigmtica de las teoras fsicas, mientras que las
restantes teoras cientficas han tenido que adecuarse buena o
malamente al cors metaterico que emanaba de las ciencias de
la naturaleza (Realwissenschaften, en la terminologa de Carnap),
que a la hora de la verdad quedaban prcticamente reducidas a la
fsica.
El mtodo estructuralista de reconstruccin de las teoras pareca mejor preparado que otras concepciones epistemolgicas
para abordar este desafo, que es el ms radical si se pretende
elaborar una filosofa autnticamente general de las ciencias. Y ello
por varios motivos: en primer lugar, porque slo requera una
axiomatizacin informal de las teoras a analizar, lo cual era ms
fcil de lograr que la reduccin de muchas de ellas a sistemas
77. Vase
pp. 467-494.
78. Vase
79.
traduccin
80.
81.
BALZER-MOULINES,
MOUL1NES,
1974.
On Theoricity, en Synthese,
44
(1980),
198
85.
1986).
La concepcin semntica
199
200
La concepcin semntica
201
B.
B.
B.
VAN FRAASEN,
VAN FRAASEN,
VAN FRAASEN,
202
La
concepcin semntica
203
una clase no puede ser verdadera o falsa. As que la teora tiene al menos
que incluir algo ms; por ejemplo, una afirmacin o aseveracin acerca de
95
esta clase.
204
B. VAN FRAASEN,
B. VAN FRAASEN,
B. VAN FRAASEN,
B. VAN FRAASEN,
The
The
The
The
Scientific
Scientific
Scientific
Scientific
Image, p. 8.
Image, p. 12.
Image, p. 12.
Image, p. 12.
La concepcin semntica
205
Dichos sistemas no son los fenmenos, por ser stos demasiado complejos. Hay que idealizarlos previamente, seleccionando
nicamente algunos aspectos de los mismos. Y en esta seleccin
interviene la teora: el procedimiento es constructivo. Tanto los
conceptos como las funciones de la teora (posicin, tiempo, masa
y fuerza en la mecnica clsica de partculas) nos permiten elegir
en los fenmenos aquello que es pertinente para la teora, dejando
de lado todo lo restante. De la misma manera, una vez seleccionado e idealizado un sistema, la ciencia slo se ocupa de l, haciendo
abstraccin de los dems fenmenos y sistemas que pueden tener
influencia sobre l. Al aplicar el aparato matemtico y conceptual
de T, y en particular sus leyes, el cientfico tendr ocasin de
contrastar su hiptesis terica, dilucidando si el sistema fsico as
idealizado pertenece o no a la clase determinada por la definicin
terica.
Complementando estas ideas de Giere, que suponen una diferencia importante entre la concepcin semntica y la estructural,
Van Fraasen va a introducir la nocin de espacio-de-estados, muy
importante en su,conceptualizacin de las teoras fsicas. Ana Rosa
Prez,RaRpnz, quien se ha ocupado de confrontar algunos aspectos de ,Igu-p,oncepcin estructural con las tesis de Van Fraasen,
sintetiza estas ltimas de la manera siguiente:
Una teora fisica utiliza un modelo matemtico para representar el
comportamiento de cierta clase de sistema fsico. Un sistema fsico se
define especificando el conjunto de estados que el sistema es capaz de
adoptar. Estos estados se representan mediante elementos de cierto espacio matemtico que Van Fraasen llama el espacio-de-estados. Normalmente, una teora fsica se ocupa de una clase grande de sistemas dividida en
subclases, y especifica un espacio-de-estados para cada subclase.m
206
(espacios-de-estados). Las teoras cientficas nos proporcionan imgenes del mundo, que pueden ser pertinentes o no. O como dir
Giere:
Entendemos la palabra 'teora' como algo que incluye a la vez la clase
o los
modelos y una amplia ristra de hiptesis que utilizan dichos modelos. 102
Una teora no es ni una clase de modelos (como piensan los
defensores de la concepcin semntica que afirman los estructuralistas) ni un conjunto de conjeturas que versan sobre los fenmenos observables, que luego habran de ser verificadas, comprobadas, corroboradas o falsadas. Las teoras cientficas deben de ser
caracterizadas por la clase de sus modelos, pero tambin por las
hiptesis que les otorgan contenido emprico, o si se prefiere
verdad o falsedad.
Entre los principales defensores de la concepcin semntica
hay tambin diferencias y matices, sobre todo en sus pronunciamientos ontolgicos. Vimos que Van Fraasen se defina en 1980
como un antirrealista, aunque posteriormente ha modificado un
tanto sus posturas, como lo subray Len Oliv. 103 En cambio, Giere
ha mantenido el realismo constructivo, defendiendo una filosofa
naturalista de la ciencia frente a las epistemologas que tienden a
fundamentar la ciencia metodolgicamente, como las de Carnap,
Reichenbach y Popper, y por oposicin asimismo a la metametodologa de Lakatos y de Laudan. Como consecuencia propugnar una
concepcin evolucionista de la ciencia, con cuyas tesis bsicas
terminaremos esta breve exposicin de la concepcin semntica.
Giere interpreta que la obra de Kuhn supuso la defensa de una
filosofa naturalizada de la ciencia: prolongando las tesis kuhnianas, afirma que la filosofa de la ciencia no posee una funcin
normativa, sino bsicamente descriptiva de lo que es la ciencia. En
consecuencia, la historia de la ciencia desempea un papel relevante.
Para Giere, el problema que afronta una filosofa naturalista
de la ciencia consiste en explicar cmo criaturas con capacidad
102. R. GIERE, Philosophy of Science Naturalized, en Philosophy of Science, 52 (1985), p. 331.
103. Vase L. Ouv, Realismo y antirrealismo en la concepcin semntica
de las teoras, en Crtica, XVII:51 (1985), pp. 31-40.
La concepcin semntica
207
104.
105.
7. CRTICA DE LA CIENCIA
7.1. Introduccin
El auge de la ciencia y de la tecnologa en el siglo xx, su progresiva
influencia en las ms diversas reas del saber humano y de la
actividad social, y muy en particular sus aplicaciones militares y
polticas, de las que las bombas de Hiroshima y Nagasaki seran la
expresin paradigmtica, han dado lugar a una serie de reflexiones
crticas con respecto a la ciencia, hechas desde perspectivas muy
diferentes. Ha habido crticas de tipo econmico, basadas en el
enorme coste de algunas investigaciones cuya funcin social resulta luego muy escasa, cuando no negativa; otras de tipo ecolgico,
por las graves consecuencias que determinados experimentos cientficos, as como la aplicacin tecnolgica de sus resultados, conllevan para el entorno natural; otras de tipo moral, dependientes de
los problemas ticos suscitados por lneas de investigacin como la
biotecnologa, la sociobiologa, la fecundacin in vitro, los trasplantes de rganos, etc.; as como crticas de tipo poltico, que han
sealado la funcin ideolgica y de control social que determinadas teoras desempean, sin olvidar la dependencia econmica y
tecnolgica a la que el progreso cientfico somete a los pases
menos desarrollados desde el punto de vista de la investigacin. La
pretendida neutralidad poltica y social de la ciencia, as como su
funcin progresiva, han sido atacadas con diversos argumentos. Se
abre as un campo de reflexin sobre la ciencia que, sin ser exclusivamente epistemolgico o filosfico, en muchas ocasiones ofrece
un contrapunto adecuado a las teorizaciones que analizan exclusivamente los aspectos formales y estructurales de la actividad cientfica, sin entrar en sus consecuencias prcticas.
210
Crtica de la ciencia
En el presente captulo slo nos ocuparemos de aquellas crticas que hayan llegado a articularse como reflexiones generales
sobre la ciencia, dejando para el segundo volumen aspectos ms
especficos, como el clebre debate sobre la explicacin y la comprensin en ciencias humanas y sociales.' El primer apartado estar dedicado a la figura de Feyerabend y a su epistemologa anarquista, y ello no tanto por la correccin de sus tesis, cuanto por el
efecto revulsivo al que dieron lugar en la comunidad de metodlogos y epistemlogos. Sus tesis sobre la inconmensurabilidad de las
teoras, sus provocativas comparaciones entre la ciencia, el arte y
el mito (y ello en la tradicin demarcacionista caracterstica de la
filosofa de la ciencia del presente siglo), sus ideas sobre la ciencia
en una sociedad libre, en la que estuviese separada del Estado
(como la religin) y sometida a un control democrtico que contrapesase el poder de los especialistas, as como la gran difusin que
sus obras han tenido en lengua espaola, hacen imprescindible una
breve introduccin a sus tesis.
Las obras de Feyerabend han sido ampliamente traducidas:
Contra el mtodo, Tratado contra el mtodo, Cmo ser un buen
empirista, La ciencia en una sociedad libre, Adis a la razn y
algunas otras (vase bibliografa) estn actualmente disponibles,
as como diversos comentarios a sus teoras en distintas revistas.
Nos limitaremos bsicamente a las referencias citadas.
El segundo apartado est dedicado a trabajos de grupos radicales, como el francs Survivre o el norteamericano Science for the
People, en contra del cientifismo, ideologa que impregnara nuestra poca, llegando incluso a cumplir una funcin similar a la que
en otras pocas desempe la religin. Esta lnea de pensamiento
1. Dicha polmica se inicia ya en el siglo xix, a partir del momento en que
Droysen propone los trminos de explicacin y comprensin (Erkliiren/Verstehen)
para sealar las diferencias metodolgicas entre unas y otras ciencias, as como
Dilthey la nocin de ciencias del espritu (Geisteswissenschafien). La tradicin
hermenutica ha hecho uso habitual de esa distincin, por oposicin al monismo
metodolgico del positivismo. El debate es particularmente importante para las
ciencias humanas y sociales (historia, antropologa, psicologa, etc.) y a l nos
referiremos ms ampliamente en el segundo volumen de esta obra. Muy importante
ha sido en estos ltimos aos la contribucin de G. H. von Wright, con su Explana.
tion and Understanding (1971), que ha abierto un debate en el que han participado
Davidson, Tuomela, Manninen y otros. El debate se ha conectado as a cuestiones
como la lgica de la accin, las actitudes proposicionales, la diferencia entre causas
y razones, etc.
Introduccin
211
212
Crtica de la ciencia
213
P. K.
FEYERABEND,
Crtica de la ciencia
214
En lugar de tratar de perfeccionar las teoras heredadas, siguiendo dentro del marco cannico en el que fueron descubiertas
y elaboradas, el cientfico debe de intentar oponerles ideas contrapuestas. El criticismo popperiano y el falsacionismo refinado de
Lakatos adoptan as su mxima expresin. En lugar de contrastar
las teoras con la experiencia, y aunque ello se hiciese con un
propsito falsacionista, para Feyerabend hay que proponer ideas
distintas, recurriendo como fuente de inspiracin para ello incluso
a teoras antiguas y desechadas, tanto por haber sido falsadas
como por proceder de fuentes metafsicas, religiosas o mticas. El
conocimiento cientfico no avanza por acumulacin: es un ocano
de alternativas incompatibles entre s (y tal vez inconmensurables).'
De ah que, si se quiere progresar, haya que actuar en forma
intempestiva, oponindose a lo plausible en cada momento histrico dado.
La segunda contrarregla a favor de hiptesis que sean inconsistentes
con las observaciones, los hechos y los resultados experimentales no necesita ninguna defensa especial, pues no existe una sola teora interesante que
8
concuerde con todos los hechos conocidos de su dominio.
p. 12.
p. 13.
p. 14. (Subrayados del propio Feyerabend.)
p. 15.
215
Crtica de la ciencia
216
una base slida para la ciencia, ya que pueden ser descartados por
razones tericas. Lejos ya de presuponer una base emprica comn
a los seres humanos, Feyerabend afirma que una misma persona
pasa en su fase de aprendizaje por etapas perceptuales contrapuestas:
Un nio no posee un mundo perceptual estable que utilizar para dar
sentido a las teoras que se le propongan. Muy al contrario, el nio
atraviesa varias etapas perceptuales que slo estn tenuemente conectadas
una con otra
217
218
Crtica de la ciencia
219
24. B. L. WHORFF, Language, Thought and Reality (MIT Press, 1956), p. 121,
citado por Feyerabend en Tratado contra el mtodo, p. 214.
25. J. PIAGET, La construccin de lo real en el nio, pp. 5 y ss.
220
Crtica de la ciencia
221
222
Crtica de la ciencia
223
Ciencia e ideologa
Crtica de la ciencia
224
7.3.1. EL CIENTIFISMO
El movimiento de mayo del 68, profundamente crtico, alcanz
tambin a la ciencia. Y no slo a sus formas de enseanza, sino
tambin a la propia investigacin. Numerosos grupos de tcnicos e
investigadores llevaron a cabo, paralelamente, acciones y reflexiones crticas sobre sus actividades. Aunque muchos de esos debates
y manifiestos se han perdido, quedan suficientes documentos para
poder comprender en qu sentido iba esta filosofa crtica de la
ciencia, que tuvo la particularidad de ejercerse tambin prcticamente.
La revista Internationale Situationniste, por ejemplo, formulaba de esta manera sus tesis sobre la ciencia, a travs de Eduardo
Rothe:
35.
225
O dicho de otra manera: las comunidades cientficas han perdido la relativa autonoma de la que gozaron en otras pocas histricas, pasando a depender, por una parte, de la gran industria, y por
otra de la poltica cientfica del Estado correspondiente. Dicha
modificacin de la actividad cientfica no es neutra. La aplicabilidad de los resultados cientficos se mide, en primera instancia, en
forma de beneficios econmicos para la entidad patrocinadora, lo
cual da lugar de inmediato a que determinadas lneas de investigacin (y por lo tanto teoras) sean preferidas a otras. La pretendida
universalidad y el prestigio de la ciencia, por otra parte, desempean una funcin ideolgica muy importante, al servir como refrendo, a travs de los tcnicos y de los especialistas, de las polticas
36. E. ROTHE, La conqute de l'espace dans le temps du pouvoir, en
Internationale Situationniste, 12 (septiembre de 1979), pp. 80-81.
37. S. y M. DAYAN, Para un anlisis crtico de la ciencia y sus funciones,
traducido en J. M. Lvt LEBLOND y A. JAUBERT (eds.), (Auto)crtica de la ciencia,
traduccin de Eva Groser (Mxico, Nueva Imagen, 1980), p. 47. Original publicado
en Pars (Seuil, 1975).
226
Crtica de la ciencia
Ciencia e ideologa
227
228
Crtica de la ciencia
La nueva Iglesia
La nueva Iglesia
La nueva Iglesia
La nueva Iglesia
universal,
universal,
universal,
universal,
p.
p.
p.
p.
53.
53.
53.
54.
Ciencia e ideologa
229
7.3.2.
LA PROLETARIZACIN DE LA CIENCIA
Crtica de la ciencia
230
trabajo. Esto se manifiesta por una parte en la divisin entre disciplinas, cada vez ms aisladas entre s; pero tambin en el abismo
abierto entre tericos y experimentadores, restringidos cada uno
de ellos a sus respectivas tareas dentro de un proyecto investigador;
y asimismo en la aparicin de autnticos patronos, que han
perdido el contacto real con cualquier tipo de investigacin cientfica y slo se dedican a funciones administrativas y polticas, al
objeto de recabar fondos, administrarlos, cuidar la imagen del
equipo investigador, firmar contratos, tener influencia poltica, etc.
Una cuarta novedad estriba en la parcelizacin de la enseanza de
la ciencia, de tal manera que se pierda la idea de globalidad,
acostumbrando a los futuros investigadores a trabajar slo en el
campo que les ha sido asignado, y a dejar en manos de otros las
decisiones generales sobre qu lneas seguir, o cmo aplicarlas, o
cmo conectarlas con investigaciones en otras disciplinas. Todo
ello transforma a los cientficos en trabajadores, y la investigacin
cientfica en una empresa, estructurada como cualquier otra, y
determinada por las reglas del capitalismo. El mismo reconocimiento del mrito ya no depende tanto de la creatividad cientfica
cuanto de factores sociales externos a la propia investigacin:
buena red de public relations, fcil acceso a los medios experimentales, obtencin de fondos econmicos, pertenencia a una institucin prestigiosa, etc." La ciencia artesanal clsica, en la que cada
cientfico o grupo de cientficos era relativamente propietario de
los resultados de su actividad y libre para orientarla en un sentido u
otro, ha sido reemplazada por una ciencia industrializada, dando
lugar a lo que Lvi Leblond llama proletarizacin de los cientficos.
Ello es particularmente claro en el caso de los tcnicos de laboratorio, que ni siquiera son mencionados en las publicaciones finales,
pero tambin resulta vlido para los investigadores en situacin
eventual, cuya insercin en la comunidad cientfica depende de
tener un buen patrn, de seguir al pie de la letra las instrucciones
que ste imparta y de limitarse al trabajo que le ha sido asignado.
La concesin de premios (como el Nobel) y honores (doctorados
honoris causa, etc.) es otro ejemplo del mismo fenmeno:
En todos los casos se recompensa menos la competencia estrictamente cientfica del individuo, que ya he dicho que tenda a perder todo
50. J. M. LVI LEBLOND, La ideologa..., p. 33.
Ciencia e ideologa
231
Crtica de la ciencia
232
Ciencia
e ideologa
233
Crtica de la ciencia
234
ciencia en el siglo xx es una actividad econmica lo suficientemente relevante como para que el control de la misma haya escapado
de manos de los cientficos. stos, con excepcin de los que pasan
a la direccin de la poltica cientfica y a la administracin de los
fondos y beneficios correspondientes, se han proletarizado en su
inmensa mayora. Nociones epistemolgicas como 'progreso indefinido', 'teora/observacin', 'investigacin/enseanza', 'ciencia
normal/revolucionaria' o incluso 'programa de investigacin' tienen una carga ideolgica y justificativa del actual status que ha de
ser denunciada:
Es actualmente la ciencia la que cada vez con ms vigor apoya y
estructura las formas de la ideologa impuesta por la clase social en el
poder, la burguesa. La ciencia se invoca para cubrir con una mscara de
objetividad y tecnicismo la dominacin de esa clase [...]. La ciencia sirve
asimismo para justificar todo el aparato de la jerarqua social proporcionndole unos criterios objetivos.6
Ciencia y poltica
235
En la reciente obra de Jos Sanmartn, por ejemplo,6' la ciencia moderna no slo viene caracterizada por un afn de conocimiento de la naturaleza, sino tambin por la voluntad de dominio
de la misma. La energa nuclear, debido a su coste, a sus riesgos y a
su baja rentabilidad, no ha dado los resultados apetecidos por
quienes vieron en ella el medio para solucionar problemas estructurales de la economa mundial. La biotecnologa, en cambio,
apareca a finales de los setenta y principios de los ochenta como
una alternativa posible, a la hora de suscitar una nueva revolucin
industrial que resolviese muchos de los graves problemas que
acosan a la especie humana. Los agentes de dicha revolucin
seran los microbios, manipulados genticamente.
Por ejemplo, el petrleo. La bacteria Desulfovibrio que se desarrolla en el petrleo y produce dixido de carbono, podra generar,
previo tratamiento gentico, grandes bolsas de dixido de carbono
que favoreciesen la extraccin del petrleo. Pero tambin en
lo que se refiere a la alimentacin: bastara injertar genes de
microorganismos en genotipos de plantas para lograr que stas se
adaptasen a medios de cultivo inhabituales, como los desiertos, las
salinas o las azufreras volcnicas: o las bacterias productoras de
insulina, y en general de medicamentos; o las que limpian de ganga
los minerales, facilitando su purificacin; o los biochips, que daran
lugar a una nueva generacin de ordenadores, los ordenadores
62
moleculares, mucho ms potentes que los actuales. Y sobre todo
el propio ser humano. Si la causa de las guerras, de la violencia, y
de otros muchos males sociales, es la agresividad inherente al ser
humano, por estar inscrita en su cdigo gentico, se tratara de
separar y cortar del genotipo humano su parte enferma, responsable de la conducta agresiva. En estas y en otras cuestiones, el
ingeniero gentico corriente era el que se presentaba a s mismo
64
como salvador de la humanidad, afirma Sanmartn. Muchos
autores, como Feinberg, reivindicaban por lo mismo plena libertad
y apoyo para los cientficos en el desarrollo de estas lneas de
61. J. SANMARTN, Los nuevos redentores. Reflexiones sobre la ingeniera gentica, la sociologa y el mundo feliz que nos prometen (Barcelona, Anthropos,
1987).
62. J. SANMARTN, Los nuevos redentores..., pp. 57-63 y 81-85 para datos ms
amplios sobre estas cuestiones, que aqu resumimos en base a dicha obra.
63. J. SANMARTN, Los nuevos redentores..., p. 83.
64. J. SANMARTN, Los nuevos redentores..., p. 66.
236
Crtica de la ciencia
Ciencia y poltica
237
65
238
Crtica de la ciencia
libertad de investigar:
Ciencia y poltica
239
240
Crtica de la ciencia
APNDICE.
CONSIDERACIONES SOBRE
UNA SEMIOLOGA DE LA CIENCIA
(Artculo publicado en Crtica [Mxico], XVII:51 [1985], pp. 71-96.)
I. Introduccin
Una de las principales insuficiencias de la filosofa de la ciencia en
el siglo xx, a pesar de los evidentes logros habidos en la reconstruccin y el anlisis de las teoras cientficas, estriba en la separacin entre las ciencias formales y las ciencias con contenido emprico. La distincin procede de Carnap, y qued generalmente
aceptada por el Crculo de Viena a partir de su artculo de 1935 en
Erkenntnis: Formalwissenschaft und Realwissenschaft.' Tiene un
regusto kantiano, pues permite mantener bajo una forma nueva la
oposicin analtico/sinttico, que haba sido criticada por Wittgenstein en el Tractatus,2 al afirmar que las llamadas proposiciones
analticas eran pseudoproposiciones (apartado 5.534). La filosofa
ulterior de la ciencia, pese a sus mltiples crticas al programa
neopositivista, no ha conseguido romper esa separacin. Puede
afirmarse que las Realwissenschaften, y en particular la fsica, han
marcado profundamente la teora de la ciencia en nuestro siglo.
Cuando se habla de teoras cientficas se est aludiendo casi siempre a teoras fsicas (Coprnico, Galileo, Newton, la termodinmica, la mecnica cuntica, la teora de la relatividad, etc.) y slo
algunas veces a teoras biolgicas (el evolucionismo darwiniano, la
seleccin natural, la gentica, la sociobiologa) o a teoras qumicas
(Lavoisier, Bohr, etc.). Falta por analizar y reconstruir la historia y
la estructura de las teoras matemticas, de las teoras lingsticas
1. R. CARNAP, Formalwissenschaft und Realwissenschaft, Erdenntnis, 5
(1935), pp. 30-31.
2. Cito por la traduccin de Tierno Galvn del Tractatus Logico-Philosophicus (Alianza Editorial, Madrid, 1973), p. 153.
242
Apndice
243
4
configuracin (Konfiguration) de objetos (apartado 2.0272). El
mundo es la totalidad de los hechos atmicos, o estados de cosas
(Sachverhalten), independientes entre s y sin nexo de causalidad.
Dejar de lado la adecuacin o inadecuacin de estas tesis
ontolgicas, pasando a la gnoseologa wittgensteiniana, cuyas primeras formulaciones son las siguientes:
y un poco ms adelante:
II. El Tractatus y La filosofa del atomismo lgico
Para Wittgenstein el mundo es la totalidad de los hechos, y no de
las cosas (apartado 1.1).3 Cada hecho est constituido por una
3. Tractatus..., p. 35.
Tractatus..., p. 43.
Tractatus..., p. 43.
Tractatus..., pp. 45 y 47.
Tractatus..., p. 47.
Tractatus..., p. 49.
244
Apndice
245
o incluso
'Wittgenstein escribi el Tractatus'
no rememoran el hecho emprico de un individuo, llamado Wittgenstein, escribiendo notas en cuadernos que luego bautiz Tractatus Logico-Philosophicus. Si prestamos confianza a los editores y a
las convenciones relativas a las portadas de los libros podemos
i maginar, pero nada ms que imaginar, ese hecho. O lo que es ms:
inferimos ese hecho desde nuestra aceptacin de las convenciones
usuales respecto a la autora de textos filosficos. La proposicin
no surge para figurar un hecho percibido por alguien, sino que se
induce a partir de otro hecho: la presencia fsica de un libro.
Ocurre, sin embargo, como veremos ms adelante, que este nuevo
hecho es de una naturaleza muy peculiar: es una configuracin de
signos ordenados segn pginas y lneas.
Para los empiristas acrrimos que vean en los manuscritos la
confirmacin de que, en efecto, Wittgenstein escribi fsicamente
el Tractatus, valga a su vez el argumento siguiente: tambin ese
manuscrito es un conjunto de signos, por una parte, y, por otra, el
trmino Tractatus no slo designa ese manuscrito. El Tractatus
existe para la comunidad cientfica porque fue editado, y lo que es
ms, porque fue editado conforme lo haba dejado escrito Wittgenstein. Esta correspondencia entre dos sistemas de signos distintos, la
grafa de Wittgenstein y las letras de imprenta, es condicin sine
qua non de la existencia de un objeto correspondiente al trmino
Tractatus, y en general de la existencia de cualquier objeto o hecho
cientfico, como veremos luego.
Russell, como es sabido, radicaliz las tesis del empirismo
lgico al priorizar el conocimiento directo (acquaintance) como el
ltimo reducto de esa correspondencia entre hechos atmicos y
proposiciones atmicas. Parafraseando la tesis russelliana en La
filosofa del atomismo lgico, referida a Scrates, podramos decir:
Nosotros no conocemos directamente a Wittgenstein y por tanto no
podemos nombrarlo. Cuando empleamos la palabra 'Wittgenstein' hace9
mos en realidad uso de una descripcin,
Lgica y conocimiento,
9. B. RUSSELL, La filosofa del atomismo lgico, en
traduccin de J. Muguerza (Madrid, Taurus, 1966), p. 281, modificando el nombre
propio 'Scrates' por 'Wittgenstein'.
246
Apndice
o en trminos ms generales:
Un nombre, entendido en su sentido estricto lgico de palabra cuyo
significado es un particular, slo podr aplicarse a un particular directamente conocido por el que habla, puesto que no es posible nombrar algo
de lo que no se tenga conocimiento directo.'
Coherentemente con estas tesis, los nombres propios se reducen para Russell, en el sentido estricto del trmino, a los demostrativos 'esto', 'eso' y 'aquello.
'Esto est a la izquierda de aquello'
sera el enunciado atmico por antonomasia.
Pero obsrvese que si al decir esa frase no se seala, a la vez
que se pronuncia,
'Esto est a la izquierda de aquello',
no se puede decidir sobre la verdad o falsedad del enunciado. Lo
cual equivale a constatar, en el extremado ejemplo russelliano, que
no slo existen objetos y signos elementales del tipo 'esto' o 'aquello', sino que para que un enunciado sea verdadero por conocimiento directo hace falta, como mnimo, otro sistema de signos, a
saber: los gestos indicativos que se simultanean a la pronunciacin
de los vocablos 'esto' y 'aquello', gracias a los cuales sabemos a qu
objetos del mundo estamos aludiendo.
Llegamos as a un primer punto importante: no basta una
nica figura de los hechos y de los componentes objetuales. Adems del manuscrito del Tractatus es necesaria la edicin original, o
alguna traduccin, para poder hablar de esa obra; adems de los
trminos `esto' y 'aquello', hacen falta decticos no fnicos para
aludir a los objetos. En general, hacen falta al menos dos sistemas
de signos, ms una correspondencia biunvoca y conforme entre
ambos, para que una proposicin que expresa un conocimiento
directo o emprico pueda ser tachada de verdadera o de falsa.
247
f(x) = x
248
Apndice
FIG. 1
249
un uso tcnico preciso, distinto del habitual: hay que poner nombre a las figuras adems de proporcionar su referencia en forma de
trazo geomtrico, pero siempre sabiendo que dicho trazo emprico
ya es signo de otra cosa, pues no en vano la 'ticegats permite
demostrar teoremas y propiedades de validez general. Con Descartes 'recta' viene a significar ms que otra cosa 'ecuacin lineal de
primer grado con dos variables': como puede comprobarse, el
lenguaje ha cambiado totalmente con respecto a Euclides. Ha
aparecido un nuevo sistema de signos (tanto de vocabulario como
de letras algebraicas) cuya pretensin estriba en reducir al sistema
anterior, expresando en el nuevo lenguaje cuanto sea demostrable
en el de los gemetras clsicos y engendrando a su vez nuevas posibilidades combinatorias, impensables en el sistema precedente.
Descrito a muy grandes rasgos, este tipo de proceso se ha
repetido una y otra vez en el caso de las ciencias formales. Unos
sistemas de signos toman como referentes semnticos, cuando
menos parciales, a sistemas preexistentes.
Pasemos a las ciencias empricas, respecto de las cuales puede
perdurar ms la conviccin injustificada de que tienen que ver con
objetos o cosas. Imaginemos para ello un astrnomo que observa el
cuerpo celeste llamado Venus. Reconstruyamos el trabajo de observacin de nuestro astrnomo de la manera siguiente:
En primer lugar, el astrnomo jams ve a Venus. Lo que l
percibe es, supongamos, la imagen de dicho astro sobre la lente
telescpica. Dicha imagen es un signo, tanto por su artificialidad
como porque su contextura fsica est mediatizada por toda una
teora ptica que permite la construccin del telescopio y da sentido y hace perceptible dicha imagen como la de Venus. Pierre
Duhem ' 2 y luego N. R. Hanson'' subrayaron que un profano y un
cientfico no ven lo mismo en un laboratorio ni en un aparato de
observacin. Nuestro astrnomo captar, pues, aspectos que pasaran completamente inadvertidos al lego, el cual habra de ser
instruido por medio, incluso, de la deixis para que pudiera apercibirse de todas las imgenes y detalles significativos para aquel que
sabe ver desde un punto de vista astronmico. En la pantalla
telescpica slo se aprende a ver el movimiento de Venus porque
12. P. DUHEM, La thorie physique (Pars, 1914), p. 218.
13. N. R. HANSON, Patrones de descubrimiento, traduccin de E. Garca
Camarero (Madrid, Alianza, 1977), pp. 96-97.
250
Apndice
251
252
Apndice
Ensamblajes de signos
253
254
Apndice
Ensamblajes de signos
255
previamente introduce: `ng' (signo de negacin), 'cu' (cuantificador universal), 'in' (inclusin), etc.
La concatenacin se define por medio de cinco axiomas, cuya
mportancia
es grande, por ser la primera tentativa de definir y
i
formalizar un recurso semitico tan habitual como el de escribir o
pronunciar una palabra (o un signo) tras otra. No entraremos en el
estudio de esos axiomas. Slo nos interesa aqu la propuesta de
Tarski porque en ella, independientemente de tesis ontolgicas
como las que vimos en Wittgenstein, y que en Tarski no aparecen,
se expresa a la perfeccin lo que llamaremos atomismo semitico,
cuya influencia en la lgica ulterior ser enorme, y que por lo
mismo ha de ser objeto de crtica a continuacin.
Quine retom esta parte del trabajo de Tarski y sintetiz estas
tesis gnoseolgicas de la manera siguiente:
La teora de la concatenacin puede ser contemplada como teniendo
que ver con secuencias finitas de algn tipo de objetos. Dichos objetos,
llamados tomos, tambin se consideran como secuencias, a saber, secuencias de longitud uno.'
Es decir, que un lenguaje formalizado se compone de secuencias, que Quine dice de objetos, a mi entender injustificadamente,
pues ya vimos que los cientficos trabajan con signos. Dichas secuencias son descomponibles y concatenables. Por un lado, nos
llevan a las secuencias de longitud mnima (tomos o signos elementales; tambin se les llamar individuos), por otra parte a
expresiones de longitud mayor que las dos secuencias que se concatenan. La teora de la concatenacin de Quine permite una
fundamentacin lgica de la aritmtica elemental, pero, a su vez,
Quine demuestra que dicha teora es equivalente a la aritmtica
elemental. El programa de aritmetizacin de la lgica, por la va
del metalenguaje, comienza as a estar en su apogeo. Culminar
con los trabajos de Gdel, basados tambin en las nociones de
secuencia, longitud y concatenacin.
En relacin con toda esta problemtica Bourbaki presenta, en
18
Elementos
de matemticas, una propuesta formalista, inspirasus
Selected
17. W. V. O. QUINE, Concatenation as a Basis for Arithmetic, en
Logic Papers (Nueva York, Random House, 1966), p. 71.
Reading,
N. B0URBAKI, Elements of Mathematics: Theory of Sets (Pars18.
a
ed.]).
Hermann-Addison-Wesley, 1974 [2.
256
Apndice
Ensamblajes de signos
257
(por abuso de lenguaje) como si se tratase de un objeto: as 'Venus', funcin f, nmero 1, etc. Y, en tercer lugar, si queremos utilizar la nocin de verdad, dichos ensamblajes, segn Tarski, han de
poder ser denominados por medio de dos expresiones metalingsticas.
Las aportaciones que se pretenden hacer aqu son dos: en
primer lugar, la ciencia no slo trabaja con secuencias de signos,
sino en general con ensamblajes. stos no tienen por qu ser
lineales ni unidimensionales: las tablas bi- o n-dimensionales, las
figuras geomtricas, etc., son ejemplos, ya en las ciencias formales,
de que el lenguaje cientfico no se reduce a secuencias de signos.
En segundo lugar, as como el lenguaje-objeto siempre es un
sistema de signos, asimismo los metalenguajes para hablar de l y
poner nombre a esos signos son sistemas sgnicos. Si a una marca
de un cronmetro, que ya de por s es un signo, le ponemos un
nombre del tipo '5' o '9', estamos utilizando un sistema de guarismos para designar o nombrar las marcas de un cuadrante; y otro
tanto si designamos una figura por su ecuacin.
Bajo la nocin de ensamblaje, por ser ms amplia, pueden ser
pensados una multiplicidad de sistemas sgnicos a los que las
ciencias empricas recurren continuamente en su labor investigadora: desde las fotografas a las tablas de datos proporcionadas por
un ordenador, pasando por los planos, los rboles lgicos o la
grabaciones magnetofnicas. Los ensamblajes pueden ser n-dimensionales, e incluso no discretos ni secuenciales: lo esencial es que
exista un sistema de signos que, metalingsticamente, pueda tomar a esos ensamblajes por objetos y designarlos y ponerles nombre. Las tablas de posiciones y las trayectorias son un buen ejemplo, para el caso de Venus, de la variedad de recursos metalingsticos a los que la ciencia recurre.
Se entender, por consiguiente, el inters que la nocin bourbakiana de ensamblaje presenta para una filosofa general de la
ciencia. Ms adelante se ver en qu direccin puede progresar la
investigacin hacia una semiologa de la ciencia, partiendo de estos
fundamentos crticamente obtenidos. Antes de pasar a ello conviene resaltar, sin embargo, dos puntos:
En primer lugar, el atomismo semitico tiene el grave defecto
de pensar que cada signo elemental puede ser considerado aisladamente, como si de un objeto subsistente por s mismo se tratara;
siendo as que la nocin de signo evita esta tendencia a la substan-
258
Apndice
259
De esta propuesta general se derivan las siguientes consideraciones, plenamente provisionales, como se dijo al principio, pero
que tienden a la elaboracin de una posible semiologa de la
ciencia en base a los resultados obtenidos de los anlisis y crticas
precedentes.
260
Apndice
261
Tesis 2. Las ciencias empricas siempre poceden por transcripcin de sistemas de signos ms complejos (por ejemplo, las percepciones de los hechos) a sistemas de signos ms simples (por ejemplo, las proposiciones, pero tambin las tablas, esquemas, frmulas, etc.). Aun sin suponer un sistema ltimo de signos (lo cual
i mplicara una tesis propiamente ontolgica) s es cierto que cualquier objeto de conocimiento slo puede ser investigado cientficamente en la medida en que dispongamos de reglas e instrumentos
de transcripcin: las palabras, los nmeros, las ecuaciones, las
figuras, los planos, las fotografas y, en general, otros modos de
reproduccin parcialmente conforme.
BIBLIOGRAFA
SOBRE LA FILOSOFA GENERAL
DE LA CIENCIA
264
Bibliografa
AGASSI, J. (1961): The Role of Corroboration in Popper's Methodology, en Australasian Journal of Philosophy, 39.
(1975): Science in Flux. Dordrecht, Reidel.
(1981): Science and Society. Dordrecht, Reidel.
(ed.) (1982): Scientific Philosophy. Essais in Honor of Mario Bunge. Dordrecht, Reidel.
ALBERT, H. (1982): Die Wissenschaft und die Fehlbarkeit der Vernunft. Tubinga, J. C. B. Mohr.
ALONSO DE FLORIDA, F. (1980): Coherential Validation of Causality, en Crtica, 12:35, pp. 61-79.
ARMSTRONG, D. M. (1978): Universals and Scientific Realism. Cambridge, Cambridge University Press.
(1983): What is a Law of Nature? Cambridge, Cambridge University Press.
ASQUITH, P. D., y R. GIERE (eds.) (1982): Philosophy of Science
Association 1980. East Lansing, PSA (2 vols.).
ASQUITH, P. D., e I. HACKING (eds.) (1980): Philosophy of Science
Association 1978. East Lansing, PSA (2 vols.).
ASQUITH, P. D., y P. KITCHER (eds.) (1984): Philosophy of Science
Association 1984. East Lansing, PSA.
ASQUITH, P. D., y H. KYBURG (eds.) (1979): Current Research in
Philosophy of Science. East Lansing, PSA.
ASQUITH, P. D., y T. NICKLES (eds.) (1983): Philosophy of Science
Association 1982. East Lansing, PSA (2 vols.).
AYER, A. J. (ed.) (1959): Logical Positivism. Glencoe-Londres, Free
Press / Allen & Unwin.
(1973): Probability and Evidence. Londres, Macmillan.
BACHELARD, G. (1982): Essai sur la connaissance approche. Pars,
Vrin (2.a ed., 1986).
(1947): La formation de l'esprit scientifique. Pars, Vrin (2.a ed.,
1960).
(1949): Le nouvel esprit scientifique. Pars, Presses Universitaires
de France.
(1953): La philosophie du non. Essai d'une philosophie du nouvel
esprit scientifique. Pars, Presses Universitaires de France.
BAERMARK, J. (ed.) (1979): Perspectives in Metascience. Gotemburgo, Kungl. Vetenskaps-coh Vitterhts-Samhllet.
BALZER, W. (1978): Empirische Geometrie. Kronberg, Scriptor.
(1982a): Empirische Theorien: Modelle, Strukturen, Beispiele.
Braunschweig-Wiesbaden, Vieweg.
Bibliografa
265
(1982b): A Logical Reconstruction of Pure Exchange Economics, en Erkenntinis, 17, pp. 23-46.
(1985a): Theorie und Messung. Berln, Springer.
(1985b): On a New Definition of Theoreticity, en Dialectica, 39,
pp. 127-145.
BALZER, W., y M GOTTNER (1982): Eine logische erkonstrvierte
Literaturtheorie: Roman Jakobson, en W. BALZER y M. HEIDELBERGER (eds.): Zur Logik empirischen Theorien. Berln,
Springer, pp. 304-331. Tambin se public una versin inglesa
en Poetics (1983), 12, pp. 489-510
BALZER, W., y A. KAMLAH (eds.) (1979): Aspekte der physikalischen
Begriffsbildung. Braunschweig, Vieweg.
BALZER, W., y C. U. MOULINES (1980): On Theoricity, en Synthese,
44, pp. 467-494.
BALZER, W., y J. D. SNEED (1977-1978): Generalized Net Structures
of Empirical Theories, I-II, en Studia Logica, 36, pp. 195-211,
y 37, pp. 167-194.
BAR-HILLEL, Y. (ed.) (1972): Logic, Methodology and Philosophy of
Science. Proc. of the 1964 Int. Congress. Amsterdam, North
Holland.
BARKER, S. (1957): Induction and Hypotesis. Ithaca, Cornell University Press.
BARNES, B. (1974): Scientific Knowledge and Sociological Theory.
Londres, Routledge & Kegan Paul.
BARNES, B., y D. EDGE (eds.) (1982): Science in Context. LondresCambridge, The Open University Press / MIT Press.
BARNES, S. B. (1982): T. S. Kuhn and Social Sciences. Londres,
Macmillan.
BAUMRIN, B. (ed.) (1961- 1963): Philosophy of Science. The Delaware
Seminar. 2 vols. Nueva York, John Wiley (vol. I, 1961-1962);
Nueva York, Interscience (vol. II, 1963).
BAYERTZ, K. (1981): Wissenschaftstheorie und Paradigmabegriff.
Stuttgart, Metzler.
BECK, S. D. (1960): The Simplicity of Science. Londres, Penguin.
BENSCH, R., y W. TRUTWIN (1975): Wissenschaftstheorie. Dsseldorf,
Patmos.
BENTHEM, B. C. VAN (1982): The Logical Study of Science, en
Synthese, 51:3, pp. 431-472.
BERGMAN, G. (1957): Philosophy of Science. Madison, University of
Wisconsin Press.
266
Bibliografa
BERKA, K. (1983): Measurement: its Concepts, Theories and Problems. Dordrecht, Reidel.
BERNAL, J. D. (1954): Science in History. Londres, Watts.
BETH, E. W. (1948): Naturphilosophie. Gorirschem, Noorduyn.
(1948-1949): Analyse smantique des thories physiques, en
Synthese, 7, pp. 206-207.
(1960): Semantics of Physical Theories, en Synthese, 12, pp.
172-175.
(1962): Formal Methods. Dordrecht, Reidel.
BHASKAR, R. (1975): A Realist Theory of Science. Leeds, Leeds
Books.
BLACK, M. (1962): Models and Methaphors. Ithaca, Comell University Press.
BLANCH, R. (1973): La science actuelle et le rationalisme. Pars,
Presses Universitaires de France (2.a ed.).
(1975): L'induction scientifique et les lois naturalles. Pars, P.U.F.
BLUME, S. (ed.) (1977): New Perspective in the Sociology of Science.
Londres, Macmillan.
BOGDAN, R. J., e I. NIINILUOTO (eds.) (1973): Logic, Language and
Probability, IV Int. Congr. of Logic, Methodology and Philosophy of Science, secc. IV-VI-XII, Bucarest 1971. Dordrecht,
Reidel.
(1979): Patrick Suppes. Dordrecht, Reidel.
BOUDOT, M. (1972): Logique inductive et probabilit. Pars, A. Colin.
BOYD, R. N. (1983): On the Current Status of the Issue of Scientific
Realism, en Erkenntnis, 19, pp. 45-90.
BRAITHWAITE, R. B. (1953): Scientific Explanation. Cambridge,
Cambridge University Press.
BRANNIGAN, A. (1981): The Social Basis of Scientific Discoveries.
Cambridge, Cambridge University Press.
BRIGDMAN, P. W. (1927): The Logic of Modern Physics. Nueva York,
Macmillan.
(1936): The Nature of Physical Theory. Princeton, Princeton University Press.
(1952): The Nature of Some of our Physical Concepts. Nueva
York, Philosophical Library.
BRODY B., y N. CAPALDI (eds.) (1986): Science, Methods and Goals.
Nueva York, Benjamin.
BRODY, TH. (ed.) (1970): Readings in the Philosophy of Science.
Englewood Cliffs, Prentice Hall.
Bibliografa
267
268
Bibliografa
Bibliografa
269
Review, 65.
CROMBIE, A. C. (ed.) (1963): Scientific Change. Londres, Heinemann.
CUSHING, J. T., C. F. DELANEY y G. GUTTING (eds.) (1984): Science
and Reality. Notre Dame, University of Notre Dame Press.
CHIARA, M. L. DALLA (1981a): Italian Studies in the Philosophy of
Science. Traduccin de C. R. Fawcett. Dordrecht, Reidel.
(1981b):
Is there a Logic of Empirical Sciences?, en Boston
270
Bibliografa
Bibliografa
271
272
Bibliografa
Bibliografa
273
274
Bibliografa
N. (1974): The Problem of Counterfactual Conditionals, en Journal of Philosophy, 44, pp. 113-128.
(1955): Fact, Fiction and Forecast. Cambridge, Harvard Univ. Press.
GREGG, J. R. (1964): Form and Strategy in Science. Dordrecht,
Reidel.
GRMEK, M. D., R. S. COHEN y G. CIMINO (eds.) (1981): On Scientific
Discovery. Dordrecht, Reidel.
GRUENBAUM, A. (1960): The Duhemian Argument, en Philosophy
of Science, 11, pp. 75-87.
(1976a): Can a Theory Answer more Questions than one ot its
Rivals?, en British Journal for the Philosophy of Science, 1,
pp. 1-23.
(1976b): Is Falsifiability the Touchstone of Scientific Rationality? K. Popper versus Inductivism, en R. S. COHEN, P. K.
FEYERABEND y M. W. WARTOFSKY (1976).
(1976c): Is the Method of Bold Conjetures and Attempted Refutations Justificably the Method of Science?, en British Journal
for the Philosophy of Science, 27, pp. 105-136.
GUTTING, G. (1973): Conceptual Structures and Scientific Change,
en SHPS, 4, pp. 209-230.
(ed.) (1980): Paradigms and Revolutions: Appraisals and Applications of Thomas Kuhn's Philosophy of Science. Notre Dame,
University of Notre Dame Press.
(1982): Scientific Realism versus Constructive Empiricism: a
Dialogue, en The Monist, 65, pp. 336-349.
HAACK, S. (1979): Epistemology with a Knowing Subject, en
Review of Metaphysics, 33:2, pp. 309-335.
HACKING, I. (1983): Representing and intervening: Introductory Topics in the Philosophy of Natural Sciences. Cambridge, Cambridge University Press.
HAGSTROM, W. C. (1965): The Scientific Community. Nueva York,
Basic Books.
HAHN, H. (1980): Empiricism, Logic and Mathematics (ed. de
B. MacGuinness). Dordrecht, Reidel.
HALLET, M. (1979): Towards a Theory of Mathematical Research
Programme, en British Journal for the Philosophy of Science,
30, pp. 1-25 y 135-159.
HNDLER, E. W. (1980): The Logical Structure of Modern Neoclassical Static Microeconomic Equilibrium Theory, en Erkenntnis, 15, pp. 35-53.
GOODMAN,
Bibliografa
275
HANSON,
63.
(1952): Fundamentals of Concept Formation in Empirical Science, en International Encyclopedy of Unified Science, II, 7.
Chicago, Chicago University Press.
(1958): The Theoretician's Dilemma, en H. FEIGL y otros (eds.):
Minnesota Studies in the Philosophy of Science, vol. II.
(1962):
Deductive-Nomological versus Statistical Explanation,
276
Bibliografa
Bibliografa
277
278
Bibliografa
Bibliografa
279
280
Bibliografa
(1976): Proofs and Refutations (ed. de E. Zahar). Londres, Cambridge University Press.
(1978a): The Methodology of Scientific Research. Philosophical
Papers, vol. I (ed. de J. Whorvall y G. Currie). Cambridge,
Cambridge University Press.
(1978b): Mathematics, Science and Epistemology. Philosophical
Papers. vol. II. Cambridge, Cambridge University Press.
(ed.) (1965): The Problem of Inductive Logic. Amsterdam Norh
Holland (2.a ed., 1986).
LAKATOS, I., y A. MUSGRAVE (eds.) (1965): Problems in the Philosophy
of Science. Amsterdam, North Holland (2.a ed., 1968).
(1970): Criticism and teh Growth of Knowledge. Cambridge, Cambridge University Press.
LAMB, D. (1982): Multiple Discoveries: The Pattern of Scientific
Progress. Londres, Avebury.
LAMBERT, K., y G. BRITTAN Jr. (1970):rAn Introduction to the Philosophy of Science. Englewood Cliffs, Prentice Hall.
LANE, N. R., y S. A. LANE (1981): Paradigms and Perception, en
SHPS, 12, pp. 47-60.
LAUDAN, L. (1965): Grnbaum on 'The Duhemian Argument', en
Philosophy of Science, 32, pp. 295-299.
(1976): Two Dogmas of methodology, en Philosophy of Science,
43, pp. 584-587.
(1977): Progress and its Problems: towards a Theory of Scientific
Growth. Berkeley, University of California Press.
(1981a): Science and Hypothesis. Dordrecht, Reidel.
(1981b): A Confutation of Convergent Realism, en Philosophy
of Science, 48, pp. 19-49.
LEATHERDALE, W. H. (1974): The Role of Analogy. Model and Metaphor in Science. Nueva York, Elsevier.
LECOURT, D. (1981): L'ordre et les jeux: le positivisme logique en
question. Pars, Grasset.
LEINFELLNER, W. (1966): Die Entstehung der Theorie. FriburgoMunich, Alber.
LEPLIN, J. (ed.) (1984): Scientific Realism. Berkeley, University of
California Press.
LEVIN, M. (1979): On Theory-Change and Meaning-Change, en
Philosophy of Science, 46, pp. 407-424.
LEVINSON, P. (ed.) (1982): In Pursuit of Truth: Essays in Honour of
Popper's 80 Birthday. Nueva York, Humanities Press.
Bibliografa
281
282
Bibliografa
Bibliografa
283
284
Bibliografa
Bibliografa
285
France.
PIETARINEN, J. (1972): Lawlikeness, Analogy and Inductive Logic.
Amsterdam, North Holland.
PITT, J. C. (1981): Pictures, Images and Conceptual Change. Dordrecht, Reidel.
POINCAR, H. (1902): La science et l'hypothse. Pars, Alcan.
(1948): La valeur de la science. Pars, Flammarion.
POLANYI, M. (1960): Personal Knowledge: Towards a Post-critical
Philosophy. Nueva York, Harper & Row.
POPPER, K. R. (1934): Logik der Forschung. Viena, Springer.
(1944-1945): The Poverty of Historicism, en Economica, N. S.
XI-XII, 42-43 y 46.
(1950a): Conjectures and Refutations: the Growth of Scientific
Knowledge, 2.a ed. Nueva York, Basic Books.
(1950b): The Open Society and its Enemies. Princeton, Princeton
University Press.
(1969): The Logic of Scientific Discovery. Londres, Hutchinson.
(1971): Replies to my Critics, en P. A. SCHILPP (ed.), 1971, vol.
II, pp. 961-1197.
(1972): Objective Knowledge. Oxford, Clarendon Press.
(1976): A Note on Verisimilitude, en British Journal for the
Philosophy of Science, 27, pp. 147-159.
(1979a): Die Beiden Grundprobleme der Erkenntnistheorie. Tubinga, Mohr.
(1979b): Truth, Rationality and the Growth of Scientific Knowledge. Bonn, Klostermann.
(1982): Postscript to the Logic of Scientific Discovery, III: Quantum Theory and the Schism in Physics. Londres, Hutchinson.
(1983a): Postscript to the Logic of Scientific Discovery. I: Realism
286
Bibliografa
Bibliografa
287
288
Bibliografa
Bibliografa
289
290
Bibliografia
Bibliografa
291
292
Bibliografa
Bibliografa
293
drecht, Reidel.
WILLIAMS, P. M. (1973): On the Logical Relations between Expressions of Diferent Theories, en British Journal for the Philosophy of Science, 24:4, pp. 357-367.
WIMMER, F. (1978): Verstehen, Beschreiben, Erklren. Friburgo.
WMGENSTEIN, L. (1922): Tractatus Logico-Philosophicus. Segunda
edicin en Londres, Routledge & Kegan Paul.
(1958): The Blue and Brown Books. Ed. por R. Rhees. Oxford,
Blackwell.
(1967): The Philosophical Investigations. Trad. de G. M. Anscombe, Oxford, Blackwell.
(1967 ss): Werke. Schriften. Frankfurt, Suhrkamp (7 vols.).
WOJCICKI, R. (1979): Topics in the Formal Methodology of Empirical
Science. Trad. de E. Janse. Dordrecht, Reidel.
WRIGHT, G. H. VON (1951): A Treatise on Induction and Probability.
Londres, Routledge & Kegan Paul.
(1957): The Logical Problem of Induction. Nueva York, Macmillan.
(1971): Explanation and Understanding. Londres, Routledge &
Kegan Paul.
WUKETITS, F. M. (ed) (1984): Concepts and Approaches in Evolutionary Epistemology. Dordrecht, Reidel.
ZAHAR, E. G. (1973): Why did Einstein's Programme Supersede
Lorentz's, en British Journal for the philosophy of Science, 24,
pp. 95-123 y 233-262.
(1977): Mach, Einstein and the Rise of Modern Science, en
British Journal for the Philosophy of Science, 28, pp. 195-203.
(1982): Feyerabend on Observation and Empirical content, en
British Journal for the Philosophy of Science, 33, pp. 397-433.
(1983): The Popper-Lakatos Controversy in the Ligth of Die
beiden Grundprobleme der Erkenntnistheorie, en British
Journal for the Philosophy of Science, 34, pp. 149-171.
ZANDVOORT, H. (1986): Models of Scientific Development. Dordrecht, Reidel.
ZIMAN, J. (1978): Reliable Knowledge. An Exploration of the Ground
for Belief in Science. Cambridge, Cambridge Univ. Press.
(1984): An Introduction to Science Studies: the Philosophical and
Social Aspects of Science and Technology. Cambridge, Cambridge University Press.
BIBLIOGRAFA EN CASTELLANO
SOBRE FILOSOFA DE LA CIENCIA
ADORNO, TH., K. R. POPPER y otros (1973): La disputa del positivismo en la sociologa alemana. Trad. de J. Muoz. Barcelona,
Grijalbo.
ALVAREZ, S., F. BRONCANO, y M. A. QUINTANILLA (eds.) (1986): Filosofa e Historia de la Ciencia (vol. 1), y Lgica y Filosofa del
lenguaje (vol. II). Salamanca, Universidad de Salamanca.
ALVAREZ DE LINERA, A. (1940): Teora de la Ciencia y de la Filosofa.
Madrid, Nuevas Grficas.
ALLENDE LEZAMA, L. (1942): Lenguaje cientfico. Introduccin a la
epistemologa y metodologa de las ciencias. Buenos Aires,
Ateneo.
ANTISERI, D. (1978): Anlisis epistemolgico del marxismo y del
psicoanlisis. Trad. de M. A. Quintanilla. Salamanca, Sgueme.
ANTONELLI, M. T. (1956): A propsito del ltimo Wittgenstein:
observaciones sobre el convencionalismo, en Crisis, 12,
pp. 473-484.
ASTI VERA, A. (1967): Fundamentos de la Filosofa de la Ciencia.
Buenos Aires, Nova.
(1968): Metodologa de la investigacin. Buenos Aires, Kapelusz.
(1972): El mtodo de los modelos, en Cuadernos de Filosofa,
12, pp. 123-1654.
AYER, A. J. (1965): El positivismo lgico. Mxico, F.C.E.
(1971): Lenguaje, verdad y lgica. Barcelona, Martnez Roca.
BADIOU, A. (1972): El concepto de modelo. Trad. de H. Acevedo.
Buenos Aires, Siglo XXI.
BAR-HILLEL, Y., y otros (1983): El pensamiento cientfico: conceptos, avances y mtodos. Trad. de J. Ezquerro y M. A. Quintanilla. Madrid, Tecnos.
296
Bibliografa
Bibliografa
297
298
Bibliografa
Bibliografa
299
300
Bibliografa
Bibliografa
301
HERNNDEZ, C. DE (1980): La estructura de las revoluciones cientficas segn Kuhn, en Revista de Filosofa (Costa Rica), 18:47,
pp. 33-44.
HIDALGO, A., y G. BUENO SNCHEZ (eds.) (1982): Actas del I Congreso
de Teora y Metodologa de las Ciencias. Oviedo, Pentalfa.
HIDALGO TUN, A. (1981-1982): Lecturas espaolas sobre teora
de la ciencia, en El Basilisco, 13, pp. 80-84.
HILBERT, D. (1953): Los fundamentos de la geometra. Trad. de
F. Cebrin. Madrid, Jorge Juan.
HINTIKKA, J. (1979): Saber y creer. Trad. de J. J. Acero. Madrid,
Tecnos.
HOLTON, G. (1973): Ensayos sobre el pensamiento cientfico en la
poca de Einstein. Trad. de J. Otero. Madrid, Alianza.
HULL, L. W. H. (1961): Historia de la ciencia y filosofa de las
ciencias. Trad. de M. Sacristn, de HULL (1959). Barcelona,
Ariel.
JEAN, J. (1936): Nuevos fundamentos de la ciencia. Trad. de G. Sans.
Madrid, Espasa-Calpe.
KEDROV, M. B., y A. SPIRKIN (1968): La ciencia. Mxico, Grijalbo.
KENNY, A. (1974): Wittgenstein. Trad. de A. Deao. Madrid, Revista
de Occidente.
KLOTENINK, M. (1977): Acerca de lo observable y lo terico en
psicoanlisis, en Dianoia, 23, pp. 137-149.
KOLAKOWSKI, C. (1979): La filosofa positivista. Trad. de G. RuizRamn. Madrid, Ctedra.
KOYR, A. (1979): Del mundo cerrado al universo infinito. Trad. de
C. Sols. Madrid, Siglo XXI.
(1980): Estudios galileanos. Trad. de M. Gonzlez Ambou. Madrid, Siglo XXI.
KRAFT, V. (1966): El Crculo de Viena. Trad. de F. Gracia. Madrid,
Tau rus.
KUHN, T. S. (1975): La estructura de las revoluciones cientficas.
Trad. de A. Contn, de KUHN (1962). Mxico, F.C.E.
(1977): El cambio de teora como cambio de estructura: comentarios sobre el formalismo de Sneed. Trad. de D. Quesada, de
KUHN (1976), en Teorema, VII:2, pp. 141-165.
(1978): Segundos pensamientos sobre paradigmas. Trad. de D.
Ribes, de KUHN (1970). Madrid, Tecnos.
(1979a): La funcin del dogma en la investigacin cientfica. Trad.
de D. Eslava. Valencia, Cuaderos Teorema.
302
Bibliografa
Bibliografa
303
304
Bibliografa
MUSGRAVE (1975).
Cua(1977): La crisis de la filosofa analtica de la ciencia: en
dernos econmicos de ICE, 3-4, pp. 7-45.
MUOZ DELGADO, V. (1957): Un nuevo mtodo de presentar la
formalizacin de la ciencia, en Estudios, 37, pp. 39-64.
MUSGRAVE, A. E. (1978): Los segundos pensamientos de Kuhn. Trad.
de R. Beneyto, de MUSGRAVE (1971). Valencia, Cuadernos Teorema.
NAESS A. (1979): Por qu no ciencia tambin para anarquistas?
Valencia, Cuadernos Teorema.
NAGEL, E. (1966): Razn soberana y otros escritos de filosofa de la
ciencia. Trad. de NAGEL (1954). Madrid, Tecnos.
La estructura de la ciencia. Trad. de N. Mguez, de NAGEL
(1968):
Bibliografa
NICOL, E. (1965): Los principios de la ciencia. Mxico, F.C.E.
305
306
Bibliografia
Bibliografa
307
308
Bibliografa
(1977a): Carcter histrico del criterio de demarcacin de Lakatos, en Teorema, VII:3-4, pp. 241-256.
(1977b):
Un enfoque actual de la filosofa, en Teorema, 7:1,
pp. 97-100.
RIVADULLA, A. (1982): Verosimilitud, medida y estimacin, en
Teorema, 12:1-2, pp. 43-59.
(1984): Filosofa actual de la ciencia. Madrid, Editora Nacional
(2. ed., Madrid, Gredos, 1986).
RONZN, E. (1982-1983): La revista Theoria y los orgenes de la
filosofa de la ciencia en Espaa (I), en El Basilisco, 14,
pp. 9-40.
RORTY, R. (1983): La filosofa y el espejo de la naturaleza. Trad. de
J. Fernndez Zulaica. Madrid, Ctedra.
ROSE, H., y S. ROSE (eds.) (1980): La radicalizacin de la ciencia.
Trad. de M. A. Gonzlez. Mxico, Nueva Imagen.
ROSTOW, D. A. (1976): Filsofos y estadistas. Trad. de E. de Champourcn. Mxico, Fondo de Cultura Econmica.
RUSE, M. (1983): Sociobiologa. Trad. de A. Martn Santos. Madrid,
Ctedra.
RUSSELL, B. (1931): El panorama cientfico. Trad. de G. Sans de The
Scientific Outlook. Madrid, Revista de Occidente. (Nueva traduccin: La perspectiva cientfica. Barcelona, Ariel, 1969.)
(1966): Lgica y conocimiento. Trad. de J. Muguerza, de RUSSELL
(1956). Madrid, Taurus.
(1973): Obras completas. Trad. y selecc. de J. Barrio. Madrid,
Aguilar (2 vols.).
SNCHEZ GARCA, J. R., y V. FELIU EGIDO (1935): Lgica, con un
concepto general de la filosofa y de la teora de la ciencia.
Madrid, Hernando.
SNCHEZ MAZAS, M. (1952a): Filosofa de la Ciencia. Importancia
de los estudios de filosofa de las ciencias y de la filosofa
cientfica, en Revista de Filosofa (Madrid), XI:40, p. 65-72.
(1952b): Meditacin y dilogo en torno a los problemas filosficos de la moderna fsica, en Theoria, 3-4, pp. 212-216.
(1954): La ciencia, el lenguaje y el mundo, en Theoria, 7-8,
pp. 127-130.
SANMARTN, J. (1987): Los nuevos redentores. Barcelona, Anthropos.
SANMARTN, J., y E. REQUENA (1977): Ciencia y filosofa constructivas, en Teorema, VII:3-4, pp. 323-338.
Bibliografa
309
310
Bibliografa
Bibliografa
311
accin, 58
acciones humanas, 94
Achinstein, P., 24, 25,
46
Adams, E. W., 89, 149,
154, 156, 166, 185,
186, 191
adecuacin emprica,
204
afirmaciones
empricas, 165
analtico, enunciado,
63, 81
analtico/sinttico, 24,
59, 61-63, 241
anarquismo, 212
- epistemolgico, 217
anomala, 131, 136
anomalas, 104, 110,
111, 115, 124, 130,
133-135
Anscombe, G.E.N., 57
antimetafsico,
empirismo, 28
aparatos de medicin,
18, 30
- de observacin, 18,
30
aplicaciones
paradigmticas,
165-167,
- propuestas, 154,
156, 165-167, 170,
177, 200
aproximacin a la
verdad, 90, 98, 203
aproximarse a la
verdad, 228
Bigelow, 57
biologa, 54, 56, 197,
211
Blumberg, 7
Bohm, D., 25, 52, 69
Bohr, N. H. D., 45, 47,
241
Bolzano, B., 92
Born, M., 69
Bourbaki, N., 150, 152,
154, 255, 256
Brahe, T., 68, 70
Braithwaite, R. B., 46,
47, 57
Brecht, B., 212
Brigdman, P. W., 10,
24, 39-41
Broglie, L.-V. de, 69
Bunge, M., 91
Cadevall, M., 185, 198
clculos lgicos, 42,
153
cambio cientfico, 50,
64, 111, 117, 118,
120, 122, 128, 130,
169, 175
- conceptual, 66
- de significado, 64,
116, 130, 188
carga terica, 70
Carnap, R., 7-12, 14,
15, 19, 20, 24, 25,
28, 35, 38, 41, 45,
46, 49, 53, 56, 59-62,
80, 84, 89, 94, 144,
146, 151, 152, 155,
189, 202, 206, 241
314
Casa Muoz, P., 10
Cauchy, A., 190
causa, 72
causalidad, 52, 53, 67,
71, 80
causas, 52, 71
centro firme, 124, 126,
130, 134, 137
cibernticas,
estructuras, 57
ciencia, 1, 2, 53, 78,
83, 86, 94, 95, 116,
119, 120, 130, 132,
139, 171, 197, 205,
209-211, 213, 215,
219, 221, 224, 226,
228, 230, 232-235,
239, 240, 256, 257,
260
- industrializada, 230,
232
- metafsica, 13
- normal, 104, 108,
109, 110, 121, 132,
165, 169, 171
- unificada, 9, 50, 197
ciencia/Estado, 222,
223
ciencias, 222
- biolgicas, 57
- con contenido
emprico, 241
- cuasi-empricas, 124
- empricas, 17, 21,
32, 50, 60, 77, 133,
153, 247, 249, 257,
260
- formales, 14, 17, 59,
143, 241, 242, 247,
249
- histricas, 57
- humanas, 54, 56-58,
242
- humanas y sociales,
196, 197
- naturales, 24, 83,
196
- reales
(Realwissenschaften),
14, 59
- sociales, 24, 41, 50,
54, 242
cientfico, progreso,
218
concepciones del
mundo, 219
concepto, 53, 62
- cientfico, 185
- terico, 160
conceptos, 27, 54, 72,
146, 158, 159, 201,
205
- cientficos, 119, 173
- no tericos, 161
- observacionales, 160
- T. no tericos, 161
- T. tericos, 161
condicionales
contrafcticos, 24,
33, 34
condiciones iniciales,
55, 97, 131, 135, 185
- de adecuacin, 55
- de ligadura, 154,
163, 170, 173, 174,
176, 194
Condorcet, J.A.M., 119
conductismo, 8, 24, 41,
58
confirmacin, 16,
18-21, 83, 129
conjeturas, 76, 80, 86,
95, 97, 121, 124,
125, 142-145, 147,
206
conocimiento
cientfico, 92, 98,
207, 226-228, 233,
242, 252
contenido emprico,
17, 52, 55, 86, 88,
89, 98, 123, 129,
131, 134, 138, 142,
200, 203
contexto de
descubrimiento, 25,
66, 215
- y de justificacin,
147
contradiccin, 31
contradicciones, 68,
146
contraejemplo, 85
contraejemplos, 135,
136, 145
- de justificacin, 25,
65, 67, 215
contrainduccin, 215
315
ensamblaje de signos,
247, 252-254, 256,
258, 259
enseanza, 147, 222,
224, 227, 230, 231,
260
enunciado universal,
81, 84, 85
enunciados atmicos,
16
- bsicos, 144, 145
- generales, 16, 17,
- mixtos, 43
- observacionales, 11
- singulares, 80, 84
- universales, 15, 80,
83
epistemologa, 26, 92,
124, 143
- anarquista, 216
- de la ciencia, 4
- sin sujeto, 92
- subjetivista, 92, 94
epistemolgicos,
criterios, 207
escritura, 256
Escuela de Berln, 8,
13
- de Copenhague, 35
- de Helsinki, 93
- de Finlandia, 100
- de Varsovia, 8
esencialismo, 97
espacios de estados,
150, 205, 206
especializacin
nuclear, 180, 181
- terica, 180, 181
Estado, 224, 225
esttica, imagen, 66
estructura, 157, 203
- de la teora, 47
- de las teoras, 151,
167, 194
- - cientficas, 162,
164
- global de la ciencia,
194
- matemtica, 166,
168, 170
estructuralismo, 150,
154
estructuras, 149, 153,
202
316
etapa precientfica,
108, 109, 145
eucldeas, teoras, 143,
145
Euclides, 30, 109, 249
evolucin terica, 182
- - perfecta, 183
- - progresiva, 183
expansin, 169
expansiones, 176
experiencia, 14, 17, 19,
27, 28, 65, 69, 79,
81, 83-85, 94, 95,
117, 118, 126, 131
- sensible, 61
experimento, 19, 68,
110, 126, 128, 209
- crucial, 91, 120,
123, 126, 142
experimentum crucis,
126
expertos, 224, 227, 228
explanandum, 55, 56,
58, 184, 185
explanans, 55, 56, 97,
184, 185
explicacin, 50, 52-54,
58, 67, 71, 72, 97,
184, 185, 210
- causal, 53, 54, 56,
57
- deductiva, 54
- disposicional, 56
- estadstica, 56
- gentica, 54, 56
- nomolgicodeductiva, 55, 57, 184,
185
- probabilstica, 54
- racional, 57, 58
- teleolgica, 54, 57,
58
explicanda, 97
explicandum, 53, 54,
97
explicans, 97
explicatum, 53, 54
extensional,
caracterizacin, 170
extensionalidad, 163
extensionalmente, 170,
197
falsa, figura, 243
- matemtica, 143
- de las matemticas,
124, 143, 144, 146
- naturalista de la
ciencia, 206
Fisher, R. A., 90
fsica, 54, 143, 173,
196, 197, 201, 241
fisicalismo, 11, 12, 28,
50, 65
fisicalista, 30, 42, 64,
196
Flamsteed, J., 229
formalismo, 147
Fraasen, B. van, 150,
199, 201-203, 205,
206
Fraenkel, A. A., 26
Frank, P., 8, 9
Franklin, B., 108, 109
Frege, G., 26, 50 92,
254
Freud, S., 198
Freudenthal, H., 46
Fulda, D., 197
funciones T-tericas,
164
- T-no-tericas, 164
fundamentacin de las
matemticas, 145
Galileo, 50, 69, 71,
137, 241
Galle, J. G., 17
Garca de la Sierra, K.,
197
Geikie, 119
generalizaciones
simblicas, 113, 157
Gentzen, G., 26
geologa, 58
geometra, 66, 72
Gestalt, 68-70, 79, 117
Giere, R. N., 150, 199,
201, 204-206
Gbdel, K., 8, 23, 253,
255
Goodman, N., 24, 33, 34
grado de confirmacin,
19, 20, 89
- de contrastacin, 88
grados de
contrastabilidad, 85
317
- de medida, 41
intencionalidad, 57, 58
intencionalmente, 170
intercorrespondencia,
252
intercorrespondencias,
258
interpretacin
emprica, 64
- instrumentalista, 35
- parcial, 24, 43, 46-48
- realista, 35
interpretaciones
parciales, 45
- semnticas parciales,
43
intervalo histrico, 178
investigacin cientfica,
27, 65, 229, 230, 232
- y desarrollo, 231
irracional, 215
irracionalismo, 117
irrefutabilidad, 96
Jakobson, R., 198
James, W., 69
Jeffrey, W., 198
Joule, J. P., 110
juicios sintticos a
priori, 31
justificacin, 27
Kant, I., 59, 60, 82, 83,
123, 140
Kaplan, A., 24
Kelvin, W. Th., 45
Kemeny, J. G., 50, 89
Kepler, J., 26, 50,
68-70, 136, 193
Kierkegaard, S., 217
Klein, Ch. F., 119, 138
Kolmogorov, A. N., 26
Kopp, H., 119
Kiirtge, 124
Koyr, A., 119
Kraft, V., 8, 9, 17, 212
Kuhn, T. S., 24, 25, 27,
47, 52, 63, 77, 80,
99, 103-105, 107-124,
128-130, 132, 140,
143, 149, 151, 154,
156, 157, 162, 165,
169, 171-175, 178,
318
186, 189; 190, 206,
212, 213, 215, 220
Lagrange, J.-L, 119,
196
Lakatos, I., 63, 64, 76,
103, 123-126,
128-130, 132-135,
137, 140-148, 151,
156, 166, 167, 171,
175, 177, 189, 206,
212, 217
Laplace, M., 135
Laudan, L, 100, 206
Lavoisier, A.-L, 69,
105, 109, 116, 241
Leblond, J. M., 229
Leibniz, G. W., 95, 132,
133, 229, 242, 248
lenguaje, 64, 70
- cientfico, 27, 179,
202, 257
- fisicalista, 12, 13, 30,
50, 94, 227
- formal, 152
- objeto, 253, 254, 257
- de observacin, 43,
174, 220
- - ampliado, 43
- observacional, 72,
155, 202
- terico, 43, 155
Leverrier, U.-J.-J., 17,
89
Lvi Leblond, J.-M.,
211, 231, 233
Lewontin, R. C., 239
ley, 20, 67, 162, 164,
185
- cientfica, 34, 179
- lgica, 81
leyes, 27, 28, 30, 38,
51, 52, 62, 63, 65,
85, 91, 97, 110, 111,
177, 185, 188, 204,
205
- cientficas, 13,
15-17, 24, 33, 55, 56,
80, 83, 159, 180
- especiales, 164, 175,
176
- estadsticas, 56
libertad de
- newtoniana de
partculas, 183
medidas, 40
Menger, K., 8
Merton, R. K., 26
metaciencia, 196, 233
metacientfica,
disciplina, 77
metacientficas, teoras,
213
metafsica, 13, 83, 84,
86, 93, 108, 218
metalenguaje, 253-255
metalenguajes, 257
metalgica, 14
metamatemtica, 23,
32, 50, 150, 198, 256
metamatemticas, 26
metamatemtico,
estudio, 152
mtodo, 1, 95, 2135..
215, 217
- axiomtico, 31, 38,
65
- de las ciencias
empricas, 20
- cientfico, 2, 215,
216, 233
- conjuntista-terico,
200, 201
- experimental, 213
- inductivo, 83, 215
- modelo-terico, 200
metodologa
anarquista, 217
- de la ciencia, 92,
122
- cientfica, 17, 21, 25,
82, 116, 140
metodologas, 215
mtodos, 207, 216
Metzger, H., 119
Michelson, A. A., 126
Mill, J. S., 94, 212, 217
Miller, D., 89, 99, 100
Minkowski, H., 138
Mises, R. von, 8
mito, 216, 227
mitos, 222, 226, 228
modelo, 186, 187, 243
- de una teora, 47
- - cientfica, 48
- efectivo, 161
- matemtico, 205
319
Peano, G., 254
percepcin, 79, 117,
118, 220
percepciones, 116, 219,
261
Prez Ransanz, A. R.,
205
Piaget, J., 219
Planck, M. K. E., 138
Platn, 95, 97
Plinio, 108
pluralismo
metodolgico, 212,
213, 215, 221
Poggendorff, J. Ch.,
119
Poincar, H., 7, 28, 31,
45
poltica, 234
poltico, punto de
vista, 238
Popper, K. R., 1, 15,
16, 21, 23, 24, 40,
41, 49, 53, 54, 63,
75-77, 79-81, 83, 84,
86, 88, 89, 91-95, 97,
98, 101, 103, 104,
109, 112, 114, 120,
121, 123-127, 129,
130, 132, 143, 144,
147, 149, 160, 206,
212, 215, 220, 222
posicin
instrumentalista, 35
positivismo lgico, 10,
23, 38, 116, 242
positivistas, 83
potencia heurstica,
166
potencial heurstico,
123, 134, 139, 140
pragmtica,
componente, 181
pragmticos, aspectos,
151, 165, 166, 168,
170, 175, 177, 182,
183, 189, 252
pragmatismo, 23
predecir, 17
predecirse, 71
predicado conjuntista,
150, 152-154, 156,
161, 164, 167, 170,
185
320
prediccin, 17, 58,
130, 133
predicciones, 18, 28,
35, 80, 82, 110, 129
preferencia racional,
96, 132
Priestley, J., 69, 116,
119
principio de induccin,
81, 82
- metodolgico, 53
principios, 77
Pringsheim, E., 126
probabilidad, 19, 20
- lgica, 88
probable, 19
problema de la
demarcacin, 197
- induccin, 15, 80,
81, 84,
- lgico de la
verosimilitud, 100
problemas, 114, 115,
134, 145, 146, 166,
172, 231
- nuevos, 139, 146
programa de
investigacin, 100,
126, 133-136, 140,
143, 171, 177, 217
programas de
investigacin, 123,
130-132, 137, 141,
142, 146
progreso, 101, 132,
145, 232
- de la ciencia, 217
- cientfico, 50, 52,
76, 91, 98, 100, 104,
110, 115, 120, 128,
183, 203, 209, 213,
218
proletarizacin de la
ciencia, 229, 233
- de los cientficos,
230, 232
proliferacin de
teoras, 111, 218
proposicin, 19, 243,
254
- analtica, 14
proposiciones, 18, 126,
143, 252
sistmico, aspecto, 72
Skinner, B. F., 24
Sneed, J. D., 36, 46,
48, 107, 149-151,
153-179, 184-188,
191, 192, 195-197,
200, 201
sociedad, 223-225
sociologa, 197
- de la ciencia, 26, 27,
107, 178
Scrates, 245
Soddy, F., 69
solipsismo, 28, 96, 97
solipsista, teora, 94
Speck, J., 55
Stegmller, W., 103,
149-152, 154, 171,
172, 174-176, 178,
184, 186, 187, 190,
198
Sugar, J. C. C., 157
Suppe, F., 25, 28, 29,
33, 42, 47, 48, 62,
150, 199, 201
Suppes, P., 25, 32, 149,
150, 152-154, 157,
185, 199
Tarski, A., 23, 42, 44,
47, 146, 153, 158,
253-255, 257
tautologa, 81
tautologas, 60, 111,
143
tautolgicas, 78
taxonomas, 65
tecnologa, 78, 209,
228, 233, 234, 240,
242
teleologa, 58
tener una teora, 169
teoremas, 31, 32, 52,
143, 146, 147, 153,
199
teora, 20, 37, 46, 51,
71, 79, 85, 125, 127,
128, 153, 166, 168,
185, 186, 193, 199,
201, 203, 251
- cientfica, 64, 95,
100, 131, 202, 204
- de la coherencia,
18, 19
321
- de conjuntos, 26
- del conocimiento,
92, 242
- de la evolucin, 58
- /experiencia, 78, 128
- matemtica, 143,
154, 198, 256
- de modelos, 44, 200
- de la verdad, 18
teoras, 17, 26, 28, 53,
54, 73, 78, 95, 131,
133, 155, 214, 218
- biolgicas, 241
- cientficas, 18, 23,
25, 27, 29, 42, 66,
76, 77, 83, 87, 91,
97, 101, 114, 118,
120, 145, 152, 156,
193, 196, 198, 206,
213, 216, 219, 241,
256, 258
- del conocimiento,
221
contrapuestas, 68
empricas, 146
- eucldeas, 146
- fsicas, 67, 154, 179,
195, 196, 199, 203
- lingsticas, 241
- lgicas, 242
- matemticas, 145,
146, 241, 258
- qumicas, 241
- rivales, 137, 145,
191, 220, 240
terica, componente,
30
terico, 24, 29, 162,
174, 200, 215
- /observacional, 34,
37, 62, 63, 70, 154,
161, 201, 202
- y observacional, 48
tercer mundo, 91-94,
178
trmino observacional,
38
trminos, 41
- observacionales, 15,
18, 29, 36, 38, 41,
51, 215
- primitivos, 31, 38
- tericos, 15, 18, 24,
28-30, 33, 35-38, 41,
322
42, 45, 49, 51, 155,
156, 159-162, 164,
167, 188, 202, 215
- T-no-tericos, 200
- T-tericos, 200
tesis Duhem-Quine,
127
Tichy, P., 89, 99, 100
topologa, 72
topolgico, espacio,
191
Toraldo, G., 199
Toulmin, St., 24, 25,
27, 63, 65, 67, 106
Tuomela, R., 93, 156
Tycho, 69
Unidad de las Ciencias,
11
unificacin de la
ciencia, 150, 227
verdad, 18, 31, 60, 83,
87, 95, 96, 98, 99,
- terico, 32, 51
Waismann, F., 8
Weinberg, J. R., 9
Weltanschauung, 64
Weltsanschauungen o
concepciones del
mundo, 27
Whewell, W., 119, 123
Whitehead, A. N., 7
Whorff, B. L, 219
Wiener, N., 57
Wilson, E. 0., 236-239
Wittgenstein, L, 8, 16,
27, 60, 64, 66-68, 70,
78, 79, 83, 105,
241-245, 255
Wojcicki, R., 199
Worrall, J., 124, 134
Wright, G. H., 57, 58
Zahar, E. G., 124, 134,
137-140
Zermelo, E. F. F., 26
Zittel, K. A. R. von, 119