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

[Alfredo Roque Freire]

Olá,

Escrevo esse email para divulgar o evento Colóquio UnB-USP de Lógica e Filosofia da Lógica. Convido a todos que estiverem em São Paulo nas datas de 18 e 19 de janeiro a participarem. Segue o link do evento: https://filosofia.fflch.usp.br/eventos/10505

Este ano teremos as seguintes apresentações:

Quinta-feira, dia 18 de janeiro:

14:50 : Abertura do Colóquio

15:00 : Semântica para lógicas modais com relações de acessibilidade mas sem mundos possíveis 
Jean-Yves Beziau (UFRJ)

16:00 : Algumas conexões entre teoria de clones e lógica universal 
Rodrigo Bacellar (USP)

16:55 : Intervalo

17:30 : Sobre a natureza das modalidades lógicas 
Antonio Souza Júnior (doutorando, UnB)

18:30 : Lógica e astrobiologia: questões metodológicas e fundacionais 
Alexandre Costa-Leite (UnB)

 

Sexta-feira, dia 19 de janeiro:

15:00 : Em direção a uma generalização monoidal dos topos e de sua lógica interna 
Hugo Mariano (USP)

16:00 : Interpretações entre teorias de ordem 
Rodrigo Freire (UnB)

16:55 : Intervalo

17:30 : “Tightness” e solidez nos fundamentos da matemática 
Alfredo Roque Freire (UnB)

18:30 : Paraconsistentização da Lógica do Paradoxo
Edelcio G. de Souza (USP)

Abraço

Alfredo.