Crítica, Revista Hispanoamericana de Filosofía, Volume 23, number 69, diciembre 1991
Consideraciones lógico-epistémicas relativas a una forma de conceptualismo ramificado
[]
Max A. Freund
Departamento de Filosofía
Universidad Nacional
Departamento de Posgrado en Computación
Instituto Tecnológico de Costa Rica


Abstract: An intuitive interpretation of constructive knowability is first developed. Then, an epistemic second order logical system (which formalizes logical aspects of the interpretation) is constructed. A proof of the relative consistency of such a system is offered. Next, a formal system of intensional arithmetic (whose logical basis is the aforementioned second order system) is stated. It is proved that such a formal system of intensional arithmetic entails a theorem, whose content would show possible limitations to constructive knowability.
Keywords:

| PDF en Spanish (331 Kb)