Una formalización del razonamiento hipotético e inductivo en teoría de la ciencia

Abstract

Se presenta una formalización del razonamiento hipotético adecuada para integrarse dentro del contexto del razonamiento científico. Dicha formalización está fundamentada en la importancia epistémica que se asigna a la información factual. Esto permite caracterizar los distintos tipos de conocimiento que se utilizan, es decir, el conocimiento lógico-deductivo, conocimiento tentativo proveniente de reglas default y el conocimiento proveniente de opiniones o hipótesis. Cada tipo de conocimiento tiene una importancia epistémica diferente. En [2] se presentó una correspondencia entre los aspectos formales de la teoría de la ciencia y un modelo de razonamiento revisable. El comportamiento de una teoría científica dentro del contexto de explicación es visto como un caso particular de razonamiento no monotónico con importancia epistémica. El modelo de razonamiento hipotético e inductivo presentado aquí extiende dicha correspondencia al contexto de descubrimiento, dentro del cual una teoría es utilizada para generar y testear hipótesis experimentales.