Filosofa de la Ciencia como Forma Cultural/Grado Historia Arte

F. Salto 2014

2. Concepciones de la ciencia en la historia

As como el producto ms acabado del arte son las obras, el producto ms acabado
de la ciencia son las teoras. Las teoras cientficas, que no confundimos con otros tipos de
teoras que no nos interesan, son conjuntos coherentes de enunciados que tienen el valor
cognitivo de acercarse a la verdad objetiva de los hechos conocidos. Las teoras (cientficas)
son los objetos cognitivamente ms valiosos de los que disponemos, aunque no podamos
afirmar que son verdaderos.
Para los griegos theoria es tanto como contemplacin o visin lcida o comprensiva.
En el renacimiento y la poca moderna la teora cientfica se defini metodolgicamente, y
en la actualidad el concepto de teora se entiende lingstica o modelistamente. Para
ilustrar la evolucin del concepto de ciencia en la historia nos concentramos aqu en tres
maneras de entender qu es una teora cientfica.

2.1. El concepto antigo de teora

Distintas civilizaciones antiguas desarrollaron diversos conocimientos cientficos,

aunque la civilizacin griega es el punto de referencia en el origen de una cultura cientfica
autoconsciente y autocrtica capaz de aunar sistemticamente la deduccin lgica y la
observacin emprica1. En la cultura cientfica griega tomaron forma gran parte de los
conceptos metodolgicos principales y vigentes, as como los problemas filosficos
asociados al desarrollo cientfico. En palabras de A.C. Crombie, "podemos seguir el rastro
de la tradicin caractersticamente occidental de la ciencia y la filosofa racional hasta el
compromiso de los antiguos griegos para decidir las cuestiones mediante argumento y
evidencia, en lugar de por costumbre, orden, autoridad, revelacin, suerte o algn otro
principio o prctica. Desarrollaron de este modo la nocin de problema, distinta de la de
doctrina, y por consiguiente desarrollaron el hbito de afrontar dificultades tericas y
prcticas mediante la percepcin y la solucin racional de problemas" 2.
Nos montamos en un coche y creemos que nos llevar a tal sitio, aunque no
1 Para los griegos, curiosamente, el punto de referencia clsico era la ciencia egipcia.
2 A.C. Crombie, Science, Art and Nature in Medieval and Modern Thought, The Humbledon Press, London, 1996 p.1

Filosofa de la Ciencia como Forma Cultural/Grado Historia Arte

F. Salto 2014

conocemos propiamente cmo funciona un motor de combustin. Creemos que es bueno

comer protenas, aunque no conocemos propiamente cmo funciona su digestin y su
conversin en aminocidos. Tenemos en suma muchas creencias aunque carezcamos de
conocimientos que las sustenten3. Los textos de Platn y Aristteles llaman doxa (

)a

las creencias que tienen cierto fundamento en el sentido comn, en la percepcin, en la

costumbre, ... Por ejemplo, creo que mi madre me quiere, creo que el Bernesga viene
crecido este ao, creo que hay polticos corruptos, creo que llegaron a la luna ... La doxa
incluye tanto creencias explcitas como implcitas, por ejemplo creo que no voy a
deshacerme en espuma dentro de 10 minutos, aunque no me he parado a creerlo, esto es,
no he ocupado tiempo en concebir esa creencia. Hay creencias que resultan ser verdaderas
y otras que resultan ser falsas, pero el valor de verdad de una creencia no determina en
general si es creda o no. El lector, como los griegos clsicos, tiene una amplia gama de
creencias que guan su accin sin que en general sean fundadas ni explcitas.
La creencia o doxa es un tipo elemental de cognicin racional (Aristteles, De Anima
428a 21-24) distinto de modos de cognicin ms elaborada, propias del conocimiento
(episteme), entendimiento o comprensin (nous), sabidura prctica (phronesis) y
contemplacin (theoria). Todas estas formas de cognicin racional se distinguen a su vez
de la phantasia o imaginacin, capacidad no racional compartida con distintos animales.
Que la doxa no es conocimiento es claro tanto para los griegos clsicos como para
nosotros. Las razones a grandes rasgos son claras: (a) las creencias pueden ser falsas, por
ejemplo mi madre puede no quererme, o puede que no hayan llegado a la luna, (b) aun
siendo verdaderas pueden serlo por razones espreas o que no tengan que ver
debidamente con la creencia, por ejemplo puede que mi madre me quiera por mi carcter
dulce y no por ser su hijo, o puede que los soviticos hubiesen llegado antes en secreto a la
luna.
Platn en el Dilogo Menn propone entender el conocimiento (episteme, )
como una creencia verdadera que est justificada o correctamente fundada. En qu
consiste exactamente la fundamentacin correcta se ha escapado a siglos de reflexin
epistemolgica. El propio Platn en el dilogo Teeteto se plantea que la fundamentacin de
los fundamentos lleva a una cadena infinita, por lo que la fundamentacin ltima del
3 Un desarrollo ms detallado de esta distincin en: Jos Ortega y Gasset Ideas y Creencias. Madrid: Alianza, 2005
(1979)

Filosofa de la Ciencia como Forma Cultural/Grado Historia Arte

F. Salto 2014

conocimiento resulta aportica.

Ejercicios 2.1.
2.1. Mostrar mediante ejemplos las diferencias entre (i) creencias, (ii) creencias
verdaderas, (iii) creencias verdaderas justificadas
2.2. Un observador ve en la lejana lo que parece ser una oveja en el campo. As que
cree que hay una oveja en el campo. Sin embargo, resulta que era un perro que el pastor
haba camuflado para hacerlo pasar por oveja. Por otra parte, s que hay una oveja en el
campo, oculta a la vista de todos tras un arbol. Por tanto la creencia del observador es
verdadera y est justificada. Sin embargo, no parece que podamos decir que el observador
sabe que hay una oveja en el campo. Explicar esta paradjica situacin propuesta por
Roderick Chisholm.
2.3. En una metfora vemos una cosa como otra. Cmo explicar saber leer o ver
una metfora?

La aparicin de dos conceptos clave determina el alcance histrico de la ciencia y la

filosofa griegas: el concepto de causalidad y el de deduccin. La combinacin de ambos
est en el origen de la ciencia tal y como ha sido entendida por los humanos durante siglos.
La filosofa acadmica (esto es, socrtica, platnica y aristotlica) estaba fascinada
por que las causas producen efectos de modo predecible (pro-nesis), de modo tal que
atribua a la causalidad un carcter general ms all de la acumulacin de casos
particulares. Las relaciones causales parecen responder a leyes generales. Si dejo este
objeto en el aire, va a caer con independencia de si estoy en un rincn u otro del planeta.
Imaginemos que inopinadamente el ministro Wert se tira a la calle desde la ventana de
nuestra clase. Predecimos que caer al suelo como los objetos en general hacen. Esto
muestra que las relaciones causales no son slo ciertas de los casos actuales, sino tambin
de casos posibles o contrafcticos 4.
Otra propiedad aparente de las relaciones causales es que son asimtricas en el
tiempo: la causa de algn modo antecede al efecto. Para la ciencia antigua, establecer
relaciones causales era un valioso instrumento cognitivo, que se realizaba en general
mediante observacin de la naturaleza y sus fenmenos. Hay sin embargo toda una
4 Contrafctico o contra los hechos. Una situacin es contrafctica sino no es actualmente el caso. "Si Miguel Angel
apareciese en nuestra poca, sera un gran artista" es un enunciado contrafctico. Obsrvese que hay enunciados
contrafcticos que son verdaderos ("Si te regalo cien millones te hago rico") e incluso necesariamente verdaderos
("Si ahora se construye una catedral gtica, entonces no es de estilo preromnico").

Filosofa de la Ciencia como Forma Cultural/Grado Historia Arte

F. Salto 2014

complicada red de modos en los que las causas contribuyen aparentemente a los efectos:
por ser condiciones subyacentes, por ser factores que provocan o inhiben efectos, por ser
disparadores inmediatos, por ser factores preventivos o facilitadores, etc.
Consideremos aristotlicamente las causas de la lectura de esta pgina. La primera
es una causa eficiente (Aristteles, ), el hecho de pasar los ojos por encima de estas letras
es lo que hace que efectivamente se lea. Las causas materiales de la lectura es la
constitucin material de la pgina, su soporte y la constitucin del lector (Aristteles, ). La
causa formal de la lectura de esta pgina es la presencia de propiedades como que la
pgina sea legible y que haya un lector (Aristteles, ). La causa final de la lectura de esta
pgina responde a la pregunta por qu la leo? En este caso las causas pueden ser motivos,
finalidades, objetivos que se tiene planteados el lector, tal como aprobar cierta asignatura,
etc. Estas son las cuatro modalidades de causa reconocidas por Aristteles y explotadas -a
veces hasta la saciedad- por la ciencia antiga.

La explicacin de un fenmeno consiste en aportar las causas que lo explican.

Distintos intereses pragmticos admiten distintas explicaciones de un mismo fenmeno.
Aristteles en su teora de las cuatro causas ya reconoca que la misma pregunta por qu
x? puede responderse correctamente de distintas maneras, dependiendo de los intereses y
creencias del cuestionador. Tales teoras pragmticas de la explicacin pretenden
esclarecer la relacin entre el contexto en que se produce una pregunta por qu x? y los
tipos de respuesta corecta que pueden drsela adecuadamente.
Ejercicios 2.2.
2.4. Qu puede explicarse causalmente de una obra de arte?, Qu no?
2.5. Distinguir entre causa y motivo.

El concepto de causalidad se aplicaba para entender fenmenos empricos como la

dinmica o movimiento de los cuerpos. Aristteles clasific todos los movimientos en
celestiales, que son circulares y eternos, y terrestres, que son rectilneos y finitos. Cada uno
de los cuatro elementos (tierra, agua, aire, fuego) se mova hacia su lugar natural.
Aristteles mantuvo que los cuerpos pesados caen ms rpidamente que los ligeros, porque
la velocidad estaba determinada por la relacin de la fuerza motriz (peso) y la resistencia.
Todas las fuerzas eran fuerzas de contacto, de manera que un cuerpo movindose con

Filosofa de la Ciencia como Forma Cultural/Grado Historia Arte

F. Salto 2014

velocidad constante se someta continuamente a fuerzas ejercidas por el medio en que se

mueve. La resistencia garantizaba que el movimiento sera finalmente finito, y de este
modo no haba vaco ni movimiento en el vaco (Cfr. ).
El concepto de causa final origina las explicaciones funcionales o teleolgicas, que
explican la causa de un fenmeno en sus propsitos o finalidades. Aunque desde el siglo 17
se ha rechazado que todo en la naturaleza tenga una causa final, la explicacin teleolgica
se considera legtima en distintas ciencias, como por ejemplo en biologa. Por ejemplo, la
estructura de la mano humana se explica en trminos de su funcin adaptativa.
En la ciencia griega el estudio de la causalidad est sistemticamente acompaado
de la deduccin, que aprovecha el carcter pretendidamente general y necesario tanto de
las leyes causales como deductivas. La deduccin es la inferencia o razonamiento cuyas
conclusiones se siguen necesariamente de sus premisas. Por ejemplo, de la premisa:
Soy alto y delgado
se sigue la conclusin:
Soy alto
De las premisas: {todos los hombres son mortales, Scrates es hombre}, se sigue la
conclusin:
Scrates es mortal.
Aristteles en sus obras Categoras y en los Analticos estudi sistemticamente las
reglas del razonamiento deductivo, descubriendo y nombrando algunas formas bsicas de
inferencia silogstica. Sin embargo la ciencia antigua no dispuso de procedmientos
sistemticos para razonar de modo inductivo, en lugar de deductivo.
Para la ciencia antigua, una proposicin es cientfica si es:
- general o universal. Esto es, en la forma "Todos los As son esencialmente Bs"
- absolutamente cierta.
- explicativa causalmente. Esto es, hay un silogismo que explica por qu tal cosa es B
atribuyendo A como causa.
Poseer genuino conocimiento cientfico (episteme) implica poseer la comprensin
demostrativa de las primeras causas o esencias de todas las cosas de un determinado tipo o

Filosofa de la Ciencia como Forma Cultural/Grado Historia Arte

F. Salto 2014

gnero.

La forma ms elevada de conocimiento para los griegos, la theoria, era entendida

por Platn en trminos de comprensin contemplativa de las formas o las ideas. El
conocimiento cientfico o episteme no es propiamente theoria. Por otra parte, la tradicin
intelectual griega se mantiene y desarrolla en la cultura cientfica de las primeras centurias
del imperio. Dos figuras destacadas son Galeno (130-200) y Ptolomeo (100-170). Sin
embargo, el entorno social e intelectual en Europa se degrada rpidamente con la crisis del
imperio, las invasiones brbaras y el fin del pluralismo pagano con la imposicin del
cristianismo. En el ao 475 el filsofo ateniense Proclo deja constancia de la ltima
observacin astronmica hasta que cerca de mil aos despus Coprnico retomase la
observacin cientfica celeste.

2.2. El concepto moderno de teora

Los profundos cambios que significaron el nacimiento de la ciencia moderna en el
siglo XVII implicaron tambin el surgimiento de un nuevo concepto de teora cientfica
acompaando el empleo del mtodo cientfico hipottico deductivo. Por ello el concepto
moderno de teora cientfica se define metodolgicamente: la metodologa propiamente
cientfica surge en esta poca moderna, en la que tambin se plantean las principales
cuestiones metodolgicas acerca de la ciencia.
El pivote de la revolucin cientfica del siglo XVII son los descubrimientos
cientficos de Galileo, que se aproxima de un modo radicalmente nuevo a la comprensin
de los fenmenos fsicos. En lugar de entrar en la discusin causal, Galileo pretende
explicar matemticamente las relaciones entre magnitudes o cantidades medibles
experimentalmente. Esta comprensin cientfica moderna pretende explicar y predecir de
modo cuantitativo las relaciones funcionales entre distintas magnitudes, abandonando la
retrica y la metodologa aristotlica. Por una parte, Galileo desmantela la distincin entre
la materia celeste y terrestre, descubriendo la presencia de montaas en la luna, manchas
en el sol, satlites en Jpiter y fases en el planeta venus (Feyerabend 1975). Si hay un nico
tipo de materia, entonces hay tambin un nico tipo de movimiento natural, comn tanto a
la tierra como a los cielos. Galileo en consecuencia estudi unificadamente esta "nueva

Filosofa de la Ciencia como Forma Cultural/Grado Historia Arte

F. Salto 2014

ciencia matemtica de la materia y el movimiento", fundando de este modo la mecnica

que hoy llamamos clsica o newtoniana. Llegar a comprender los planetas y la tierra como
objetos materiales difera dramticamente no slo de Ptolomeo, sino incluso de la
incipiente astronoma heliocntrica de Coprnico y Tycho Brahe, que ya haban
abandonado el modelo de las esferas cristalinas para entender el espacio.
Galileo llam en un principio gravitas a ese principio nico del movimiento natural.
Para el estudio del movimiento experimentaba con las llamadas mquinas arquimedeanas
simples, como el plano inclinado y la balanza, buscando una medida matemtica adecuada
de la aceleracin. Para lograrlo Galileo necesit concebir trabajosamente una medida de la
variable del tiempo, lo que le acabar permitiendo obtener modelos dinmicos de los
procesos de movimiento. En un principio el tiempo se meda o bien por pulsiones del lad
(el padre de Galileo era msico), o bien por las oscilaciones del "puscilogium" (pndulo
inventado por Galileo), o bien mediante la clepsidra (reloj de agua). El pndulo mostr que
el tiempo es la variable crucial para describir la aceleracin, y Galileo comprob
experimentalmente la isocrona, esto es, la existencia de tiempos iguales para iguales
longitudes de cuerda en el pndulo, a pesar de su distinto peso. Galileo tard aos en
descubrir que el movimiento acelerado se mide adecuadamente contra el tiempo, en lugar
de depender del lugar ni de la gravitas especfica de cada objeto. La ley de la cada libre,
expresada como el cuadrado del tiempo, fue descubierta por Galileo en primera instancia
mediante experimentos en el plano inclinado. Este descubrimiento crucial del movimiento
rectilneo uniformemente acelerado, en el que el espacio recorrido es proporcional al
tiempo al cuadrado, supera la teora aristotlica del movimiento. Galileo concibe

un

movimiento constantemente acelerado en el vaco que va disminuyendo por efecto de la

resistencia del medio y ello permiti hacer accesible a la geometra la cada libre, puesto
que dependa exclusivamente de la altura y no de la gravitas 5.
La explicacin galileana de la cada de los cuerpos inici una aproximacin
diferencia a la comprensin cientfica, que consiste en determinar cmo determinadas
cantidades medibles estn correlacionadas con propiedades y funciones fsicas. Esta
aproximacin descriptiva no postulaba causas, pero s permita formular hiptesis con
precisin que podan ser predictiva y retrodictivamente comprobadas. La apelacin
5 El razonamiento geomtrico de Galileo nos resulta extrao al haber sido educados en el razonamiento
algebraico que aplica la ecuacin v=d/t (donde v es la velocidad, d la distancia y t un intervalo de
tiempo).

Filosofa de la Ciencia como Forma Cultural/Grado Historia Arte

F. Salto 2014

aristotlica y escolstica a mecanismos causales a menudo inobservables dej de

considerarse un mtodo adecuado. Por ejemplo, siglos despus explicando los campos
electromagnticos, Maxwell ofreci una teora cuantitativa que haca un uso puramente
heurstico de las causas subyacentes.

Wisan (1981) y Hacking (2004) han visto en la obra de Galileo la emergencia de un

nuevo estilo cientfico, explcitamente anlogo a la comprensin del estilo en historia del
arte, especialmente en la aproximacin formalista de Wlfflin. Su nocin de estilo
cientfico se caracteriza en trminos de estructura, contenidos, tcnicas y cualidad
expresiva. As, distingue entre el estilo aristotlico y el galileano en la explicacin del
movimiento. Uno es discursivo y clasificatorio, mientras que el otro es geomtrico y
axiomtico. Un estilo define los conceptos fundamentales, mientras que otro plantea un
tratamiento unificado de los movimientos locales. Un estilo se centra en el anlisis lgico y
otro en la derivacin matemtica. Un estilo pretende definir substancias y esencias,
mientras que otro magnitudes fsico matemticas.

Ejercicios 2.3.
2.6. Compara los conceptos de ESTILO y MTODO.

2.3. El concepto contemporneo de teora y modelo

A medida que la ciencia se va desarrollando, teoras cada vez ms integradoras van
substituyendo a las teoras anteriores. Con carcter general, las nuevas teoras explican
todo lo que explican las teoras que anteceden y adems nuevos fenmenos o con leyes ms
generales. Por ejemplo, en el caso de la mecnica, la teora llamada clsica fundada por
Newton y Leibniz desde los conceptos de Galileo, se ve integrada por la mecnica
relativista, fundada por Einstein. Explica como casos particulares los fenmenos
mecnicos clsicos, y a la vez explica el movimiento en geometras curvas. Sin renunciar a
los principios y proposiciones de las teoras anteriores, se reinterpreta su vocabulario en
trminos de un dominio ms general.
Vamos a llamar modelo a cualquier interpretacin de una teora que la haga
verdadera. En particular, un modelo es un dominio en trminos del cual se interpreta el

Filosofa de la Ciencia como Forma Cultural/Grado Historia Arte

F. Salto 2014

lenguaje de una teora de modo tal que sta sea verdadera en tal dominio. Los modelos de
una teora, una vez definidos como conjuntos con determinadas propiedades, pueden ser
estudiados a su vez cientficamente, y ste es el planteamiento ms generalizado en la
actualidad para comprender las teoras cientficas como clases de modelos. (Suppes 2002,
Sankar, 2010).
Ejemplos de modelos son los siguientes: el modelo bolsa del MIT para el ncleo del
tomo, el modelo de un gas en trminos de bolas de billar, el modelo de Bohr del tomo, el
modelo de Pauling de los enlaces qumicos, el modelo de cadena gaussiana de los
polmeros, el modelo de Lorenz de la atmsfera, el modelo de Lotka-Volterra de
interaccin presa/depredador, modelos de equilibrio de los mercados, ... En general los
modelos interpretan las proposiciones, leyes y axiomas de una teora en un dominio
especfico. Tpicamente es relevante que pueda representarse el mismo fenmeno de
diferentes modos en diferentes modelos, comparando experimentalmente sus resultados.
Para estudiar las relaciones entre modelos hay toda una batera de conceptos que
son tiles para el estudio de representaciones en general. Decimos que dos modelos son
isomorfos (misma forma) si (i) a todo elemento de uno corresponde uno del otro, (ii) a
cada relacin entre elementos de uno corresponde una del otro. Las estructuras y modelos
isomorfos son, naturalmente, muy parecidos aunque no idnticos. Por ejemplo, un pulmn
artificial y un pulmn natural son isomorfos. En matemticas abundan las estructuras
isomorfas. Por ejemplo, las series siguientes son isomorfas:
0,1,2,3,4,...
, {},{{}},{{{}}},{{{{}}}},...
,{},{,{},{,{,{}},{,{,{,{}}}},...
En muchas ocasiones es demasiado ambicioso optar a modelos isomorfos y por eso
es til contar con modelos parcialmente isomorfos (Da Costa y French, 2003), en los que
alguna parte de un modelo es isomorfa a otra parte de otro modelo. Una relacin ms dbil
que la del isomorfismo es el homomorfismo, que se da cuando determinadas propiedades
bsicas de un modelo se preservan en otro, por ejemplo entre una fotocopia al 30% y el
original. Los modelos homomrficos son en general simplificaciones que no coinciden uno
a uno con la realidad o con otro modelo, pero que s preservan propiedades importantes.
Un modelo homomrfico permite estudiar en un nivel simplificado el comportamiento

Filosofa de la Ciencia como Forma Cultural/Grado Historia Arte

F. Salto 2014

probabilstico de un gas o de una economa, por ejemplo.

Si en lugar de considerar el tipo de relacin que sustenta el modelo consideramos su
funcionalidad, podemos distinguir distintos tipos de modelos:
Los modelos icnicos son rplicas naturalistas o imgenes especulares. Maquetas o
versiones en miniatura/aumentados de objetos son ejemplos caractersticos. En ciencia se
emplean modelos icnicos con razones experimentales, investigando ejemplares
particulares de un mineral para extraer conclusiones provisonales sobre la naturaleza de
todos los ejemplares de tal mineral. O bien en un estudio clnico se generalizan las
consecuencias observadas de cierta substancia o medicamento sobre los participantes en el
estudio a la poblacin en general.
Los modelos icnicos no siempre estn disponibles, por lo que se emplean a
menudo modelos idealizados, en los que deliberadamente se simplifican las condiciones de
la muestra. Las idealizaciones aristotlicas descartan considerar propiedades o
circunstancias que no son relevantes. Por ejemplo, en economa la curva de Philips
muestra la relacin entre inflacin y desempleo, prescindiendo de todos los dems
factores. Las idealizaciones galileanas distorsionan deliberadamente el modelo para
simplificarlo y estudiar las leyes subyacentes. Por ejemplo los fsicos imaginan modelos en
los que puntos de masa se mueven en planos sin friccin ni rozamiento, los economistas
imaginan modelos en los que los agentes son exclusivamente racionales, los bilogos
imaginan poblaciones aisladas, etc. Ambos tipos de idealizaciones no son excluyentes y en
la ciencia aparecen a menudo unidos.
Otra familia de modelos est formada por las analogas. Un sistema econmico
puede modelarse como un sistema hidralico, o un gas puede modelarse como un grupo de
bolas de billar, o la mente modelarse como un ordenador, etc. Una analoga simple
consiste en compartir propiedades, como la tierra y la luna al ser ambas cuerpos esfricos
opacos y slidos que reciben calor y luz del sol y giran sobre sus ejes, etc. Pero compartir
propiedades no es imprescindible en todas las analogas. Es posible que sean las
propiedades las anlogas y no los objetos, por ejemplo el sonido y la luz son similares
porque los ecos son como reflejos, el volumen como el brillo, el tono como el color, etc.

Filosofa de la Ciencia como Forma Cultural/Grado Historia Arte

F. Salto 2014

Si una teora implica que usted no est leyendo esto, entonces lo ms razonable es
pensar que es una teora falsa. Las teoras tienen una estructura lgica, que en esencia
consiste en que pertenecen a la teora todas las afirmaciones implicadas por la propia
teora. A esta propiedad se le llama estar deductivamente cerrado. Toda teora cientfica
tiene una estructura lgica deductivamente cerrada, que est dada por los axiomas o
principios de los que se deducen los teoremas o leyes. Slo algunas teoras cientficas,
fundamentalmente matemticas, estn plenamente axiomatizadas, mientras que la
mayora contiene postulados especficos vinculados a interpretaciones tambin especficas.
Adems las teoras tienen componentes convencionales u operativos. No slo
notaciones, abreviaturas, simplificaciones, sino tambin sistemas de medida, protocolos de
revisin, comprobacin o aplicacin, etc.
Hay adems en toda teora cientfica un componente observacional, que incluye un
vocabulario ms o menos discriminante, as como predicados observacionales.
Finalmente, toda teora tienen un componente heurstico de interpretacin y
aplicacin prctica.

Ejercicios 2.4.
2.7. Una teora que no tiene contradicciones se llama consistente. Es consistente
cualquier teora?
2.8. En qu se distinguen modelos diferentes de una teora?
2.9. Llamamos metateora a una teora que es un modelo a su vez de una teora.
Poner o inventar (a) un ejemplo de metateora, (b) un ejemplo de metateora artstica, (c)
un ejemplo de metametateora.

REFERENCIAS

see Palmieri 2005

Discourses on the Two New Sciences (Galileo 1638/1954.)
(Cf. Palmieri, 1998, 2004a).
The final chapter of Galileo's scientific story comes in 1638 with the publication of Discourses of
the Two New Sciences. (See Machamer 1998, Machamer and Hepburn 2004, and the detailed work

Filosofa de la Ciencia como Forma Cultural/Grado Historia Arte

F. Salto 2014

spelling this out by Biener 2004).

Los experimentos de Galileo son tanto situaciones reales como experimentos mentales.
2.7. Hacking (2004)
Por ejemplo compara dos cuerpos del mismo material y diferente tamao. Segn
Aristteles, caer ms rpido el ms grande. Supongamos entonces que atamos los dos
cuerpos, de modo que la ligereza del pequeo atene el peso del grande.
. Then, he says, join the bodies together. In this case the lightness of the small one ought to slow
down the faster larger one, and so they together fall as a speed less than the heavy fell in the first
instance. Then his punch line: but one might also conceive of the two bodies joined as being one
larger body, in which case it would fall even more quickly. So there is a contradiction in the
Aristotelian position (Palmieri 2005).
the relation of a parent to children is analogous to the relation of the state to citizens. The analogies
mentioned so far have been what Hesse calls material analogies. A more formal notion of analogy
can be obtained by abstracting from the concrete features the systems possess and focusing only on
their formal setup. What the analog model then shares with its target is not a set of features, but
the same pattern of abstract relationships. This notion of analogy is closely related to what Hesse
calls formal analogy. Two items are related by formal analogy if they are both interpretations of
the same formal calculus. For instance, there is a formal analogy between a swinging pendulum
and an oscillating electric circuit because they are both described by the same mathematical equation.
A further distinction due to Hesse is among positive, negative, and neutral analogies. In comparing
properties or relations between two items, positive analogies consist in those they share (both gas
molecules and billiard balls have mass), while negative analogies consist in those they do not (billiard
balls are colored, gas molecules are not). The neutral analogy comprises the properties not yet
known to belong to either the positive or the negative analogy (do gas molecules obey Newtons
laws of collision?). Neutral analogies play an important role in scientific research because they give
rise to questions and suggest new hypotheses. PhenomenologicalModels Phenomenologicalmodels
have been defined in different, though related, ways. A standard definition takes them to be models
that represent only observable properties of their targets and refrain from postulating hidden
mechanisms and the like. Alternatively one can define phenomenological models as being independent
of general theories. These two definitions, though not equivalent, often coincide in practice
because hidden mechanisms or theoretical entities are commonly brought into a model via a general
theory.

Models are vehicles for learning about the world.

By studying a model one can discover features of the system the model stands for. This cognitive
function of models has been widely acknowledged in the literature, and some even suggest that models
give rise to a new style of reasoning, called modelbased reasoning (Magnani and Nersessian 2002).
This leaves one with the question of how learning with a model is possible.
Learning About the Model: Experiments,
Thought Experiments, and Simulation Learning about a model happens at two places,
in the construction and the manipulation of the model (Morgan and Morrison 1999). There are
no fixed rules for model building, and so the very activity of figuring out what and how a model fits
together affords an opportunity to learn about the model. Once the model is built, one learns about its
properties not by looking at it, but by using and manipulating it to elicit its secrets.
Depending on what kind of model one is dealing with, building and manipulating a model employs
different activities demanding a different methodology. Material models seem to be unproblematic,
as they are commonly used in the kind of experimental contexts that have been discussed extensively
by philosophers of science (the model of a car is put in the wind tunnel to measure its air
resistance). This is not the case with fictional models. What constraints are there to the construction
of fictional models, and how does one manipulate them? The natural response seems to obtain an

Filosofa de la Ciencia como Forma Cultural/Grado Historia Arte

F. Salto 2014

answer to these questions by performing a thought experiment. Different authors have explored this
line of argument but they have reached very different and often conflicting conclusions as to
how thought experiments are performed and what the status of their outcomes is (Hitchcock 2004,
Chs. 1 and 2).
An important class consists of mathematical models. In some cases it is possible to derive results
or solve equations analytically. But quite often this is not the case. It is on this point that the
invention of the computer has had a great impact, as it allows one to solve equations that are otherwise
intractable by making a computer simulation. Many parts of current research in both the natural
and social sciences rely on computer simulations. To mention only a few examples, computer simulations
are used to explore the formation and development of stars and galaxies, the detailed dynamics
of high-energy heavy-ion reactions, aspects of the intricate process of the evolution of life, and
factors determining the outbreak of wars, the progression of an economy, decision procedures in an
organization, and moral behavior.
What is a simulation? Simulations characteristically are used in connection with dynamic models,
i.e., which involve time. The aim of a simulation is to solve the equations of motion of such a model,
which is designed to represent the time evolution of its target system. So, one can say that a simulation
represents one process by another process (Hartmann 1996; Humphreys 2004).
It has been claimed that computer simulations constitute a genuinely new methodology of science,
or even a new scientific paradigm (Humphreys 2004). Although this contention may not meet
with univocal consent, there is no doubt about the practical significance of computer simulations. In
situations in which the underlying model is well confirmed and understood, computer experiments
may even replace real experiments, which has economic advantages and minimizes risk (as, for example,
in the case of the simulation of atomic explosions). Computer simulations are also heuristically
important. They may suggest new theories, models, and hypotheses, for example, based on a
systematic exploration of a models parameter space. But computer simulations also bear methodological
perils, as they may provide misleading results. In many cases the relevant variables are continuous.
But due to the discrete nature of the calculations carried out on a computer, they do not allow
for an exploration of the full range of the variables, and therefore may not reveal certain important
features of the model.

es del lenguaje de una la teora Consideremos un dominio cualquiera, que no es ms que

un conjunto X de elementos cualesquiera en el que ocurre algo, esto es, se dan
determinadas relaciones R. Llamemos estructura al par <X,R>. Decimos que esta
estructura es modelo de una oracin si esa oracin es verdadera en tal estructura.
la Dado un conjunto de elementos cualesquiera X que estn en determinadas
relaciones R tenemos el par <X,R>, Un gesto, una palabra, una accin pueden
interpretarse de modos diversos. Por ejemplo poner la mano as: C significa cosas muy
distintas en diversos contextos (perdono la vida; tudo bem; suerte; culpable; inocente;...).
cualquiera como:Tmese como dominio
concepcin linguistica: semntica, sintaxis, pragmtica
interpretar los datos en teoras
heurstica-arte
unidad de la ciencia: emergencia
progreso mas sistematicidad