La teoría de la ciencia de los "Prolegómenos a la lógica pura" de las Investigaciones Lógicas de Edmund Husserl

Abstract

La teoría de la ciencia postulada en Prolegómenos a la lógica pura de Edmund Husserl se considera contemporáneamente como una teoría de los sistemas axiomáticos formales más una teoría de los dominios en los que las fórmulas interpretadas deberían rangear. De esa manera se elaboran categorías lógico - formales que permiten elaborar la estructura sintáctica y semántica de un sistema formal y categorías lógico- formales que permiten establecer la estructura objetiva a la que se refieren las fórmulas del sistema así interpretado. Se hace mención a que esta concepción constituye una teoría de modelos avant la lettre, pero nótese que la estructura semántica formal está dada por las categorías lógico - formales, mientras que las categorías ontológico formales pretenden agotar las relaciones y formas posibles de los objetos, propiedades y estados de cosas que constituyen el dominio de todos los dominios posibles, y de ahí su pretendida formalidad. La importancia de esta teoría ya fue advertida por Stanislaw Lesniewski, quien afirma que su teoría de los tipos se ve influenciada por estas categorías significativas husserlianas, además de la teoría russelliana.