Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1. Introducción
Como hemos visto en el tema anterior, durante los setenta surgen enfoques y disciplinas
como la nueva sociología de la ciencia, cuyos temas se solapan con los tradicionales de
la filosofía de la ciencia.
También durante este periodo van a surgir otras áreas de estudio, como la economía de
la ciencia y la tecnología, o los estudios de ciencia, tecnología y sociedad (CTS).
1
Así, en definitiva, coincidiendo con el giro historicista, diversas transformaciones
tecnológicas y sociales hicieron que no fueran ya sólo los filósofos e historiadores de la
ciencia los que se encargaran de los temas tradicionales de la filosofía de la ciencia:
tanto los propios temas como los especialistas encargados de ellos cambiarían
considerablemente durante la segunda mitad del siglo XX.
Junto con otros muchos especialistas que estudian la ciencia y la tecnología desde
diferentes perspectivas, los filósofos de la ciencia han seguido con su trabajo después
del giro historicista, pero el trabajo era ya en muchos sentidos nuevo a causa de los
señalados desarrollos.
A pesar de que los estructuralistas dan por superadas la práctica totalidad de las tesis de
los positivistas lógicos, e incluso aunque tratan de incorporar algunas de las
aportaciones del giro historicista, su intención principal es la de mantener el rigor en el
análisis lógico de las teorías científicas y prolongar la defensa de la racionalidad
científica que caracterizó a la filosofía de la ciencia previa al giro historicista.
Aunque a ellos les case peor que a los estructuralistas la descripción en términos de
continuidad con la concepción heredada, también los semanticistas y los
representacionalistas pueden concebirse como continuadores del trabajo tradicional en
filosofía de la ciencia.
En resumen, y frente a las diferentes líneas heterodoxas que vimos en el tema anterior,
en éste volvemos a centrarnos en escuelas que responderían al desafío del giro
historicista manteniéndose dentro de la línea de la filosofía de la ciencia inaugurada por
los positivistas lógicos.
2
La clave esencial de esta línea de continuidad la encontramos no en tesis o doctrinas
específicas, sino en que, para los autores y escuelas de los que nos ocuparemos en este
tema, la naturaleza y la justificación de las teorías científicas siguen siendo el objeto de
la filosofía de la ciencia.
2. La concepción semántica
Interesa subrayar desde el principio que las otras dos corrientes que veremos en este
tema (el estructuralismo y el representacionalismo) suelen concebirse como desarrollos
de la concepción semántica (o catalogarse, de hecho, como subclases del semanticismo).
En lugar de tratar de realizar una axiomatización formal de las teorías científicas (como
los positivistas lógicos), la concepción semántica buscó elaborar una axiomatización
informal basada en teoría de conjuntos.
Lo que tenemos aquí es por tanto un nuevo análisis lógico semi-formal basado en las
nociones de modelo y en la teoría de conjuntos (similar al análisis lógico-formal de los
positivistas lógicos, pero con diferencias significativas en el aparato descriptivo con el
cual tratan de capturar la naturaleza de las teorías científicas).
3
estudiarse las propiedades formales que se heredan de teoría a teoría en estas
traducciones).
Sea como fuere, en esta escuela permanece el espíritu epistemológico original del
análisis lógico de las teorías científicas –y sobre todo la idea tradicional de que las
teorías son la esencia del conocimiento científico y deben ser por tanto el objeto de
estudio de la filosofía de la ciencia: estamos de vuelta en lo que Popper denominó
“metateoría” (filosofía de la ciencia como teoría acerca de las teorías científicas).
Aunque los semanticistas conceden que los lenguajes formales y naturales juegan un
papel importante en la ciencia, entienden que el lenguaje no debe ser considerado el
elemento esencial y principal del análisis de las teorías científicas. En lugar de ello, lo
que proponen es que la construcción de modelos y representaciones es esencial para la
elaboración del conocimiento científico, y que la filosofía de la ciencia ha de centrarse
en el análisis de los modelos y representaciones científicas, renunciando a atribuir un
significado único o atómico a los términos científicos.
4
“El trabajo esencial de una teoría científica es proporcionarnos una familia de modelos,
para ser utilizada en la representación de los fenómenos empíricos” (Van Fraassen, “A
formal approach to the philosophy of science”, 1972).
La modelos (no sólo los matemáticos, sino asimismo estructurales, mecánicos, etc.) han
jugado un papel esencial en la ciencia moderna. La modelización teórica implica el uso
de gran cantidad de representaciones, no sólo enunciados. Así pues, los conceptos
científicos se interpretan en el marco de modelos teóricos, y sólo dentro de ellos
adquieren significado empírico.
Otra diferencia con la concepción heredada (más allá del abandono de la concepción
lógico-enunciativa) reside en el rechazo de los semanticistas de la problemática
distinción de los positivistas lógicos entre términos teóricos y términos observacionales.
“Los términos o conceptos son teóricos (son introducidos o adaptados según los
propósitos de la construcción de una teoría). Las entidades son observables o
inobservables” (Ibíd.).
Por otra parte, entre los autores semanticistas se han empleado diferentes métodos
lógicos para el análisis de las teorías científicas: así, por ejemplo, mientras Suppes
recurre a la teoría de conjuntos, Van Fraassen emplea la noción de espacio de estados a
la hora de definir la estructura de las teorías.
Como veremos, los autores estructuralistas coinciden en buena medida con los
semanticistas en su intento de desarrollar un formalismo alternativo al de la concepción
heredada. No obstante, existen importantes diferencias entre ambas escuelas.
Una de las más importantes tiene que ver con el rechazo de los estructuralistas de las
nociones de verdad o falsedad: los estructuralistas no conciben el progreso científico
5
como una aproximación a la verdad; en lugar de ello, se limitan a reconstruir las
evoluciones teóricas producidas en el ámbito de investigación que sea el caso.
Los semanticistas, en cambio, entienden que las teorías científicas incluyen (junto a los
modelos) referencias empíricas que efectivamente tienen que ver con lo verdadero o lo
falso:
“Aun cuando una teoría se exponga siempre presentando una clase de modelos
(estructuras) no podemos identificar aquélla con ésta, porque una clase no puede ser
verdadera o falsa. Así que la teoría tiene al menos que incluir algo más: por ejemplo,
una afirmación o aseveración acerca de esta clase” (Van Fraassen, “On the question of
identitication of a scientific theoty”, 1985).
Dado que las teorías dicen cosas sobre el mundo, deben guardar relación con el
problema clásico de la verdad y de la falsedad de sus afirmaciones.
Van Fraassen defiende un “empirismo constructivo” (cf. van Fraassen, The Scientific
Image, 1980) que es semánticamente realista (problema de la verdad), pero por lo que se
refiere a cualquier entidad teórica inobservable, Van Fraassen mantiene una actitud
agnóstica.
Las teorías, en tanto se refieren a fenómenos, tienen que ver con la verdad, y ésta
depende de la existencia de isomorfismos entre fenómenos y modelos (como
señalábamos, las teorías incluirían desde este punto de vista, aparte de las clases de
modelos, aseveraciones expresadas en un determinado lenguaje y relativas a su carácter
semántico).
6
3. La concepción estructural
Texto seminal: The Logical Structure of Mathematical Physics (1971), de Joseph Sneed.
Síntesis del programa estructuralista (con relación de sus éxitos): An Architectonic for
Science (1987), de Joseph Sneed, Ulises Moulines y Wolfgang Balzer.
7
axiomas (y las mismas clases de modelos pueden satisfacer diferentes conjuntos de
axiomas).
Así pues, tendríamos por una parte los axiomas que elegimos para representar la teoría y
por otra parte los modelos.
Entre esos axiomas, los más generales delimitan un marco conceptual que no depende
de términos propios de la teoría. Tomemos como ejemplo la mecánica clásica
newtoniana. Se trata de una colección amplia de teorías. Una de ellas, la mecánica
clásica de partículas, implica la segunda ley de newton, en cuya formulación a aparecen
los conceptos propios de la teoría: masa y fuerza. Pues bien, aquel marco conceptual
ajeno a los conceptos propios de la teoría está integrado por conceptos más básicos pero
necesarios para especificar la teoría (conceptos como tiempo o coordenadas espaciales).
Los axiomas que definen estos conceptos más generales sirven para delimitar la clase
más amplia y general de modelos: los así llamados “modelos potenciales parciales”.
Además de esos axiomas que ofrecen un marco conceptual básico con conceptos no
propios de la teoría, otros axiomas más específicos definen los conceptos propios de la
teoría (en el caso del ejemplo propuesto, los de masa y fuerza). Estos axiomas sirven
para delimitar los “modelos potenciales”.
Hasta aquí nos moveríamos en el marco de modelos meramente abstractos. Pero las
teorías de las ciencias naturales se aplican a partes del mundo empírico. Cuando
seleccionamos una parte del mundo empírico para ver si se comporta como los modelos
efectivos, hacemos una aplicación de la teoría, comprobando si esa parte del mundo
empírico satisface los axiomas (si lo hace, es por tanto un modelo efectivo empírico de
la teoría: se comporta como la teoría predice).
8
Una tesis fundamental de Sneed y el resto de los estructuralistas es la de que las teorías
tienen una parte conceptual (denominada “núcleo teórico”, formalizada como “K” e
integrada por la ley característica y los modelos potenciales y efectivos) y otra empírica,
integrada por las aplicaciones (“I”).
Las teorías científicas incluyen, por tanto, como un componente estructural básico, a sus
aplicaciones (los sistemas empíricos modelizados de acuerdo con el núcleo teórico).
T=<K, I>
Así pues, las teorías incluyen un elemento conceptual (el núcleo teórico) y otro
empírico, integrado por las “aplicaciones empíricas” (también llamadas “aplicaciones
intencionales”). Recogiendo las propuestas de Lakatos y Laudan, el núcleo se concibe
como no falsable empíricamente (sino sólo teóricamente: las anomalías empíricas no
refutan una teoría; sólo otra teoría puede hacerlo).
9
3. Existen ligaduras intrateóricas entre diversos modelos de una misma teoría y vínculos
interteóricos entre modelos de diversas teorías. Ambos (ligaduras y vínculos) pueden
ser definidos en términos conjuntistas (sin recurrir a ontologías que presupongan
identidad de objetos, términos o teorías). Son estos vínculos y ligaduras los que
permiten analizar los procesos de cambio científico (en el contexto de lo que Kuhn
llamaría épocas de ciencia normal).
No obstante, este intento condujo a una serie de problemas, por cuanto los predicados
conjuntistas de Suppes no permiten especificar criterios para determinar la aplicación de
los modelos –en otras palabras, para diferenciar “modelos potenciales” de “modelos
efectivos”; en términos intuitivos: los estructuralistas denunciaron que con la técnica de
Suppes no es posible hacer explícito el sentido en que las teorías son empíricamente
correctas o incorrectas.
10
La estructura de una teoría queda definida, haciendo uso de esta noción de T-teoricidad,
por los siguientes elementos:
“Llamaremos ‘modelos potenciales’ a aquellas estructuras a las que solo se imponen las
determinaciones conceptuales y que por lo tanto constituyen el marco conceptual de la
teoría; a su totalidad la simbolizaremos por ‘Mp’. A las estructuras que, por añadidura,
satisfacen las leyes genuinas de la teoría, las llamaremos ‘modelos actuales’; las
simbolizaremos simplemente por ‘M’. En caso de que la teoría en cuestión no sea
empíricamente trivial, siempre valdrá: M ⊆ Mp [M es un subconjunto de Mp].
Así pues, de acuerdo con el estructuralismo, la identificación de una teoría dada
cualquiera comienza por la fijación de sus clases Mp y M. La fijación de estas clases
normalmente se hará dando una lista de fórmulas de la teoría de conjuntos que
aceptamos como axiomas. No obstante, hay que tener presente siempre que estas
fórmulas (…) sólo son en realidad medios auxiliares para la identificación de las clases
de modelos en cuestión y no constituyen la ‘sustancia’ de la teoría. Podríamos tomar
otros axiomas para determinar las mismas clases de estructuras y por tanto la misma
teoría. Confundir los axiomas concretamente escogidos con la teoría en sí misma sería
un error parecido al de confundir el número de pasaporte de una persona con la
identidad misma de esta persona.
En principio, y mientras no se deban tomar en cuenta ulteriores complicaciones, el par
de estructuras constituye la identidad formal de una teoría dada. Llamaremos a este par
‘núcleo (estructural) formal’ o simplemente ‘núcleo’ de la teoría y lo simbolizaremos
por ‘K’ (…).
Ahora bien, una tesis fundamental de esta concepción radica precisamente en la idea de
que el núcleo formal (…) no representa el único componente de la identidad de una
teoría empírica. Esto es, no sabremos realmente de qué teoría se trata si sólo indicamos
el marco conceptual y las leyes fundamentales de una teoría. Al contrario de lo que
ocurre en las teorías de la matemática pura, en el caso de las disciplinas empíricas
11
necesitamos la indicación del dominio de aplicaciones intencionales de estas teorías
para identificarlas de manera completa (…).
Una teoría empírica no viene dada solamente por un núcleo K, sino también por un
dominio de aplicaciones intencionales que es independiente del primero, y al cual
simbolizaremos por “I”: T = <K, I>. Es justamente cuando nos planteamos la cuestión
de una determinación ulterior de este dominio I que se ponen de manifiesto las
insuficiencias de una consideración puramente semántico-sincrónica de las teorías y que
nos vemos llevados directamente a la inclusión de elementos pragmático-diacrónicos en
nuestro concepto de teoría (…).
Hay que concebir las aplicaciones intencionales de una teoría dada como aquellos
sistemas empíricos a los que queremos aplicar las leyes fundamentales de la teoría en
cuestión, para posibilitar, por ejemplo, explicaciones, predicciones, etc. Para alcanzar
este objetivo, esos sistemas, sin embargo, deben estar ante todo concebidos en términos
de los conceptos de la teoría misma, de lo contrario, no obtendríamos ninguna
homogeneidad conceptual entre las leyes generales y los datos o hechos concretos. Ello
significa que los sistemas empíricos en cuestión deben ser representados ante todo como
modelos potenciales de la teoría. De acuerdo con esta presuposición, las aplicaciones
intencionales serán reconstruidas como determinados modelos potenciales de la teoría
que nos interesan para determinados fines empíricos (…).
El éxito de la teoría depende de que los sistemas propuestos como aplicaciones
intencionales resulten ser efectivamente modelos actuales de la teoría, lo cual a su vez
significa que satisfacen las leyes planteadas. A su vez, el fracaso [absoluto] de una
teoría consistiría en que no sea capaz de abarcar entre sus modelos actuales ni uno solo
de los sistemas a los que se pretendía aplicar (…).
La identificación de I presupone implícitamente una serie de parámetros socio-
históricos, que son irreducibles a conceptos puramente semántico-sincrónicos. Dado que
la identidad de la teoría incluye el concepto de aplicación intencional, y éste a su vez,
depende de dichos parámetros, resulta en consecuencia que la determinación de la teoría
en su totalidad deberá tomar en cuenta dichos parámetros.
Llegamos aquí a un punto en que la concepción estructural muestra claramente la
necesidad de una cooperación interdisciplinaria entre lógicos, sociólogos e historiadores
para resolver el problema conceptual, metatéorico, de la identidad de las teorías
científicas, pues la elucidación de los parámetros pragmático-diacrónicos que la
12
constituyen deberá tomar en cuenta los resultados de esas disciplinas diversas” (Ulises
Moulines, “La concepción estructuralista de la ciencia”, 2002).
4. El representacionalismo
Aquí nos centraremos en Ronald Giere (1938-2020), última gran figura de la historia de
la filosofía de la ciencia que veremos antes de entrar en el bloque sobre discusiones
particulares en sub-áreas de la filosofía de la ciencia. Se trata, por cierto, de un autor
que nos permite comenzar a trazar un puente hacia la primera de esas sub-áreas (la
filosofía de las ciencias cognitivas).
La filosofía naturalizada de la ciencia pretendería pues construir algo así como una
ciencia de la ciencia cuyo trabajo consistiría en explicar, recurriendo a las herramientas
de las ciencias naturales (no como en el caso de los sociólogos del conocimiento
13
científico), cómo determinados animales dotados de determinadas capacidades fruto de
la evolución biológica logran representar científicamente la realidad.
Para Giere, las ciencias naturales pertinentes para el intento de naturalizar la filosofía de
la ciencia son las ciencias cognitivas, porque la propia ciencia es una actividad
cognitiva.
En este sentido, las teorías científicas son concebidas como un tipo de representaciones
de la realidad, de entre las diferentes clases de representaciones que construyen los seres
humanos y otros animales (la noción de representación es tal vez la más importante y
discutida en ciencias cognitivas).
Esta ciencia de la ciencia deberá explicar por tanto el modo en que los científicos usan
las capacidades cognitivas propias de nuestra especie para construir representaciones
científicas de la realidad.
14
obvio que existen diferentes tipos de mapas que recogen e incluso combinan de
diferentes modos y desde diferentes perspectivas diferentes clases de información
acerca de un mismo territorio, desde información física, orográfica o hidrológica a
información política, histórica o económica).
Si para los positivistas lógicos las hipótesis son verdaderas o falsas, esta concepción
estructurada en torno a modelos mentales permite grados de similitud entre modelos y
sistemas reales, con lo que se muestra mucho más flexible y cercana al funcionamiento
real de las diferentes disciplinas científicas.
15
Giere se deshace del énfasis en las teorías concebidas como en entidades lingüísticas
propio de la concepción heredada (cf. Science without Laws, 1999).
Concibe los modelos como entidades representacionales, sistemas abstractos que tienen
cierto grado de semejanza con los sistemas reales que representan: no son entidades
lingüísticas y no puede por tanto decirse propiamente que sean verdaderos o falsos.
Giere llama “hipótesis teóricas” a las hipótesis mediante las cuales los científicos
avanzan en qué aspectos y en qué grados un modelo se ajusta o asemeja al sistema real
que representa (mientras los modelos serían esencialmente no lingüístico, las hipótesis
sí tienen carácter lingüístico). Una teoría científica sería así un conjunto de modelos
acompañados por un conjunto de “hipótesis teóricas”.
16