III Colóquio UnB-USP de Lógica e Filosofia da Lógica

Dias 11 e 12 de janeiro de 2018

Quinta-feira, dia 11 de janeiro

14h-16h - Lógicas da justificação e a suspensão do juízo
Prof. Dr. Alexandre Costa-Leite (UnB)

16h-17h - Libertação da lógica deôntica e suas consequências
Gregory Wagner N. Carneiro (mestrando, UnB)

17h-17h30 - Intervalo

17h30-19h30 - Grounding  e dedução lógica
Prof. Dr. Rodrigo Bacellar (USP)

 

Sexta-feira, dia 12 de janeiro

14h-16h - Sobre a noção categorial de proto-topos
Prof. Dr. Edelcio G. de Souza (USP)

16h-17h - Sobre a relação entre consistência e verdade em sistemas formais
Luiza Ramos (mestranda, UnB)

17h-17h30 - Intervalo

17h30-19h30 - O teorema de Hilbert-Ackermann
Prof. Dr. Rodrigo Freire (UnB)

 

Cartaz e Programação do evento
Endereço
Universidade de Brasília - Campus Universitário Darcy Ribeiro: Instituto de Ciências Humanas - Departamento de Filosofia, ICC Ala Norte.