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 serão gravadas e estarão disponíveis na página do evento http://lq.sbl.org.br (com a agenda completa).
Data: 4 de junho de 2020 (quinta-feira) Horário: 16:00h Apresentador: Prof. Desidério Murcho (DEFIL/UFOP) Título: Uma Abordagem Epistêmica do Conceito de Consequência Lógica Resumo: O conceito de consequência lógica, ou validade (dedutiva) está no cerne da própria lógica. O seu tratamento técnico não levanta dificuldades de maior, mas a compreensão mais profunda do que é afinal tal coisa levanta imensas perplexidades. Não vou deter-me nos aspetos históricos que envolvem a posição meramente sintática de Carnap, que foi obrigado por Tarski a conceder que sem semântica não há afinal lógica. Também não vou deter-me nas dificuldades em que Tarski se enredou ao tentar definir ou explicar mais rigorosamente o conceito de consequência lógica. Apesar de ter estes desenvolvimentos históricos em mente, vou apresentar uma perspetiva epistémica, de um modo que seja compreensível para qualquer pessoa que domine os aspetos mais elementares da lógica. Segundo esta perspetiva, explica-se sem grandes dificuldades a natureza da consequência lógica de uma maneira que teria agradado a Quine, ou a qualquer naturalista: invoca-se apenas a existência de agentes linguísticos, e o conhecimento que eles têm de certos aspetos da linguagem. Apesar de esta abordagem estar presente como pano de fundo do meu livro Lógica Elementar: Raciocínio, Linguagem e Realidade (Edições 70, 2019), não é aí apresentada com o desenvolvimento necessário. A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/weo-hhwa-onh . Caso você deseje contribuir com uma apresentação, por favor preencha o formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 . -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq0_RJwFr4%3Dyf9FEUHNcm8%2BfSD_uSzKUa_v6yEdm2K38C3g%40mail.gmail.com.
