Testeando reconstrucciones formales con Reconstructor

ROFFÉ, ARIEL JONATHAN

Mar del Plata

Congreso; XIX Congreso Nacional de Filosofía; 2019

En la presente ponencia, se introduce unprograma de computación, llamado Reconstructor, diseñado para testearreconstrucciones formales de teorías. La importancia de esta meta debería serinmediatamente clara para cualquier persona que posea una actitud científicahacia los estudios metateóricos. Hasta el momento, el testeo dereconstrucciones formales era llevado a cabo mayormente ?a ojo?. Esto es,muchos investigadores en el campo de la filosofía de la ciencia desarrollaronprogramas de investigación metateóricos con aparatos conceptuales y matemáticoscomplejos, y los aplicaron detalladamente a una amplia variedad de casosprovenientes de diferentes disciplinas. Sin embargo, una vez que esto erarealizado, no se contaba con un modo sistemático y exacto de testear laadecuación de tales aplicaciones (y por tanto, de testear las metateoríasmismas, ya que las teorías ?incluyendo las teorías que tratan acerca de lasteorías? se testean a través de sus aplicaciones). En cualquier otro campocientífico este estado de cosas sería considerado altamente problemático, y nohay razones para pensar que el estudio científico de las teorías científicas debaser una excepción a ello. El objetivo de este trabajo es proveer unaherramienta computacional que contribuye a llevar a cabo tales testeossistemáticos y precisos, volviendo, de ese modo, al estudio de teorías másplenamente científico.El núcleo del programa es un módulo capazde chequear si un modelo dado satisface una oración formal. De ese modo,cargando las leyes de la teoría en cuestión como axiomas y sus (potenciales)aplicaciones como modelos, el programa es capaz de chequear si una potencialaplicación es exitosa o no lo es (i.e. satisface o no las leyes). Un test deuna reconstrucción formal consistirá por tanto en una comparación del?comportamiento? de la teoría original y del de su contraparte reconstruida. Sisegún nuestra comprensión previa de la teoría una aplicación satisface lasleyes, pero según Reconstructor el modelo (que representa a la aplicación encuestión) no satisface los axiomas propios, entonces puede concluirse que hayun error en la reconstrucción formal. Del mismo modo pueden usarse lasaplicaciones consideradas informalmente como no exitosas (deben no satisfacerlas leyes, según el programa). Si bien Reconstructor fue diseñado con lametateoría estructuralista en mente, puede ser utilizado desde cualquiermetateoría formal, en tanto y en cuanto utilice lenguajes formales paraformalizar las leyes, y modelos (en sentido lógico) para representar a lasaplicaciones.