Temario Lógica II semestre 2016-2

Queridos estudiantes, este semestre  trabajaremos los siguientes cuatro bloques temáticos:

1) Lógica proposicional

Lectura de Grice, "Lógica y conversasción".

Repaso de lógica proposicional

Operadores compuestos: Bicondicional y exclusión

Prueba de validez

Prueba de invalidez

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:

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 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, estando bien resuelta, 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.

Será divertido.