Crítica, Revista Hispanoamericana de Filosofía, Volume 23, number 69, diciembre 1991
Consideraciones lógicoepisté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)
