FILO 1002 Logica 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.

Créditos

2

Instructor

Andrés Páez

Periodo en el que se ofrece el curso

2019-20

Idioma en el que se ofrece el curso

Español