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. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHk6N6bU2xd2QPs88rX_mesVKWwpxEZNfLMK_jph03L_HOHXNQ%40mail.gmail.com.
