TY - JOUR AU - Báez, Jhonder PY - 2012/03/15 Y2 - 2024/03/29 TI - Consecuencia lógica y lenguaje de orden superior JF - Lógoi. Revista de Filosofía JA - Logoi VL - 0 IS - 16 SE - Discusiones DO - UR - https://revistasenlinea.saber.ucab.edu.ve/index.php/logoi/article/view/694 SP - AB - <p>En este trabajo se muestra la relaci&oacute;n entre la consecuencia l&oacute;gica y los lenguajes de orden superior. Esta peculiar perspectiva tiene dos objetivos: primero, mostrar c&oacute;mo podemos ense&ntilde;ar l&oacute;gica de orden superior; segundo, ofrecer algunos materiales b&aacute;sicos que podemos utilizar para alcanzar nuestro objetivo satisfactoriamente. Con este prop&oacute;sito introduciremos las obras "A second Course in Logic" de Gaunker, y <em>L&oacute;gica para principiantes</em> de Manzano-Huertas.</p><p><strong>Abstract</strong></p><p>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 <em>L&oacute;gica para principiantes</em> by Huertas and Manzano.</p> ER -