Dias 11 e 12 de janeiro de 2018
Programação
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
Página
Endereço
Universidade de Brasília - Campus Universitário Darcy Ribeiro: Instituto de Ciências Humanas - Departamento de Filosofia, ICC Ala Norte.