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.

Créditos

2

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