Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados
Contenido principal del artículo
Resumen
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.
Descargas
Los datos de descargas todavía no están disponibles.
Detalles del artículo
Cómo citar
Freund, M. A. (2018). Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados. Crítica. Revista Hispanoamericana De Filosofía, 24(72), 47–72. https://doi.org/10.22201/iifs.18704905e.1992.857
Métricas de PLUMX
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.