Temario para lógica II, semestre 2017-2

Este semestre  trabajaremos los siguientes cuatro bloques temáticos:

1) Lógica proposicional

1. Repaso de lógica proposicional
2. Lectura de Grice, "Lógica y conversasción".
3. Operadores compuestos: Bicondicional y exclusión
4. Árboles de verdad

2) Lógica clásica:

1. Frege, introducción a Conceptografía.
2. Árboles de Frege.

3) Lógica de predicados:

1. José Alfredo Amor, "De la lógica proposicional a la lógica de predicados"
2. Traducción y demostración de argumentos de lenguaje natural a lógica de predicados.

4) Temas selectos (según avancemos en el curso):

1. Beth, Las paradojas de la lógica.
2. Smullyan, What is the name of this book?
3. Russell, "On denoting"
4. 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 tiempo y forma para favorecerles en la calificación correspondiente al tema al cual atienden (e.g. entregar la tarea de traducciones de lenguaje natural a lógica de predicados, obteniendo una calificación mínima de ocho, redunda en un punto adicional para el examen de dicho tema).

Este semestre tiene un grado de exigencia más elevado que el anterior, tómenselo en serio desde el inicio.