Programação
QUINTA, 23 DE JANEIRO
13:50 Abertura do Colóquio
14:00 Alguns resultados modelo-teóricos sobre as lógicas da inconsistência formal
Bruno Ramos Mendonça (UFFS)
15:00 Equivalentes da Finitaridade (para operações de fecho)
Rodrigo Bacellar (USP)
16:00 Três considerações sobre os Primeiros Analíticos e a lógica de Aristóteles
Tomás Troster (UnB)
17:00 INTERVALO
17:30 Determinação de todas as funções de Sheffer binárias da lógica modal S5
Pedro Falcão (Doutor pela USP)
18:30 Lógica e estudos do futuro: questões metodológicas e fundacionais
Alexandre Costa-Leite (UnB)
SEXTA, 24 DE JANEIRO
14:00 Definições implícitas na matemática
Rodrigo Freire (UnB)
15:00 Plenitude e Platonismo nos fundamentos da matemática
Alfredo Roque Freire (UnB)
16:00 Lógica Suspensiva: pela possibilidade de asserção da dúvida
Daniel Violato (Doutorando UnB)
16:30 Estruturas parciais, quase-verdade e compacidade
Rodolfo Carnier (Doutorando USP)
17:00 INTERVALO
17:30 Lógica como jogo de comparação
Luiza Ramos (UnDF/Doutoranda USP)
18:30 Estruturas de consequência: algumas generalizações
Edelcio de Souza (USP)
