A Concepturalist Second-Order Logical System with Ramified Lambda Operators
Main Article Content
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.
Downloads
Download data is not yet available.
Article Details
How to Cite
Freund, M. A. (2018). A Concepturalist Second-Order Logical System with Ramified Lambda Operators. Crítica. Revista Hispanoamericana De Filosofía, 24(72), 47–72. https://doi.org/10.22201/iifs.18704905e.1992.857
PLUMX Metrics
Crítica, Revista Hispanoamericana de Filosofía by Universidad Nacional Autónoma de México is licensed under a Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional License.
Creado a partir de la obra en http://critica.filosoficas.unam.mx/index.php/critica.