Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Filosofía de La Ciencia
Filosofía de La Ciencia
Ciencia
Filosofa de la
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
Pablo Lorenzano
Carpeta de trabajo
Filosofa de la Ciencia
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
ISBN: 978-987-1782-38-3
Impreso en Argentina
conos
Lectura obligatoria
Es la bibliografa imprescindible que acompaa el desarrollo de los conteni-
dos. Se trata tanto de textos completos como de captulos de libros, artcu-
los y "papers" que los estudiantes deben leer, en lo posible, en el momento
en que se indica en la Carpeta.
Actividades
Se trata de una amplia gama de propuestas de produccin de diferentes ti-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
Para reflexionar
Es una herramienta que propone al estudiante un dilogo con el material, a tra-
vs de preguntas, planteamiento de problemas, confrontaciones del tema con
la realidad, ejemplos o cuestionamientos que alienten la autorreflexin, etc.
Lectura recomendada
Es la bibliografa que no se considera obligatoria, pero a la cual el estudian-
te puede recurrir para ampliar o profundizar algn tema o contenido.
Pastilla
Se utiliza como reemplazo de la nota al pie, para incorporar informaciones
breves, complementarias o aclaratorias de algn trmino o frase del texto
principal. El subrayado indica los trminos a propsito de los cuales se in-
cluye esa informacin asociada en el margen.
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
ndice
Introduccin........................................................................................11
Problemtica del Campo.......................................................................12
Objetivos ............................................................................................13
9
Universidad Virtual de Quilmes
las reglas que rigen las diversas prcticas, tales como la contrastacin o la
explicacin, de esa actividad que es hacer ciencia, hacindola de este modo
comprensible.
Este curso est concebido como una introduccin a la reflexin filosfica
sobre la ciencia. Se organiza en torno de ciertos temas que consideramos
centrales y bsicos en la reflexin metacientfica en general y en la filosfi-
ca en particular. Estos temas son el de la naturaleza y funcin de la filosofa
de la ciencia (discutido en la Unidad 1), el de los conceptos cientficos y la
contrastacin y evaluacin de hiptesis (que ser abordado en la Unidad 2),
el de los conceptos de ley y explicacin cientficas (a ser tratado en la Uni-
dad 3) y el de las teoras cientficas, en sus dimensiones tanto sincrnica
como diacrnica (tema de la Unidad 4). Durante el tratamiento de cada uno
de estos temas haremos referencia permanente a mtodos, desarrollos y
autores pertencientes a los diversos perodos que hemos identificado en la
historia de la filosofa de la ciencia del siglo XX y lo que va del XXI. El curso
se mover en el nivel de la filosofa general de la ciencia, y aportar elemen-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
tos que permitan, a partir de all, reflexionar acerca de las distintas prcti-
cas y teorizaciones cientficas. Asimismo, posibilitar la vinculacin de tales
reflexiones con las realizadas desde otras perspectivas: histrica, psicolgi-
ca y sociolgica, de forma tal de contribuir a una comprensin ms cabal de
al menos uno de los aspectos del inquietante mundo que nos rodea: el de
la ciencia.
10
Objetivos
11
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
1
Introduccin: naturaleza y funcin de la
filosofa de la ciencia
Objetivos
1. Que el alumnado comprenda la relevancia de los estudios metacientficos.
2. Que el alumnado adquiera una primera nocin de la naturaleza y funcin
de la reflexin filosfica de la ciencia o filosofa de la ciencia.
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
13
Universidad Virtual de Quilmes
14
Filosofa de la Ciencia
1.3.1. Su denominacin
15
Universidad Virtual de Quilmes
no se dice que proporciona una elucidacin verdadera del primero, sino slo
que nos suministra una elucidacin satisfactoria o ms satisfactoria que la
que dan otros explicata que se presentan como alternativos. Y una elucida-
cin es adecuada o satisfactoria hasta cierto grado si el explicatum cumple
fundamentalmente con el requisito de ser ms preciso que el explicandum;
Carnap, R., Sobre la esto es, si las reglas que gobiernan su uso estn dadas en una forma exac-
elucidacin, Cua- ta, como para introducirlo en un sistema bien conectado de conceptos. Hay,
dernos de epistemologa, n adems, otros requisitos que debe cumplimentar el explicatum para proveer
20, Buenos Aires: Facultad
una elucidacin satisfactoria: semejanza con respecto al explicandum (mas
de Filosofa y Letras, 1960.
no sinonimia), de forma que pueda ser usado en la mayora de los casos en
los que hasta all haba sido usado el explicandum; fertilidad, de modo que
permita mayores precisiones o precisiones ms finas; y simplicidad, tanta
como se lo permitan los requisitos anteriores, que son ms importantes.
En tanto que anlisis filosfico, conceptual o elucidacin, la filosofa de la
ciencia pone de manifiesto, explicita o elucida los aspectos filosfico-con-
ceptuales de la actividad cientfica, esto es, los conceptos fundamentales de
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
16
Filosofa de la Ciencia
17
Universidad Virtual de Quilmes
La filosofa de la ciencia posee una larga tradicin. Podemos decir que naci
con las reflexiones que efectu Platn sobre las matemticas en el siglo V
a.C. Sin embargo, desde sus inicios hasta el primer cuarto del presente si-
18
Filosofa de la Ciencia
glo, sta era fundamentalmente una parte de la teora general del conoci-
miento (tambin denominada gnoseologa o epistemologa en sentido am-
plio). Por lo general sus practicantes eran filsofos con intereses y formacin
en la ciencia o cientficos con intereses y formacin filosfica, que si bien re-
flexionaban filosficamente sobre la ciencia, dicha reflexin no constitua su
actividad central. Cuando lo hacan, sin embargo, era o bien con la intencin
de poder extender los resultados de dicha reflexin a otros mbitos y poder
as elaborar de una teora general del conocimiento o con la pretensin de
defender las afirmaciones de la ciencia entonces contempornea o de iden-
tificar excesos epistemolgicos en la ciencia e indicar el modo en que una
ciencia reformada podra proveer conocimiento (en el caso de los filsofos)
o bien con claros fines pedaggicos y profesionales, intentando captar la
atencin y estimular el inters en la ciencia y de guiar la prctica cientfica
en determinada direccin (en el caso de los cientficos).
Podra decirse que la filosofa de la ciencia surge como disciplina con es-
pecificidad propia, profesionalizndose, en el perodo de entreguerras, aun
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
1. un perodo clsico, que abarca desde fines de los aos veinte hasta fina-
les de los aos sesenta, en el que se establece la llamada concepcin
heredada (Carnap, Reichenbach, Popper, Hempel, Nagel, etc.);
1. Perodo clsico
Este perodo comenz hacia fines de los aos veinte con la labor realizada
por el ya mencionado Crculo de Viena, alcanzando su desarrollo pleno du-
rante el tiempo en que transcurre entre los aos cuarenta y fines de los
aos sesenta. A pesar de que se suele designar la expresin ms acabada
de este perodo como a la concepcin heredada, en l la filosofa de la cien-
19
Universidad Virtual de Quilmes
cia estuvo marcada no por una sola concepcin, sino por un conjunto de pro-
blemas abordados, posiciones y postulados que tenan un aire comn. El pri-
mero denominado positivismo lgico y luego empirismo lgico y sus simpati-
zantes (dentro de los que se cuentan a Rudolf Carnap, posiblemente el ms
Obras relevantes de notorio filsofo de la ciencia del Crculo de Viena y junto a Karl Popper el fi-
estos autores, accesi-
bles en castellano, son: Carnap, lsofo de la ciencia ms importante e influyente de este perodo, aunque
R., Fundamentacin lgica de la tambin a H. Reichenbach, C.G. Hempel, P. Frank, H. Feigl, R. Braithwaite, E.
fsica, Buenos Aires: Sudameri- Nagel, N. Goodman y tantos otros), el racionalismo crtico de K. Popper, el
cana, 1969; Popper, K., La lgi-
realismo cientfico de W. Sellars, M. Bunge u otros, y los estudios a medio ca-
ca de la investigacin cientfica,
Madrid: Tecnos, 1962. Pueden mino entre la lgica pura y la epistemologa (como los de A. Tarski, K. Ajdu-
consultarse, adems, sus auto- kiewicz, R. Montague o J. Hintikka) posean un aire de familia.
biografas intelectuales: Car- Dicho aire podra denominarse clsico, en el sentido de que, si bien mu-
nap, R., Autobiografa intelec-
tual, Barcelona, Paids, 1992;
chas de sus tesis y mtodos son hoy considerados como superados por
Popper, K., Bsqueda sin trmi- una gran parte de filsofos de la ciencia contemporneos, stos constituyen
no, Madrid: Tecnos, 1977. punto de referencia obligado para los desarrollos ulteriores, siendo imposible
imaginar la filosofa de la ciencia actual sin tomar en cuenta los aportes rea-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
lizados en dicho perodo. Algunos de los temas abordados durante este pero-
do fueron la demarcacin entre ciencia y no-ciencia, la naturaleza de los con-
ceptos cientficos, la estructura de las teoras cientficas, la relacin entre
teora y experiencia, la metodologa de la contrastacin de hiptesis y su pos-
terior evaluacin, y la naturaleza de la explicacin y prediccin cientficas. En
casi cada uno de estos temas se suscitaron sonadas polmicas y discusio-
nes: se propusieron distintos criterios de demarcacin entre la ciencia y la no-
ciencia (entendida esta ltima a su vez como pseudociencia por algunos, en
especial Popper, y como metafsica por otros, particularmente Carnap); casi
todos, pero no todos, aceptaban la distincin entre conceptos observaciona-
les y conceptos tericos, aunque divergan profundamente en la opinin acer-
ca del papel que los ltimos jugaban en la ciencia, segn mantuvieran posi-
ciones realistas, operacionalistas o nominalistas; aunque el mtodo
hipottico-deductivo era aceptado casi universalmente como el mtodo segn
el cual son contrastadas (o sometidas a examen) las hiptesis, no haba
acuerdo respecto del modo de evaluar las contrastaciones exitosas de las hi-
ptesis, ya fuera siguiendo el confirmacionismo de Carnap o el corroboracio-
nismo de Popper; si bien todos consideraban a las teoras como conjuntos de
enunciados organizados deductiva o axiomticamente, no todos concordaban
en el modo especfico en que esto deba ser comprendido y precisado; aun
cuando se aceptaba la elucidacin de los conceptos de explicacin y predic-
cin cientficas realizada por Hempel, dicha elucidacin todava dejaba mar-
gen para diferencias de detalle o aun para que fuera cuestionada en su uni-
versalidad. A fines de los aos cincuenta, no obstante, ya comienzan a
plantearse una serie de crticas a la filosofa de la ciencia de este perodo,
que muestran sus propias limitaciones, debidas fundamentalmente a: la apli-
cacin casi exclusiva de un formalismo lgico excesivamente rgido y limitado
(la lgica de predicados de primer orden); la concentracin en la filosofa ge-
neral de la ciencia en desmedro de las filosofas especiales, y de esta mane-
ra proponiendo anlisis de supuesta validez universal, pero con escasos
ejemplos de tratamiento de casos cientficos particulares; la casi total cir-
cunscripcin de los anlisis a los aspectos sincrnicos de la ciencia, con in-
suficiente o nula consideracin de los diacrnicos; la restriccin al anlisis
del contexto de justificacin, haciendo caso omiso o dejndolo para otras dis-
ciplinas metacientficas.
20
Filosofa de la Ciencia
2. Perodo historicista
21
Universidad Virtual de Quilmes
Un completo pano- cuencia, bajo el ala de estos filsofos se desarrolla toda una rama de los
rama histrico de la estudios de la ciencia (con importantes, aunque puntuales, antecedentes an-
sociologa del conocimien-
to y de la ciencia se en- tes de los aos sesenta), que se centra en el estudio de los determinantes
cuentra en: Lamo de Espi- sociales de la ciencia apoyndose en una considerable investigacin empri-
nosa, E., Gonzlez Garca, ca. Esta lnea de investigacin desemboca en el asentamiento durante los
J.M. y C. Torres Albero, La aos ochenta de la sociologa de la ciencia como disciplina.
sociologa del conocimiento
y de la ciencia, Madrid:
Alianza, 1994. 3. Perodo contemporneo
Kitcher, P., El avance de la cien- Esta no fue, sin embargo, la reaccin de toda la comunidad metacientfica.
cia, Mxico: Universidad Nacio- Parte de ella, conformada por filsofos, sostuvo en consonancia con el tra-
nal Autnoma de Mxico, 2001; bajo emprendido por los socilogos de la ciencia que la investigacin de la
Giere, R.N., La explicacin de la
ciencia: Un acerca- ciencia deba ser llevada a cabo utilizando mtodos, o basndose en resul-
miento cognoscitivo, tados, pertenecientes a las ciencias naturales (P. Kitcher, R. Giere, P. Tha-
Mxico: Conacyt, 1992. gard, P. Churchland y P.M. Churchland, entre otros).
A estas propuestas de anlisis, englobadas bajo el rtulo debido a
Quine, W.V.O., Natu-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
22
Filosofa de la Ciencia
23
Universidad Virtual de Quilmes
24
Filosofa de la Ciencia
losofa general de la ciencia. A fin de poder construir una metateora slida y disponibles en caste-
llano, pueden encontrarse en:
no especulativa, la familia semanticista ha aplicado sus conceptos al anli- Balzer, W., Teoras empricas:
sis de las ms diversas prcticas y teorizaciones de las ciencias empricas modelos, estructuras y ejem-
(y aun de las formales), desde la fsica hasta la teora literaria, pasando por plos, Madrid: Alianza, 1997;
la qumica, la biologa, la economa, la psicologa y la sociologa. Dez, J.A. y P. Lorenzano (eds.),
Desarrollos actuales de la meta-
De este modo, tratara de mostrar que los conceptos metacientficos por teora estructuralista: proble-
ella utilizados no slo son formalmente precisos sino tambin empricamen- mas y discusiones, Quilmes:
te adecuados. Universidad Nacional de Quil-
mes/Universidad Autnoma de
Zacatecas/Universidad Rovira i
Virgili, 2002.
El Crculo de Viena
A partir de 1924, Moritz Schlick, el sucesor de Mach* en la ctedra de Filosofa
de las Ciencias Inductivas de la Universidad de Viena, organiz un crculo de
discusin que se reuna regularmente los jueves por la tarde, primero en una vi-
vienda privada y luego en la casa que se encontraba detrs del Instituto de Mate-
mticas, para discutir temas pertenecientes a la filosofa de la ciencia, mediante la
presentacin de ponencias y su posterior discusin o el anlisis conjunto de tex-
tos (ya fueran libros o artculos) que versaran sobre tales temas. A las reuniones
del entonces llamado crculo de Schlick no slo asistan algunos alumnos de es-
te ltimo (como Bla Juhos, Josef Schchter, Rose Rand, Herbert Feigl y Friedrich
Waismann) sino tambin matemticos, fsicos, abogados, historiadores, ingenie-
ros, economistas (dentro de los que se encontraban Otto Neurath, Rudolf Carnap,
Hans Hahn, Philipp Frank, Karl Menger, Kurt Gdel, Olga Hahn-Neurath, Felix
Kaufmann, Victor Kraft, Gustav Bergmann, Richard von Mises, Kurt Reidemeister
y Edgar Zilsel), algunos de los cuales (Neurath, Hahn, von Mises, Hahn-Neurath
y Frank) ya se haban encontrado regularmente con la misma finalidad desde
1907 hasta 1914, en lo despus que se denominara primer Crculo de Viena o
Crculo de Viena primitivo. En sus concepciones podemos encontrar las si-
guientes influencias principales: el positivismo crtico alemn de fines del siglo
XIX (Ernst Mach, Hermann von Helmholtz y Richard Avenarius), el convenciona-
lismo francs (Henri Poincar** y Pierre Duhem), la epistemologa italiana (Giu-
seppe Peano*** y Federico Enriques), la ya mencionada nueva lgica (Gottlob Fre-
ge, Bertrand Russell****) y el por ella fecundado anlisis lgico del lenguaje
(Gottlob Frege, Bertrand Russell y Ludwig Wittgenstein).
La existencia del grupo en torno de Schlick se hace pblica a partir de 1929,
con la aparicin del manifiesto La concepcin cientfica del mundo. El Crculo
25
Universidad Virtual de Quilmes
Asociacin Ernst de Viena (Wissenschaftliche Weltauffassung. Der Wiener Kreis), de donde ade-
Mach, La concep- ms tomara el nombre con el cual ingresara a la historia de la filosofa en gene-
cin cientfica del mundo: ral y a la de la filosofa de la ciencia en particular: Crculo de Viena.
el Crculo de Viena, Redes.
Revista de Estudios sobre la Este escrito programtico, firmado por Carnap, Neurath y Hahn, como miem-
Ciencia y la Tecnologa 18 bros de la Asociacin Ernst Mach, que haba sido fundada un poco antes (en
(2002): 103-149. 1928) a iniciativa de la Unin de librepensadores de Austria conjuntamente con
miembros de otros crculos cercanos, con la intencin de difundir los conoci-
mientos de las ciencias exactas, es presentado en el Primer Encuentro Interna-
cional sobre la Teora del Conocimiento de las Ciencias Exactas, realizado en
Praga. A partir de all las actividades pblicas, a nivel nacional e internacional, de
los miembros del Crculo de Viena se vieron multiplicadas en diversas direccio-
nes, aunque con especial nfasis en dos aspectos: la organizacin de encuentros
y congresos y la publicacin y difusin de trabajos sobre filosofa de la ciencia.
En relacin con el primero de los aspectos, en 1930 se realiza en Gttingen el
Segundo Encuentro Internacional sobre la Teora del Conocimiento de las Cien-
cias Exactas, en 1934, la Preconferencia de Praga al Congreso Internacional pa-
ra la Unidad de la Ciencia, y en 1935, en Pars, el Primer Congreso Internacio-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
26
Filosofa de la Ciencia
* Mach, E., Anlisis de las sensaciones, Barcelona: Alta Fulla, 1987; Desarrollo histrico-crtico de la
mecnica, Buenos Aires: Espasa-Calpe, 1959; Avenarius, R., La filosofa como el pensar del mundo de
acuerdo con el principio del menor gasto de energa, Buenos Aires: Losada, 1947.
** Poincar, H., La ciencia y la hiptesis, Buenos Aires: Espasa-Calpe, ; Poincar, H., Ciencia y mto-
do, Buenos Aires: Espasa-Calpe,; Poincar, H., El valor de la ciencia, Buenos Aires: Espasa-Calpe,
1946; Poincar, H., ltimos pensamientos, Buenos Aires: Espasa-Calpe, ; Duhem, P., El experimento
en fsica, Cuadernos de Epistemologa 21, Buenos Aires: Facultad de Filosofa y Letras, Universidad
de Buenos Aires, 1965; Duhem, P., La ley fsica, Cuadernos de Epistemologa 22, Buenos Aires: Fa-
cultad de Filosofa y Letras, Universidad de Buenos Aires, 1965; Duhem, P., La teora fsica. Su objeto
y su estructura, Barcelona: Herder, 2003.
*** Peano, J., Los principios de la aritmtica expuestos segn un nuevo mtodo, Oviedo: Pentalfa Edi-
ciones, 1979; Enriques, F., Problemas de la ciencia, Buenos Aires: Espasa-Calpe, 1947; Enriques, F.,
Problemas de la lgica, Buenos Aires: Espasa-Calpe, 1947; Enriques, F., Para la historia de la lgica,
Buenos Aires: Espasa-Calpe, 1948.
**** Russell, B. y A.N. Whitehead, Principia Mathematica, Cambridge: Cambridge University Press, 3
vols., 1913; Russell, B., Lgica y conocimiento, Madrid: Taurus, 1966; Frege, G., Conceptografa. Los
fundamentos de la aritmtica. Otros estudios filosficos, Mxico: Universidad Nacional Autnoma de
Mxico, 1972; Frege, G., Estudios sobre semntica, Barcelona: Ariel, 1973; Wittgenstein, L., Tractatus
Logico-Philosophicus, Madrid: Alianza, 1973.
27
Universidad Virtual de Quilmes
1.
Identifique en distintos elementos de su vida cotidiana (tales
como peridicos, revistas, declaraciones radiofnicas o televi-
sivas) tres referencias a la ciencia o a prcticas u objetos de-
nominados cientficos y analice qu es lo que se entiende
por ello en cada contexto, determinando sus diferencias, en
caso de haberlas.
2.
Qu otras formas de conocimiento conoce, adems del llama-
do conocimiento cientfico? Cules son las caractersticas
que se le atribuyen a la ciencia, cuando se afirma que sta
constituye la ms elevada forma de conocimiento?
3.
En qu consiste la concepcin clsica o tripartita del conoci-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
4.
Compare un artculo de una revista cientfica especializada, la
introduccin de un libro de texto cientfico y la introduccin
de un libro de comunicacin pblica de la ciencia (o divul-
gacin cientfica) o un artculo periodstico del mismo tipo,
en relacin con las caractersticas que implcita o explcita-
mente le atribuyen a la ciencia y con la imagen que nos pro-
porcionan de ella.
5.
Discuta en un artculo periodstico de comunicacin pblica
de la ciencia (o divulgacin cientfica) cul fue el o los dis-
tintos enfoques sobre la ciencia utilizados preponderantemen-
te en su elaboracin. Seale si el acento est puesto ms en la
ciencia como actividad que como producto, si le parece que
el enfoque filosfico tendra que haberse tomado en cuenta,
en caso de no haberlo sido, y cul de las ramas de la filosofa
de la ciencia habran sido consideradas pertinentes. Discuta,
adems, si habra resultado un caso de filosofa general o es-
pecial de la ciencia y si el anlisis tendra que haberse movi-
do en un nivel sincrnico o ms bien en uno diacrnico.
28
Referencias bibliogrficas
de Cultura Econmica.
Balzer, W. (1997), Teoras empricas: modelos, estructuras y ejemplos, 1
edicin 1982, Madrid: Alianza.
Balzer, W., Moulines, C.U. y J.D. Sneed (1987), An Architectonic for Science.
The Structuralist Program, Dordrecht: Reidel.
Boyd, R. (1984), The Current Status of the Issue of Scientific Realism, en:
Leplin, J. (ed.) (1984), Scientific Realism, Berkeley/Los Angeles:
University of California Press, pp. 41-82.
Bunge, M. (1980), Epistemologa, Barcelona: Ariel.
Carnap, R. (1960), Sobre la elucidacin, 1 edicin 1950, Cuadernos de
epistemologa, n 20, Buenos Aires: Facultad de Filosofa y Letras.
Carnap, R. (1969), Fundamentacin lgica de la fsica, 1 edicin 1966,
Buenos Aires: Sudamericana.
Carnap, R. (1992), Autobiografa intelectual, 1 edicin 1963, Barcelona,
Paids.
Churchland, P. (1988), Computational Philosophy of Science, Cambridge: MIT
Press/Bradford Books.
Churchland, P.M. (1989), A Neurocomputational Perspective, Cambridge: MIT
Press.
Da Costa, N.C.A. (2000), El conocimiento cientfico, Mxico: Universidad
Nacional Autnoma de Mxico.
Davidson, D. (1990), De la verdad y de la interpretacin. Fundamentales
contribuciones a la filosofa del lenguaje, 1 edicin 1984, Barcelona:
Gedisa.
Dez, J.A. y P. Lorenzano (2002), La concepcin estructuralista en el contexto
de la filosofa de la ciencia del siglo XX, en: Dez, J.A. y P. Lorenzano
(eds.) (2002), Desarrollos actuales de la metateora estructuralista:
problemas y discusiones, Quilmes: Universidad Nacional de
Quilmes/Universidad Autnoma de Zacatecas/Universidad Rovira i
Virgili, pp. 13-78.
Dez, J.A. y P. Lorenzano (eds.) (2002), Desarrollos actuales de la metateora
estructuralista: problemas y discusiones, Quilmes: Universidad Nacional de
Quilmes/Universidad Autnoma de Zacatecas/Universidad Rovira i Virgili.
Dez, J.A. y C.U. Moulines (1997), Fundamentos de filosofa de la ciencia,
Barcelona: Ariel.
29
Universidad Virtual de Quilmes
30
Filosofa de la Ciencia
Espasa-Calpe.
Poincar, H. (1946), El valor de la ciencia, 1 edicin 1905, Buenos Aires:
Espasa-Calpe.
Poincar, H. (1944), Ciencia y mtodo, 1 edicin 1908, Buenos Aires:
Espasa-Calpe.
Poincar, H. (1946), ltimos pensamientos, 1 edicin 1913, Buenos Aires:
Espasa-Calpe.
Popper, K. (1962), La lgica de la investigacin cientfica, 1 edicin 1935,
Madrid: Tecnos.
Popper, K. (1977), Bsqueda sin trmino, 1 edicin 1974, Madrid: Tecnos.
Putnam, H. (1984), El significado de significado, 1 edicin 1981,
Cuadernos de Crtica 28, Mxico: Universidad Nacional Autnoma de
Mxico.
Putnam, H. (1988), Razn, verdad e historia, 1 edicin 1975, Madrid:
Tecnos.
Quine, W.V.O. (1974), Naturalizacin de la epistemologa, en: La relatividad
ontolgica y otros ensayos, 1 edicin 1969, Madrid: Tecnos, pp. 93-119.
Reichenbach, H. (1938), Experience and Prediction, Chicago and London: The
University of Chicago Press.
Russell, B. (1966), Lgica y conocimiento, 1 edicin 1956, Madrid: Taurus.
Russell, B. y A.N. Whitehead (1913), Principia Mathematica, Cambridge:
Cambridge University Press, 3 vols.
Saussure, F. de (1980), Curso de lingstica general, 1 edicin 1916, Madrid:
Akal.
Sellars, R.W. (1932), The Philosophy of Physical Realism, New York: The
Macmillan Company.
Smart, J.J.C. (1963), Philosophy and Scientific Realism, Rotledge & Kegan
Paul.
Sneed, J.D. (1971), The Logical Structure of Mathematical Physics, Dordrecht:
Reidel, 2 edicin revisada, 1979.
Stadler, F. (1997), Studien zum Wiener Kreis. Ursprung, Entwicklung und
Wirkung des Logischen Empirismus im Kontext, Frankfurt am Main:
Suhrkamp.
Stegmller, W. (1983), Estructura y dinmica de teoras, 1 edicin 1973,
Barcelona: Ariel.
31
Universidad Virtual de Quilmes
32
2
Conceptos e hiptesis cientficas
33
Universidad Virtual de Quilmes
dios sobre semntica, Bar- nuestro sistema conceptual, tanto ms articulado y eficaz ser tambin
celona: Ariel, 1973, pp. nuestro conocimiento.
105-125; Weitz, M., The Pero aun cuando en la actualidad exista un acuerdo bastante amplio
Opening Mind, Chicago:
The University of Chicago aunque no total en el sealamiento kantiano del papel fundamental que
Press, 1977; Weitz, M., juegan los conceptos en toda forma de conocimiento el cientfico incluido,
Theories of Concepts: A His- en donde no lo hay es en qu cosas son los conceptos. De hecho, ste es
tory of the Major Philosophi-
uno de los temas ms difciles de la filosofa, que ha sido muy discutido al
cal Tradition, London:
Routledge, 1988. menos desde los tiempos de Platn, y por lo general en relacin con el lla-
mado problema de los universales y contina discutindose, con el aporte
de otras disciplinas, como la lingstica y la psicologa. La variedad de teo-
Stegmller, W., El
problema de los ras sobre conceptos es sorprendente, incluidas aquellas posiciones que li-
universales, antes y ahora, sa y llanamente niegan la existencia de los conceptos.
en Creer, saber, conocer y Aqu, sin embargo, no expondremos las distintas teoras ni intentaremos
otros ensayos, Buenos Ai-
res: Alfa, 1978, pp. 53-141. terciar en la discusin entre ellas, sino que sencillamente asumiremos que
hay conceptos, y que siendo distintos de las palabras y las cosas a las que
ellas designan o refieren, se relacionan estrechamente tanto con unas como
con otras: mientras que como ya se seal anteriormente las palabras ex-
presan o denotan conceptos, los objetos caen bajo, o son subsumidos por,
conceptos o, como tambin se dice, de manera inversa, los conceptos se
aplican a objetos. As decimos que la palabra gato expresa el concepto ga-
Siguiendo con una to pero tambin lo hacen las palabras cat, chat y Katze, del ingls,
convencin clsica en
lgica y filosofa del lenguaje y francs y alemn, respectivamente, y que Flix, Fritz y Garfield caen bajo, o
de la ciencia, entrecomillaremos son subsumidos por, el concepto gato (o, alternativamente, que el concepto
los trminos que expresan los gato se aplica tanto a Flix y a Fritz como a Garfield). Tambin diremos que
conceptos.
la extensin de un concepto es el conjunto de objetos que caen bajo l, y
que, de este modo, el concepto determina dicho conjunto. La extensin del
concepto gato es as el conjunto formado por todos los gatos (conjunto al
que pertenecen los mencionados Flix, Fritz y Garfield, aunque naturalmente
no slo ellos).
34
Filosofa de la Ciencia
35
Universidad Virtual de Quilmes
cumplir para que las clasificaciones en las que ellos aparecen puedan ser con-
sideradas satisfactorias. Diremos que un concepto C es un concepto clasifica-
torio para el dominio de objetos D si y slo si pertenece a un sistema de con-
ceptos {C1,..., Cn}, con n 2, que cumple las dos siguientes condiciones:
c, 1974, p. 708; Prosa comple- trados, (d) lechones, (e) sirenas, (f) fabulosos, (g) perros sueltos, (h) inclui-
ta, Barcelona: Bruguera, 1980,
vol. 2, p. 223. dos en esta clasificacin, (i) que se agitan como locos, (j) innumerables, (k)
dibujados con un pincel finsimo de pelo de camello, (l) etctera, (m) que aca-
ban de romper el jarrn, (n) que de lejos parecen moscas (Otras inquisicio-
nes, 1952, p. 142).
En primer trmino, es muy difcil encontrar en el ejemplo anterior algn cri-
terio sistemtico que se haya utilizado a lo largo de toda la clasificacin pa-
ra establecerla. De este modo, la clasificacin propuesta viola la primera de
las condiciones arriba mencionadas, a saber: la de sistematicidad. En segun-
do lugar, el modo en que son agrupados los animales en esta clasificacin
permite que haya conjuntos vacos (el de las sirenas y el de los animales fa-
bulosos), que haya animales que pertenezcan a ms de un conjunto (los per-
tenecientes al Emperador y los amaestrados, por ejemplo, o, en el caso extre-
mo, todos los mencionados en la clasificacin y los incluidos en esta
clasificacin) y que haya animales que no pertenezcan a ningn conjunto (de
hecho, la mayora de los animales). Se viola as la segunda de las condicio-
nes: la de generar una particin.
No es necesario, sin embargo, recurrir a la ficcin para encontrar ejemplos
de clasificaciones no satisfactorias: basta considerar los conceptos de la vi-
da cotidiana, ya que un gran nmero de ellos no proporciona una clasifica-
cin satisfactoria.
En la ciencia tambin nos encontramos con clasificaciones no del todo sa-
tisfactorias, aun cuando no tan insatisfactorias como la proporcionada por la
enciclopedia china mencionada por Borges o, en menor medida, las pre-
sentadas en la vida cotidiana. Los cientficos pueden llegar a reconocer la
existencia de excepciones a su clasificacin, esto es, reconocer que pueden
encontrarse objetos del dominio que no caen bajo ningn concepto o que
caen bajo ms de uno (yendo en contra del requisito de generar una parti-
cin). Asimismo, pueden formular no muy claramente los criterios con los
cuales establecer la clasificacin de manera sistemtica, o pueden no poner-
se de acuerdo en tales criterios, o bien dichos criterios pueden ser muy dif-
ciles de aplicar en la prctica (violando, en cualquiera de los casos, el requi-
sito de la sistematicidad). Esta situacin, bastante comn por otra parte,
incentiva a los cientficos a construir clasificaciones ms satisfactorias, aun
cuando adopten provisoriamente las clasificaciones existentes. En realidad,
36
Filosofa de la Ciencia
37
Universidad Virtual de Quilmes
han de cumplir con ciertas condiciones de adecuacin, tanto cada una por
separado como conjuntamente. En primer lugar, K ha de ser lo que se llama
una relacin de equivalencia (una relacin que es, simultneamente, refle-
xiva, simtrica y transitiva, es decir, todo objeto ha de coincidir consigo mis-
mo respecto de la caracterstica de que se trate; si un objeto coincide con
otro, entonces el otro tambin ha de coincidir con el uno; y si uno coincide
con otro y ste coincide con un tercero, entonces el primero tambin ha de
coincidir con el tercero). P ha de ser transitiva en D (es decir, si un objeto
es ms que otro, respecto de la caracterstica en cuestin, y ese otro ms
que un tercero, entonces el primero es ms que el tercero). P es K-irreflexi-
va o, dicho de otro modo, P y K han de ser mutuamente excluyentes (es de-
cir, el que un objeto coincida con otro respecto de la caracterstica estudia-
da excluye que sea mayor o menor que l respecto de esa misma
caracterstica). P es K-conexa o, dicho de otro modo, P y K han de ser con-
juntamente conexas (es decir, dados dos objetos cualesquiera, o bien coin-
ciden entre s, o bien uno de ellos es ms o menos que el otro respecto de
la caracterstica de que se trate).
La extensin de un concepto comparativo es la unin de las relaciones de
coincidencia y de precedencia. Recojamos lo dicho hasta ahora sobre los con-
ceptos comparativos mediante la siguiente definicin semiformal:
Un concepto relacional C es un concepto comparativo para el dominio de
objetos D si y slo si existen dos relaciones K y P definidas sobre ese domi-
nio tales que la extensin de C es K P y se cumplen adems las siguien-
tes condiciones:
38
Filosofa de la Ciencia
39
Universidad Virtual de Quilmes
los valores numricos asignados, es decir, nos permite operar con nmeros
como si operramos con los objetos mismos. Ejemplos de conceptos m-
tricos son longitud, tiempo, frecuencia, resistencia, precio.
Desde el punto de vista de su forma lgica, la extensin de un concepto
mtrico es una funcin numrica (o, mejor dicho, y como aclararemos ms
adelante, un conjunto de tales funciones), es decir, una funcin (conjunto de
funciones) que le asigna a cada objeto del dominio D un valor numrico, a
saber: el valor de la cantidad para ese objeto. El valor asignado puede ser
un nmero nico o un conjunto de varios nmeros (vectores, matrices, ten-
sores, etc.). Ejemplos de conceptos mtricos del primer tipo, llamados esca-
lares, son la masa y el volumen; del segundo, la velocidad y la fuerza.
La introduccin de un concepto cuantitativo o mtrico nuevo actividad
usualmente denominada metrizacin puede llevarse a cabo de las dos si-
guientes maneras: o bien a partir de conceptos mtricos ya existentes o bien
sin basarse en conceptos mtricos anteriormente disponibles. En el primer
caso se habla de metrizacin derivada o secundaria, mientras que en el se-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
40
Filosofa de la Ciencia
41
Universidad Virtual de Quilmes
los conceptos expresados por las palabras de un lenguaje dado los que selec-
cionan y determinan los aspectos del mundo objetos de nuestra experiencia
que tenemos en cuenta. Por lo tanto, no deberamos decir que es la realidad mis-
ma o algn fenmeno particular lo que es cualitativo o cuantitativo, sino ms bien
el sistema conceptual con el que pretendemos aprehenderlo, aun cuando a veces
sea ms til o sencillo emplear un tipo de conceptos en lugar de otro. Es ms
adecuado concebir la distincin cualitativo-cuantitativo como una distincin de ti-
po epistemolgica si nos centramos en los conceptos que articulan el conoci-
miento o de tipo lingstica si nos fijamos en los trminos que expresan los
conceptos ms que de tipo ontolgica correspondiente a cmo son las cosas
mismas.
Por otro lado, partiendo de los mritos relativos posedos por los conceptos
mtricos a los que ya hicimos referencia con anterioridad, se suele pensar que s-
tos tienen prioridad absoluta por sobre los dems, sostenindose que las discipli-
Kant, I., Primeros prin-
nas cientficas no son realmente tales si no usan conceptos cuantitativos. Nueva-
cipios metafsicos de mente a partir de Kant, que afirma que en cada rama de ciencia natural se
la ciencia de la naturaleza, Mxi- encuentra tanta ciencia como matemticas haya en ella, se tiende a identificar la
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
co: Universidad Nacional Aut- matematizacin con la cuantificacin y a establecer un ranking de cientificidad,
noma de Mxico, 1993, p. 102. dependiendo del aparato matemtico involucrado. Sin embargo, y a pesar de ser
cierto que a partir de la revolucin cientfica de los siglos XVI y XVII ha habido
una matematizacin creciente en las ciencias empricas y que a veces este resul-
ta ser un buen modo de impulsar el desarrollo de una disciplina cientfica, no ha-
bra que considerar como sinnimas las expresiones matematizar e introducir
conceptos cuantitativos. Por un lado, hay muchas ramas de las matemticas avan-
zadas que no son numricas (teora de conjuntos, teora de categoras, lgebra
abstracta, etc.). Por el otro, la introduccin de conceptos cualitativos (clasifica-
torios y comparativos) implica, como ya vimos, supuestos de carcter conjuntista,
es decir, matemtico. Por ltimo, habra que sealar que, adems, los conceptos
cuantitativos no siempre son indispensables ni su utilizacin trae necesariamente
aparejado el desarrollo de una disciplina.
42
Filosofa de la Ciencia
A pesar de los experimentos realizados por Oswald Avery y dos de sus estu- las lneas aqu seguidas.
diantes, Colin MacLeod y Maclyn MacCarty, en 1944, que sugeran fuerte-
mente que los genes estaban hechos de ADN, en 1950 la mayora de los bi-
logos y qumicos todava pensaban que los genes estaban hechos de
protenas en vez de ADN. Uno de los pocos que tom realmente en serio el
trabajo de Avery y sus colegas fue Salvador Luria, un genetista de origen ita-
liano que enseaba en la Universidad de Indiana y que investigaba principal-
mente los virus parsitos de las bacterias, llamados bacterifagos (o fa-
gos, para abreviar). A l se dirigi James Watson en 1947 para hacer su
doctorado, luego de terminar sus estudios de grado en la Universidad de Chi-
cago. Cuando Watson finaliz su doctorado en 1950, l y Luria decidieron
que la mejor manera de progresar en gentica sera a travs del conocimien-
to detallado de la estructura qumica del ADN. Watson recibi entonces una
beca posdoctoral para continuar estudiando bioqumica en Copenhage con
Herman Kalckar.
Hacia 1951 se conceba a la molcula de ADN como una o ms cadenas
de nucletidos, llamados polinucletidos. Cada nucletido individual con-
siste en una molcula de azcar (desoxirribosa), una molcula de fosfato y
una base. Hay cuatro posibles bases distintas, dos de cada uno de los dos
tipos: purinas (adenina y guanina) y pirimidinas (citosina y timina). Se pensa-
ba a cada cadena de tales nucletidos como consistentes de un esqueleto,
compuesto de azcar y fosfato, que sostiene la secuencia de bases. Lo que
Luria y Watson queran saber era cmo se combinaban todas estas piezas
juntas en el espacio tridimensional. Ellos crean que tal conocimiento estruc-
tural hara ms claro el modo en que los genes funcionan en el proceso de
la herencia.
A Watson le pareci el trabajo en Copenhage una prdida de tiempo. En
la primavera siguiente a su llegada fue a Npoles, donde asisti a un peque-
o encuentro cientfico sobre la estructura de las macromolculas en los or-
ganismos vivos. All, Maurice Wilkins un licenciado en fsica que trabajaba
en el Kings College de la Universidad de Londres mostr una fotografa de
una pequea porcin de ADN, tomada mediante difraccin de rayos X. La fo-
to indicaba que el ADN tena una estructura regular, del tipo de la de un cris-
tal. Watson qued encantado y comenz a pensar que los mtodos de rayos
X eran una ruta ms directa hacia la resolucin de la estructura del ADN que
43
Universidad Virtual de Quilmes
44
Filosofa de la Ciencia
Watson y Crick se encontraron en el tren hacia Oxford para realizar una visi-
ta de fin de semana, durante la cual podran hablar con Dorothy Hodgkin, la
mejor de los cristalgrafos ingleses. Luego de escuchar lo que Watson tena
para decirle de la charla de Franklin, a Crick se le ocurri una idea que pare-
ca tener sentido, y comenz a escribir en el reverso de la hoja final de un
manuscrito que haba estado leyendo: su teora de la difraccin helicoidal
mediante rayos X, junto con los datos que Watson recordaba de la charla de
Franklin, indicaban que slo poda haber unas pocas estructuras helicoidales
posibles para las molculas de ADN. Ellas deberan consistir en al menos
dos, pero no ms de cuatro, cadenas de polinucletidos. Decidieron intentar
un modelo con tres cadenas.
La siguiente cuestin importante se relacionaba con la posicin de los es-
queletos de azcar-fosfato respecto de las bases. Slo haba dos alternati-
vas: o bien poner los esqueletos entrecruzados en el centro y dejar las ba-
ses colgando hacia fuera o bien poner los esqueletos en el lado externo e
intentar colocar las bases en el interior de la molcula. Ya que colocar las
bases en el interior pareca demasiado complicado, decidieron tratar de
construir un modelo con las bases en el exterior.
De regreso a Cambridge, se dedicaron a construir un modelo usando pie-
zas de alambre y placas de metal especialmente fabricadas para represen-
tar los diversos componentes de las cadenas de polinucletidos. En esta ta-
Pauling, L., The Nature
rea, su mayor referencia la constitua el libro de Pauling La naturaleza del
of Chemical Bond, It-
enlace qumico. Este libro provea la mejor informacin disponible acerca de haca: Cornell University Press,
las distancias y los ngulos entre los diversos grupos de tomos que se sos- 1 ed., 1939.
tenan juntos mediante enlaces qumicos. Un buen modelo tambin tena que
reflejar estas caractersticas bsicas de los tomos.
En menos de un mes completaron lo que consideraban un modelo bas-
tante satisfactorio. Invitaron entonces a Wilkins a que viniera desde Londres
para inspeccionar su trabajo manual, cita a la que tambin asistiran su co-
laborador, William Seeds, Rosalind Franklin y el alumno de esta ltima, R.G.
Gosling. A Franklin le tom slo unos pocos minutos descubrir una falla fun-
damental en el modelo. El ADN natural est rodeado de agua, que se encuen-
tra ligeramente adherida a la molcula. El modelo de tres cadenas de Wat-
son y Crick dejaba demasiados pocos espacios para que las molculas de
agua se engancharan a la cadena de ADN. De hecho, el ADN real acomoda-
45
Universidad Virtual de Quilmes
46
Filosofa de la Ciencia
47
Universidad Virtual de Quilmes
48
Filosofa de la Ciencia
Pero todava quedaba trabajo por hacer. Cuando el taller entreg las pla-
cas de metal, con la ayuda de una plomada y una regla para realizar medi-
ciones, alinearon cuidadosamente todas las piezas, para asegurarse que en-
cajaban las unas con las otras en una configuracin consistente con el
conocimiento que se tena de los enlaces qumicos relevantes. Todo pareca
estar en orden. Incluso Sir Lawrence Bragg estaba satisfecho. Ms importan-
te todava, Wilkins y aun Franklin estaban de acuerdo en que la estructura
propuesta era confirmada por un examen detallado de sus propios datos de
rayos X.
Watson, J.D. y F.H.C.
El artculo de 900 palabras que Watson y Crick publicaron en Nature, el Crick, A Structure for
25 de marzo de 1953, comenzaba de la siguiente manera: Deseamos su- Deoxyribose Nucleic Acid, Na-
gerir una estructura para la sal de cido desoxirribonucleico (A.D.N.). ture, April 25 (1953): 737-738.
La fig. 2 muestra una representacin esquemtica de la estructura del
ADN tal como apareci en este primer artculo. Debido a un acuerdo previa-
mente establecido, el artculo de Watson y Crick era seguido por un artculo
de Wilkins, Stokes y Wilson y otro de Franklin y Gosling. Estos dos ltimos
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
49
Universidad Virtual de Quilmes
50
Filosofa de la Ciencia
51
Universidad Virtual de Quilmes
mos ahora con mayor detenimiento cmo se relacionan entre s, de modo tal
de expresar ciertas condiciones a ser satisfechas por una contrastacin pa-
ra que sta sea considerada una buena contrastacin.
Recordemos que, mientras que la prediccin provee la posibilidad de con-
trastar la hiptesis, los datos nos proporcionan el resultado: o bien que la
prediccin ocurra o bien que la prediccin no ocurra. Las condiciones se re-
fieren a estas dos circunstancias distintas.
52
Filosofa de la Ciencia
Watson y Crick, mediante la hiptesis de la doble hlice del ADN con los es-
queletos de azcar-fosfato del lado de afuera, predijeron la cantidad de agua
que una molcula de ADN deba contener de acuerdo con los datos propor-
cionados por Franklin. Pero, deberamos tomar esto como una evidencia pa-
ra pensar que la hiptesis de la doble hlice representa adecuadamente la
estructura fsica del ADN? De hecho, Watson y Crick no consideraron dicho
acuerdo entre la cantidad de agua predicha por la hiptesis de la doble hli-
ce y la cantidad medida de agua como una base concluyente para argumen-
tar en favor de la hiptesis de la doble hlice. Por qu no? Debido a que sa-
ban que haba muchos modos posibles de construir hiptesis acerca de la
estructura del ADN que dejaran los lugares requeridos para acomodar la can-
tidad de agua medida. Poda ser hecho con una variedad de hiptesis de tri-
ple hlice, por ejemplo, en la medida en que uno pusiera los esqueletos del
lado de fuera. As, predecir la cantidad medida de agua no proporcionaba una
base para distinguir la hiptesis de la doble hlice de una variedad de hip-
tesis de triple hlice. No haba base, por lo tanto, para considerar este acuer-
do entre prediccin y datos como evidencia de que la hiptesis de la doble
hlice era verdadera, en vez de alguna hiptesis de triple hlice.
Este ejemplo muestra que una hiptesis puede predecir hechos que tam-
bin son predichos por otras hiptesis diferentes y, que, cuando esto ocurre,
y se utilizan esos hechos para contrastar la hiptesis, la contrastacin efec-
tuada es (parcialmente) insatisfactoria. Para que una contrastacin sea con-
siderada una buena contrastacin la prediccin debe estar especialmente li-
gada a la hiptesis que se contrasta. Un modo de describir esta
caracterstica de una buena contrastacin es decir que la prediccin debe ser
tal que sera improbable que alguien tuviera xito en obtenerla a menos que
usara la hiptesis en cuestin, esto es, que si la hiptesis no fuese correcta,
la prediccin sera muy improbable o inesperada. De manera esquemtica:
53
Universidad Virtual de Quilmes
portantes. De acuerdo con los clculos de Crick, una doble hlice producira
un patrn bastante distintivo, que resultara improbable con molculas de
una estructura significativamente diferente. As, el acuerdo entre el patrn de
rayos X predicho y las fotos de rayos X obtenidas proporcionaron una base
confiable para distinguir la hiptesis de doble hlice de una variedad de hi-
ptesis que proponan otras estructuras. En este caso, por lo tanto, el acuer-
do entre la prediccin y los datos proporcionaron evidencia en favor de la hi-
ptesis de la doble hlice.
Es importante darse cuenta que la condicin 2 es independiente de la con-
dicin 1. En particular, que se satisfaga la condicin 1 no significa que la con-
dicin 2 tambin debe ser verdadera. No todo lo que se sigue deductivamente
de una hiptesis es de modo automtico algo que sera improbable que ocu-
rriera si la hiptesis fuera falsa. La cantidad de agua contenida en una mol-
cula de ADN se sigue de la hiptesis de doble hlice de Watson y Crick. La pre-
diccin de la cantidad de agua satisface la condicin 1. Pero no satisface la
condicin 2. No se necesita asumir la hiptesis de la doble hlice para ser ca-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
54
Filosofa de la Ciencia
sacuerdo entre los datos experimentales de las muestras reales de ADN y las
predicciones basadas en el modelo de triple cadena de ADN.
En este caso, estamos tentados a concluir sin mayor esfuerzo que la hi-
ptesis es falsa (e.e. que las molculas de ADN no se parecen ni cercana-
mente al modo propuesto por la hiptesis de triple cadena). Franklin extrajo
inmediatamente esta conclusin, aunque a Watson y Crick les tom un tiem-
po mayor arribar a ella.
El argumento que establece la falsedad (o refutacin) de la hiptesis que
sugiere este ejemplo es un argumento deductivo de un tipo familiar, conoci-
do con el nombre de modus tollens, que tiene como premisas que la hipte-
sis implica (predice) cierto hecho y que el hecho no ocurre y como conclu-
sin que la hiptesis es falsa. Esquemticamente:
Si H, entonces P
No P
No H
55
Universidad Virtual de Quilmes
56
Filosofa de la Ciencia
La hiptesis de doble hlice del ADN propuesta por Watson y Crick predice,
entre otras cosas, que las fotografas de rayos X producirn un patrn bas-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
Si H, entonces P
P
H
57
Universidad Virtual de Quilmes
de ningn modo que est justificada, ya sea en sentido fuerte como sin-
nimo de verdadera o en alguno ms dbil por ejemplo, en trminos de
probabilidad.
De este modo, lo que Popper denomina mi solucin al problema de la in-
duccin es ms bien una suerte de disolucin: sostiene que los nicos ar-
gumentos que deberan ser utilizados en la ciencia son los deductivos y que
los argumentos ampliativos no juegan ni deberan jugar papel alguno en la
ciencia. Ya que los argumentos deductivos son utilizados en la refutacin o
Su exposicin clsica falsacin de hiptesis, la concepcin popperiana se acostumbra denominar
puede verse en: Pop-
per, K., La lgica de la investiga- refutacionismo o falsacionismo.
cin cientfica, Madrid: Tecnos, Carnap, en cambio, cree que los argumentos ampliativos juegan un rol im-
1962. portante, justamente en los casos en que la evidencia es favorable a la hi-
ptesis contrastada, y a lo largo de dcadas intent precisar la relacin exis-
tente entre las premisas y la conclusin de estos tipos de argumentos. La
idea bsica de la cual parte Carnap en su programa inductivista es que di-
Su desarrollo ms im-
portante puede verse
cha relacin (llamada de confirmacin) es una relacin lgica similar a la de
en: Carnap, R., Logical Founda- implicacin en los argumentos deductivos, aunque de implicacin parcial y
tions of Probability, Chicago: Uni- que podra establecerse un concepto mtrico de confirmacin, que mida la
versity of Chicago Press, 1950. implicacin parcial en trminos de la teora matemtica de la probabilidad.
Su concepcin es denominada justificacionismo o confirmacionismo.
Stegmller, W., El No ahondaremos aqu en la disputa entre popperianos y carnapianos, si-
problema de la in-
no que presentaremos la estructura que tendran los argumentos en caso de
duccin: respuestas moder-
nas al desafo de Hume, considerar que la concordancia entre los datos y la prediccin constituye pri-
en Creer, saber, conocer y ma facie evidencia favorable a la hiptesis contrastada, es decir, en caso de
otros ensayos, Buenos Ai- considerar que tiene sentido hablar de argumentos ampliativos y confirma-
res: Alfa, 1978, pp. 143-234.
cin de hiptesis, aun cuando no se explicite, precise o articule ningn sis-
tema de lgica inductiva particular.
Una primera posibilidad en relacin con la estructura de esta clase de ar-
gumentos sera la de considerar una versin inductiva del argumento deduc-
tivo invlido presentado anteriormente, conocido como falacia de afirmacin
del consecuente, de la siguiente manera:
58
Filosofa de la Ciencia
59
Universidad Virtual de Quilmes
60
Filosofa de la Ciencia
riacin estable, que Morgan denomin mutacin, pero que era bastante distinta a
las que de Vries haba encontrado. La mutacin hallada por Morgan era pequea,
discreta y recesiva, y no era la causante de la formacin de una nueva especie. De
hecho, ni Morgan ni colaboradores obtuvieron mutaciones del tamao de las que
de Vries crey haber observado en Oenothera, aun cuando en el transcurso de sus
investigaciones sobre el color de ojos de la Drosophila, fueron identificados, ade-
ms de los colores de ojos rojo (normal, tipo salvaje) y blanco (mutante), berme-
lln, rosa, eosin y una cantidad ms de otros colores y sus repectivas mutaciones.
(1942): 111-141.
bacterias resistentes eran causadas por el propio virus atacante o si ellas
tenan lugar de manera azarosa. El experimento en cuestin fue diseado pa-
ra contestar esta pregunta. Delbrck y Luria consideraron lo que pasara si a
un nmero de cultivos de bacterias (digamos, veinte), cada uno con un simi-
lar nmero pequeo de bacterias, le era permitido crecer durante un tiempo
corto, inyectndole ms tarde una misma cantidad de fagos, y permitindole
luego crecer un poco ms. Ellos argumentaron que si los fagos estuvieran
produciendo las mutaciones, entonces todos los cultivos de bacterias deban
terminar aproximadamente con el mismo nmero de bacterias resistentes.
Por otro lado, si las mutaciones surgieran por azar, se sigue que, aquellos
cultivos de bacterias en donde stas tuvieran lugar antes, terminaran con
muchas ms bacterias mutantes que aquellos cultivos de bacterias en don-
de las mutaciones ocurrieran despus. Las bacterias mutantes aparecidas
antes habran tenido mayor tiempo para multiplicarse. Aquellos cultivos en
donde el azar de la mutacin tuviera lugar en algn momento intermedio ter-
minaran con un nmero igualmente intermedio de bacterias mutantes. Si la
ocurrencia de mutaciones fuera una cuestin de puro azar, uno esperara, por
consiguiente, que, al finalizar el experimento, hubiera una gran variacin en
los nmeros de bacterias mutantes de los diferentes cultivos de bacterias.
Delbrck y Luria prepararon algunos cultivos de bacterias, introdujeron en-
tonces los fagos y por ltimo encontraron que el nmero real de bacterias re- Luria, S.E. y M. Del-
sistentes difera ampliamente de un cultivo de bacterias a otro. brck, Mutations of
En este ejemplo, tenemos dos hiptesis sobre el surgimiento de las mu- Bacteria from Virus Sensitivity
taciones en las bacterias: causadas por los fagos (H) o de manera azarosa to Virus Resistance, Genetics
28 (1943): 491-511.
(H). Las predicciones de dichas hiptesis (dados los supuestos auxiliares
SA y SA, respectivamente, y las condiciones iniciales CI) eran: de la primera
(H), que los distintos cultivos de bacterias deberan tener, al finalizar el expe-
rimento, un nmero aproximadamente igual de bacterias mutantes (P); de la
segunda (H), que, una vez concluido el experimento, tendra que haber un
nmero distinto de bacterias mutantes de los diferentes cultivos de bacte-
rias (no-P). Luego del experimento se constat que efectivamente los diferen-
tes cultivos de bacterias mostraban una gran variedad en el nmero de bac-
terias mutantes presentes. El resultado del experimento fue la no ocurrencia
de P, es decir, no-P, que se consider como aportando buena evidencia para
la falsedad de la hiptesis H, por un lado, y a favor la hiptesis H, por el otro.
61
Universidad Virtual de Quilmes
62
Filosofa de la Ciencia
1.
En un texto seleccionado, identificar los trminos lgico-matem-
ticos y tcnicos, y sealar qu tipo de conceptos expresan estos
ltimos (si conceptos clasificatorios, comparativos o mtricos).
2.
Mencionar algn concepto clasificatorio, otro comparativo y
un ltimo mtrico que pertenezcan todos a la misma familia,
como pesado, ms pesado que, peso.
3.
Desarrolle una propuesta acerca de las siguientes cuestiones:
3.1.Es posible ordenar cualquier conjunto?
63
Universidad Virtual de Quilmes
4.
Analizar los siguientes textos que presentan episodios cientfi-
cos, de acuerdo con los elementos presentados en la unidad.
Identificar a) la hiptesis central a ser contrastada; b) las con-
diciones iniciales; c) los supuestos auxiliares; d) la prediccin;
e) decir si se cumple la condicin 1; f) y la 2; g) el resultado
del experimento; h) la conclusin justificada.
Priones
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
64
Filosofa de la Ciencia
65
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
Referencias bibliogrficas
67
Universidad Virtual de Quilmes
68
3
Leyes y explicacin cientficas
Objetivos
1. Que el alumnado comprenda el concepto de ley cientfica.
2. Que el alumnado comprenda el papel que juegan las leyes en la explica-
cin cientfica.
3. Que el alumnado identifique distintos patrones de explicacin cientfica.
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
Introduccin
En la unidad anterior examinamos en primer trmino la estructura lgica de
los conceptos cientficos. De ellos notamos que, siendo las unidades mni-
mas de significacin, no bastan por s mismos para uno de los usos prima-
rios del lenguaje, tanto cientfico como ordinario: el de realizar aserciones
(aseveraciones o afirmaciones), e.e., para decir que ciertas cosas son de
cierta manera. Vimos que las unidades aseverativas mnimas no son los con-
ceptos aislados, sino las proposiciones o, en trminos lingsticos, los enun-
ciados. All nos ocupamos de un tipo especial de enunciados cientficos las
hiptesis, as como del modo en que stos se contrastan y evalan. Ahora
nos ocuparemos de otro tipo de enunciados cientficos las leyes, como pa-
so previo al anlisis de otro de los conceptos vinculados a la prctica cient-
fica el de explicacin, debido al papel especialmente importante que stas
juegan en l.
69
Universidad Virtual de Quilmes
70
Filosofa de la Ciencia
se denominan leyes causales. Por otro lado, las leyes de coexistencia es-
tablecen una relacin entre las caractersticas de un sistema que aparecen
de manera simultnea. Ejemplo de ello lo constituyen la ley de los gases o ley
de Boyle, que pone a la presin, el volumen y la temperatura en relacin los
unos con los otros, estableciendo que para cada cantidad de gas contenida
en un recipiente a una temperatura constante, cualquier disminucin del vo-
lumen aumenta porporcionalmente la presin, e, inversamente, cualquier in-
cremento en la presin disminuye el volumen. Este tipo de leyes tambin se
denominan funcionales, porque en ellas las propiedades o valores del sis-
tema covaran unos en funcin de los otros.
71
Universidad Virtual de Quilmes
rias como suficientes) que debera satisfacer un enunciado para que pudie-
ra ser considerado, o que pudiera funcionar como, una ley, todava no pue-
de hablarse de que se haya encontrado una solucin generalmente acepta-
da. Sin embargo, que aun no dispongamos de una elucidacin plenamente
satisfactoria del concepto de ley cientfica no significa que todo lo realizado
hasta el momento en ese sentido haya sido en vano o que ahora no sepa-
mos ms que antes acerca de qu es, y cmo funciona, una ley. A continua-
cin expondremos y discutiremos algunas de las condiciones avanzadas pa-
ra distinguir los enunciados que son legaliformes de los que no lo son, que
se supone se deberan cumplir en las leyes no-probabilistas o deterministas.
72
Filosofa de la Ciencia
les son falsos slo en el caso en que el antecedente del condicional sea ver-
dadero y el consecuente falso. Debido a que la propiedad F seguramente no
se aplica a ningn individuo, ya que en el mundo natural conocido no hay
cuerpos sobre los que no acten fuerzas, el antecedente es siempre falso y,
por consiguiente, la ley de inercia es siempre verdadera o vacuamente ver-
dadera. Consideremos ahora la segunda ley de Kepler o ley de las reas
iguales: la velocidad orbital de cada planeta vara de tal forma, que una l-
nea que una el sol con el planeta en cuestin barre reas iguales, sobre la
elipse, en intervalos de tiempos iguales. Esta ley parece ser irremediable-
mente falsa. Esto se debe a que podemos ver que es un caso en el que,
sometida a un anlisis similar al de la ley de inercia, pero a diferencia de lo
que ocurre en sta, el predicado F (intervalos de tiempo iguales) se aplica,
pero G (barre reas iguales) no, ya que los planetas no se mueven exacta-
mente como afirma dicha ley, pues estn sometidos a fuerzas que ejercen
otros astros. De este modo, al ser el antecedente verdadero y el consecuen-
te falso, la ley es siempre falsa o necesariamente falsa.
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
73
Universidad Virtual de Quilmes
universales o que sea equivalente con uno que lo es), sino que se le exige
Hempel, C.G., La expli-
cacin cientfica, Bue- que adems sea estrictamente universal.
nos Aires: Paids, 1979, p. 179. Lo cual significa que el mbito de aplicacin de las leyes debe ser ilimita-
do e.e. que las leyes se deben aplicar en todo tiempo y lugar o al menos
irrestricto e.e. que no debe restringirse su mbito de aplicacin a una re-
gin espaciotemporal determinada, sin hacer referencia alguna (implcita o
Popper, K., La lgica de la inves- explcita) a objetos particulares, lugares o momentos especficos, prohibien-
tigacin cientfica, Madrid: Tec-
nos, 1962. do el uso de nombres propios o de una referencia tcita a nombres propios
y slo permitiendo la utilizacin de predicados puramente universales en ca-
Hempel, C.G. y P. Op- rcter, tambin llamados puramente cualitativos.
penheim, La lgica de Sin embargo, esta condicin tampoco est libre de dificultades. Por un la-
la explicacin, en Hempel,
do parece ser demasiado dbil, aceptando como leyes enunciados universal-
C.G., La explicacin cientfica,
Buenos Aires: Paids, 1979, pp. mente irrestrictos no legales, y por otro demasiado fuerte, excluyendo leyes
247-294. claramente aceptables. En relacin con el primero de los puntos, basta con-
siderar que de acuerdo con l, enunciados como el siguiente contaran como
una ley: Todo diamante tiene una masa menor a 100.000 k. En cuanto al
segundo, habra que considerar que aun cuando las leyes de algunas teoras
cosmolgicas slo sean aplicables a la totalidad del universo y del espacio-
tiempo, al igual que tambin lo seran, en caso de existir, las de la gran teo-
ra unificada (GUT) que unificara a las dos teoras fsicas ms importan-
tes: la relatividad y la cuntica, esta situacin no es la habitual; antes bien,
las leyes normalmente se aplican a sistemas parciales y bien delimitados, y
no un nico sistema csmico; algunas incluso involucran de modo esen-
cial regiones espacio-temporales particulares (p.e. leyes de la geologa que
slo valdran en la tierra o leyes que se refieren a los primeros minutos del
universo) o contienen nombres propios que hacen referencia a objetos parti-
culares (como la anteriormente mencionada segunda ley de Kepler, en don-
de se menciona explcitamente al sol). Como intento de salvar este criterio
se propuso diferenciar entre dos tipos de leyes genuinas: por un lado, leyes
de alcance ilimitado, irrestricto o fundamentales y, por otro lado, leyes de al-
cance limitado, restringido o derivadas. Segn esta propuesta de anlisis, le-
yes como las de Kepler de alcance limitado o restringido se derivaran o
deduciran lgicamente de leyes fundamentales de alcance ilimitado o irres-
tricto como las de Newton. En contra de dicha propuesta podran mencio-
narse razones tanto histricas como sistemticas. En relacin con las hist-
74
Filosofa de la Ciencia
ricas, habra que mencionar que Kepler propuso sus leyes, y fueron conside-
radas como tales, y no meramente como leyes derivadas, incluso antes de
que Newton propusiera las suyas, e.e. antes de que existieran las leyes de
las cuales se supone que se derivaran. Respecto de las sistemticas, ten-
dra que considerarse que las denominadas leyes derivadas en realidad no
se derivan o deducen literalmente de las leyes fundamentales, al menos no
se derivan o deducen slo de ellas, sin considerar algunas premisas adicio-
nales, o de un modo exacto.
75
Universidad Virtual de Quilmes
76
Filosofa de la Ciencia
Figura 1
Leyes probabilistas IE DE
(estadsticas) Inductivo-estadstica Deductivo-estadstica
77
Universidad Virtual de Quilmes
78
Filosofa de la Ciencia
79
Universidad Virtual de Quilmes
(x)(Ax Bx)
(Ac Bc) Pa
Pa
Esquemticamente:
Explanans
L1, L2,..., Lr leyes no probabilistas
Deduccin
lgica
E descripcin del hecho
Explanandum
general que se explica
80
Filosofa de la Ciencia
KB
K
81
Universidad Virtual de Quilmes
Las condiciones adicionales a (1) y (2) son, para este tipo de explicaciones,
las siguientes:
Explanandum
general que se explica
82
Filosofa de la Ciencia
(*) Casi todos los casos de infeccin por estreptococos desaparecen rpi-
damente despus de suministrar penicilina.
83
Universidad Virtual de Quilmes
(**) Casi todos los casos de infeccin por estreptococos desaparecen rpi-
damente despus de suministrar penicilina.
Tanto (*) como (**) son argumentos inductivos vlidos con conclusiones
contradictorias. Pero el problema no radica all, ya que esto tambin puede
ocurrir con argumentos deductivos. El problema ms bien es que las premi-
sas de ambos son verdaderas. Esto no es algo que pueda ocurrir en los argu-
mentos deductivos, pues dos conjuntos de premisas de las que se deducen
conclusiones contradictorias no pueden ser verdaderas a la vez, son tambin
contradictorios. La dificultad de la ambigedad explicativa surge del hecho
de que, dado un argumento deductivo vlido, el argumento seguir siendo v-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
84
Filosofa de la Ciencia
veremos algunos aspectos del proceso de explicar. Hasta aqu hemos trata-
do principalmente el producto resultante de esta actividad, e.e. la explicacin
que se ofreca en el proceso de explicar.
Cuando los filsofos discuten el lenguaje, suelen dividir su estudio en tres
partes (bajo el nombre genrico de teora general de los signos o semi-
tica): sintaxis, semntica y pragmtica. La sintaxis slo trata las relaciones
Peirce, C.S., Obra
formales entre los signos, sin considerar los significados ni a los usuarios lgico-semitica,
(hablantes). La semntica trata las relaciones las relaciones entre los signos Madrid: Taurus, 1987; y Es-
y aquello a lo que se refieren, siendo sus conceptos fundamentales los de critos lgicos, Madrid:
Alianza, 1988. Morris, C.,
significado y verdad. La pragmtica trata las relaciones entre los signos y los
Fundamentos de la teora
que los producen y reciben o entienden, e.e. los usuarios o hablantes, sien- de los signos, Buenos Aires:
do de especial inters el contexto en el cual se usa el lenguaje. Paids, 1985.
En los anlisis vistos hasta aqu, la explicacin se haba caracterizado s-
lo en trminos sintcticos y semnticos, independientemente de considera-
ciones pragmticas. Sin embargo, ya en el anlisis realizado por Hempel de
las explicaciones inductivo estadsticas (IE) se introducen consideraciones
de este ltimo tipo, al incluir el principio RME, relativizado a situaciones de
conocimiento. Las situaciones de conocimiento (contexto cognoscitivo) son
aspectos de los contextos en los que se solicitan y dan las explicaciones. Ta-
les contextos involucran adems otros aspectos.
Un modo de ver las dimensiones pragmticas de la explicacin es comen-
zar con la pregunta a la que se le busca una explicacin. Habamos visto que
muchas, sino todas, las explicaciones pueden ser consideradas como pre-
guntas por qu...? que requieren explicacin. En muchos casos, el primer
paso pragmtico es clarificar la cuestin que est siendo preguntada; a me-
nudo, para interpretar el enunciado emitido por el que pregunta se necesita
atender al contexto en que es emitido dicho enunciado. Como ha mostrado
Bas van Fraassen, uno de los ms importantes autores que han contribuido
al estudio de la pragmtica de la explicacin, el nfasis con el cual un ha-
blante plantea una pregunta pudiera jugar un papel crucial en determinar
exactamente qu es lo que se pregunta. Para ilustrarlo utiliza la historia b-
blica del paraso terrenal. Consideremos las tres preguntas siguientes:
85
Universidad Virtual de Quilmes
Aunque en los tres casos las palabras son las mismas y se encuentran en
el mismo orden e.e. el enunciado interrogativo es el mismo: Por qu Adn
comi la manzana? ellas plantean tres preguntas distintas. Esto puede
mostrarse considerando lo que van Fraassen denomina la clase de contras-
te. El enunciado (i) pregunta por qu fue Adn quien comi la manzana, en
lugar de Eva, la serpiente o una cabra. El enunciado (ii) pregunta por qu
Adn se la comi a la manzana, en vez de arrojarla lejos o drsela a Eva. El
enunciado (iii) pregunta por qu fue una manzana lo que comi Adn, y no
una pera, una banana o una granada. Las clases de contraste son, respecti-
vamente, {Eva comi la manzana, la serpiente comi la manzana, la cabra co-
mi la manzana,}, {Adn comi la manzana, Adn arroj lejos la manzana,
Adn le dio la manzana a Eva,}, {Adn comi la manzana, Adn comi la
pera, Adn comi la granada,}. A menos que tengamos claro cul es la pre-
gunta a ser respondida, difcilmente podamos esperar proporcionar respues-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
tas adecuadas.
Otro aspecto pragmtico de la explicacin concierne al conocimiento y a
la capacidad intelectual de la persona o del grupo que solicita la explicacin.
Por un lado, usualmente no hay necesidad de incluir en una explicacin asun-
tos que son obvios para todos los involucrados. Consideremos el caso de
una persona que solicita una explicacin del repentino aumento en la veloci-
dad de rotacin de una patinadora sobre hielo, que est al tanto del hecho
de que ella acerc sus brazos hacia su cuerpo, pero que no est familiariza-
do con la ley de conservacin del momento angular. Esta persona requiere
conocimiento de la ley de conservacin del momento angular a fin de que en-
tienda el hecho-explanandum. Otra persona podra estar completamente al
tanto de la ley de conservacin del momento angular, pero no de lo que hizo
la patinadora con sus brazos. Esta persona necesita estar informada de la
maniobra de la patinadora. Una ltima persona habra tenido noticia de la
maniobra de la patinadora, y tambin estara al tanto de la ley de conserva-
cin del momento angular, pero no de que esta ley se aplica al movimiento
de la patinadora. Esta persona necesita que se le muestre cmo se aplica
la ley en el caso en cuestin.
Por otro lado, no hay necesidad de incluir en una explicacin material que
est ms all de la capacidad de comprensin del auditorio. Sera inapropia-
do para la mayora de los escolares, p.e., una explicacin de la oscuridad del
cielo en la noche que hiciera referencia a la estructura no euclidea del espa-
cio o a la trayectoria libre media de un fotn. Muchas de las explicaciones
que encontramos en situaciones de la vida real son incompletas, pues tie-
nen en cuenta lo que el que proporciona la explicacin considera que es el
conocimiento posedo por la audiencia.
Otra consideracin pragmtica concierne a los intereses del auditorio.
Un cientfico que proporciona una explicacin de un accidente grave a una
comisin investigadora del congreso pudiera informarle a los miembros del
congreso mucho ms de lo que ellos quisieran saber acerca de los detalles
cientficos.
Railton, P., Probabi- Peter Railton ha ofrecido una distincin que ayuda considerablemente a
lity, Explanation, and
Information, Synthese 48 comprender el rol de la pragmtica en la explicacin cientfica. Primero intro-
(1981): 233-256. duce el concepto de texto explicativo ideal. Un texto explicativo ideal contie-
ne todos los hechos y todas las leyes que son relevantes para el hecho-ex-
86
Filosofa de la Ciencia
87
Universidad Virtual de Quilmes
88
Filosofa de la Ciencia
1.
Mencione tres enunciados pertenecientes a su disciplina de
formacin o alguna otra que sean denominados leyes , diga
si se trata de leyes leyes de sucesin o de coexistencia, proba-
bilistas o no-probabilistas, cualitativas o cuantitativas.
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
2.
Discuta si las leyes mencionadas en el ejercicio anterior satis-
facen las condiciones de verdad, universalidad o irrestriccin.
3.
Seleccione dos ejemplos de explicacin cientfica de una o
ms revistas cientficas o de un libro de texto que haya usado
en un curso universitario. D un resumen conciso de esas ex-
plicaciones y analcelos en trminos de alguno(s) de los tipos
de explicacin presentados en esta unidad.
89
Universidad Virtual de Quilmes
90
Referencias bibliogrficas
91
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
4
Teoras cientficas
Exposiciones originales de
la concepcin clsica las
Objetivos encontramos, entre otros,
en: Braithwaite, R., La ex-
plicacin cientfica, Madrid:
1. Que el alumnado comprenda la(s) concepcion(es) clsica(s) de las teoras Tecnos, 1965, cap. II;
cientficas, en especial la versin de Carnap. Campbell, N., La estructura
2. Que el alumnado comprenda la(s) concepcion(es) histrica (s) de las teo- de las teoras, en Rolleri,
J.L. (ed.), Estructura y desa-
ras cientficas, en especial versin de Kuhn. rrollo de las teoras cientfi-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
3. Que el alumnado comprenda la(s) concepcion(es) semntica(s) de las teo- cas, Mxico: Universidad
ras cientficas, en especial la versin estructuralista. Nacional Autnoma de M-
xico, 1986, pp. 19-46; Hem-
pel, C.G., Fundamentos de
El concepto de teora la formacin de conceptos
en ciencia emprica, Ma-
Las teoras cientficas constituyen un objeto de primersima importancia pa- drid: Alianza, 1988, 37-77;
Hempel, C.G., El dilema
ra captar lo esencial de la ciencia, tanto sincrnica como diacrnicamente. del terico, en La explica-
De all que en cada uno de los perodos sealados en la Unidad 1 por los cin cientfica, Buenos Ai-
que ha atravesado la filosofa de la ciencia en el siglo XX, y lo que va del XXI, res: Paids, 1979, pp. 177-
prevalezca una determinada concepcin de la naturaleza y estructura de las 229; Nagel, E., La estructura
de la ciencia, Buenos Aires:
teoras cientficas, concepciones que podramos denominar clsica (o here- Paids, 1968, p. 93 y ss.;
dada), histrica (o historicista) y semntica (o modelo-terica), respectivamen- Popper, K., La lgica inves-
te. A continuacin pasaremos revista a dichas concepciones, detenindonos tigacin cientfica, Madrid:
Tecnos, 1962, 16-17;
en las versiones ms conocidas y desarrolladas de cada una de ellas: la car-
Ramsey, F.P., Teoras, en
napiana, la kuhniana y la estructuralista. Rolleri, J.L. (ed.), Estructura
y desarrollo de las teoras
cientficas, Mxico: Univer-
sidad Nacional Autnoma
4.1. La concepcin clsica de las teoras de Mxico, 1986, pp. 47-67;
Reichenbach, H., La filoso-
Uno de los problemas centrales del perodo clsico lo constituy la elucida- fa cientfica, Mxi-
co: Fondo de Cultu-
cin del concepto de teora emprica. Podra decirse que si bien todos los fi- ra Econmica, 1953, cap. 8.
lsofos pertenecientes a dicho perodo consideraban a las teoras como con-
juntos de enunciados organizados deductiva o axiomticamente, no todos Para el desarrollo de la con-
concordaban en el modo especfico en que esto deba ser comprendido y pre- cepcin clsica, vase: Steg-
mller, W., Teora y expe-
cisado. Esta concepcin es conocida con el nombre de concepcin heredada riencia, Barcelona: Ariel,
clsica, estndar, recibida, ortodoxa, tradicional o enunciativa de las teoras 1979; Suppe, F., En busca
cientficas. de una comprensin filos-
fica de las teoras
Su versin ms madura y elaborada, fruto de diferentes anlisis, crticas
cientficas, en Sup-
y sucesivos intentos encaminados a superarlas, la encontramos en Rudolf pe, F. (ed.), 1979, La estruc-
Carnap. tura de las teoras cientficas,
Madrid: Editora Nacional,
pp. 15-277; Lorenzano, P., El
problema de la teoricidad en
la filosofa de la ciencia, Te-
Carnap, R., El carcter metodolgico de los trminos tericos, en Feigl, H. y M.
sis de Licenciatura, Mxico:
Scriven (eds.), Los fundamentos de la ciencia y los conceptos de la psicologa y del Universidad Nacional Aut-
psicoanlisis, Santiago: Universidad de Chile, 1967, pp. 53-93; en Oliv, L. y A.R. noma de Mxico, 1986.
93
Universidad Virtual de Quilmes
Sobre sistemas axio- La lgica de primer orden (que incluye tanto la lgica de enunciados o propo-
mticos, puede ver- sicional como la de predicados, cuantificadores o funcional) es el ms impor-
se: Blanch, R., La axiom-
tica, Mxico: Universidad tante de los clculos, ya que se pretende utilizar como presupuesto en la
Nacional Autnoma de M- construccin de todos los dems, sirvindoles como base. De este modo los
xico, 1965; Mostern, J., sistemas axiomticos constan de dos partes: el clculo bsico lgico y un cl-
Conceptos y teoras en la culo especfico que se le aade. El clculo bsico consiste como dijimos
ciencia, Madrid: Alianza,
1987, cap. 5; Torretti, R., El en el clculo de enunciados y una parte, ms chica o ms grande, del clcu-
mtodo axiomtico, en lo funcional. Debido a que el clculo bsico es fundamentalmente el mismo
Moulines, C.U. (ed.), La para todos los diferentes clculos especficos, se acostumbra no mencionar-
ciencia: estructura y desa-
lo en absoluto y describir slo la parte especfica del clculo. sta no contie-
rrollo, Madrid: Trotta, 1993,
pp. 89-110. ne usualmente reglas de inferencia, sino slo los enunciados primitivos adi-
cionales, llamados axiomas. Tal parte especfica es la que generalmente se
denomina sistema axiomtico.
En el caso de una teora particular, las leyes de dicha teora (aquellas le-
yes que no se deducen de otras) son los axiomas, los enunciados bsicos
primitivos de la teora. De estos axiomas se deducen como teoremas el res-
to de las afirmaciones tericas. Sin embargo, ningn sistema axiomtico (cl-
culo especfico) se bastara por s solo, debido a que sin la ayuda del clcu-
94
Filosofa de la Ciencia
lo bsico lgico sera imposible probar ningn teorema del sistema o llevar
a cabo una deduccin cualquiera. En cuanto a sus trminos, un sistema axio-
mtico contiene por un lado constantes lgicas (pertenecientes al clculo b-
sico) y por el otro constantes especficas o axiomticas (propias del clculo
especfico). Los trminos de este ltimo tipo, e.e. no lgico-matemticos (o
descriptivos), con los que se formulan los axiomas son los trminos tericos
primitivos del sistema. A veces se pueden introducir trminos tericos adi-
cionales mediante definiciones, con cuya ayuda se abrevian algunos teore-
mas; pero los trminos definidos son eliminables, son meras abreviaturas no-
tacionales.
Este modo de axiomatizar las teoras empricas como sistemas axiom- Sobre fundamentos
de las matemticas,
ticos de tipo Hilbert o Frege-Hilbert o, como tambin se los llama, sistemas vase: Krner, S., Introduc-
axiomticos hilbertianos formales o, sencillamente, sistemas formales cin a la filosofa de la ma-
constituye el enfoque formal o enfoque de Carnap y est ligado histrica- temtica, Mxico: Siglo
mente a dos posiciones en fundamentos de las matemticas: el logicismo XXI, 1967.
y el formalismo.
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
95
Universidad Virtual de Quilmes
96
Filosofa de la Ciencia
1) En primer lugar hay una distincin entre aquellos objetos, sus propiedades
y sus relaciones que son observables y aquellos que no lo son. En segun-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
97
Universidad Virtual de Quilmes
En cierto sentido, entonces, la prejuicios, e.e. sin ningn conocimiento terico, proporcionan la base del co-
visin es una accin que lleva nocimiento cientfico), el psicolgico-perceptivo (que se opone a la idea de
una carga terica, Hanson, que dos observadores normales que ven el mismo objeto desde el mismo lu-
N.R., Patrones de descubri-
gar en las mismas circunstancias fsicas tienen necesariamente idnticas ex-
miento, Madrid: Alianza, 1977,
p. 99. Para distintos sentidos en periencias visuales) y el lingstico (que polemiza con la idea de que los
que un trmino puede depender enunciados observacionales se formulan al margen de cualquier marco lin-
de una teora, ver Achinstein, P., gstico o conceptual, e.e. terico, previo) pretenden mostrar que la relacin
Trminos tericos, en Oliv,
L. y A.R. Prez Ransanz (eds.),
de dependencia es de los informes observacionales con respecto a la teora
Filosofa de la ciencia: y no a la inversa. Esto es lo que, en general, afirma la tesis de la carga te-
teora y observacin, rica, puesta tan de moda a partir de su expresin por Hanson, y que ha da-
Mxico: Siglo XXI-Universidad do lugar a la posicin del todo es teora.
Nacional Autnoma de Mxico,
1989, pp. 355-381. Otro de los aspectos de la concepcin clsica que ha sido objeto de crti-
cas lo constituye el modo en que propone capturar la estructura interna de
Este tipo de crticas
se encuentran en:
las teoras, mediante el denominado enfoque formal o de Carnap, e.e. me-
Suppes, P., Algunas consi- diante su reconstruccin como sistemas axiomticos hilbertianos en un len-
deraciones sobre los pro- guaje formal, la lgica de primer orden.
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
blemas y mtodos de la fi- Contra esta propuesta se afirma que es de naturaleza altamente esque-
losofa de la ciencia, en
Estudios de filosofa y meto- mtica y que es inaudito encontrar (no hay, virtualmente) un ejemplo sustan-
dologa de la ciencia, Ma- tivo de una teora trabajada como un clculo lgico, debido a que se enfren-
drid: Alianza, 1988, pp. 24- ta con la siguiente dificultad: casi todas las teoras de algn inters o poder
37; Suppes, P., Qu es
en la ciencia emprica, presuponen una gran cantidad de matemticas como
una teora cientfica?, en
Rolleri, J.L. (ed.), Estructura parte integrante suya; por otra parte, no hay un modo simple o elegante de
y desarrollo de las teoras incluir esta subestructura matemtica en una formalizacin estndar que s-
cientficas, Mxico: Univer- lo asume el aparato de la lgica de enunciados y de predicados que valen
sidad Nacional Autnoma
de Mxico, 1986, pp. 167-
para un solo tipo de objetos.
178; Moulines, C.U. y J. Lo que se sigue de lo anterior no es que sea lgicamente imposible lle-
Sneed, La filosofa de la f- var a cabo una axiomatizacin segn la propuesta de la concepcin clsica,
sica de Suppes, Lecturas sino slo que es muy difcil en la prctica. Adems, un partidario del enfoque
filosficas 6, Morelia: Uni-
versidad Michoacana, 1980; formal podra replicar que la idea bsica es correcta, y que si lo que falla es
Stegmller, W., La concep- la adopcin de la lgica elemental como lenguaje formal dentro del cual re-
cin estructuralista de las construir las teoras, bien podemos abandonar esta autolimitacin y construir
teoras, Madrid: Alianza,
sistemas formales dentro de lenguajes de orden superior.
1981; Dez, J.A. y P. Loren-
zano, La concepcin es- Sin embargo, podra reformularse el argumento de forma tal que se apli-
tructuralista en el contexto cara no slo al intento de axiomatizar teoras empricas dentro del lenguaje
de la filosofa de la ciencia de la lgica de primer orden sino al de hacerlo dentro de cualquier lengua-
del siglo XX, en Dez, J.A.
je formal. Segn esta reformulacin, se sealara lo siguiente: las porciones
y P. Lorenzano (eds.), De-
sarrollos actuales de la me- del lenguaje matemtico dentro de las que son formuladas las teoras no
tateora estructuralista: pro- es fcil de formalizar en la lgica de primer orden y, ms an, no han sido
blemas y discusiones, todava formalizadas dentro de ningn lenguaje formal; de lo que se des-
Quilmes: Universidad Na-
cional de Quilmes/Univer- prende que la propuesta de axiomatizacin en un lenguaje formal es imprc-
sidad Autnoma de Zacate- tica, ya que antes de reconstruir de este modo las teoras empricas para
cas/Universidad Rovira i hacer de ellas el objeto de nuestros estudios, deberamos nosotros mismos
Virgili, 2002, pp. 13-78. formular las matemticas utilizadas en lenguajes formalizados o esperar a
que alguien lo haga.
Por otro lado, adems de la anterior dificultad podra sealarse esta otra:
si consideramos que las teoras no son estructuras aisladas, sino ms bien
que estn conectadas con otras teoras empricas y matemticas y que,
en particular, presuponen a otras teoras e.e. sus conceptos y leyes slo co-
bran sentido suponiendo que otros conceptos y leyes de teoras previas han
sido ya adecuadamente descritos, entonces para axiomatizar cualquier teo-
ra el racimo entero de teoras presupuestas deben estar ya a la mano como
98
Filosofa de la Ciencia
99
Universidad Virtual de Quilmes
minologa, por los llamados nuevos filsofos de la ciencia. Entre ellos se en-
cuentran S. Toulmin, N.R. Hanson, P. Feyerabend, I. Lakatos y L. Laudan, des-
tacndose la figura de T.S. Kuhn.
100
Filosofa de la Ciencia
101
Universidad Virtual de Quilmes
Sociologa en fisicalismo, en
Ayer, A.J. (ed.), El positivismo
lgico, Mxico: Fondo de Cultu- Carnap considera que las ideas de Kuhn sern muy estimulantes para todos aque-
ra Econmica, 1965, pp. 287- llos que estn interesados en la naturaleza de las teoras cientficas y especialmen-
322; Zilsel, E., Races sociol- te en las causas y formas de sus cambios y que desarrolla aspectos de la historia
gicas de la ciencia, Buenos y la filosofa de la ciencia con los que concuerda, aunque no haya tenido ocasin
Aires: Cuadernos del Boletn del de profundizarlos, e incluso ilumina aspectos de su propia concepcin.
Instituto de Sociologa N 11
(1958): 147-170; Zilsel, E., El
problema de las leyes histrico-
sociales, Cuadernos de Episte- El hecho de que la Posdata escrita por Kuhn a La estructura de las revolu-
mologa, 24, Buenos Aires: Fa- ciones cientficas en 1969 fuera lo ltimo editado en la coleccin anterior-
cultad de Filosofa y Letras,
Universidad de Buenos Aires, mente mencionada constitua el cierre perfecto de una poca, no porque
1960; y en Horowitz, I.L. (ed.), Kuhn acabara para siempre con esa tendencia, sino porque con l encontra-
Historia y elementos de la so- ran cauce inquietudes que se iniciaran en Viena a principios de siglo.
ciologa del conocimiento, Bue-
A continuacin presentaremos brevemente los conceptos fundamentales
nos Aires: EUDEBA, 1968, pp.
304-314. de paradigma, comunidad cientfica, ciencia normal y revoluciones cientficas
y que, junto a los de anomala, crisis e inconmensurabilidad, son los que uti-
liza Kuhn para interpretar la ciencia y su desarrollo.
102
Filosofa de la Ciencia
103
Universidad Virtual de Quilmes
104
Filosofa de la Ciencia
105
Universidad Virtual de Quilmes
106
Filosofa de la Ciencia
Un modelo es un sistema que satisface ciertos axiomas (en general, las leyes de
la teora). Un sistema es una estructura (en el sentido conjuntista) que pretende
representar, de manera ms o menos idealizada o aproximada, un pedazo de rea-
lidad. Una estructura, a su vez, es una sucesin finita de conjuntos de objetos y
de relaciones definidas sobre esos conjuntos, o sea, una entidad de la forma:
D1,..., Dm, R1,..., Rn, donde Ri Dj1 ... Djk (las Di representan los llamados
conjuntos base, es decir, los objetos de los que habla la teora, su ontologa,
mientras que las Rj son relaciones, o funciones, entre dichos individuos, e.e cons-
truidas a partir de los conjuntos base).
107
Universidad Virtual de Quilmes
108
Filosofa de la Ciencia
(1) Una teora se caracteriza en primer lugar, como hemos visto, por determi-
nar un conjunto de modelos; presentar-identificar una teora es presentar-
identificar la familia de sus modelos caractersticos. La determinacin de
los modelos se realiza mediante una serie de principios o leyes. Las le-
yes se deben entender, por tanto, como definiendo una clase de modelos:
x es un modelo de la teora... syssdef _(...x...), donde expresa las leyes
en cuestin. Que esto sea una definicin, que las leyes definan los mode-
los, no significa, por supuesto, que una teora sea una definicin, o que
sea verdadera por definicin, o cosas parecidas. Que las leyes definen
una serie de modelos significa slo que las leyes determinan qu entida-
des son las que se comportan de acuerdo con la teora; por ejemplo, cier-
ta entidad, cierto trozo del mundo, es por definicin un sistema (mo-
delo) mecnico si y slo si cumple tales y cuales principios.
(2) Una teora no slo determina, a travs de sus leyes, una clase de mode-
los. Si slo hiciera eso, poco tendramos. Ya sabemos, p.e., qu es en
abstracto un sistema mecnico. Qu hacemos slo con ello? Nada, ya
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
que definimos los sistemas mecnicos para algo ms, quizs, p.e., para
explicar el comportamiento del par de objetos Tierra-Luna. Una teora de-
termina una clase de modelos para algo: para dar cuenta de ciertos da-
tos, fenmenos o experiencias correspondientes a determinado mbito
de la realidad. Parte de la identificacin de la teora consiste entonces en
la identificacin de esos fenmenos empricos de los que pretende dar
cuenta.
(3) Una vez identificados los modelos tericos abstractos y los fenmenos
empricos de los que se pretende dar cuenta, tenemos lo esencial de la
teora. Lo que hace la teora es definir los modelos con la pretensin de
que representan adecuadamente los fenmenos, esto es, con la preten-
sin de que los sistemas que constituyen los fenmenos de los que que-
remos dar cuenta estn entre los modelos de la teora; en trminos tra-
dicionales, que tales fenmenos concretos satisfacen las leyes de la
teora, que se comportan como las leyes dicen. Esta pretensin se hace
explcita mediante un acto lingstico o proposicional, mediante una afir-
macin, la afirmacin o asercin emprica de la teora. La asercin em-
prica afirma que entre los sistemas empricos de los que queremos dar
cuenta y los modelos determinados por las leyes se da cierta relacin.
Esta relacin puede ser de diversos tipos, ms fuertes o ms dbiles,
segn las versiones. Puede ser de identidad, e.e. que los sistemas em-
pricos sean literalmente algunos de los modelos; o de aproximacin,
e.e. que los sistemas empricos se aproximen (en un sentido que hay
que precisar) a los modelos; o de subsuncin, e.e. que los sistemas em-
pricos sean subsumibles (en un sentido que tambin hay que precisar)
bajo los modelos. Pero ms all de los detalles, importantes como vere-
mos, lo esencial es que la asercin emprica expresa la pretensin de
que nuestra teora representa adecuadamente la realidad, esto es, que
nuestros modelos se aplican bien a los sistemas a explicar. As es co-
mo la teora dice cmo es el mundo, esos trozos del mundo de los
que quiere dar cuenta en su mbito de aplicacin especfico. Dice que
el mundo es de cierto modo, al afirmar que ciertos sistemas empricos
especficos son (o se aproximan a, o se subsumen bajo) modelos de los
que ella ha definido; el mundo, los sistemas empricos, se comporta
de ese modo.
109
Universidad Virtual de Quilmes
pues que, si las identificamos de ese modo, estrictamente las teoras no son
verdaderas ni falsas. Pero nada filosficamente sustantivo se deriva slo de
ello. Las teoras, esos pares, llevan biunvocamemte asociadas entidades
que s son susceptibles de ser verdaderas o falsas, a saber, sus aserciones
empricas. Por tanto, aunque no cabe atribuir primariamente valores veritati-
vos a las teoras, s cabe atriburselos derivativamente: una teora es deri-
vativamente verdadera si y slo si su asercin emprica es verdadera. Y es-
te sentido derivativo es suficientemente importante desde el punto de vista
filosfico.
Insistir en que las teoras deben ser, o incluir esencialmente, aserciones,
puesto que decimos que son verdaderas o falsas, no es un argumento sufi-
ciente, si hay buenas razones para no identificarlas de ese modo. Pero del
hecho de que no se identifiquen con entidades proposicionales no se pue-
den extraer conclusiones apresuradas sobre problemas filosficos sustanti-
vos relativos a la verdad de las teoras. Por ejemplo, si hay cierto sentido
interesante en el que las teoras no son falsables, no es porque no sean en-
tidades a las que no cabe atribuir los predicados verdadero o falso. No cabe
atriburselo primariamente, pero s derivativamente, y con ello es suficiente
para el sentido importante de falsar: si la asercin emprica es falsa, la teo-
ra queda falsada en el sentido de que no todo puede permanecer igual. Si
no son falsables ser, quizs, porque entendemos entonces por teora slo
la parte esencial, el ncleo lakatosiano que siempre se puede mantener in-
demne a costa de suficientes reformas en la parte accidental, el cinturn pro-
tector de hiptesis especficas.
Una ltima advertencia antes de ver la variante de la familia semntica co-
nocida con el nombre de concepcin estructuralista de las teoras. Al caracte-
rizar los elementos generales compartidos de esta familia, hemos hecho
constante y central referencia a los modelos. Debe quedar claro que cuando
hemos hablado aqu de modelos nos referamos a la nocin informal. Las di-
versas versiones de la concepcin semntica discrepan, entre otras cosas, en
la naturaleza precisa de esas entidades a las que denominan modelos y cu-
ya determinacin identifica a una teora. Para Suppes y la concepcin estruc-
turalista se trata de modelos en el sentido de la teora de modelos, para van
Fraassen y Suppe son lo que ellos denominan espacios de fase o de estado,
para Giere son modelos en cualquier sentido informal aceptable del trmino.
110
Filosofa de la Ciencia
estructurada, estructura que debe ser hecha explcita mediante el anlisis. pologa estructural, Mxico:
Fondo de Cultura Eco-
Pero mientras que en el estructuralismo francs el trmino estructura per- nmica, 1969; ver
manece ms bien vago una estructura es una entidad en la que las par- tambin Piaget, J., El estructu-
tes se interrelacionan de algn modo para formar una totalidad, en esta ralismo, Buenos Aires: Proteo,
concepcin metaterica el trmino estructura es usado en el sentido pre- 1969.
111
Universidad Virtual de Quilmes
Stegmller, W., Estruc- ahora del trabajo de Kuhn. En el siguiente volumen de la coleccin, Estructu-
tura y dinmica de teo- ra y dinmica de teoras (1973), Stegmller expone, desarrolla y difunde las
ras, Barcelona: Ariel, 1983.
ideas de Sneed. Por su parte, ste trabaj durante dos semestres, entre los
Stegmller, W., La concepcin aos 1974-1975, como profesor invitado en el Seminario de Filosofa de la
estructuralista de las
teoras, Madrid: Alian- Ciencia y Estadstica de la Universidad de Munich, dirigido por Stegmller.
za, 1981; Stegmller, W., Die Fundamentalmente de la mano de este ltimo y de la de sus discpulos C.U.
Entwicklung des neuen Struktu- Moulines y W. Balzer, contina desarrollndose y difundindose durante los
ralismus seit 1973, Berlin-Hei-
aos setenta y ochenta, en especial en Centroeuropa, la concepcin que
delberg: Springer, 1986.
Stegmller denominara en 1973 concepcin no-enunciativa de las teoras
Moulines, C.U., Zur logischen
y desde 1979, a sugerencia de Y. Bar-Hillel, concepcin estructuralista de las
Rekonstruktion der Thermody-
namik, tesis doctoral, Ludwig- teoras. En esos aos esta concepcin ampla el aparato metaterico inicial
Maximilian-Universitt Mn- y extiende su mbito de aplicacin hacia diversas disciplinas cientficas. Los
chen, 1975; Moulines, C.U., resultados principales de esta primera poca se recogen a finales de los
Exploraciones meta-
ochenta en la summa estructuralista de Balzer, Moulines & Sneed (1987).
cientficas, Madrid:
Alianza, 1982. Una bibliografa muy completa de los trabajos en esta poca, desde y so-
bre la concepcin estructuralista, se encuentra en Diederich, Ibarra & Mor-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
112
Filosofa de la Ciencia
113
Universidad Virtual de Quilmes
114
Filosofa de la Ciencia
Para fijar las ideas, presentamos como ejemplo la definicin del predicado x
es un sistema de mecnica clsica del choque.
La mecnica clsica del choque constituye un caso muy sencillo, aunque real, de
teora fsica. En su forma primigenia fue concebida por Descartes (en su tratado
pstumo El mundo o Tratado de la luz), antes del surgimiento de la mecnica
newtoniana, aunque la versin realmente correcta se la debemos a Huygens en
la segunda mitad del siglo XVII. El dominio bsico de dicha teora es un conjun-
to (finito) de partculas que chocan entre s. La teora se interesa solamente por
la configuracin del sistema de partculas antes y despus del choque, sin decir
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
(1) x = P, T, v, m
(2) P es un conjunto finito no vaco.
(3) T es un conjunto que contiene dos elementos t1 y t2.
(4) v es una funcin de P T en el conjunto de vectores tridimensionales
(tros ordenados) de nmeros reales.
(5) m es una funcin de P en el conjunto de nmeros reales tal que, para to-
do pP: m(p) > 0.
(6) pP m (p) v (p, t1) = pP m (p) v (p, t2)
(1) presenta los constituyentes de las estructuras. (2)-(5) son los axiomas
impropios, meras tipificaciones lgico-matemticas de las entidades que
constituyen la estructura. La idea es que P es un conjunto de cuerpos dis-
cretos, e.e. de cuerpos fsicos cuyo tamao es desdeable con respecto
al tamao global del sistema o que, al menos, no manifiesten efectos de
rotacin, que no haya friccin en el aire o de otro medio, que coincidan las
partculas realmente en un lugar en el espacio, etc., que pueden ser lla-
mados partculas, tales que en una estructura x determinada ese con-
junto contiene dos bolas de billar; en otra, de masilla; etc. T es un con-
junto de dos instantes temporales, t1 y t2, para antes y despus del
choque. v es la funcin velocidad, que asigna a cada partcula del siste-
ma un determinado vector-velocidad de tres componentes (un componen-
te para cada direccin en el espacio) en cada instante temporal. m es la
funcin masa, que asigna a cada partcula un nmero real positivo, su ma-
sa (que es independiente del tiempo). (6) es el axioma propio, expresa la
ley propiamente dicha de esta teora: la llamada ley de la conservacin
de la cantidad de movimiento (o ley de la conservacin del momento):
la suma total del producto de las masas por las velocidades de las dis-
tintas partculas del sistema es la misma antes y despus del choque,
115
Universidad Virtual de Quilmes
tructura no tiene una funcin que asigne a los elementos del dominio n-
meros reales, no tiene sentido preguntarse si cumple o no la ley de la con-
servacin de la cantidad de movimiento, pues tal principio involucra
funciones de ese tipo. A las estructuras que satisfacen las tipificaciones
Suppes, P., A Compa-
rison of the Meaning Suppes las llama siguiendo a Tarski realizaciones posibles.
and Uses of Models in Mathe-
matics and the Empirical Scien- Lo que debe quedar claro es que lo esencial de una teora no son (slo) sus
ces, Synthese 12 (1960): 287-
301. Traduccin castellana:
realizaciones posibles, sino (principalmente) sus realizaciones efectivas o mo-
Una comparacin del significa- delos en sentido propio. La teora no slo contiene tipificaciones, contiene
do y los usos de los modelos en condiciones adicionales que son restrictivas en el sentido de que algunas de
las matemticas y las ciencias las realizaciones posibles las cumplirn, pero otras no. No por tener el tipo
empricas, en Suppes, P., Estu-
dios de filosofa y metodologa de conjuntos y funciones que especifican (1)-(5) toda estructura va a satisfa-
de la ciencia, Madrid: Alianza, cer (6); puede ser que tenga ese tipo de entidades, pero que sumando la ma-
1988, pp. 109-123. (cf. Suppes sa por la velocidad de las distintas partculas del sistema antes del choque
(1960), pp. 287-288).
el resultado sea distinto al obtenido despus del choque (como ejercicio, el
lector puede construir un ejemplo de un sistema puramente numrico que
cumpla con (1)-(5), pero no con (6)). Las realizaciones efectivas o modelos
de una teora son aquellas realizaciones posibles que adems satisfacen los
axiomas propios; el conjunto de modelos ser por tanto en general un sub-
conjunto propio del conjunto de realizaciones posibles.
116
Filosofa de la Ciencia
Por ejemplo, que los ngeles, junto con su cantidad de espritu, sus afini-
dades o lo que sea, satisfagan esos axiomas. O, por poner un ejemplo me-
nos absurdo, esos axiomas son satisfechos de hecho por estructuras pura-
mente matemticas, esto es, estructuras tales que el conjunto P est
constituido por nmeros. En otras palabras, entre los modelos efectivos, no
meramente entre las realizaciones posibles, sino entre las realizaciones
efectivas que cumplen con (6), adems de con (1)-(5), hay seguro sistemas
puramente matemticos (y quizs anglicos u otros de parecida rareza),
sistemas de los que no pretende hablar la teora. Parece claro que es esen-
cial a una teora emprica el que pretenda aplicarse slo a algunos de sus
modelos, que no se pensaron los principios newtonianos para sistemas pu-
ramente matemticos (o anglicos). Pero si presentar una teora consiste ex-
clusivamente en presentar una clase de modelos definiendo un predicado
conjuntista (con axiomas impropios y propios), no se ve cmo se puede re-
coger ese hecho.
La cuestin en juego es, como el lector habr adivinado, la de la interpre-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
117
Universidad Virtual de Quilmes
que segn la teora son las cosas. Pero qu cosas? La teora quiere decir
as son las cosas. Pero, de qu cosas dice ella que son as?: bolas de
billar?, de masilla?,ngeles?, simples nmeros? El as est expresado
por el conjunto de modelos. Pero si eso es todo lo que tenemos, nos falta
algo que exprese las cosas de las que se pretende que son de ese modo.
Sin eso no podemos expresar esa pretensin de la teora. Como vimos, es-
ta pretensin es esencial a las teoras, pues stas son ideadas para dar
cuenta de parcelas especficas de la realidad. Y esta pretensin contiene el
elemento proposicional de las teoras, pues se expresa una afirmacin sus-
ceptible de ser verdadera o falsa: verdadera si esas cosas son efectivamen-
te as (si estn entre los modelos), falsa si no lo son.
Adams, E.W., The
Foundations of Rigid
Adams propone abordar el concepto de verdad o correccin [...] a travs
Body Mechanics and the Deri- de la nocin de interpretacin pretendida [intencional] o modelo pretendido
vation of Its Laws from Those of [intencional] de la teora, [... que es] cualquier sistema del cual [...] se pre-
Particle Mechanics, en Henkin, tende que se ajusta a los axiomas. Hay siempre en general un enorme n-
L., Suppes, P. y A. Tarski (eds.),
The Axiomatic Method, Amster- mero de sistemas que satisfacen los axiomas de la teora, pero en las teo-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
dam: North Holland, 1959, pp. ras de la ciencia emprica, normalmente slo unos pocos de ellos sern
250-265, p. 258. aplicaciones o modelos pretendidos.
Son modelos pretendidos de la mecnica del choque, por ejemplo, el sis-
tema formado por dos bolas de billar, o el constituido por bolas de masilla,
etc. La identificacin o caracterizacin metaterica de una teora debe incluir
entonces, adems del conjunto de modelos que satisfacen el predicado, un
conjunto de aplicaciones de las que se pretende que se comportan como la
teora dice, que estn entre los modelos.
Como se ve, una teora no es estrictamente una entidad de la que cabe pre-
dicar primariamente la verdad o la falsedad, pero en un sentido lato, deriva-
tivo, s que es adecuado, y esencial, decir que puede ser verdadera o falsa:
118
Filosofa de la Ciencia
Una teora tiene, como en la versin de Adams del programa de Suppes, una
parte formal y otra aplicativa. Pero ambas partes se articulan a su vez,
como en Kuhn, en diversos niveles de especificidad. Esta idea de los diver-
sos niveles de especificidad se expresa mediante la nocin de red terica,
que describe en toda su riqueza la estructura sincrnica de las teoras, su
imagen congelada en un momento dado de su evolucin. Las teoras, co-
mo entidades diacrnicas que se extienden en el tiempo, sern determina-
das secuencias de redes tericas. La nocin estructuralista que recoge esta
nocin diacrnica es la de evolucin terica.
Las redes estn formadas por diversos elementos estratificados segn
su especificidad. Cada uno de estos elementos tiene una parte formal y otra
aplicativa. La parte formal global de la teora-red queda expresada por el con-
junto de las partes formales de los elementos constituyentes; su parte apli-
cativa global por el conjunto de las partes aplicativas de sus constituyentes.
A estos elementos constituyentes se les denomina elementos tericos. La
parte formal de los elementos tericos se denomina ncleo y su parte apli-
cativa, dominio de aplicaciones pretendidas (o intencionales).
(2) El ncleo K
119
Universidad Virtual de Quilmes
estructuras que satisfacen los axiomas del predicado. Sin embargo, a dife-
rencia de Suppes y Adams, para el estructuralismo no es adecuado identifi-
car el ncleo con un nico conjunto de modelos. Es conveniente que la ex-
presin modelstica de la parte formal de la teora recoja y haga explcitas
diversos elementos distintivos, algunos implcitos en la caracterizacin de
Suppes, otros nuevos. Para referirnos a ellos vamos a recurrir al ejemplo de
la mecnica del choque.
Vimos que algunos de los axiomas del predicado conjuntista, en ese caso
los axiomas (1)-(5), son meras caracterizaciones o tipificaciones de los mo-
delos. Esos axiomas impropios, solos, definen efectivamente entidades o
modelos, pero slo el tipo lgico-matemtico de los mismos, por lo que toda
estructura de ese tipo ser modelo de ellos, sin importar qu pase despus
de sustantivo o especfico a sus constituyentes. El axioma (6) no es as, impo-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
La idea que hay detrs de estas constricciones es que las leyes usuales no
son las nicas que imponen condiciones adicionales efectivas a los modelos
potenciales. Si consideramos modelos sueltos, s, pero si tenemos en cuen-
ta varios modelos a la vez, no. Por ejemplo, segn la mecnica del choque
no puede ser que una misma partcula p tenga una masa en un modelo x y
otra masa diferente en otro modelo y; tampoco permite que si un modelo x
contiene un partcula p1 (p.e. gran bola de masilla) que es la combinacin
de dos partculas p2 (bola de masilla) y p3 (bola de masilla), haya mode-
los que asignen a p1 y p2 masas cuya suma no coincida con la asignada a
p1 en x. La primera condicin expresa simplemente que la masa de una par-
120
Filosofa de la Ciencia
Falta un ltimo elemento para que el ncleo contenga todo lo que es rele-
vante de la parte formal de la teora (ltimo provisionalmente, pues en el
ltimo apartado haremos referencia a otro). Este elemento tiene que ver con
la cuestin de la teoricidad. El estructuralismo rechaza la distincin teri-
coobservacional por ambigua. Esta distincin esconde en realidad dos:
observableinobservable de un lado, y no-tericoterico de otro. Para el
anlisis de la estructura local de las teoras, la distincin relevante es la se-
gunda. Ahora bien, esta distincin no es una distincin absoluta sino que es-
t relativizada a las teoras. Un trmino, o un concepto, o una entidad, no es
terico o no terico sin ms, sino relativamente a una teora dada. Por eso
no se debe hablar tanto de teoricidad cuanto de T-teoricidad, teoricidad rela-
tivamente a la teora T. La idea es que un concepto es T-terico si es un con-
cepto propio de la teora T, introducido por ella, y es T-no-terico si es un con-
cepto previamente disponible a T. La cuestin es precisar esta intuicin. La
formulacin precisa del criterio de T-teoricidad usa de la nocin tcnica de
procedimiento de determinacin, que no podemos presentar aqu en detalle.
Bastar de momento con la siguiente caracterizacin informal.
Los conceptos se aplican o no a las cosas, o si son cuantitativos, asig-
nan valores a ciertas cosas. Determinar un concepto es determinar si se
aplica o no a un objeto particular dado, o si es cuantitativo, determinar el va-
lor de la magnitud para el particular. Los modos para proceder a ello son los
procedimientos de determinacin de los conceptos. Puedo determinar la ve-
locidad de una partcula [haciendo ciertos clculos a partir de] mediante [gra-
cias a] su trayectoria. Puedo determinar la masa de un objeto viendo cunto
se desplaza otra masa tras chocar con ella a cierta velocidad. Ellos son pro-
cedimientos de determinacin, uno de la velocidad, otro de la masa. Pues
bien, si un concepto es T-no-terico, si es anterior a T, entonces tiene proce-
dimientos de determinacin independientes de T; en cambio si es T-terico,
si es propio de T, su determinacin depende siempre de T. Un procedimien-
to de determinacin se considera dependiente de la teora T si presupone la
aplicabilidad de T, la validez de sus leyes, esto es, si usa o presupone mo-
delos actuales de T. La idea es que un concepto es T-terico si no se puede
121
Universidad Virtual de Quilmes
122
Filosofa de la Ciencia
riza presentando o listando todos y cada uno de los sistemas fsicos que
son aplicaciones pretendidas, sino paradigmticamente. No slo es una
aplicacin pretendida de la mecnica dos bolas de billar determinadas
que chocan, con un antes y un despus particulares, sino cualesquie-
ra dos bolas de billar chocan, con distintos antes y despus; y, por
supuesto no slo las bolas de billar, tambin las de masilla, y las naran-
jas, y los pomelos, etc.
123
Universidad Virtual de Quilmes
124
Filosofa de la Ciencia
prctico. Para tratar con el primer tipo de choque, en el cual dos objetos re-
botan con las mismas velocidades de antes del choque, pero en direcciones
opuestas, se aade la ley de la conservacin de la energa cintica (que se
puede simbolizar como pP m (p) v (p, t1)2 = pP m (p) v (p, t2)2)
a la ley de la conservacin del momento. Para el tratamiento del segundo ca-
so, en donde los objetos que chocan no rebotan, se requiere que las veloci-
dades de todas las partculas despus del choque sean las mismas (lo cual
puede simbolizarse como p, p P: v (p, t2) = v (p, t2)). La ley de la con-
servacin del momento y aquellas que rigen en los choques elsticos o per-
fectamente inelsticos no estn al mismo nivel, y es importante que este he-
cho se refleje en la estructura de la teora. No todo sistema que se ajusta a
la ley de la conservacin del momento satisface adems la ley de la conser-
vacin de la energa cintica. Hay sistemas mecnicos que satisfacen la ley
de la conservacin del momento que, sin embargo, incumplen dicha ley, p.e.,
sistemas en donde las partculas que chocan no rebotan. As, mientras todo
sistema mecnico satisface ley de la conservacin del momento, no todos
ellos satisfacen la ley de la conservacin de la energa cintica: slo lo ha-
cen algunos. Los modelos actuales que satisfacen la ley de la conservacin
de la energa cintica adems de ley de la conservacin del momento son
una especializacin de los que slo satisfacen ley de la conservacin del
momento. Los modelos actuales ms generales de la mecnica son los que
satisfacen ley de la conservacin del momento. A partir de ah se pueden
abrir varias lneas de especializacin. Algunos satisfarn adems la ley de la
conservacin de la energa cintica. Otros no, pero satisfarn otro u otros
principios especficos, como el dado para los choques perfectamente inels-
ticos. A partir de la ley de la conservacin del momento, la mecnica clsica
del choque se va especializando en diversas direcciones especficas, impo-
niendo condiciones adicionales con la intencin de dar cuenta de aplicacio-
nes igualmente especficas.
Este es el panorama que pretende recoger y expresar la nocin estructu-
ralista de red terica. La idea que hay detrs de la relacin de especializa-
cin es sencilla de precisar tras el ejemplo visto. Un elemento terico T es
especializacin de otro T si T impone constricciones adicionales a las de T.
Ello supone que: (1) los conjuntos de modelos parciales y potenciales de am-
bos coinciden, e.e. su aparato conceptual es el mismo; (2) los conjuntos de
125
Universidad Virtual de Quilmes
126
Filosofa de la Ciencia
emprica dada (elemento terico, red terica o evolucin terica) slo puede
ser capturada si se toma en cuenta no slo a ella, sino tambin a su entor-
no terico, e.e. si se toman en cuenta sus relaciones con otras teoras. Si-
guiendo con el enfoque modelo-terico, las relaciones intertericas son inter-
pretadas no como relaciones entre (conjuntos de) enunciados sino como
relaciones entre (conjuntos de) modelos pertenecientes a teoras diferentes.
A fin de analizar este tipo de relacin modelo-tericamente, ha sido introdu-
cido en la nocin estructuralista de teora el concepto de vnculo (link), que
en particular se simboliza mediante L y su clase total por medio de GL.
Recordemos que, dentro de los conceptos que figuran en una teora (ele-
mento terico, red terica o evolucin terica), algunos son T-tericos, en el
sentido de ser propios de ella, de tener una determinacin T-dependiente,
que presupone para su determinacin de la validez de sus leyes, mientras
que otros son T-no tericos, en el sentido de ser anteriores a ella, de tener
una determinacin T-independiente, que no presupone la validez de las leyes
de la teora. Pero que un concepto sea no terico para una teora T (que po-
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
see su aparato conceptual Mp) no significa que no lo sea para otra teora, di-
gamos T (con su propio aparato conceptual Mp). De este modo, la teora T
utiliza informacin proveniente de la teora T. Y esta transmisin de infor-
macin de una teora a otra es justamente una de las situaciones suscep-
tibles de ser capturadas mediante los vnculos, que se definen como relacio-
nes sobre los modelos potenciales Mp y Mp de las dos teoras T y T,
respectivamente. Volviendo al caso ya comentado de la mecnica clsica del
choque, vnculos de este tipo lo constituyen aquellos que relacionan dicha
teora con, por ejemplo, la cronometra o la geometra fsica, a travs de los
conceptos de tiempo t y velocidad v; estos conceptos se encuentran presen-
tes en las teoras mencionadas, pero mientras que tiempo y velocidad son
tericos de la cronometra y geometra fsica, respectivamente, determinn-
dose a travs de ellas, son no-tericos respecto de la mecnica del choque,
que los toma prestados de dichas teoras. Los vnculos deben ser inclui-
dos en un tratamiento completo de las teoras cientficas (elementos teri-
cos, redes tericas o evoluciones tericas), constituyendo as un elemento
ms, el ltimo, del ncleo K, de modo tal que ste queda ahora caracteriza-
do mediante la serie K = Mp, M, Mpp, GC, GL.
Para concluir slo mencionaremos que las tpicas relaciones globales en-
tre teoras tales como la reduccin y la equivalencia son consideradas den-
tro de la concepcin estructuralista como constituidas por vnculos. Con el
surgimiento de la mecnica newtoniana de partculas, que bien pudiera ser
considerada como una generalizacin y un enriquecimiento consistente fun-
damentalmente en el aadido del concepto de fuerza de la mecnica del
choque, sta dej de tener una existencia independiente, para pasar a tener-
la parasitaria de aqulla, acostumbrando ser presentada dentro del marco
conceptual de la mecnica newtoniana, como una sub-teora. Esta situa-
cin histrica puede ser capturada formalmente mediante la nocin de reduc-
cin: entre dos teoras (elementos tericos, redes tericas) T y T se da una
relacin de reduccin r, si y slo si (1) existe una correspondencia entre los
marcos conceptuales respectivos de la teora reducida y la reductora (formal-
mente, si r es funcin que va de los modelos potenciales de T (Mp) a los mo-
delos potenciales de T (Mp), tal que, en un nmero finito de pasos, pueda
determinarse qu modelo de Mp corresponde a cul de Mp o a la inversa);
(2) las leyes fundamentales de la teora reducida son implicadas, al menos
127
Universidad Virtual de Quilmes
1.
Mencione las teoras o paradigmas a los que se suelen hacer re-
ferencia en su disciplina de formacin como pertenecientes a ella.
2.
En un libro de texto de su disciplina de formacin en donde se
presente alguna teora (o paradigma), identifique los trminos l-
gico-matemticos y los trminos tcnicos, sealando qu tipo de
conceptos expresan estos ltimos (si conceptos clasificatorios,
comparativos o mtricos). Asimismo, seale cules de los trmi-
nos tcnicos deberan ser considerados como observacionales y
cules como tericos y establezca cul es la relacin entre unos
y otros, es decir, cmo deberan ser las reglas de corresponden-
cia. Seale tambin si dentro de los trminos tericos, adems
de los primitivos (introducidos slo mediante axiomas leyes
de la teora o reglas de correspondencia postulados de significa-
cin), hay algunos que son introducidos mediante definiciones
(los llamados definidos) e identifique ambos tipos. Para ello,
por ltimo, tambin identifique los axiomas o leyes de la teora.
128
Filosofa de la Ciencia
3.
En un libro de texto de su disciplina de formacin en donde
se presente alguna teora (o paradigma), seale a grandes ras-
gos cules son sus generalizaciones simblicas, cules sus mo-
delos ontolgicos o heursticos, cules sus valores metodol-
gicos (discutiendo si son distintivos de dicho corpus terico o
no) y cules sus ejemplos compartidos o ejemplares.
4.
En un libro de texto de su disciplina de formacin en donde
se presente alguna teora (o paradigma), identifique los trmi-
nos lgico-matemticos y los trminos tcnicos, sealando qu
tipo de conceptos expresan estos ltimos (si conceptos clasifi-
catorios, comparativos o mtricos) y, por lo tanto, si stos es-
tablecen el/los dominio/s de objetos de los que habla la teo-
ra o si son relaciones o funciones (numricas o no) definidas
sobre dicho/s dominio/s de objetos. Asimismo, seale cules
de los trminos tcnicos deberan ser considerados como pro-
pios, distintivos o caractersticos de la teora, e.e. como teri-
cos respecto de esa teora, y cules no, e.e. cules deberan ser
considerados como no-tericos en relacin con esa teora.
Identifique las aplicaciones propuestas o intencionales de la
teora. Identifique adems las leyes de la teora y seale si to-
das tienen el mismo estatus o alcance. Por ltimo, seale a
grandes rasgos cules seran las condiciones de ligadura y cu-
les los vnculos intertericos de dicha teora.
129
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.
Referencias bibliogrficas
131
Universidad Virtual de Quilmes
132
Filosofa de la Ciencia
133
Universidad Virtual de Quilmes
134
Filosofa de la Ciencia
135
Prohibida su reproduccin parcial o total sin permiso escrito de la editorial.