*Teoras cientficas: su estructura* Jos L. FalgueraLgica y Filosofa de la Cienciajoseluis.falguera@usc.esTeoras factuales: estructura e identidad

Teoras cientficas: su estructura

*Teoras cientficas: su estructura*Superacin de las caracterizaciones enunciativistas: La propuesta de P. SuppesRechazo a identificar una teora con una determinada formulacin lingstica de la misma.Una teora viene dada por la clase de sistemas sobre los que trata (puede tratar).Cabe concebir tales sistemas como (explicitados mediante) modelos, i.e. estructuras conjuntsticas, que satisfacen determinadas condiciones.

Teoras cientficas: su estructura

*Teoras cientficas: su estructura*Superacin de las caracterizaciones enunciativistas: La propuesta de P. SuppesUna teora factual es una clase de modelos. Dos caracterizaciones de una teora:Extrnseca: La clase de modelos que la identifica.Intrnseca: Axiomatizacin mediante definicin de un predicado terico-conjuntista.

Teoras cientficas: su estructura

*Teoras cientficas: su estructura*Superacin de las caracterizaciones enunciativistas: La propuesta de P. SuppesAxiomatizacin mediante definicin de un predicado terico-conjuntista: definir (en lenguaje de teora de conjuntos) condiciones de un predicado cuya extensin es la clase de modelos de la teora.Un predicado terico-conjuntista, para una teora, da cuenta de la estructura relacional peculiar de (los sistemas) de la teora y de las condiciones a satisfacer por los sistemas en cada estado (modelos).

Teoras cientficas: su estructura

*Teoras cientficas: su estructura*Superacin de las caracterizaciones enunciativistas: La propuesta de P. SuppesDefinir un predicado conjuntista, para una teora, exige: Dar la estructura relacional peculiar de (los sistemas) de una teora; que se presenta como una secuencia de entidades conjuntsticas en la que cabe distinguir:dominios de entidades bsicas (dominios base);Relaciones y funciones (caractersticas de la teora).Caracterizar formalmente -i.e., dar las propiedades matemticas de- cada uno de los conceptos correspondientes a dominios base, relaciones y funciones. Axiomas impropios.Explicitar leyes mediante las que se relacionan los componentes de la estructura relacional. Axiomas propios.

Teoras cientficas: su estructura

*Teoras cientficas: su estructura*Superacin de las caracterizaciones enunciativistas: La propuesta de P. SuppesMCP(x) [x es (sistema de la) Mecnica Clsica de Partculas] syss existen P,T,s,m,f tal que:(0) x=;(1) P es un conjunto finito, no-vaco;(2) T es un intervalo de nmeros reales;(3) s es una funcin de PT en el conjunto de triplos ordenados de nmeros reales tal que, para todo pP, tT, existe D2s(p,t);(4) m es una funcin de P en los nmeros reales tal que, para todo pP, m(p)>0 ;(5) f es una funcin de PTI en el conjunto de triplos ordenados de nmeros reales tal que, para pP, tT, SiIf(p,t,i) es absolutamente convergente;(6) para todo pP y tT, m(p)D2s(p,t)=SiIf(p,t,i)

Teoras cientficas: su estructura

*Teoras cientficas: su estructura*Superacin de las caracterizaciones enunciativistas: La propuesta de P. SuppesDado un predicado terico-conjuntista (P) para una teora (T), adecuadamente definido mediante axiomas impropios y axioma(s) propio(s):Llamamos posibles realizaciones (o modelos potenciales) a los sistemas que satisfacen los axiomas impropios. Sea Rp el conjunto de posibles realizaciones de T, dado P.Llamamos modelos (o modelos actuales) a los sistemas que satisfacen los axiomas impropios y los propios. Sea M el conjunto de modelos (actuales) de T, dado P. M RpT =

Teoras cientficas: su estructura

*Teoras cientficas: su estructura*Superacin de las caracterizaciones enunciativistas: La propuesta de P. SuppesInterpretacin emprica de T0mediante jerarqua de teoras subyacentesT0

Teoras cientficas: su estructura

*Teoras cientficas: su estructura*Superacin de las caracterizaciones enunciativistas: La propuesta de P. Suppes

Supuestamente una teora factual establece que ciertas parcelas del mundo han de concebirse como sus modelos.Pero, en la caracterizacin de Suppes de qu parcelas del mundo son representacin los modelos de una teora factual? .La propuesta de Suppes no permite dar cuenta de la asercin emprica que debe establecer cada teora factual.

Teoras cientficas: su estructura

*Teoras cientficas: su estructura*Superacin de las caracterizaciones enunciativistas: La propuesta de P. Suppes

La propuesta de Suppes no permite diferenciar entre una teora matemtica y una teora emprica (concretamente, si est matematizada).Suppes pretende que tal falta de diferenciacin sea un hecho que su enfoque permite destapar.Pero ms bien parece una insuficiencia de su caracterizacin.

Teoras cientficas: su estructura

**********