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).
*** Esta semana serão excepcionalmente duas apresentações *** Data: 29 de setembro de 2020 (terça-feira) Horário: 11:00h GMT-3 Apresentador: Catarina Dutilh Novaes (VU Amsterdam) Título: Who's afraid of adversariality? Conflict and cooperation in argumentation Resumo: Since at least the 1980s, the role of adversariality in argumentation has been extensively discussed. Some authors criticize adversarial conceptions and practices of argumentation and instead defend more cooperative approaches, both on moral and on epistemic grounds. Others retort that argumentation is inherently adversarial, and that the problem lies not with adversariality per se but with overly aggressive manifestations therof. In this paper, I defend the view that specific instances of argumentation are (and should be) adversarial or cooperative proportionally to pre-existing conflict. What determines whether an argumentative situation should be primarily adversarial or primarily cooperative are contextual features and background conditions, in particular the extent to which the parties involved have prior conflicting or convergent interests and goals. I articulate a notion of adversariality in terms of the relevant parties pursuing conflicting interests, and argue that, while cooperative argumentation is to be encouraged whenever possible, conflict as such is an inevitable aspect of human sociality and thus cannot be completely eliminated. Esta apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/gnq-cbcs-kri . *** Data: 01 de outubro de 2020 (quinta-feira) Horário: 16:00h GMT-3 Apresentador: Cesar Alberto Bravo Pariente (UESC) Título: Ferramentas online para ensino –e estudo- de Lógica para Computação Resumo: Disciplinas de “Lógica para Computação” são comuns no primeiro ano do curso de Ciência da Computação.O conteúdo costuma focar em sistemas dedutivos abstratos com diferentes conceitos de prova.O desenvolvimento de exemplos e exercícios nesses sistemas é longo, dificultando que o aluno acompanhe com facilidade e identifique erros quando acontecem.Existem ferramentas online para alguns sistemas dedutivos que podem ser utilizados como ferramentas didáticas nas disciplinas de “Lógica para Computação”.Neste tutorial vamos mostrar como utilizar essas ferramentas online para desenvolver exemplos e exercícios não triviais para disciplinas de “Lógica para Computação”. Esta apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/amw-wuus-kap . -- 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-Wq095GJ%2Ba37H%3D9KeyaqrdfEkYs0_WuUU1BPCE8S1r7qMQLg%40mail.gmail.com.