Descubrimiento científico y estrategias inductivas

Se continúa en la investigación de la temática general y multifacética del descubrimiento científico que este equipo ha venido desarrollando desde hace varios años. En la etapa que corresponde a este proyecto priorizaremos la relación entre el descubrimiento científico -entendido como temática propia de la filosofía de la ciencia- y estrategias inductivas consideradas como propias de la epistemología y las teorías del conocimiento. Objetivos generales: 1. Explorar y explicitar las relaciones entre descubrimiento científico e inducción, desde la óptica de las diferentes estrategias inductivas abordadas actualmente dentro del ámbito filosófico. 2. Realizar una comparación y ponderación crítica de los alcances y límites de estas estrategias, en relación con el contexto de descubrimiento y las diferencias ampliativas. 3. Evaluar la incidencia de estas estrategias filosóficas dentro del ámbito de la Filosofía de la Ciencia y la Metodología. Objetivos específicos: a) Análisis críticos de los enfoques pragmatistas contemporáneos sobre la inducción. a1) Evaluación del estado de las discusiones actuales sobre la proyectabilidad y el entrenchment. b) Exploración de algunas estrategias ampliativas involucradas en procesos de descubrimiento científico. c) Análisis de la interacción entre inferencias inductivas y la evolución de las Teorías de la confirmación. Se intentará elucidar cómo en la actualidad el debilitamiento de los programas de confirmación ha dado lugar a la emergencia de nuevas estrategias de descubrimiento. c1) Focalización de algunos aspectos relevantes de la tensión existente entre inducción, confiabilidad y justificación. d) Descripción de la relación entre inducción y la emergencia del concepto de probabilidad. e) Continuación de la elaboración de un sistema de búsqueda de patterns a partir de datos de arqueología. Implementación en LISP. f) Confrontación de algunos importantes trabajos filosóficos respecto a la relación entre inferencias ampliativas y descubrimiento científico. g) Revaluación de las obras metodológicas de Descartes, atendiendo al contexto de descubrimiento.

Filososofía y Ciencia Computacional: Aspectos epistemológicos, ontológicos y metodológicos. Philosophy and Computing Sciencs: Epistemological, Ontological and Methodological Aspects.

Uno de los temas centrales del proyecto concierne la naturaleza de la ciencia de la computación. La reciente aparición de esta disciplina sumada a su origen híbrido como ciencia formal y disciplina tecnológica hace que su caracterización aún no esté completa y menos aún acordada entre los científicos del área. En el trabajo Three paradigms of Computer Science de A. Eden, se presentan tres posiciones admitidamente exageradas acerca de como entender tanto el objeto de estudio (ontología) como los métodos de trabajo (metodología) y la estructura de la teoría y las justificaciones del conocimiento informático (epistemología): La llamada racionalista, la cual se basa en la idea de que los programas son fórmulas lógicas y que la forma de trabajo es deductiva, la tecnocrática que presenta a la ciencia computacional como una disciplina ingenieril y la ahi llamada científica, la cual asimilaría a la computación a las ciencias empíricas. Algunos de los problemas de ciencia de la computación están relacionados con cuestiones de filosofía de la matemática, en particular la relación entre las entidades abstractas y el mundo. Sin embargo, el carácter prescriptivo de los axiomas y teoremas de las teorías de la programación puede permitir interpretaciones alternativas y cuestionaría fuertemente la posibilidad de pensar a la ciencia de la computación como una ciencia empírica, al menos en el sentido tradicional. Por otro lado, es posible que el tipo de análisis aplicado a las ciencias de la computación propuesto en este proyecto aporte nuevas ideas para pensar problemas de filosofía de la matemática. Un ejemplo de estos posibles aportes puede verse en el trabajo de Arkoudas Computers, Justi?cation, and Mathematical Knowledge el cual echa nueva luz al problema del significado de las demostraciones matemáticas.Los objetivos del proyecto son: Caracterizar el campo de las ciencias de la computación.Evaluar los fundamentos ontológicos, epistemológicos y metodológicos de la ciencia de la computación actual.Analizar las relaciones entre las diferentes perspectivas heurísticas y epistémicas y las practicas de la programación.