Consecuencia lógica y lenguaje de orden superior

Autores/as

  • 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

Descargas

Cómo citar

Báez, J. (2012). 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

Número

Sección

Discusiones