Documente Academic
Documente Profesional
Documente Cultură
ENTRE TERMINOS
LA DISTINCION
T-TEORICOS
Y T-NO-TEORICOS.
COMPROMISOS ONTOSEMANTICOS
Adriana Gonzalo
FHUC/ FADU
Universidad Nacional del Litoral
adriana.n.gonzalo@gmail.com
13
14
t
erminos te
oricos
of his position is carried out, pointing out the aspects in which it represents an
important innovation in the metatheoretical elucidation of the ontosemantic
of scientific theories, and those which present limitations.
Keywords: Scientific theories structuralist view of theories theoretical terms
criteria of theoreticity ontosemantic
Introducci
on
1
El presente trabajo se enmarca en el conjunto de reflexiones, dentro de
la concepci
on estructuralista de la ciencia (CE), en relaci
on a una agenda de los principales problemas ontosemanticos de las teoras cientficas. Partire de considerar que estos problemas se configuran sobre los
siguientes ejes:
a) Distinci
on entre terminos te
oricos relativos a una teora T (terminos T-te
oricos) y no te
oricos, relativos a T (T-no-te
oricos),
en contraposici
on a la distinci
on global de la visualizaci
on
estandar de conceptos observacionales y conceptos te
oricos.
b) La distinci
on supone una diferenciaci
on de base entre modelos
(reales) y modelos (potenciales parciales) de una teora (elemento te
orico) en cuesti
on.
c) La noci
on de aplicaciones intencionales de una teora, partiendo de que estas se conciben como un subconjunto de los
modelos potenciales parciales de una teora.
d) La determinaci
on de los aspectos semanticos y pragmaticos
que permean la distinci
on de los terminos en las teoras cientficas.
e) Los aspectos ontol
ogicos que subyacen a la distinci
on entre
T-te
orico, T-no-te
orico y el modo en que estos afectan una
posici
on ontol
ogica general de la ciencia.
f) El problema de las aserciones empricas de una teora, y su justificaci
on, que involucran terminos epistemol
ogicos como dar
sustento, confirmar, etcetera, que tambien ponen en discusi
on lo que entendemos por componentes extraling
usticos
de las teoras.
adriana gonzalo
15
g) La distinci
on entre aspectos sincr
onicos y diacr
onicos que son
relativos a la determinaci
on del significado de los terminos en
las teoras cientficas y cambio de significado.
Claramente, este vasto conjunto de problemas no puede tratarse
con profundidad en un trabajo de esta naturaleza, de modo que me
limitare a trazar una estrategia que me permita concentrarme en el
problema de la distinci
on entre terminos T-te
oricos y T-no-te
oricos, y
los compromisos ontol
ogicos que la misma conlleva.
En la primera parte del trabajo presentare la versi
on originaria de
la problematica y la soluci
on presentada en Sneed (1971), ademas de
comentar brevemente algunos desarrollos posteriores realizados por
Stegm
uller (1973, 1976) que tuvieron continuidad en Balzer y Moulines (1980) y Moulines (1985), deteniendome particularmente en este
ltimo. Caracterizare estas soluciones como propuestas pragmaticas.
u
Completando una presentaci
on esquematica del problema antes
aludido, mencionare otros desarrollos de la distinci
on T-te
orico, Tno-te
orico en Balzer (1986) y Balzer (1996). Estos trabajos se inscriben
en lo que denominare propuestas semanticas de la problematica.
En la segunda parte, el trabajo se centrara en el problema de los
compromisos ontosemanticos que acarrea esta distinci
on en el marco
de las propuestas pragmaticas, particularmente en la posici
on de Moulines (1982, 1984, 1991, 1994, 1998, 2002). Caracterizare su posici
on
como: (a) una defensa de la tesis de la determinaci
on primaria del lenguaje en el modo de acceder a los entes en general y a las entidades
cientficas en particular; (b) una salida pragmatica circunscripta a la
pragmatica del significado (en contraposici
on a lo que podra ser una
posici
on pragmatica relativa a un pragmatismo o una posici
on praxista).
Finalmente realizare una evaluaci
on de la propuesta metate
orica de
Moulines en las obras citadas, se
nalando en que aspectos representa
esta una innovaci
on importante en la elucidaci
on metate
orica sobre
la ontosemantica de las teoras cientficas y en que otros adolece de
problemas, presentando ciertos lmites en la soluci
on ofrecida.
16
t
erminos te
oricos
Primera Parte
2
En la concepci
on sneediana (Sneed 1971) se caracterizaba por primera
vez un criterio de teoreticidad que permita una distinci
on entre terminos T-te
oricos y T-no-te
oricos, a la vez que brindaba una respuesta a lo
que Stegm
uller (1973) hara popular como el reto de Putnam, esto
es, la respuesta a la cuesti
on sobre que son los terminos te
oricos en la
ciencia.
Para que esta distinci
on sea comprendida debemos hacer algunas
consideraciones previas. En la CE se han dado dos definiciones precisas de teora: seg
un una caracterizaci
on restringida, teora se define como elemento te
orico; mientras que en un sentido mas amplio,
teora se define como red-te
orica.1 La caracterizaci
on de Sneed (1971)
se relaciona con la noci
on restringida de teora. Partiendo de ella introducire un marco de nociones basicas del planteamiento sneediano
que permitiran la comprensi
on de este criterio.2
En la obra arriba mencionada, Sneed presentaba una concepci
on
de teora pensada particularmente para las teoras fsicas y se expresaba formalmente mediante la dupla K, I, donde K representa la
estructura formal matematica de la teora e I el conjunto de aplicaciones intencionales (intended applications). Sneed pensaba que la forma
mas adecuada de conceptualizar K consista en concebirla como un
conjunto de modelos que constituyeran las unidades de analisis de las
teoras. As se introdujo esta noci
on, definida como un procedimiento de axiomatizaci
on por la introducci
on de un predicado conjuntista.
Esta axiomatizaci
on requera la diferenciaci
on entre modelo potencial
(M p ) y modelo actual (M) de una teora (fsica). Se concibi
o M p como
una entidad determinada por las condiciones estructurales que intervienen en la caracterizaci
on del predicado conjuntista correspondiente
a la axiomatizaci
on de la teora en cuesti
on; es decir, M p es cualquier
1
Una caracterizaci
on precisa de estas nociones se da en Balzer, Moulines y Sneed (1987).
La noci
on de elemento te
orico se presenta en el cap. II, mientras que la de red-te
orica
se desarrolla en el cap. IV. La caracterizaci
on de teora en el sentido de elemento-te
orico
que se introducira a continuaci
on se remonta a la etapa fundacional de CE y es un tanto
menos precisa y formal que la dada en la obra arriba indicada.
2 Esta parte del texto est
a dirigido a un lector que no esta muy familiarizado con las nociones
centrales de la CE y tiene el objetivo de facilitarle la comprensi
on del planteo sneediano.
adriana gonzalo
17
18
t
erminos te
oricos
adriana gonzalo
19
en la interpretaci
on de la aserci
on emprica de Sneed: Todas las aplicaciones intencionales pueden ser extendidas a modelos reales. Si todos los terminos son T-te
oricos esta aserci
on emprica se reduce a un
enunciado sobre la cardinalidad de los conjuntos de base, si ning
un
termino es T-te
orico entonces el rango completo de los terminos tiene
que ser determinado o medido para el rango completo de los argumentos, antes de que la aserci
on emprica se compruebe (Balzer 1996,
p. 154).
3
Balzer (1986) ha enfatizado que la idea que esta en la base del CT de
Sneed es una intuici
on sobre la practica cientfica, se trata mas de un
criterio pragmatico que de uno l
ogico. Para penetrar la significaci
on
del criterio debemos precisar dos expresiones usadas en su formulaci
on original, esto es: determinaci
on de un termino y presuposici
on
de T en una determinaci
on de un termino.
En este texto de Balzer se ha hecho notar que, informalmente expresada, la idea central que subyace a las expresiones antes mencionadas
parte de considerar la existencia de una teora dada T y la de un grupo de cientficos que operan con T. Por alguna raz
on u otra se precisa
conocer algunos valores de ciertas funciones de T para determinados
argumentos dados. Este conocimiento no puede adquirirse por observaci
on directa, esto al menos en el caso de teoras avanzadas, de modo
que se requieren otras acciones: experimentos y mediciones que se llevan a cabo en orden a determinar los valores deseados. Todas estas
actividades, que dan como resultado uno o mas valores de las funciones identificables, representan las determinaciones para alg
un termino.
Teniendo en cuenta ejemplos concretos de tales determinaciones reconocemos que en el curso de una determinaci
on los cientficos en ge
neral usan conocimiento te
orico, f
ormulas o ecuaciones. Estos
realizan
ciertos calculos e inferencias sobre la base de f
ormulas dadas a modo
de obtener valores de la funci
on que se desea conocer. Usualmente
este conocimiento te
orico se da en un contexto concreto sin mayor
justificaci
on: es (hipoteticamente) asumido o presupuesto, todos los tipos de suposiciones te
oricas usadas en el curso de una determinaci
on
son presuposiciones. Para cualquier porci
on de una presuposici
on (una
ecuaci
on, una f
ormula, etc.) hay dos casos posibles: o se da que provie-
20
t
erminos te
oricos
La noci
on de disponer de una teora haba sido sugerida ya por Sneed 1971 en relaci
on
a las nociones kuhnianas de comunidad cientfica y de ciencia normal. Este enfoque se
desarroll
o mas ampliamente por Stegm
uller 1973 y 1976, entre otros).
5 Balzer 1996, p. 141.
6 Posteriormente, Balzer, Moulines y Sneed 1987 caracterizaron el aparato formal de una
teora mediante:
K = M p (T), M(T), M pp (T), RG(T), V G(T),
adriana gonzalo
21
22
t
erminos te
oricos
mas precisa por medio del siguiente criterio de teoreticidad (CT ): f es
T-te
orico si M f (T) M(T).
Ahora bien, parafraseando a Moulines, como las teoras no son entidades que se autocomprueben, no todos sus terminos son T-te
oricos.
En una teora cientfica T siempre encontraremos alg
un termino g para el cual hay alg
un metodo de determinaci
on dentro de T que no es
un modelo de T. Llamaremos T-no-te
oricos a tales terminos (Moulines
1985, p. 474).
Moulines agrega que los metodos de determinaci
on de los terminos T-no-te
oricos de T que no son modelos actuales de T son los que
permiten someter la teora a una prueba independiente. [. . . ] Proporcionan lo que normalmente se llama los datos empricos para T. Si
se simboliza a uno de tales metodos para determinar a un termino g
T-no-te
orico por ng, se tiene que ng determina la extensi
on de g
si g es una funci
on metrica, ng mide g . Es aceptable considerar
que ng M p (T), pero tambien tenemos que ng M(T); esto es, en
este caso s
olo los axiomas estructurales de T pueden jugar un papel
en la determinaci
on de g, pero las leyes fundamentales y especiales de
T no juegan ning
un papel. Puesto que se ha admitido que los axiomas
estructurales son muy pobres en contenido, c
omo podemos suponer
que g puede determinarse por medio de ng? (Moulines 1985, p. 475).
Es aqu donde intervienen seg
un el autor los vnculos interte
oricos.
La informaci
on adicional que fija que ng determine g no es una cuesti
on de observaci
on sino que intervendra tambien informaci
on te
orica,
pero esta sera proveniente de alguna otra teora a traves de un vnculo
apropiado, mismo que conecta al metodo de determinaci
on de g en T
con alg
un metodo de determinaci
on de g en T para alguna otra funci
on en alguna Ti y este metodo de determinaci
on Ti presuntamente
incluso satisface las leyes fundamentales de Ti o tambien algunas de
sus leyes especiales.
As, seg
un Moulines, es posible ligar la distinci
on entre terminos
te
oricos y no-te
oricos, por un lado, con la distinci
on entre axiomas, y
con los principios puente por el otro, todo esto de la siguiente manera:
los axiomas de la teora (especialmente las leyes fundamentales) son
practicamente esenciales para determinar los terminos te
oricos; los
principios puente son practicamente esenciales para determinar los
terminos no-te
oricos.
adriana gonzalo
23
24
t
erminos te
oricos
modo de determinaci
on del significado de un T-te
orico distinto de
T. De este modo se puede contar con la posibilidad determinar los
M pp de una teora T en cuesti
on como constituyendo la base emprica
de T. As seguiramos sosteniendo que para que una teora cientfica
pueda diferenciarse de una teora ficcional debe existir alg
un tipo de
entidades extraling
usticas de las que podamos dar cuenta sin presuponer en todo momento T. Esta manera de hablar de entidades extraling
usticas puede ampliarse cuando extendemos LNT como condici
on a un conjunto de teoras relacionadas entre s por un conjunto
de links, y/ o relaciones interte
oricas, situaci
on que resulta particularmente clara cuando hablamos de red te
orica.
5
Conviene aqu agregar que el problema planteado respecto a la salida coherentista como consecuencia de la caracterizaci
on de termino
te
orico en la ciencia ha sido tambien pensada dentro de la CE. Balzer
(1986, 1996) ha se
nalado que el CT es un criterio que distingue los
terminos te
oricos basandose en nociones pragmaticas y, a diferencia
de esta propuesta, el autor propone un nuevo criterio de teoreticidad
que intenta deslizar el eje de los argumentos acerca de la teoreticidad
de los terminos cientficos hacia un criterio mas semantico y formal.
El criterio de Balzer (1986, 1996) basado parcialmente en Gahde
(1983) busca una caracterizaci
on mas exhaustiva que la basada en
nociones tales como los metodos de medici
on de una funci
on, y brinda lo que el autor denomina una soluci
on coherentista al problema.
Al mismo tiempo caracteriza la noci
on de teoreticidad en el marco de
lo que llamamos teora en sentido generico (red te
orica). Balzer parte
de la necesidad de caracterizar mas clara y formalmente la noci
on de
teoreticidad y argumenta que el enfasis que se ha dado a la importancia de la distinci
on T-te
orico, T-no-te
orico, cuyo rol en la metateora
estructural ha sido a su juicio sobredimensionada (particularmente en
Stegm
uller (1973)), podra deflacionarse de modo que el problema se
oriente mas especficamente a una definici
on semantica y formalmente
clara de la noci
on aludida.
Sin embargo, s
olo mencionamos aqu la posici
on de Balzer a los
efectos, hacer notar ciertas no-homogeneidades en el tratamiento del
t
opico dentro de la CE, ya que nuestro interes, tal como ha sido antes
adriana gonzalo
25
26
t
erminos te
oricos
adriana gonzalo
27
28
t
erminos te
oricos
creo, en el de Frege). Si tu pregunta era: No-referencial = pragmatico?
la respuesta es claramente: no.11
la nota 10.
12 Ib
dem.
adriana gonzalo
29
Conclusiones
En los puntos anteriores se ha pretendido esbozar un conjunto de
problemas ontosemanticos en el marco de la CE, centrandonos en el
problema de la distinci
on entre terminos T-te
oricos y T-no-te
oricos, y
las consecuencias ontol
ogicas de esta distinci
on.
Hemos distinguido entre una soluci
on pragmatica y una semanticoformal al problema, atribuyendo a los enfoques de Sneed, Stegm
uller
y Moulines la caracterizaci
on de pragmaticos, y al de Balzer la de
semantico-formal. Hecho esto nos hemos separado del enfoque de Balzer (1986, 1996) para concentrarnos en la primera soluci
on.
En relaci
on a la propuesta de Sneed (1971) hemos se
nalado las nociones pragmaticas involucradas en la distinci
on aludida. En relaci
on
con estas, hemos comentado el rol central de las nociones de determinaci
on y metodos de determinaci
on de los terminos te
oricos, as como las nociones de presuposici
on y de disponer de una teora.
De este modo, hemos enfatizado el rol de la concepci
on de intended
application, que implica la idea de que ciertas estructuras se aplican
a cierto dominio emprico de acuerdo a una concepci
on pragmaticointencional de aplicaci
on: se consideran aplicaciones paradigmaticas,
esto es, un subconjunto del conjunto total de aplicaciones, dado en un
momento del desarrollo te
orico, que la comunidad cientfica reconoce
ltima idea se remarca el rol de los comcomo paradigmatico. En esta u
ponentes sociol
ogicos e hist
oricos que intervienen en la configuraci
on
de las aplicaciones intencionales. Finalmente, respecto de este aspecto, la relaci
on entre la estructura formal y el conjunto de aplicaciones
intencionales se presenta con un caracter instrumental y convencional:
nuestras construcciones modelote
oricas pueden servirnos para la descripci
on y explicaci
on de cierto sistema fenomenico al que se aplica,
seg
un objetivos de la comunidad cientfica en circunstancias hist
oricopragmaticas determinadas.
A pesar de sus aciertos, el CT de Sneed resultaba demasiado restringido y merecedor de diversas crticas. En Balzer (1996) se remarcan
algunos problemas que podran devenir del criterio:
Con respecto a la presencia de terminos te
oricos la cuesti
on es si se asume
que ellos ocurren en todas las aplicaciones intencionales del modelo metate
orico. En su formulaci
on original Sneed no asumi
o que todas las teoras
30
t
erminos te
oricos
contienen terminos empricos, su modelo da espacio para casos extremos
donde todos o ninguno de los terminos son T-te
oricos. (Balzer 1996, p.
153)
Stegm
uller (1973, 1976) mostraba un claro interes filos
ofico por
profundizar y desarrollar las implicaciones del enfoque pragmatico
presente en CT, tanto en relaci
on a los aspectos epistemicos, como en
los actitudinales en la ciencia y la actividad cientfica. Sus reflexiones
se
nalaban la necesidad de elucidar nociones tales como alguien dispone de una teora; o alguien sabe o cree que Y en el contexto t.
Sin embargo, a pesar de su interes manifiesto en la elucidaci
on metate
orica aquellas nociones permanecieron sin un tratamiento posterior
mas exhaustivo.
A partir de Balzer y Moulines (1980) la ampliaci
on del marco metate
orico permitira mayor precisi
on para el tratamiento de la distinci
on
entre terminos T-te
oricos y T-no-te
oricos. La posici
on seguida luego
en Moulines (1985) represent
o una profundizaci
on y clarificaci
on de la
propuesta original de Sneed y Stegm
uller. La LNT constituy
o un requisito importante en la determinaci
on de no-teoreticidad, constituyendo
un modo de escapar a la demasiado amplia concepci
on hansoniana o
achinsteiniana de la carga te
orica de los terminos cientficos. Asimismo, en la propuesta de Moulines la distinci
on entre axiomas y leyes
fundamentales de la teora, por un lado, y vnculos o links interte
oricos
(principios puente) por otro, sirvi
o de base conceptual a la distinci
on
de terminos T-te
oricos y T-no-te
oricos, a la vez que aport
o una herramienta importante para la reconstrucci
on modelote
orica de las teoras
cientficas.
En referencia a la relaci
on entre la distinci
on de terminos en la
ciencia y la va de acceso a la pregunta ontol
ogica hemos considerado
que la CE no resulta compatible con un irrealismo, pero podra serlo
tanto con una posici
on realista como con una antirrealista.
En nuestro analisis hemos examinado la posici
on moulinesiana, que
englobamos en una concepci
on antirealista, dada su tesis de la determinaci
on primaria del lenguaje en el modo de acceder a los entes en
general y a las entidades cientficas en particular.13
13 Algunos
adriana gonzalo
31
32
t
erminos te
oricos
adriana gonzalo
33
34
t
erminos te
oricos
adriana gonzalo
35
Stegm
uller, W., 1973, Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie vol. 1: Theorie and Erfahrung; volumen 2: Theorienstrukturen
und Theoriendynamik, Springer, Heidelberg.
, 1976, Accidental (Non Substantial) Theory Change and Theory Dislodgement: to What Extent Logic Can Contribute to a Better Understanding
of Certain Phenomena in Dynamics of Theories, Erkenntnis, vol. 10, 1976.
Versi
on utilizada: Cambio te
orico accidental (no sustancial) y desplazamiento de teoras, en Rolleri 1986, pp. 215250.
Toumela, R., 1973, Theoretical Concepts, Springer, Viena-Nueva York.
Recibido el 8 de septiembre de 2011
Aceptado el 30 de noviembre de 2011