Documente Academic
Documente Profesional
Documente Cultură
1 . Consideraciones generales
La losofa de la ciencia, entendida como una disciplina autnoma,
es una creacin reciente que slo es claramente reconocible desde
mediados de la dcada de 1930. A partir de entonces se ha desarrollado rpidamente, tanto que ya resulta imposible de abarcar para un
nico lsofo. Como consecuencia de ese desarrollo se ha ramicado
y fragmentado en mltiples especialidades. Todo el que haya enseado esta disciplina sabe bien cun difcil es exponer esta ya compleja
historia de una manera sinttica, a la vez precisa y asequible a los que
se inician en ella. Por esta razn resulta bienvenida la publicacin de
una obra de C. Ulises Moulines dedicada precisamente a este tema.1
Todava no se ha publicado una historia detallada del surgimiento
y el desarrollo de la losofa de la ciencia como disciplina acadmica
a lo largo del siglo XX.2 Es de presumir que una obra as sera muy
voluminosa. El libro de Moulines presenta una sntesis de este proceso, necesariamente selectiva en contenidos, autores y bibliografa, y,
sin embargo, consigue transmitir una gran cantidad de informacin
en un espacio relativamente breve. Contiene, sin duda, algunas generalizaciones y simplicaciones que admitiran mayores matices pero
que son imprescindibles en una sntesis de esta naturaleza. Es una
1
critica / C134Cassini / 1
70
ALEJANDRO CASSINI
critica / C134Cassini / 2
71
menciona la rehabilitacin del contexto de descubrimiento en la losofa de la ciencia del ltimo cuarto del siglo XX. Tampoco le dedica
espacio a la losofa de la experimentacin, una temtica nueva pero
vigorosa, ni a la teora de la conrmacin, un tema clsico renovado
en su vertiente bayesiana. De manera ms general, no se ocupa de
las prcticas cientcas ni del estudio de la ciencia como proceso. Su
enfoque es ms cercano al de la losofa tradicional de la ciencia, centrado casi exclusivamente en los productos de la actividad cientca
y, en particular, en las teoras.
En casi todos los temas que aborda, el libro de Moulines no se
limita a una pura exposicin, sino que las diferentes posiciones se
someten a una breve pero penetrante crtica. Por cierto, el punto
de vista del autor no es neutral y resultar evidente para cualquier
lector atento: la concepcin semntica de las teoras y, en general,
los enfoques modelsticos de la losofa de la ciencia tienen clara
prioridad sobre otras perspectivas e incluso constituyen la piedra de
toque con la cual se juzgan algunas posiciones alternativas.
2 . Cundo comenz la losofa de la ciencia?
Toda periodizacin de un proceso histrico es esencialmente convencional y, como tal, sujeta a discusin. Sin embargo, necesitamos de
alguna ordenacin de los eventos en corrientes, etapas o fases de
desarrollo para poder comprenderlos. Moulines propone distinguir
cinco fases en el desarrollo de la losofa de la ciencia del siglo XX
(pp. 1718).6 La primera de ellas es la llamada fase de germinacin
o preformacin, entre 1890 y 1918. La segunda es la fase de eclosin,
entre 1918 y 1935. La tercera es la fase clsica, entre 1935 y 1970. La
cuarta es la fase historicista, entre 1960 y 1985. La quinta es la fase
modelista, entre 1970 y 2000, que contina a comienzos del siglo XXI
hasta nuestros das. Los nombres y las fechas lmite son aproximados
y admiten matices y excepciones, como el autor reconoce (p. 31), por
lo que no capturan todas las corrientes y tendencias, algo que sera tal
vez imposible de encuadrar en un nico esquema. Por ltimo, no se
trata de una periodizacin en sentido estricto, ya que las tres ltimas
fases se superponen en lapsos de diez y quince aos. Posiblemente,
por esa razn las denomina fases y no periodos.
simultnea. As, por ejemplo, el de la estructura de las teoras precedi al de la
explicacin cientca, y ste, a su vez, al de la dinmica de las teoras. No obstante,
todos ellos se hallaban ya bien establecidos en la agenda de la losofa clsica de la
ciencia antes de que sta declinara a comienzos de la dcada de 1960.
6
Cuando no hay otra indicacin, los nmeros de pgina entre parntesis se
reeren a la traduccin espaola objeto de este estudio crtico.
Crtica, vol. 45, no. 134 (agosto 2013)
critica / C134Cassini / 3
72
ALEJANDRO CASSINI
Es evidente que podemos encontrar reexiones loscas acerca del conocimiento que hoy llamamos cientco en muchos de los
grandes clsicos de la tradicin losca desde Aristteles, en particular en los Analticos segundos.7 Pero ello pertenece a la extensa
prehistoria de la disciplina, que va desde los orgenes griegos hasta
el siglo XIX. Se ha sostenido a veces que el libro de John Herschel
A Preliminary Discourse on the Study of Natural Philosophy, publicado en 1830, es la primera obra especcamente dedicada a la
losofa de la ciencia y hay buenas razones para considerarlo as. Sin
embargo, a lo largo del siglo XIX la losofa de la ciencia todava
no est constituida como disciplina autnoma. No hay, por ejemplo,
lsofos profesionales especialistas en ella. La mayora de los clsicos
precursores, como Herschel (1830), Whewell (1840), Jevons (1874)
y Pearson (1892), actualmente poco ledos, son cientcos y no lsofos. Adems, la losofa de la ciencia del siglo XIX todava no
est separada de la lgica y, como ocurre en Mill (1843) y mucho
despus de l, se concibe como una rama de la lgica, como lgica
aplicada o metodolgica. La situacin todava es as a principios del
siglo XX, donde las guras ms signicativas, como Mach, Duhem,
Poincar y tantos otros, son primariamente cientcos o historiadores
de la ciencia, pero no lsofos. La mayora de las obras publicadas en
torno a la dcada de 1920 que hoy podemos identicar como especcamente dedicadas a la losofa general de la ciencia, como las
de Campbell (1920 y 1921), Bridgman (1927) o Weyl (1927), todava
estn escritas por cientcos activos en sus respectivas disciplinas,
generalmente la fsica. Uno de los primeros manuales reconocibles
como introducciones a la losofa de la ciencia escritos por lsofos,
el de Cohen y Nagel (1934), no lleva esa denominacin en su ttulo
y trata el tema, siguiendo la tradicin de Mill, como lgica aplicada
o metodologa de la ciencia. En otros casos, como en las obras de
Schlick (1918) o de Carnap (1928), lsofos que provienen de la
ciencia, pero que ya no la ejercen, la losofa de la ciencia todava
est integrada en la teora del conocimiento emprico en general. De
manera signicativa, la revista creada por los positivistas lgicos se
llam Erkenntnis. Creo que hay un sentido bastante claro del trmino
segn el cual la losofa de la ciencia como disciplina profesional y
autnoma todava no se encuentra constituida antes de 1935, ao en
el que Moulines seala el comienzo de la fase clsica.
7
Las siguientes y todas las armaciones a lo largo del trabajo en las que no se
hace referencia explcita a la obra de Moulines expresan las opiniones de quien esto
escribe.
Crtica, vol. 45, no. 134 (agosto 2013)
critica / C134Cassini / 4
73
critica / C134Cassini / 5
74
ALEJANDRO CASSINI
critica / C134Cassini / 6
75
critica / C134Cassini / 7
76
ALEJANDRO CASSINI
como Berln, Praga o Cracovia (pp. 3148). Las caractersticas fundamentales de este movimiento, al que es preferible llamar empirismo
lgico, se encuentran expresadas en los dos trminos que componen su nombre. Por una parte, una orientacin empirista, que tiene
muy poca relacin con el positivismo francs de Comte (quien, por
su parte, era muy poco empirista), sino que fue heredada principalmente de Mach y Russell. Por otra parte, un inters decisivo en la
lgica matemtica y los mtodos formales de anlisis como herramientas indispensables para la losofa de la ciencia, e incluso para
la losofa en general, descendiente de la posicin de Frege. Esta
parte de la historia es bien conocida y Moulines la expone de manera
clara y sinttica. Con todo, el autor es consciente de que no todas
las tendencias de esa poca se dejan atrapar por este movimiento. La
epistemologa francesa, orientada de manera predominante hacia un
enfoque histrico de los temas y problemas, es una de ellas. Moulines seala las obras de Bachelard a partir de la dcada de 1930 y de
Canguilhem desde la dcada siguiente, como los hitos que moldearon
esta excepcin francesa (p. 31), como la llama. Podra decirse, sin
embargo, que esa orientacin histrica ya era evidente mucho antes,
con la obra de autores como Meyerson (1908), cuyos libros merecen
citarse como una contribucin permanente a la losofa de la ciencia
del siglo XX.
La fase clsica de la losofa de la ciencia, a partir de 1935, ya no
se desarrolla en lengua alemana, sino inglesa, como consecuencia de
la emigracin de las principales guras de Alemania y Europa central
(Carnap, Reichenbach, Popper, Hempel y muchos otros) debido a la
hegemona del nazismo (pp. 4982). Moulines sostiene que hacia esta
poca se produjo la cada de dos pilares del empirismo lgico original: el vericacionismo y el reduccionismo (pp. 49 y 57). En buena
medida esto fue el producto de crticas internas, como las realizadas
por Neurath, Popper y Carnap a la indubitabilidad y la justicacin
inmediata de los enunciados bsicos. Estas crticas tuvieron consecuencias de largo alcance. Ante todo, en lugar del vericacionismo,
Reichenbach y Carnap adoptaron el probabilismo, segn el cual el conocimiento cientco no es conocimiento vericado, sino meramente
probable. El probabilismo condujo, por su parte, ya en la dcada
de 1940, al desarrollo de la teora cualitativa de la conrmacin de
Hempel (1945) y a la lgica inductiva cuantitativa de Carnap (1950).
Ambos programas hallaron a su vez dicultades tcnicas, que en las
dcadas siguientes les fueron quitando su atractivo original. Por otro
lado, en lugar de intentar denir explcitamente los trminos tericos
mediante trminos observacionales, Carnap (19361937) opt por las
Crtica, vol. 45, no. 134 (agosto 2013)
critica / C134Cassini / 8
77
llamadas deniciones parciales mediante reglas de correspondencia. Hacia mediados de la dcada de 1950 la concepcin clsica de las
teoras alcanz su formulacin nal con la llamada teora de los dos
niveles (p. 63) de Hempel (1952) y Carnap (1956). De acuerdo con
esta posicin, una teora emprica es un sistema axiomtico formal
globalmente interpretado mediante reglas de correspondencia para
algunos de los trminos tericos de su vocabulario. De esta manera
se termina por reconocer la imposibilidad de eliminar los trminos
tericos del vocabulario de la ciencia. Sin embargo, el debate sobre
la referencia de tales trminos continu por muchas dcadas.
Moulines dedica algunas pginas interesantes a la oracin de Ramsey (pp. 6770) que de alguna manera parece mostrar que los trminos tericos son a n de cuentas eliminables. Supongamos que una
teora se compone de un solo postulado terico x(Tx
T x y
de una sola regla de correspondencia x(Tx
Ox) (donde T y T
son trminos tericos y O es un trmino observacional). sta es una
teora perfectamente aceptable segn la versin nal de la concepcin
clsica. La oracin de Ramsey de esa teora es:
x(( x
x
&( x
Ox)). Aqu est claro que las variables cuanticadas y
son de segundo orden, algo que en la formalizacin que emplea
Moulines (p. 68) no es evidente. La oracin de Ramsey de una teora
que contiene trminos tericos no es lgicamente equivalente a ella,
pero es empricamente equivalente en el sentido de que toda consecuencia observacional de una teora (posiblemente, junto con ciertas
hiptesis auxiliares, condiciones iniciales y condiciones de contorno)
es tambin una consecuencia observacional de su oracin de Ramsey. Moulines seala con razn que esta estrategia tiene un sabor
instrumentalista (p. 69) en la medida en que parece suponer que la
nica funcin de los trminos tericos es permitir la deduccin de
predicciones, o, a lo sumo, la conexin entre diferentes enunciados
de observacin. El lsofo realista replicara inmediatamente que en
la oracin de Ramsey la eliminacin de los trminos tericos es puramente sintctica y que el problema semntico de la referencia de
estos trminos reaparece en cuanto se pregunta por la interpretacin
de esa oracin, en particular, por el dominio de las variables de
segundo orden que se han cuanticado existencialmente. No es de
extraar, entonces, que la cuestin de la referencia de los trminos
tericos haya persistido despus de que la obra de Ramsey fuera
redescubierta en la dcada de 1950. Como arma Moulines (p. 70),
la controversia contina abierta en nuestros das. Y con razn, cabra
agregar, ya que ningn mtodo de eliminacin funcional de los
Crtica, vol. 45, no. 134 (agosto 2013)
critica / C134Cassini / 9
78
ALEJANDRO CASSINI
critica / C134Cassini / 10
79
critica / C134Cassini / 11
80
ALEJANDRO CASSINI
critica / C134Cassini / 12
81
critica / C134Cassini / 13
82
ALEJANDRO CASSINI
critica / C134Cassini / 14
83
critica / C134Cassini / 15
84
ALEJANDRO CASSINI
parcialmente cuando expone las teoras mecnico-causal y unicacionista de la explicacin y admite que estos nuevos enfoques no tienen
que ver con la ltima fase de la historia de nuestra disciplina el
modelismo (p. 152). Lo mismo podra decirse de la discusin
del realismo cientco, tema al que se le dedica el ltimo pargrafo del captulo (pp. 158165). En suma, creo que la eleccin de la
nocin de modelo, y sobre todo de la concepcin semntica de las
teoras, como eje de la ltima fase constituye un criterio demasiado
estrecho como para capturar los desarrollos ms importantes de la
losofa de la ciencia reciente.
De las muchas cuestiones que Moulines trata en este captulo hay
una que quisiera discutir con algn detalle. Se trata de la oposicin
entre la concepcin sintctica y la concepcin semntica de las teoras,
que, segn creo, est mal concebida. Moulines insiste a lo largo de su
libro en que la concepcin clsica de las teoras empricas (la de Carnap, Hempel y otros) es formalista y sintactista (pp. 109110, entre
otras). Para la concepcin clsica una teora emprica es la clausura
deductiva de dos conjuntos de oraciones: el de los axiomas o postulados tericos y el de las reglas de correspondencia. Pero estas ltimas
son precisamente reglas semnticas, cuya funcin principal es conferir signicado a los postulados tericos. Una teora que contuviera
slo postulados tericos sin interpretar no sera una teora emprica,
sino puramente formal. As, la concepcin clsica es completamente
semntica desde el comienzo. El hecho de que la sintaxis y la semntica se especiquen por separado, mediante conjuntos diferentes de
oraciones, no implica que se trate de una concepcin sintactista. Por
consiguiente, la oposicin entre una concepcin semntica y una sintctica no capta ninguna diferencia esencial. Es mejor distinguir entre
una concepcin de las teoras como conjuntos de proposiciones y otra
que las concibe como colecciones de modelos. Aun as, la oposicin
no es completa, ya que todas las concepciones semnticas apelan a
un elemento proposicional (bajo la forma de hiptesis tericas o
aserciones empricas) para relacionar los modelos con sus dominios
de aplicacin, por lo que una teora no puede identicarse solamente
con una coleccin de modelos.
Otras dos ideas que no me parecen acertadas respecto de la concepcin clsica, pero que Moulines suscribe, son que sta es una
concepcin lingstica o enunciativa de las teoras y que est ligada
indisolublemente a la formalizacin en un lenguaje de primer orden.
Dentro de la concepcin clsica es posible distinguir claramente entre
una teora, concebida como un conjunto de proposiciones, y las diferentes formulaciones de esa teora, realizadas mediante un conjunto
Crtica, vol. 45, no. 134 (agosto 2013)
critica / C134Cassini / 16
85
critica / C134Cassini / 17
86
ALEJANDRO CASSINI
critica / C134Cassini / 18
87
critica / C134Cassini / 19
88
ALEJANDRO CASSINI
critica / C134Cassini / 20
89
critica / C134Cassini / 21
90
ALEJANDRO CASSINI
critica / C134Cassini / 22
91
critica / C134Cassini / 23
92
ALEJANDRO CASSINI
critica / C134Cassini / 24
93
BIBLIOGRAFA
Balashov, Y. y A. Rosenberg (comps.), 2002, Philosophy of Science:
Contemporary Readings, Routledge, Nueva York.
Boyd, R., 1983, On the Current Status of Scientic Realism, Erkenntnis,
vol. 19, pp. 4590.
Boyd, R., P. Gasper y J. Trout (comps.), 1991, The Philosophy of Science,
The MIT Press, Cambridge, Mass.
Bridgman, P., 1927, The Logic of Modern Physics, Macmillan, Nueva York.
Brown, H.I., 1987, Observation and Objectivity, Oxford University Press,
Nueva York.
Campbell, N.R., 1921, What is Science?, Methuen, Londres.
, 1920, Physics: The Elements, Cambridge University Press, Cambridge.
Carnap, R., 1956, The Methodological Character of Theoretical Concepts,
en H. Feigl y M. Scriven (comps.), Minnesota Studies in the Philosophy
of Science, University of Minnesota Press, Minepolis, 1956, vol. I,
pp. 3876.
, 1950, Logical Foundations of Probability, The University of
Chicago Press, Chicago.
, 19361937, Testability and Meaning, Philosophy of Science,
vol. 3, pp. 420468 y vol. 4, pp. 140.
, 1928, Der logische Aufbau der Welt, Weltkreis, Berln.
Cassini, A., 2010, Tiene algn futuro la losofa general de la ciencia,
en A. Cassini y L. Skerk (comps.), Presente y futuro de la losofa,
Editorial de la Facultad de Filosofa y Letras-Universidad de Buenos
Aires, Buenos Aires, pp. 81109.
, 2009, Son necesarios los modelos para identicar a las teoras?
Una crtica de la concepcin semntica, en C.A. Mortari y L.H. de A.
Dutra (comps.), Anais do V Simpsio Internacional Principia, Ncleo
de Epistemologia e Lgica-Universidade Federal de Santa Catarina,
Florianpolis (Rumos da Epistemologa, 9), pp. 2337.
Cohen, M.R. y E. Nagel, 1934, An Introduction to Logic and Scientic
Method, Harcourt Brace, Nueva York.
Collins, H., 1985, Changing Order: Replication and Induction in Scientic
Practice, Sage, Londres.
Cover, J. y M. Curd (comps.), 1998, Philosophy of Science: The Central
Issues, Norton, Nueva York/Londres.
Craig, W., 1956, Replacement of Auxiliary Expressions, Philosophical
Review, vol. 65, no. 1, pp. 3855.
, 1953, On Axiomatizability within a System, Journal of Symbolic
Logic, vol. 18, no. 1, pp. 3032.
Curd, M. y S. Psillos (comps.), 2008, The Routledge Companion to the
Philosophy of Science, Routledge, Londres/Nueva York.
Crtica, vol. 45, no. 134 (agosto 2013)
critica / C134Cassini / 25
94
ALEJANDRO CASSINI
critica / C134Cassini / 26
95
Hempel, C.G., 1945, Studies in the Logic of Conrmation, Mind, vol. 54,
no. 213, pp. 116, y no. 214, pp. 97121. [Reimpreso, con un Postscript
(1964) on Conrmation, en Hempel 1965, pp. 351.]
Herschel, J., 1830, A Preliminary Discourse on the Study of Natural
Philosophy, John Taylor, Londres.
Jevons, W.S., 1874, The Principles of Science: A Treatise on Logic and
Scientic Method, MacMillan, Londres.
Kitcher, P., 2003, In Mendels Mirror: Philosophical Reections on
Biology, Oxford University Press, Nueva York.
Kosso, P., 1989, Observability and Observation in Physical Science,
Kluwer, Dordrecht.
Kuhn, T.S., 2000, The Road since Structure: Philosophical Essays, 1970
1993, with an Autobiographical Interview, The University of Chicago
Press, Chicago.
, 1984, Revisiting Planck, Historical Studies in the Physical
Sciences, vol. 14, no. 2, pp. 231252.
, 1978, Black Body Theory and the Quantum Discontinuity, 1894
1912, The University of Chicago Press, Chicago.
, 1970, Reections on My Critics, en I. Lakatos y A. Musgrave
(comps.), Criticism and the Growth of Knowledge, Cambridge University Press, Cambridge, pp. 231278.
, 1962, The Structure of Scientic Revolutions, The University of
Chicago Press, Chicago.
Kuipers, T. (comp.), 2007, General Philosophy of Science: Focal Issues,
Elsevier, Amsterdam.
Lange, M. (comp.), 2007, Philosophy of Science: An Anthology, Blackwell,
Oxford.
Latour, B. y S. Woolgar, 1979, Laboratory Life: The Social Construction of
Scientic Facts, Sage, Londres.
Laudan, L., 1981, A Confutation of Convergent Realism, Philosophy of
Science, vol. 48, no. 1, pp. 1948.
Laudan, L. y J. Leplin, 1991, Empirical Equivalence and Underdetermination, The Journal of Philosophy, vol. 88, pp. 449472.
Losee, J., 2001, A Historical Introduction to the Philosophy of Science, 4a.
ed., Oxford University Press, Nueva York. [Primera edicin, 1972.]
Mayo, D., 1996, Error and the Growth of Experimental Knowledge, The
University of Chicago Press, Chicago.
McGrew, T., M. Alspector-Kelly y F. Allhoff (comps.), 2009, Philosophy of
Science: An Historical Anthology, Wiley-Blackwell, Oxford.
McKinsey, J.J., A.C. Sugar y P. Suppes, 1953, Axiomatic Foundations
of Classical Particle Mechanics, Journal of Rational Mechanics and
Analysis, vol 2, no. 2, pp. 253272.
Meyerson, ., 1908, Identit et realit, Felix Alcan, Pars.
Mill, J.S., 1843, A System of Logic: Ratiocinative and Inductive, John W.
Parker, Londres.
Crtica, vol. 45, no. 134 (agosto 2013)
critica / C134Cassini / 27
96
ALEJANDRO CASSINI
critica / C134Cassini / 28
97
critica / C134Cassini / 29