dc.description.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. | |