FILO-1002 Lógica de Predicados
Este curso es la continuación del curso “Lógica Proposicional” y presupone todo lo aprendido en él. La mayor parte del semestre está dedicado al estudio de la lógica de primer orden y de algunas de sus implicaciones filosóficas. Comenzaremos el semestre recordando los elementos básicos de la lógica de primer orden y la manera de representar el lenguaje natural en este sistema. Posteriormente estudiaremos algunos métodos de prueba semánticos y sintácticos, como los modelos y la deducción natural. En el último módulo estudiaremos los fundamentos de la lógica modal proposicional y de la lógica trivalente.
Instructor
Andrés Páez
Prerequisite
Lógica Proposicional FILO-1001
Periodo en el que se ofrece el curso
2020-20
Idioma en el que se ofrece el curso
Español
Página del catálogo en este curso