Consecuencia lógica y lenguaje de orden superior

Resumen

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.