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.

Créditos

2 Créditos

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