Este trabajo se enfoca en el problema epistemológico que supone el desdoblamiento de una teoría axiomática entre formalismo e intuicionismo. La propuesta aquí planteada pretende despojar el intuicionismo originario de los axiomas mediante la evocación a una correspondencia entre los modelos isomorfos, esto es, los modelos cuya estructura lógica es semejante.
This paper studies the epistemological problem supposed by the doublé tendency (formalistic and intuitionistic) in an axiomatic theory. Our proposal seeks to substract from axioms their originary intuitionism, through the appeal to a correspondence between isomorphic models, i.e., models whose logical structure is similar.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados