Crítica, Revista Hispanoamericana de Filosofía, Volume 24, number 72, diciembre 1992
Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados
[A Concepturalist Second-Order Logical System with Ramified Lambda Operators]
Max A. Freund
Departamento de Filosofía
Universidad Nacional Heredia

Abstract: We develop a second order logical system with ramified lambda operators, having ramified conceptualism as its philosophical background. Such a system is shown to relatively consistent. Finally, we construct a non-standard second order semantics and prove a completeness theorem with respect to a uotion oí validity, provided by the semantics, and certain extensions oí the second order system.

| PDF en Spanish (262 Kb)