Consecuencia lógica y lenguaje de orden superior

  • Jhonder Báez
Palabras clave: Lógica de orden superior, metalógica, semántica formal, Higher-order Logic, metalogic, formal semantics

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.

Biografía del autor/a

Jhonder Báez

Universidad Católica Andrés Bello

jbaez@ucab.edu.ve

Cómo citar
Báez, J. (1). Consecuencia lógica y lenguaje de orden superior. Lógoi. Revista De Filosofía, (16). Recuperado a partir de https://revistasenlinea.saber.ucab.edu.ve/index.php/logoi/article/view/694
Sección
Discusiones