VI Colóquio UnB–USP de Lógica e Filosofia da Lógica

[Lógica no Avião]

VI Colóquio UnB–USP de Lógica e Filosofia da Lógica

Universidade de Brasília

23 e 24 de janeiro de 2025

Quinta-feira, dia 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-feira, dia 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)