Consecuencia lógica y lenguaje de orden superior
DOI:
https://doi.org/10.62876/lr.v0i16.694Palabras clave:
Lógica de orden superior, metalógica, semántica formal, Higher-order Logic, metalogic, formal semanticsResumen
En este trabajo se muestra la relación entre la consecuencia lógica y los lenguajes de orden superior. Esta peculiar perspectiva tiene dos objetivos: primero, mostrar cómo podemos enseñar lógica de orden superior; segundo, ofrecer algunos materiales básicos que podemos utilizar para alcanzar nuestro objetivo satisfactoriamente. Con este propósito introduciremos las obras "A second Course in Logic" de Gaunker, y Lógica para principiantes de Manzano-Huertas.
Abstract
This work shows the relationship between logical consequence and higher-order languages, This peculiar perpective has two objectives: first, to show how we can teach higher-order logic, and second, to offer some basic materials that can be used to achieve our goal satisfactorily. In order to do this we will introduce "A Second Course i in Logic" by Gauker and Lógica para principiantes by Huertas and Manzano.