Dia Mundial da Lógica [World Logic Day - UNESCO] *

14 de janeiro de 2020

Universidade de Brasília, Departamento de Filosofia

Sala de Reuniões (FIL-UnB)

16h-19h

PROGRAMAÇÃO

16h - 16h30, Gregory Carneiro (doutorando, FIL-UnB), Posições jurídicas fundamentais em lógicas input/output

16h30-17h , Antônio Dantas (mestrando, FIL-UnB), Reflexões céticas em epistemologia das modalidades

17h-17h30, Gustavo Schmidt (mestrando, FIL-UnB), A complexidade de Kolmogorov na correspondência de Curry-Howard

17h30-18h, Gabriel Lima (doutorando, FIL-UnB), Retrocausalidade: sobre a noção de causalidade inversa

INTERVALO

18h30-19h, Prof. Edgar Almeida (Instituto Federal de Brasília), Existência e teorias de primeira ordem

Moderador das comunicações: Prof. Alexandre Costa-Leite (FIL-UnB)