World Logic Day @ Lógica no Avião

1 view

Skip to first unread message

Lógica no Avião

unread,

Jan 9, 2020, 9:24:43 PM1/9/20

to logi...@googlegroups.com

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)