FILO-1002 Lógica de Predicados

El curso está dedicado al estudio de la lógica de primer orden y de algunas de sus implicaciones filosóficas. Comenzaremos el semestre estudiando los elementos básicos de la lógica de primer orden y la manera de representar el lenguaje natural en esta lógica. En las semanas restantes estudiaremos algunos métodos de prueba semánticos y sintácticos,como la deducción natural.