Unicornios Binarios

Saludos a todos. Aquí está el enlace a la carpeta de Dropbox en la cual estarán disponibles las tareas a lo largo del curso. Pueden entregar las tareas de varias maneras:  r esueltas a mano,  resueltas por computadora e impresas,  enviando el documento ya con las respuestas a disonantespada@gmail.com o compartiendo un documento de Google Drive a la misma dirección. En caso de optar por esto último, el título del documento debe ser su nombre completo, y hará falta solo un documento  de Drive para todas las tareas del semestre. Estamos en contacto.

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