Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim. As apresentações usualmente são gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a agenda completa).
Data: 30 de julho de 2020 (quinta-feira) Horário: 16:00hApresentador: Frank Thomas Sautter (DF/UFSM) Título: Keynes e Peirce sobre informação e lógica Resumo: Examinarei dois textos – o primeiro deles do final do século XIX e o outro do início do século XX – que relacionam informação e lógica. No manual de lógica Studies and Exercises in Formal Logic, de 1906, John Neville Keynes utiliza diagramas de Euler a dois termos como infons (unidades mínimas de informação) para estabelecer as relações do quadrado de oposições e as inferências imediatas. Primeiro: incorporarei novos infons de modo a retirar o pressuposto existencial dos termos envolvidos; isso retira a vigência das relações de oposição, à exceção da oposição contraditória, e retira a vigência de certas inferências imediatas, tal como as conversões por limitação. Por outro lado, ganha-se com o equilíbrio do nível informacional dos diferentes tipos de proposições categóricas. Segundo: estenderei o tratamento de Keynes ao caso de silogismos, ao identificar quarenta e dois infons sob a forma de diagramas de Euler a três termos. Na palestra Upon Logical Comprehension and Extension, de 1867, Charles Sanders Peirce analisa a contribuição de elementos subproposicionais para a constituição de informação, sob a forma de largura e profundidade essenciais dos termos, largura e profundidade informadas dos termos, e largura e profundidade substanciais dos termos. Utilizarei a lógica contemporânea para reconstituir os pontos altos desse texto de Peirce. A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/aim-qbvk-ufm . -- Bruno Lopes Professor Adjunto Instituto de Computação Universidade Federal Fluminense http://www.ic.uff.br/~bruno -- 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/CAD-Wq0_dWPV6D%3DpE%3D46-JhGsDG6zu5ZrmGZcd6t-i0NXX12s%2BA%40mail.gmail.com.
