Prezados, Em parceria com o coletivo Lógicas Brasileiras ( https://logicasbrasileiras.wordpress.com/ ),
Teremos na segunda-feira, 21 de março, às 19hs, uma Sessão Especial do Seminário de Lógica da UFBA, como parte da comemoração do primeiro dia CBDL - Carol Blasio* por Diversidade na Lógica. Seguem dados da palestra: ************************************************************************************************************** Título: Dialectica e os Problemas de Kolmogorov-Veloso Palestrante: Valeria de Paiva (Topos Institute) Segunda, 21 de março, 19hs Entrar com o Google Meet meet.google.com/fcy-dxmy-hdd Resumo: Quero aproveitar a oportunidade desse Dia da Carolina Blasio para discutir abstrações de problemas e de raciocínio, assumindo que problemas são sempre o que queremos resolver, quer em matemática, quer em computação ou mesmo na filosofia. Esse trabalho, conjunto com o Prof Samuel Gomes da Silva, é nossa homenagem ao Prof Paulo Veloso, que introduziu nos anos 80 sua Teoria de Problemas. A Teoria de Problemas também é o tema principal do artigo de A. Kolmogorov "Sobre a interpretação da lógica intuicionista", que apesar do título, trata de problemas, e não de lógica. Queremos conectar os problemas de Kolmogorov aos objetos da construção Dialética e mostrar como a Dialética nos dá uma melhor abordagem aos problemas de Kolmogorov, fornecendo os morfismos das categorias que Kolmogorov não possuia em 1932. Então quero tentar convencê-los de que essa coincidência de estruturas algébricas ocorre em vários exemplos matemáticos e pode até apontar para uma boa maneira de pensar sobre multi-sistemas de agentes. ******************************************************************************** Por favor, sintam-se à vontade para repassar este convite a possíveis interessados. Grato, []s Samuel G. da Silva - UFBA * Carolina Blasio da Silva (1984-2017) Carolina Blasio da Silva era uma brilhante lógica brasileira que, infelizmente, morreu em 2017 aos 33 anos de Idade. Ela era Bacharel em Psicologia (2006) e Bacharel em Filosofia (2012), e tinha também um mestrado em Filosofia da Religião pela Universidade de Juiz de Fora. Antes de seu falecimento, ela defendeu sua tese de doutorado na Unicamp e obteve o seu doutoramento em Filosofia (Lógica). -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2117560919.13354989.1647559309946.JavaMail.zimbra%40ufba.br.
