Re: acerca de la ciencia

[Fernando Garcia-Valles <gvalles@...>]

Respuesta a Ricardo y Santi:

En ciencia de computadores, y en particular dentro del estudio de sistemas concurrentes,
o bien en ingenieria de sistemas, se suelen utilizan modelos matematicos para 
describir el comportamiento de sistemas cualesquiera. 
Estos modelos permiten analizar el sistema objeto de estudio, tipicamente 
para comprobar ciertas propiedades. Los modelos que se desarrollan
no son en absoluto una descripcion exacta del sistema, ni siquiera tienen por que
describir todas sus caracteristicas. Se utiliza la abstraccion, mecanismo por el
cual somos capaces de representar solamente aquellas caracteristicas que
son relevantes para las propiedades a estudiar. En este contexto, la causalidad
es un simple concepto matematico (en realidad no tan simple, de hecho hay muchos tipos
de causalidades diferentes, los mas relevantes causalidad AND y las dos versiones
de causalidad OR). En estos modelos la causalidad se caracteriza justamente
por la relacion de orden entre eventos del sistema. Asi, si el evento A ocurre antes 
que el evento B (le precede en el orden) para toda evolucion del sistema, 
se dice que A es causa de B. Si entre los dos eventos no hay relacion de orden
(esto es, para algunas evoluciones A precede a B, y para otras B precede a A),
se dice que A y B son o bien concurrentes, o bien entrelazados (depende del caso), 
no existe relacion causal entre ellos. En este contexto la causalidad "material" 
(por llamarla de algun modo) y la "temporal" son indistinguibles. 

Puede ser que en un modelo de un sistema dos eventos tengan relacion causal,
y en otro modelo del mismo sistema dichos eventos sean independientes. 
Un ejemplo tipico es un computador multiusuario. Desde el punto de vista
de los usuarios, sus tareas se ejecutan de forma concurrente, todas a la
vez; sim embargo, un modelo mas detallado de la maquina revela que en realidad
la maquina es secuencial, que solo realiza una tarea a la vez (lo que
pasa es que el intercambio entre tareas es tan rapido que produce la ilusion 
de concurrencia verdadera). Esto no es ninguna trivialidad o ejemplo tonto.
De hecho, dependiendo de las propiedades a estudiar en este tipo de sistemas,
es mas conveniente un modelo u otro, y, cada uno en su nivel
de abstraccion describen perfectamente lo que esta ocurriendo.

Ahora pregunto: Si considero una teoria fisica como un simple modelo,
?que diferencia hay con lo anterior? Ninguna. De hecho puedo prescindir
completamente de la "realidad misma" (que no se lo que es exactamente
pero creo que todos entendeis a que me refiero) y el metodo
cientifico funciona exactemente igual.

Por ejemplo, ?cola sigue a cabeza de burro en el agujero de la valla?
El observador establece su modelo despues de muchas observaciones
y en ese modelo cabeza siempre precede a cola. Esa es su teoria.
Pero un dia pasa un burro marcha atras, y entonces su modelo falla.
Tiene que desecharlo porque no ha predicho el resultado correcto.
El nuevo modelo dira: si primero pasa cabeza entonces depues pasa cola;
si primero pasa cola entonces despues pasa cabeza. La relacion
causal desaparece, y solo queda como conclusion la secuencialidad
de ambos eventos, aunque en orden arbitrario (entrelazamiento). 
Tenemos otra teoria que se adapta mejor al sistema estudiado. 
Como podeis ver, exactamente el metodo cientifico.

Ahora bien, ?es posible utilizar este tipo de relativizacion para 
reivindicar la validez de paranormalidades y similares (o incluso PA)?
Rotundamente no. Cada uno puede modelar un sistema como le venga en gana,
es solo el planteamineto de la teoria. Pero despues el metodo cientifico
requiere, entre otras cosas, que el modelo sea capaz de predecir
comportamientos del sistema, para que sea un modelo valido del 
mismo.

Que lo digirais con gusto.

Fernando