universidade de brasilia
LógicaFIL-UnB

(Prof. Alexandre Costa-Leite)


O estudante interessado em se aprofundar na área de lógica pode ter uma formação bastante diversificada e completa. Ofereço basicamente os seguintes cursos:

Lógica - Lógica de primeira ordem: lógica proposicional e lógica de predicados;

Lógica Modal -  Extensões da lógica clássica, sobretudo lógicas modais;
 
Lógicas Não-Clássicas - Introdução às lógicas não-clássicas;

Filosofia da Lógica -  Reflexão filosófica acerca das disciplinas acima.

Introduçãoo à Filosofia - Visão panorâmica da filosofia. Tópicos de Ontologia, Lógica, Epistemologia e Ética. Curso de altíssimo nível para estudantes (não-filósofos) interessados em filosofia first class.


Além disso, o professor Rodrigo Freire oferece uma grande variedade de cursos de lógica:

Lógica 2  - Metateoria da lógica clássica;

Tópicos Especiais de Lógica - Pontos selecionados de Teoria dos Conjuntos e Teoria dos Modelos;

Filosofia da Matemática - Introdução aos principais pontos da filosofia contemporânea da matemática;