Temario para lógica II, semestre 2017-2
Este semestre trabajaremos los siguientes cuatro bloques temáticos: 1) Lógica proposicional Repaso de lógica proposicional Lectura de Grice, " Lógica y conversasción ". Operadores compuestos: Bicondicional y exclusión Árb oles de verdad 2) Lógica clásica: Frege, introducción a Conceptografía . Árboles de Frege. 3) Lógica de predicados: José Alfredo Amor, " De la lógica proposicional a la lógica de predicados " Traducción y demostración de argumentos de lenguaje natural a lógica de predicados. 4) Temas selectos (según avancemos en el curso): Beth, Las paradojas de la lógica . Smullyan, What is the name of this book ? Russell, " On denoting " Cápsulas de urbanidad. Es importante recordarles que la calificación será resultado del promedio de la aplicación de diversos exámenes a través del curso, estimo sean al rededor de 10; como el semestre pasado, pondremos a su disposición tareas que habrán de entregarse en ti