FILOSOFIA

LÓGICA

Ementa

O curso trata de aspectos técnicos, históricos e filosóficos de lógica, no âmbito clássico e no não clássico, e tem como fio condutor as noções de consequência lógica (semântica) e de demonstrabilidade. Conteúdo: 1) As noções de argumento, argumento válido e argumento correto; 2) Aspectos históricos de lógica; 3) Elementos de cálculo proposicional; 4) Sintaxe e semântica de linguagens de primeira ordem; 5) Validade e consequência lógica (semântica); 6) Procedimentos de prova; 7) Noções de metalógica; 8) Introdução às lógicas não clássicas. A parte prática consiste em resolução de exercícios de Lógica.

Código da disciplina: FIL271-DIG

Nome da atividade: LÓGICA

Período letivo: 2

Tipo da atividade: obrigatória

Créditos: 6

Carga horária (horas):

Teórica Prática Total
60 30 90