FILO-1002 Lógica de Predicados
El curso estudia algunos de los métodos semánticos y sintácticos característicos del cálculo de predicados clásico, como los modelos tarskianos y la deducción natural enfatizando su uso en la formalización de enunciados del lenguaje natural.
Objetivos
1. Estudiar los elementos sintácticos y semánticos de la lógica de predicados.
2. Adquirir destrezas en el uso de un lenguaje simbólico para facilitar la lectura de textos en áreas como la filosofía del lenguaje, de la ciencia, de las matemáticas y de la mente.
Instructor
Tomás Barrero
Prerequisite
FILO-1001: Lógica Proposicional
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