El diseño de las simulaciones digitales: una perspectiva desde las prácticas científicas.

DURÁN, JUAN; LODEYRO, PENÉLOPE; BOZZOLI, MAXIMILIANO

Epistemología e Historia de la Ciencia

Editorial de la Facultad de Filosofía y Humanidades, UNC.

Lugar: Córdoba; Año: 2010; p. 204 - 210

Durante los últimos cincuenta o sesenta años, la migración al uso de computadoras por parte de los científicos ha sido casi en su totalidad. Desde luego los usos y las aplicaciones son extremadamente variadas: desde procesadores de texto a analizadores de resultados, sólo por nombrar dos usos completamente opuestos. Pero ha sido sólo en estos últimos años cuando la filosofía ha comenzado a considerar más sistemáticamente el impacto que las computadoras pueden tener en la vida del laboratorio. Un plan de trabajo interesante para los filósofos consiste en evaluar el valor epistémico que se le adscribe a un programa de computadora en función de sus resultados. El problema inmediato con esta línea de trabajo consiste en suponer fuertemente que los resultados funcionan como evidencia para la validación del programa. Un caso particularmente interesante se presenta en el dominio de las simulaciones computacionales, especialmente en el área de física y disciplinas afines, donde algunos filósofos sostienen que la correspondencia entre los resultados de las simulaciones y los resultados de la experimentación son motivos suficientes para obtener garantías epistémicas sobre la simulación. Nuestro trabajo consistirá en brindar otro enfoque a la propuesta basada en que los resultados son determinantes en la validación de una simulación, proponiendo un breve análisis filosófico acerca de la importancia epistémica que tienen algunos elementos técnicos en la validación del programa así como en los resultados. Desafortunadamente los límites conceptuales de lo que es una simulación computacional aun son extremadamente borrosos, por ello hemos optado por restringir este trabajo a lo que en matemática aplicada se denominan simulaciones numéricas (SN). En este sentido, entendemos por SN la resolución de un modelo matemático mediante métodos numéricos implementados en una computadora. Así pues, una SN se convierte en una sub-categoría de lo que usualmente se llaman simulaciones computacionales, sólo que particularizada por el método de resolución de ecuaciones. El valor epistémico que estamos buscando estará, pues, relacionado íntimamente con la creación y uso de modelos computacionales, entendidos estos como una estructura lógica capaz de ser implementada en una arquitectura computacional; más específicamente, un modelo computacional será el producto de la aplicación de transformaciones formales a modelos matemáticos, más algún conjunto de conjeturas informales más o menos bien fundadas. Dado este contexto, uno de los aspectos a tener en cuenta es la presencia inevitable de errores en los distintos niveles: en el modelo matemático, en la transformación y reducción de niveles de complejidad, en la especificación del modelo computacional, en el modelo computacional, en la implementación en una arquitectura específica, sólo por mencionar algunos. Así pues, el análisis del error resulta de gran interés filosófico para la validación de los resultados y, claro está, para la confianza epistémica depositada en la simulación. Aquí, por otra parte, sólo nos ocuparemos de trabajar el error en uno de los niveles mencionados, a saber, a nivel de modelo computacional.