FACULTAD DE FILOSOFA
Departamento de Lgica y Filosofa de la Ciencia
Madrid, 2003
ISBN: 84-669-1880-9
Tutelada por:
Dr. D. LUIS FERNNDEZ MORENO
Dirigida por:
Tutelada por:
A
Fifa, Violeta y Fausto;
Quienes me han acompaado y ayudado
en esta agradable y dura travesa
CONTENIDO
Reconocimientos
11
13
35
35
39
47
54
69
2.1. Introduccin
69
71
73
74
76
77
79
Contenido
83
3.1. Introduccin
83
85
aserciones empricas
3.4. Estructuralismo: Ncleo terico y aplicaciones
112
intencionales
3.5. Condiciones de unicidad y universalidad de van
130
Fraassen
Captulo 4. Nocin de modelo y formas de describirlos
137
4.1. Introduccin
137
141
147
156
sintctico y semntico
Captulo 5. Modelos de datos: observables y trminos
no-tericos
177
5.1. Introduccin
177
178
186
200
207
Contenido
Consideraciones finales
243
Bibliografa
249
RECONOCIMIENTOS
No recuerdo cundo exactamente me surgi la idea de hacer un
estudio comparativo entre las concepciones estructuralista y espacio
de estados, pero lo que s tengo muy presente es el ambiente en que
germin: en el seminario de doctorado de Javier Echeverra y en las
conversaciones y discusiones que sostenamos una vez finalizaba
cada sesin del seminario. Este ambiente me incit a profundizar ms
en los planteamientos estructuralistas, que hasta entonces slo
conoca de manera superficial, y me lanz por primera vez a un
estudio sistemtico de los escritos de van Fraassen y de otras figuras
importantes en el desarrollo del enfoque semntico de las teoras.
Mi gratitud para con Javier Echeverra tambin es por todo lo que ha
significado dar de s como persona y profesional al dirigirme esta
tesis. De todo lo que me ha aportado, quisiera mencionar
especialmente el estmulo permanente que me ha brindado y, lo ms
importante, el respeto mostrado por lo que digo y escribo
promoviendo en m cierta originalidad filosfica, sin dejar de ser l
un gran crtico y un excelente productor de ideas.
Debo agradecer a Andrs Rivadulla por sus estimulantes reflexiones y
su cuidadosa lectura de algunos escritos previos a la tesis, y tambin a
Ana Rioja quien me dio la oportunidad de presentar y discutir mis
Consideraciones finales
12
INTRODUCCION
ANALISIS DE LAS TEORIAS
relacionadas,
pero
se
pueden
perfectamente
Introduccin
14
Introduccin
15
Introduccin
axiomtica-conjuntista
de
teoras
empricas
16
Introduccin
Moulines [1996], p. 2.
Moulines [2002], p. 2.
4
van Fraassen [1980], p. 3.
3
17
Introduccin
5
6
18
Introduccin
19
Introduccin
20
Introduccin
Vase principalmente van Fraassen [1972], p. 311, y van Fraassen [1980], p. 92.
21
Introduccin
puede
englobarse
bajo
las
siguientes
preguntas:
el
11
22
Introduccin
23
Introduccin
las expresiones.
24
Introduccin
25
Introduccin
intencional
conlleva
26
una
concepcin
Introduccin
27
Introduccin
28
Introduccin
29
Introduccin
parcialmente
interpretados
mediante
reglas
de
30
Introduccin
me
gustara
terminar
mencionando
algunas
31
Introduccin
32
Introduccin
33
Introduccin
34
CAPITULO 1
ENFOQUE SINTACTICOAXIOMATICO DE LAS TEORIAS
1.1. Distincin general entre sintaxis y semntica
Hay que tener muy presente que las expresiones sintctico y
semntico que se emplean para calificar los enfoques respectivos
provienen directamente de la lgica y filosofa del lenguaje, de modo
que estas expresiones se extrapolan al campo de la filosofa de la
ciencia con un sentido que del todo no es idntico al primero, sino
ms bien podramos decir que esto se hace con la pretensin de
establecer un paralelo muy general, aunque importante, entre ciertos
aspectos del lenguaje y otros de las teoras cientficas. As pues, y
para comenzar, es necesario puntualizar, para luego desarrollar, que la
distincin entre sintaxis y semntica tiene que ver directamente con
propiedades asociadas al lenguaje12, y que desde luego estas
propiedades estn relacionadas con los enunciados y los modelos
respectivamente (con los modelos en un sentido muy preciso). A
12
Enfoque sintctico-axiomtico
14
36
Enfoque sintctico-axiomtico
15
Obsrvese que en este dominio hay cierta equivalencia entre las palabras
sintaxis y forma; de ah que, por ejemplo, cosa que se evidenciar ms
adelante, al referirse a estos aspectos de los sistemas matemticos y lgicos se habla
del carcter puramente formal de estos sistemas y, respectivamente, de sus
disciplinas.
16
En general, en un lenguaje se tiene un conjunto de palabras que constituyen su
vocabulario y, por otra, un conjunto de expresiones que son hileras finitas de
palabras. La gramtica del lenguaje especfica dentro del conjunto de expresiones la
clase de los sustantivos y de las oraciones, especialmente. As que, en el presente
contexto, un enunciado se entiende como una oracin declarativa.
37
Enfoque sintctico-axiomtico
38
Enfoque sintctico-axiomtico
17
Para la equivalencia entre estas dos expresiones vase Kraft [1950], pp. 27 y 3536, y Friedman [1999], p.1.
39
Enfoque sintctico-axiomtico
caso, de
Vase por ejemplo, Putnam [1962], p. 312; Suppes [1967], p. 56; van Fraassen
[1970], p. 337; y Suppe [1974], pp. 35-36 y 70-73, considerado como el estudio
ms completo, en profundidad y amplitud, de este enfoque.
40
Enfoque sintctico-axiomtico
41
Enfoque sintctico-axiomtico
42
Enfoque sintctico-axiomtico
POSTULADOS
CONCEPTOS
PRIMITIVOS
CONCEPTOS
DEFINIDOS
CONCEPTOS
EMPIRICOS
TERRENO DE
LA OBSERVACIN
(EXPERIENCIA)
en
donde
los
elementos
del
sistema
quedan
43
Enfoque sintctico-axiomtico
44
Enfoque sintctico-axiomtico
22
45
Enfoque sintctico-axiomtico
Si P, entonces Q
P
Q
3. Entre los enunciados se escogen una subclase A que representen
los axiomas (los enunciados primitivos) de A que sirven para derivar
los otros enunciados, los teoremas. Esta condicin hace del sistema A
un sistema axiomatizado; esto es, A = L, A, R.
De lo anterior vale destacar adems: uno, un sistema formal no es
ms que un lenguaje formal equipado con reglas de transformacin o
de deduccin, por lo cual tambin se le llama sistema deductivo; y,
dos, algo muy importante, una condicin previa para presentar un
sistema formal es contar con un lenguaje apropiado en el que se
pueda enunciar.
En cuanto se pasa de un sistema formal a una teora emprica es
necesario vincular su estructura formal correspondiente con la
realidad a travs de reglas de correspondencia y, adems, se tiene que
el conjunto de axiomas de la teora sera lo que suele identificarse
como leyes de la teora. Esto es en trminos muy abstractos, pero
46
Enfoque sintctico-axiomtico
pasando por el
47
Enfoque sintctico-axiomtico
48
Enfoque sintctico-axiomtico
Enfoque sintctico-axiomtico
Hay que tener muy claro que el sistema formal anterior nada dice de
los objetos a los cuales se les asigna un valor de probabilidad (el
dominio de aplicacin de la teora) ni de cmo poder determinar,
calcular, uno o ms valores de probabilidad. Precisamente lo que
proporciona el clculo son las diferentes relaciones existentes entre
las probabilidades de un cierto dominio, una vez proporcionado dicho
dominio y las probabilidades. Por tanto el proceso de interpretacin
tiene dos etapas: primero hay que presentar las interpretaciones de K
para luego, dada una de estas interpretaciones, presentar las diferentes
interpretaciones al uso de la funcin de probabilidad.
En lo que respecta al dominio tenemos que las condiciones formales
1-4 pueden ser satisfechas por dos nociones completamente distintas
de probabilidad las cuales han sido puestas de manifiesto desde los
comienzos del estudio de la probabilidad en el siglo XVII26: una se
califica de objetiva y la otra de epistmica27. De acuerdo con la
primera el clculo de probabilidades expresa las leyes fundamentales
que regulan la asignacin de probabilidades fsicas objetivas a
sucesos o eventos definidos y de acuerdo con la segunda la
probabilidad expresa numricamente grados de incertidumbre a la luz
de ciertos datos28.
26
50
Enfoque sintctico-axiomtico
valores
de
probabilidad
sino
que
tambin
estas
51
Enfoque sintctico-axiomtico
52
Enfoque sintctico-axiomtico
53
Enfoque sintctico-axiomtico
54
Enfoque sintctico-axiomtico
31
55
Enfoque sintctico-axiomtico
Los cinco postulado en un lenguaje moderno pueden enunciarse as: 1) por dos
puntos pasa una recta; 2) toda lnea recta finita (segmento rectilneo) es parte de una
nica recta; 3) hay un nico crculo con centro en un punto y con determinado
radio; 4) todos los ngulos rectos son iguales; 5) si una recta que corta a otras dos
forma al mismo lado ngulos internos cuya suma es menor que dos rectos, las dos
56
Enfoque sintctico-axiomtico
rectas prolongadas al infinito se encontrarn en ese mismo lado en que los ngulos
son menores que dos rectos (Vase Enriques [1924], pp. 36-37).
57
Enfoque sintctico-axiomtico
58
Enfoque sintctico-axiomtico
33
Los trminos que empleo aqu para las constantes predicativas los tomo
directamente de Hilbert [1899], p.3. Expresin equivalentes a axiomas de enlace
son axiomas de conexin y axiomas de incidencia
34
Este ejemplo es una adaptacin del ejemplo de van Fraassen [1972], p. 310.
59
Enfoque sintctico-axiomtico
60
Enfoque sintctico-axiomtico
En esto me guo por van Fraassen [1971], p. 28. Pero hay quienes diferencian
entre estructura y sistema, vase, por ejemplo, Mostern [1984], p.218.
36
Nuevamente, empleo enunciado en el sentido de la lgica formal, como
frmula (bien formada) cerrada; esto es, como frmula bien formada en la que
las variables estn ligadas o no libres. Esto, desde el punto de vista de la gramtica
de un lenguaje natural como el castellano, equivaldra aproximadamente a oracin
declarativa, aquella que es verdadera o falsa. La diferencia entre los dos casos
(lenguaje formal/lenguaje natural) radica en que en el primero se desprecian los
significados mientras que en el otro no. Vase van Fraassen [1971], p. 120.
61
Enfoque sintctico-axiomtico
62
Enfoque sintctico-axiomtico
38
63
Enfoque sintctico-axiomtico
Interpretacin usual
M
C'
B'
A'
z
x
Interpretacin dual
A
L
B
C
64
Enfoque sintctico-axiomtico
65
Enfoque sintctico-axiomtico
40
41
66
Enfoque sintctico-axiomtico
42
Que de algn modo son equivalentes a las reglas de correspondencia se puede ver
en Carnap [1966], p. 314, Nagel [1961], p. 210 y Suppe [1974], p. 36.
67
CAPITULO 2
FALLAS EN EL ENFOQUE SINTCTICO-AXIOMTICO
2.1. Introduccin
Este captulo se propone sistematizar y valorar las principales crticas
hechas al enfoque sintcticoaxiomtico de las teoras empricas,
centrndose en aquellas que son ms evidentes a la luz del enfoque
semntico de las teoras en el que las teoras se conciben bsicamente
como una clase de estructuras, en el sentido matemtico abstracto, tal
y como tendremos la oportunidad de explicar y desarrollar en el
prximo captulo. Este procedimiento permitir al mismo tiempo
determinar algunas de las ventajas de este ltimo enfoque frente a,
por lo menos, el primero. Esto nos obligar a adelantar algunas ideas
bsicas relacionadas con el enfoque semntico, pues parece que no
tenemos otra alternativa.
No pretendo ser exhaustivo en cada una de las dificultades que
enfrenta el enfoque sintctico puesto que un anlisis amplio y
profundo de las mismas desborda los lmites presentes. Esto
principalmente porque al estar ste tema inmerso en los
planteamientos ms amplios de la filosofa del positivismo lgico la
discusin tendra que reconstruir muy buena parte de las numerosas y
fuertes crticas de las que fue objeto esta filosofa durante la segunda
parte del siglo XX. Crticas stas provenientes tanto de la misma
filosofa de la ciencia como de la filosofa del lenguaje, en lo que
respecta especialmente a su teora verificacionista del significado.
No son muchas las exposiciones sistemticas y profundas en este
tema, pero en este asunto se cuenta con el trabajo, ya clsico, de F.
Suppe [974]43 y con su sntesis propuesta en Suppe [2000]. As que el
anlisis siguiente est orientado por estos dos trabajos. Las crticas (el
tipo de crtica, mas no necesariamente la argumentacin de la misma)
que yo presento a continuacin difieren de las de Suppe [1974] en
que, por lo menos, las tres ltimas no las contiene ste; mientras que
con Suppe [2000] slo difiere en que ste no contiene la quinta que
yo presento -las relaciones sintcticas son limitadas- la cual se inspira
en van Fraassen. Las dos versiones de Suppe tienen una crtica
relacionada con la nocin de interpretacin parcial en el enfoque
sintctico que yo no contemplo por considerarla de menor
importancia.
Las seis crticas siguientes pueden dividirse en dos grupos: las tres
primeras pueden considerarse originadas directamente en la
consistencia interna de la propuesta y en relacin con cuestiones de
hecho, las teoras fsicas propiamente, de modo que corresponden a
las crticas ms usuales y predominantes en la segunda mitad del siglo
XX; las tres restantes se hacen desde la posicin privilegiada que da
43
70
44
45
71
72
73
74
48
75
76
77
El dibujo representa la geometra espacial alrededor del Sol (centro de atraccin con
simetra esfrica). En el exterior la geometra sigue la forma de embudo y en el interior
la geometra espacial toma la forma de un cuenco.
78
79
80
81
enunciados. Esta idea, que con sus mismas palabras podemos calificar
como el rasgo esencial de una teora emprica, aparece por primera
vez en el siguiente captulo como antesala al apartado C. Enfoques
Semnticos: las teoras nos dice Suppe- son extralingsticas y por
consiguiente no son meras colecciones de proposiciones51.
En sntesis, una misma teora admite diferentes formulaciones o, lo
que es lo mismo, las teoras tienen diferentes propiedades que las
individualizan, y el enfoque semntico de las teoras construye las
teoras como entidades extralingsticas que admiten diferentes
formulaciones, superando de esta forma una de las principales
dificultades del enfoque sintctico-axiomtico.
51
Ibid., p. 204.
82
CAPITULO 3
ENFOQUE SEMNTICO:
ELEMENTOS DE INDIVIDUACION DE UNA TEORA
3.1. Introduccin
Como se dej sentado en el captulo anterior, el enfoque semntico
aparece como una alternativa al entonces prevaleciente anlisis de las
teoras del positivismo lgico a lo que hemos llamado enfoque
sintctico-axiomtico- y adems proporciona diferentes razones para
el rechazo de este anlisis. Por otra parte, existe un acuerdo
generalizado, tanto entre defensores como entre detractores del
enfoque semntico de las teoras cientficas, en cuanto que el eslogan
que mejor expresa la esencia del enfoque es: las teoras cientficas
quedan mejor comprendidas como conjuntos de modelos, en el
sentido matemtico abstracto, que como conjunto de enunciados.
La presente reflexin parte de reconocer que la anterior
caracterizacin de las teoras empricas que hacen los semanticistas
recoge un aspecto esencial de la estructura de las teoras, pero al
mismo tiempo asume como objetivo mostrar que dicho aspecto
esencial no es nico. En otras palabras, el presente captulo presenta y
parcialmente sustenta
Enfoque semntico
52
84
Enfoque semntico
85
Enfoque semntico
86
Enfoque semntico
La filosofa de la ciencia, en lugar de intentar tratar con especulaciones
sobre el contenido de la ciencia debera ms bien intentar un anlisis lgico
-en el sentido amplio de la frase- de las teoras las cuales son las que
realmente forman el contenido real de las distintas ciencias. El mtodo
semntico, que fue introducido por A. Tarski hacia 1930 y que muy
recientemente ha sido ampliamente estudiado por R. Carnap, es de gran
ayuda en el anlisis de las teoras fsicas53.
53
87
Enfoque semntico
88
Enfoque semntico
los trabajos de Beth, los cuales tuvo muy en cuenta con la idea de
proporcionar una semntica para la lgica cuntica. Como dice el
mismo van Fraassen, el principal problema para el cual me
ejercitaban [las ideas de Beth] y para el cual la concepcin semntica
me mostraba una salida era la cuestin de cmo proporcionar un
anlisis semntico de la lgica cuntica56. En su versin del enfoque
semntico tambin influyeron las tcnicas conjuntistas de P. Suppes y
los
89
Enfoque semntico
tericos
divorcindose
de
la
distincin
positivista
90
Enfoque semntico
59
91
Enfoque semntico
92
Enfoque semntico
que
metodolgicamente
es
ms
conveniente
empezar
63
93
Enfoque semntico
64
van Fraassen [1989], p. 226. Vase tambin van Fraassen [1986], pp. 311 y 313.
La formulacin de Ronald Giere es la siguiente: entendemos una teora como
constituida por dos elementos: (1) una poblacin de modelos y (2) diversas
94
Enfoque semntico
95
Enfoque semntico
66
96
Enfoque semntico
Hay que empezar por resaltar directamente que para van Fraassen un
sistema real no es ms que, en trminos ms grficos y comunes, un
fenmeno observable. Este asunto de caracterizar de un modo
apropiado y preciso lo que se entiende por fenmeno observable es
bastante delicado, objeto actualmente de importantes debates y
crticas por parte de quienes rechazan el empirismo constructivo de
van Fraassen; por tanto, por el momento slo vamos a presentar una
caracterizacin general de esta nocin y en el captulo 5, en el
numeral 5.2. Los fenmenos observables, abordaremos los aspectos
ms importantes de lo que piensa van Fraassen al respecto.
Para van Fraassen las teoras no son simples instrumentos que nos
permiten desenvolvernos en el mundo, sino que estas buscan, de un
modo u otro y entre otras cosas, dar razn de la experiencia
fenomnica que tenemos del mundo. Y esta experiencia fenomnica,
que es muy variada, es la que englobamos bajo la expresin
fenmenos observables; por tanto, de acuerdo con van Fraassen, el
objetivo de las teoras cientficas es salvar los fenmenos (salvar las
apariencias), los cuales desde luego son de por s observables. Ahora
bien, en pocas palabras, los fenmenos observables son, en general,
para van Fraassen los procesos y estructuras observables, los cuales
especficamente dentro de la actividad cientfica pueden describirse
mediante los informes experimentales y de medicin.
Pasando al otro punto que se anunci, vale preguntarnos: por qu es
necesario aadir una o ms hiptesis tericas en la individuacin de
97
Enfoque semntico
67
98
Enfoque semntico
68
69
Ibid., p. 22.
van Fraassen [1989], 192.
99
Enfoque semntico
100
Enfoque semntico
que todas las apariencias son isomorfas con las subestructuras empricas de
ese modelo70
Un primer punto que salta aqu a la vista es que no se dice nada sobre
las hiptesis tericas. Esta cuestin la podemos dejar de lado por
ahora, pero ser de gran inters ms adelante cuando abordemos
algunos planteamientos de Prez Ransanz sobre la concepcin de las
teoras de van Fraassen.
Por otra parte, la nocin nueva e importante aqu es la de adecuacin
emprica, que contrasta con la de verdad, otra nocin tambin clave.
La relacin de adecuacin emprica es un isomorfismo entre una
subestructura emprica (esto es, una subestructura de uno de los
modelos tericos propuestos) y un modelo de datos (una apariencia),
en tanto que creer que una teora es verdadera es creer que uno de los
modelos tericos propuestos es isomorfo con la realidad. Como ya se
haba insinuado antes, para van Fraassen el objetivo de la actividad
cientfica es proporcionar teoras empricamente adecuadas y no
propiamente teoras verdaderas, que es algo ms pretencioso e
inviable segn l. Esta tesis constituye el sello distintivo de su
empirismo constructivo en contraposicin al realismo.
Llegados a este punto es necesario presentar el criterio metodolgico
que distingue entre consideraciones estructurales y consideraciones
epistemolgicas con miras a poder delimitar (esto precisamente se
hace al final de este numeral y del siguiente) aquellos elementos
70
101
Enfoque semntico
cientficas
apuntamos
hacia
cuestiones
puramente
71
72
102
Enfoque semntico
73
74
103
Enfoque semntico
104
Enfoque semntico
Concepcin
sintctico - axiomtica
Concepcin semntica
Formulacin
lingstica
TEORIA
Conjunto de Verdad
enunciados
Definicin
terica
Sistemas
reales
Hiptesis
terica
MODELOS
Verdad o
Adecuacin
emprica
Sistemas
reales
105
Enfoque semntico
106
Enfoque semntico
por qu no otros, se resuelve caso por caso en base a lo que digan los
cientficos mismos76.
La conclusin importante es que el enfoque semntico es neutral
desde un punto de vista epistemolgico, respecto al debate realismoempirismo. An siendo esto as, lo cual es muy importante, considero
que existe otro punto en el que hay consideraciones epistemolgicas
involucradas lo cual es muy importante clarificar teniendo en cuenta
nuestro criterio metodolgico anteriormente enunciado.
El otro punto en el que intervienen cuestiones epistemolgicas tiene
que ver con la caracterizacin de lo que podemos llamar en trminos
genricos la experiencia, la cual van Fraassen describe en trminos
observables y, como veremos a continuacin, el estructuralismo en
funcin de trminos T-no-tericos. En otras palabras, esto significa
caracterizar de una forma u otra los modelos de datos (la experiencia
fenomnica) y por tanto, en ltimas, arriesgar una propuesta sobre
determinado aspecto de la evaluacin de las teoras empricas,
cuestiones estas que considero pueden calificarse correctamente de
epistemolgicas. Las implicaciones de esto ltimo se vern al final
del presente escrito.
Para terminar, en qu trminos respondera van Fraassen a la
pregunta: cules son los elementos que permiten identificar una
teora emprica? A la luz de lo estrictamente dicho, considero que
76
107
Enfoque semntico
108
Enfoque semntico
miramos simultneamente la ptica y la mecnica de las fuentes luminosas
en movimiento78.
109
Enfoque semntico
81
82
110
Enfoque semntico
83
111
Enfoque semntico
84
Moulines [2002], p. 8.
112
Enfoque semntico
Tercer nivel
Elemento terico
113
Enfoque semntico
114
Enfoque semntico
115
Enfoque semntico
estricto,
aplicaciones
intencionales
de
la
mecnica
116
Enfoque semntico
en
trminos
de
un
predicado
conjuntista.
Ms
117
Enfoque semntico
118
Enfoque semntico
119
Enfoque semntico
de
trminos
T-no-tericos.
Veamos
esto
ms
detenidamente.
De acuerdo con el estructuralismo, las principales peculiaridades de
las aplicaciones intencionales tienen que ver con: cmo concebir
87
120
Enfoque semntico
121
Enfoque semntico
91
122
Enfoque semntico
123
Enfoque semntico
neutral
respecto
al
debate
realismo-
124
Enfoque semntico
de las teoras. Dicho debate queda abierto aqu. Pero an siendo esto
as, considero que hay un sentido en que no es neutral
epistemolgicamente, el mismo sentido en que la concepcin de van
Fraassen no lo es. Esto porque, como ya haba adelantado, la
distincin de van Fraassen observable/inobservable y la de la
concepcin estructuralista T-no-terico/T-terico son distinciones que
caracterizan de una forma u otra los modelos de datos (la experiencia
fenomnica) y por tanto, en ltimas, arriesgan una propuesta sobre
determinado aspecto de la evaluacin de las teoras empricas,
cuestiones estas que considero pueden calificarse correctamente de
epistemolgicas.
Cul de estas dos perspectivas es la ms adecuada a la hora de
caracterizar los fenmenos, los modelos de datos? Qu otras
alternativas se tienen al respecto y qu tan apropiadas son? Estas
preguntas quedan aqu abiertas en la medida en que arriesgar una
repuesta involucra muchos ms elementos y argumentos de los hasta
ahora presentados.
Para terminar, en qu trminos responde la concepcin estructuralista
la pregunta: cules son los elementos que permiten identificar una
teora emprica? En estos: el estructuralismo dice que aunque
conozcis K, y por tanto podis identificar la teora, no conocis todo
lo que hay conocer acerca de esta como teora emprica, a menos que
tambin conozcis, hasta cierto punto, cmo se presentan las
96
Moulines [2002], p. 8.
125
Enfoque semntico
126
Enfoque semntico
98
99
127
Enfoque semntico
128
Enfoque semntico
un
anlisis
estructural
de
las
teoras
ha
de
129
Enfoque semntico
130
Enfoque semntico
131
Enfoque semntico
132
Enfoque semntico
133
Enfoque semntico
105
134
Enfoque semntico
135
Enfoque semntico
136
CAPTULO 4
NOCION DE MODELO Y FORMAS DE DESCRIBIRLOS
4.1. Introduccin
Creo que la mejor manera de precisar las distintas cuestiones
abordadas en el presente captulo es comenzar directamente por
presentar el principal problema que da unidad al captulo: puesto que
en principio en el enfoque semntico modelo (modelo terico) refiere
a los sistemas idealizados de que hablan los cientficos, tiene sentido
preguntarnos si este uso concuerda con el concepto de modelo
(modelo semntico) de los lgicos y matemticos.
Pero lo interesante no slo est en la pregunta, sino tambin en que al
respecto contamos con dos importantes opiniones encontradas. P.
Suppes, por una parte, en su artculo A Comparison of the Meaning
and Use of Models in Mathematics and the Empirical Sciences
(1961) responde a la pregunta as:
Pretendo que el concepto de modelo en el sentido de Tarski puede usarse
sin distorsin y como un concepto fundamental en todas las disciplinas...
En este sentido, aseverar que el significado del concepto de modelo es el
mismo en matemticas y en las ciencias empricas. La diferencia que se
encuentra en esas disciplinas se encuentra en sus usos del concepto109.
109
110
van Fraassen [1989], p. 366. Creo que este tipo de respuesta ya la tena configura
van Fraassen antes de 1980, pues en el artculo Empiricism in the Philosophy of
Science (1985), donde trata ms a fondo el problema de las interrelaciones entre
los enfoques sintctico y semntico, argumentando contra la equivalencia de los dos
enfoques, dice al respecto: originalmente intent introducir pasajes como el
anterior en el captulo 3 de La imagen cientfica, pero decid no hacerlo porque
pens que para muchos de mis lectores estos puntos tcnicos deberan parecerles
obscuros e irrelevantes, aunque para quienes los comprendieran fcilmente no
necesitaban una explicacin de estos. Olvid cmo yo mismo haba cado en el
hechizo de la lgica de la teora de modelos que encontramos en textos de lgica
estndar. Y haba subestimado cun grande haba sido el xito del positivismo
lgico en el adoctrinamiento de las generaciones posteriores para pensar en
trminos de su lenguaje de primer orden la imagen de las teoras (van Fraassen
[1985b], p. 302).
111
van Fraassen [1989], p. 366.
138
139
113
140
141
142
Interpretacin dual
X
Z
Y
Podemos decir que estas dos estructuras son modelos del enunciado
por dos puntos pasa una recta. Esto es, en la interpretacin usual
tenemos que los trminos del enunciado significan lo que
corrientemente se entiende por ellos; es decir, en sentido literal: por
los puntos X y Y pasa la recta Z. En tanto que en la interpretacin
dual los significados se intercambian; es decir, en un sentido literal:
las rectas X y Y contienen el punto Z.
2. Modelo a escala. Un objeto real o imaginario que conserva las
proporciones relativas de algn objeto material existente o
imaginario, que se considera el original del modelo; por ejemplo, un
modelo de avin en un tnel de viento.
3. Modelo analgico. Un objeto o proceso que reproduce en
circunstancias distintas las relaciones presentes en el original; por
114
Black [1960] rechaza la tesis de Suppes, pero tiene la ventaja que presenta una
143
completamente
144
115
Este tipo de duplicidad fue claramente expuesta y explorada por Kuhn [1962], p.
184.
145
146
French y Ladyman [1999]; Echeverra [1998] hace una propuesta dentro del
147
148
118
149
150
Las lneas (1) a (5) de esta definicin son los axiomas impropios o
tipificaciones y caracterizan lo que es un modelo potencial de la
minigeometra eucldea, una entidad (estructura o sistema) del que
tiene sentido preguntarse si efectivamente es un espacio minieucldeo
o no. Las lneas (6) y (7) corresponden a los axiomas propios de la
minigeometra eucldea y son los axiomas formales presentados en el
sistema-G, en el captulo 1. Estos axiomas o condiciones de
definicin sirven para determinar, dentro del conjunto de modelos
posibles, el subconjunto de modelos, esto es, el conjunto de espacios
minieucldeos.
Como puede observarse, la definicin no hace referencia explcita a
ningn lenguaje o teora, est expresada en trminos del lenguaje
matemtico de la teora de conjuntos y caracteriza el contenido de la
teora directamente del modo siguiente: dado que P es el conjunto de
puntos, R el de las rectas y E es la relacin est en, definida entre
un punto y una recta, entonces en un espacio-G, de acuerdo con los
axiomas propios, dos puntos determinan una nica recta y hay al
menos dos puntos en toda recta.
Otro ejemplo, siguiendo a Sneed120, diremos que un sistema que
cumple la segunda ley de Newton (la ley de movimiento), y por tanto
la primera (la ley de inercia), es un sistema mecnico clsico de
partculas. Si este sistema adems cumple la tercera ley (la ley de
accin-reaccin) diremos que es un sistema mecnico clsico
120
151
newtoniano
de
partculas.
Veamos
entonces
la
siguiente
Suppes121.
Definicin: X es un sistema mecnico clsico newtoniano de
partculas si y solo si existen P, T, m, s, f tales que:
(1) X = P, T, m, s, f
(2) P y P es finito
(3) T es un intervalo de nmeros reales
(4) m: P R+
(5) s: PxT R3 y dos veces diferenciable sobre T.
(6) f: PxTxN R3
y para cada p P y
tT : iN f(p, t, i) es absolutamente
convergente.
(7) Para todo p P y t T: m(p)d2/dt2[s(p,t)] = iN f(p, t, i)
(8) Para todo p, qP y tT: f(p, t, iq) = -f(q, t, ip)
(9) Para todo p, qP y tT: s(p, t)f(p, t, iq) = -s(q,t)f(q, t, ip)
Primero expliquemos ciertos smbolos y determinados conceptos. N
denota el conjunto de los nmeros naturales y R+ y R3 denotan,
respectivamente, el conjunto de los nmeros reales positivos y el
espacio eucldeo tridimensional proporcionado por los productos
121
152
153
154
155
156
157
s(t')
H
t'
u(t')
s(t)
158
p
x
122
159
123
Este ejemplo se recoge en lneas generales de Giere [1988], cap. 3 Models and
Theories.
160
124
161
162
tengo que confesar que mis pesquisa no tuvo efecto puesto que no
tengo a la mano un argumento consistente y slido. As que esta
cuestin queda aqu abierta.
163
164
126
165
Las razones que aqu se alegan son ante todo razones metodolgicas
prcticas, pero las primeras lneas dan a entender que en cuanto a la
discusin de lo que es en principio posible, lo que ms interesa
desde una perspectiva filosfica, Moulines no logra librarse
completamente de la influencia de la lgica-matemtica, ya que
admite la posibilidad de que los dos enfoques sean equivalentes.
Ahora bien, la posicin extrema sobre la interrelacin entre los
enfoques sintctico y semntico la defienden explcitamente da Costa
y Mostern. El primero plantea, por ejemplo:
Un error epistemolgico y valorativo comn consiste en creer que slo una
es la verdadera y aceptable. La concepcin proposicional [sintctica] es,
bsicamente, tan buena como la estructural [semntica], a pesar de las
crticas que se le hacen normalmente. As sucede con la objecin de que en
la prctica no se puede axiomatizar de modo completo una teora fuerte
como la mecnica, que involucra geometra, clculo diferencial, clculo
integral, etc. Se olvida, entonces, que se trata de una cuestin de principio,
anloga a la de la formalizacin de la matemtica tradicional y no se
128
refiere al problema de si es ejecutable en la prctica .
127
128
Moulines [2002], p. 6.
da Costa [1997] p. 184.
166
de
las
teoras
empricas
129
sino
que
adems
son
167
168
si T | entonces T
131
Para una introduccin bastante completa a la teora de modelos ver Mates [1965]
y Manzano [1989].
132
Empleo aqu sentencia como equivalente a frmula (bien formada) cerrada, lo
que es lo mismo que enunciado, tal y como lo empleamos en los contextos tcnicos
de los captulos anteriores. Esto lo hago as para mantener la uniformidad
terminolgica con los textos en que me baso para esta discusin (principalmente
Manzano [1989]) y con las citas que vienen a continuacin.
169
si T |= entonces T
170
171
172
173
137
174
175
Desde luego que estas palabras contrastan con las que citamos en un
comienzo, en estas ltimas ya no nos dice que el significado de
modelo en la ciencia es el mismo que el de modelo en la lgicamatemtica, que es el punto de vista de Tarski. Pero igualmente hay
algo muy importante que compartimos desde el inicio y que ha sido
una constante en el presente captulo: la necesidad de tener claridad
sobre el concepto de modelo terico.
176
CAPITULO 5
MODELOS DE DATOS:
OBSERVABLES Y TERMINOS NO-TEORICOS
5.1. Introduccin
En este captulo se ahonda en el contraste entre las formas como el
estructuralismo y van Fraassen caracterizan los modelos de datos o, si
se quiere, las aplicaciones intencionales y los fenmenos observables,
respectivamente. Lo interesante de ahondar en tal contraste es que nos
encontramos con dos concepciones distintas sobre la evaluacin de
las teoras o, lo que para el caso es lo mismo, fundamentacin de las
teoras empricas. A la del estructuralismo la podemos llamar
coherentista y a la de van Fraassen, utilizando su propia terminologa,
empirista posfundamentista139. En tanto que el punto de vista de van
Fraassen es bien conocido (aunque no por este nombre), en relacin
con el estructuralismo hay que decir que lo normal es considerarlo
neutral en cuestiones epistemolgicas. De modo que la tesis que
defender es que no hay tal neutralidad epistemolgica por parte del
139
Modelos de datos
178
Modelos de datos
179
Modelos de datos
categoras
terico/no-terico
-con
las
que
en
ocasiones
Fraassen
est
180
Modelos de datos
limitaciones
como
seres
humanos.
Este
carcter
181
Modelos de datos
143
182
Modelos de datos
183
Modelos de datos
184
Modelos de datos
185
Modelos de datos
Ibid., p. 81.
Con las palabras de van Fraassen: as, en la afirmacin de adecuacin para una
teora importa algo ms que la estructura de los fenmenos. El modelo de datos no
es importante en s mismo, sino en relacin con su papel de representacin de los
fenmenos La afirmacin de adecuacin es respecto a la estructura de los
148
186
Modelos de datos
187
Modelos de datos
que
realmente
contiene
dos
distinciones:
188
Modelos de datos
149
Balzer, Moulines y Sneed [1987], p. 40. En otros trminos: los trminos Ttericos se conciben como aquellos cuyo significado viene determinado
exclusivamente por la teora T misma a la que pertenecen, de modo que, para acotar
su referencia, hay que presuponer la validez de las leyes de T; en cambio, los
trminos T-no-tericos pueden venir determinados por medios ajenos a T y, por lo
tanto, constituyen la base emprica de contrastacin de T (Moulines [1991b],
p.275).
189
Modelos de datos
trminos
tericos
no-tericos
lo
llamaremos
tesis
estructuralista de T-teoricidad.
Ahora bien, qu hemos de entender por procedimiento de
determinacin? Determinar un concepto significa establecer si este se
aplica o no a un objeto especfico. Si el concepto es cuantitativo,
significa determinar el valor de la magnitud para el objeto particular.
En general, se habla del procedimiento de determinacin del valor de
una magnitud fsica y a grandes rasgos corresponde a todo aquello
involucrado en el proceso de medicin para determinar dicho valor
bajo ciertas circunstancias.
Qu forma precisa tendra la condicin de T-no-teoricidad? Creo que
no es simplemente la negacin del criterio de T-teoricidad. El criterio
de T-no-teoricidad no puede ser: un trmino es T-no-terico si no
cumple el criterio de T-teoricidad; puesto que se estara afirmando
que un trmino sera T-no-terico si al menos uno de sus
procedimientos de determinacin es independiente de T, dejando la
posibilidad
de
que
hayan
procedimientos
150
de
determinacin
Balzer, Moulines y Sneed [1987], p. 55. O como se enuncia unas pginas antes:
un concepto cuya determinacin suponga algn tipo de medicin ser llamado
terico con respecto a la teora T si todos los mtodos de medicin supuestos en su
determinacin tienen que concebirse como modelos de T o como presuponiendo
algn modelo de T (Balzer, Moulines y Sneed [1987], p.50).
190
Modelos de datos
191
Modelos de datos
Ahora podemos precisar mejor que las dos distinciones T-noterico/T-terico y observable/inobservable no coinciden extensional
ni intensionalmente. Como dice J. A. Dez:
Las distinciones T-no-terico/T-terico y observacional/noobservacional no coinciden, ni intensional ni extensionalmente. Mientras
que la primera distincin es local, relativa a las teoras (un T-concepto
puede ser T-no-terico y al mismo tiempo ser T-terico), la ltima es
global La T-teoricidad tiene que ver con la T-dependencia de los
mtodos de determinacin, independientemente de si estos mtodos son o
no son observacionales151.
Dez [2002], p. 15. Prez Ransanz tambin dice al respecto: aquello que no es
terico con respecto a una teora no es necesariamente observable (en ningn de los
sentidos). (Prez Ransanz [1985], p. 11).
152
Vase Dez [2002], p. 15.
153
La expresin cantidades observables la recojo de van Fraassen (vase van
Fraassen [1980], p. 60). Debo decir que no me parece muy afortunada, me parece
ms adecuada cantidades observacionales as como correctamente se dice
192
Modelos de datos
Una vez admitido que para que un sistema emprico cuente como una
aplicacin intencional de una teora dada tiene que caracterizarse en
trminos de la teora, puesto que de otra manera no sera posible
relacionarlo de ninguna manera con el ncleo terico, la pregunta que
surge aqu es: por qu el sistema emprico tienen que identificarse
nicamente mediante trminos no-tericos? o, en otras palabras, qu
problema hay en identificarlo mediante parmetros tericos? El
estructuralismo responde a estas cuestiones del siguiente modo.
193
Modelos de datos
esta
teora
(las
aplicaciones
intencionales)
tienen
que
en
espaciotemporales,
las
y
los
que
slo
modelos
intervienen
parciales
sern
parmetros
entonces
194
Modelos de datos
195
Modelos de datos
196
Modelos de datos
debido especialmente a Sneed, Moulines y Stegmller. Ellos contrastan su
concepcin no enunciativa y la tradicional concepcin enunciativa
La concepcin no enunciativa elimina estas tensiones [las presentes en la
concepcin enunciativa] insistiendo en que una teora ni siquiera es el
tipo de cosa de la que propiamente pueda decirse que es verdadera o
falsa.156
197
Modelos de datos
cosas verdaderas o falsas -lo cual es obviamente absurdo. Desde luego,
esta interpretacin de la concepcin estructuralista proviene de un grave
malentendido. Este enfoque no dice que en la ciencia emprica no se hacen
afirmaciones. Slo dice que no es conveniente ver las teoras como clases
de enunciados sino ms bien como clases de estructuras; pero desde luego,
la seal de la ciencia emprica es que tales clases de estructuras estn
esencialmente asociadas con una clase particular de enunciados sobre el
mundo: la as llamada asercin emprica de la teora; y esto es algo que es
verdadero o falso y que tiene que contrastarse con la experiencia.
Moulines [2002], p. 7.
198
Modelos de datos
un
sistema
emprico
particular?
En
trminos
199
Modelos de datos
200
Modelos de datos
201
Modelos de datos
202
Modelos de datos
experiencia
en
trminos
de
observables,
el
203
Modelos de datos
160
204
Modelos de datos
205
Modelos de datos
Aqu encontramos dos comparaciones, una que tiene que ver con las
entidades inobservables y por tanto con el antirrealismo de van
Fraassen; otra relacionada con su empirismo respecto a las entidades
observables y por tanto con su empirismo posfundamentista. As que
estoy de acuerdo en que la primera posicin no tiene contraparte en el
estructuralismo, ya que esta afirmacin coincide en lo esencial con lo
que Diederich dice en la primera cita. Pero no estoy de acuerdo en lo
que tiene que ver con el segundo paralelo porque lo cierto es que la
contrapartida estructuralista de la distincin observable/inobservable
es la distincin T-no-terico/T-terico. Ambas distinciones arriesgan
161
162
206
Modelos de datos
207
Modelos de datos
desde
una
perspectiva
estructuralista,
es
en
qu
208
Modelos de datos
209
Modelos de datos
como
explicaciones
posibles
del
proceso
de
210
Modelos de datos
211
Modelos de datos
que
es
totalmente
compatible
con
los
presupuestos
212
Modelos de datos
for
Science,
VIII.
Foundationalism
versus
213
Modelos de datos
de tipo conceptual sobre el fundamentismo. Su principal desventaja
respecto al ltimo es que sicolgicamente parece ms difcil de asimilar,
pero parece que es ms fcil de defender desde un punto de vista
metodolgico. No obstante, enfatizamos que este ltimo comentario de
ninguna manera tiene el propsito de decir la cuestin. Despus de todo la
cuestin de cul es el correcto, si el fundamentismo o el coherentismo, no
puede responderse sobre fundamentos puramente a priori, pues depende de
un anlisis cuidadoso de mucho ms material del que nosotros hemos sido
163
capaces de reconstruir hasta ahora .
163
164
214
Modelos de datos
165
Ibid., p. 409.
215
Modelos de datos
216
Modelos de datos
167
Ibid., p. 414.
217
Modelos de datos
la
experiencia
pura)
entonces
caemos
en
un
apriorismo168.
Para comenzar, si partimos de que T es un elemento terico con
fondo firme (que no tienen vnculo interpretativo) de la interpretacin
de T en H y de la tesis estructuralista de que el concepto de un
trmino no-terico tiene la misma extensin que el concepto del
trmino determinado a travs de un vnculo interpretativo, entonces
debemos concluir que T no tiene trminos T-no-terico, lo que
equivale a decir, desde una perspectiva estructuralista, que T slo
contiene trminos T-tericos.
168
218
Modelos de datos
219
Modelos de datos
169
Ibid., p. 417.
220
Modelos de datos
Pero llegados a este punto debo plantear que no slo estoy de acuerdo
con la afirmacin dbil de que el estructuralismo en este asunto de la
fundamentacin de las teoras cientficas es neutral en lo que respecta
exclusivamente a las concepciones empirista y apriorista sino que voy
un poco ms all al plantear que el estructuralismo es incompatible
con ambas. Esto porque en los dos casos se viola la siguiente tesis
estructuralista: la identificacin o interpretacin de cualesquiera
aplicacin intencional de todo elemento terico ha de hacerse a travs
de trminos no-tericos respecto al elemento terico en cuestin pero
tericos respecto a elementos tericos subyacentes. Esto sucede en la
versin considerada del fundamentismo empirista al concluir que la
interpretacin de algunos trminos de los elementos tericos con
fondo firme la proporciona la experiencia o algo parecido y de
igual modo se presenta en el fundamentismo apriorista cuando se
llega a la conclusin de que todos los trminos de un elemento terico
con fondo firme son relativamente tericos.
La importancia de esta tesis estructuralista y la funcin que
desempea en el presente anlisis se detecta bastante bien en las
siguientes palabras de Balzer, Moulines y Sneed:
Una objecin ms fundamental contra la forma completa como hemos
formulado la cuestin entre fundamentismo y coherentismo y, por tanto, la
cuestin de la estructura global de la ciencia puede ser que nuestra
explicacin se sostiene en un presupuesto engaoso -que el dominio de
aplicaciones intencionales de una teora est definido o determinado por
los vnculos interpretativos con otras teoras Como una cuestin de
hecho, desde el comienzo de la seccin sugerimos el carcter hipottico de
nuestra asercin de que las aplicaciones intencionales estn determinadas
por un tipo especial de vnculos con otras teoras. Sin embargo dos cosas
pueden decirse en favor de esta hiptesis -un argumento inductivo y otro
deductivo. El argumento inductivo es que en todos los ejemplos
221
Modelos de datos
reconstruidos hasta ahora, esta parece ser la manera ms natural de
comprender cmo se determinan las aplicaciones intencionales. El otro
argumento es que es difcil ver cmo pueden determinarse de otra
170
forma.
Ibid., p. 422.
222
Modelos de datos
esta ltima lo estn por la misma mecnica del cuerpo rgido dado
que la geometra fsica trabaja con sistemas que puedan concebirse
como barras rgidas y cosas semejantes.
De acuerdo con esta ilustracin parecera que nos estamos moviendo
en un crculo vicioso ya que para determinar las aplicaciones
intencionales de la mecnica del cuerpo rgido parece que tenemos
que suponer que las leyes de la mecnica del cuerpo rgido son
aplicables a estas. Pero lo cierto es que este tipo de paradojas pueden
disolverse al hacer un anlisis ms detallado bajo los presupuestos
estructuralistas. Para ello consideremos nuevamente un caso en
abstracto y bastante simplificado: el de un nico bucle.
(T,T)
(T,T)
223
Modelos de datos
Mpp(T)-I(T),
I(T)-M(T),
M(T)-Mpp(T)
171
224
Modelos de datos
Mpp(T)
M(T)
z
(r(x), x)
r(x)
I(T)
I(T)
r(x)
(y,x)
r(z) = y
x
M(T)
Mpp(T)
225
Modelos de datos
173
174
Ibid., p. 420
Ibid.
226
Modelos de datos
Ibid.
227
Modelos de datos
anterior
argumentacin
jug
un
papel
central
la
tesis
228
Modelos de datos
229
Modelos de datos
176
Ibid., p. 422.
230
Modelos de datos
177
178
231
Modelos de datos
179
232
Modelos de datos
233
Modelos de datos
Ibid., p. 419.
234
Modelos de datos
235
Modelos de datos
236
Modelos de datos
recupera
esta
posibilidad
de
fundamentacin
es
237
Modelos de datos
238
Modelos de datos
239
Modelos de datos
Despus de todo afirma van Fraassen-, qu es este mundo en el cual
vivo, respiro y existo, y en el cual mis ancestros de hace dos siglos no
podan entrar? Es el correlato intensional del marco conceptual a travs del
cual percibo y concibo el mundo. Pero nuestro marco conceptual cambia, y
en consecuencia el correlato intensional de nuestro marco conceptual
cambia; sin embargo, el mundo real es el mismo mundo190.
Recapitulando, recordemos que el asunto que nos trajo hasta aqu fue
las formas como las concepciones estructuralista y la de van Fraassen
caracterizan a los modelos de datos. Inicialmente planteamos que la
diferencia fundamental radicaba en que mientras la primera lo hacia
mediante trminos T-no-tericos, la segunda lo hacia en funcin de
observables. Por tanto en el enfoque estructuralista la distincin
importante es T-no-tericos/T-tericos y en el enfoque de van
Fraassen es observables/inobservables. Despus advertimos que si
bien esto era as, la diferencia debera ser ms profunda por que la
cuestin de fondo estaba en que ambas partes asuman compromisos
epistemolgicos, los cuales eran bastante evidentes en el caso de van
Fraassen pero que en el caso del estructuralismo normalmente pasan
desapercibidos. Finalmente examinamos, a la luz del problema de la
evaluacin de las teoras, las principales afirmaciones estructuralista
que supuestamente contenan algn compromiso epistemolgico y
nos encontramos con que efectivamente desembocaban en un
coherentismo, el cual contrasta de un modo importante con el
empirismo posfundamentista de van Fraassen.
Qu entonces de los modelos de datos? Si nos acogemos al criterio
metodolgico de involucrar en la identidad de las teoras
190
240
Modelos de datos
241
Modelos de datos
por
tanto,
son
experiencias
conceptualizadas,
pero
242
CONSIDERACIONES FINALES
La verdad popular las comparaciones son odiosas tiene sentido en el
dominio de las relaciones humanas y no se aplica ni al mundo de la
ciencia ni al de la filosofa. Creo que en estos dos ltimos campos, en
busca de algo parecido, no hablaramos ya de verdad sino de mxima
metodolgica y su forma no slo sera distinta sino que nos sugerira
algo contrario, y esto porque considero que la mxima metodolgica
sera algo as como: las comparaciones son fructferas. Es decir, en
trminos amplios y abstractos: establecer paralelos tiene realmente un
gran valor metodolgico en la medida que permite ver cosas que de
otra forma normalmente pasan desapercibidas: cosas especificas de
ambos lados del paralelo y cosas que tienen que ver con una
perspectiva ms amplia del problema.
He tenido confianza en esta mxima metodolgica desde hace mucho
tiempo y fue esta confianza, entre otras cosas, la que me motivo en un
primer momento para lanzarme a esta aventura de realizar un estudio
comparativo entre el estructuralismo y la concepcin de van Fraassen
en lo que tiene que ver con la naturaleza y estructura de las teoras
cientficas. Y creo que en el presente caso tambin se cumpli la
mxima. Yo espero que esta apreciacin ma no slo sea un
sentimiento personal sino que sea compartido en alguna medida por
Consideraciones finales
244
Consideraciones finales
las
distinciones
no-terico/terico
observable/
245
Consideraciones finales
246
Consideraciones finales
247
Consideraciones finales
248
BIBLIOGRAFIA
Los nmeros de pginas de las referencias bibliogrficas
corresponden a la versin en ingls, cuando la referencia no es
explcita.
Achinstein, P. [1967]: Los modelos tericos, UNAM, Mxico, 1987.
[1968]: Concepts of Science. A Philosophical Analysis,
Hopkins, J., Baltimore, P.
Balzer, W.; Moulines, C. U.; y Sneed, J. D. [1987]: An Architectonic
for Science. The Structuralist Program, Reidel, Dordrecht.
[2000]:
Structuralist
Knowledge
Representation.
Bibliografa
University of
250
Bibliografa
2000.
da Costa, N. y French, S. [2000]: Models, theories, and structures:
Thirty years on, Philosophy of Science, 67 (Proceedings),
2000, pp. S116-S127.
Dalla, M. L. y Toraldo di Francia, G. [2001]: Confines: Introduccin
a la Filosofa de la Ciencia. Crtica. Barcelona.
Diederich, W. [1996]: Structuralism As Developed Within the
Model-Theoretical Approach in the Phlosophy of Science, en
Balzer, W. y Moulines, C. U. [1996].
Dez, J. A. [2002]: A Program for the Individuation of Scientific
Concepts, Synthese, Volume 130, N.1, pp. 13-48.
Dez, J. A. y Moulines, C. U. [1997]: Fundamentos de filosofa de la
ciencia, Ariel, Barcelona.
Duhem, P. [1996]: Essays in the History and Philosophy of Science,
Hackett Publishing Company, Indianpolis & Cambridge.
Earman, J. [1992]: Bayes or Bust? A Critical Examination of
Bayesian Confirmation Theory, MIT Press, Cambridge, MA.
Echeverra,
J.
[1998]:
Similaridades,
isomorfismos
251
Bibliografa
[2000]:
Fundamentacin
emprica
metateora
252
Bibliografa
253
Bibliografa
254
Bibliografa
255
Bibliografa
256
Bibliografa
257
Bibliografa
9;
v.e.
Sobre
los
sistemas
del
mundo
258
Bibliografa
Nersessian
Thagard
(eds.),
Model-Based
259
Bibliografa
260
Bibliografa
261
Bibliografa
262