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: 22 de outubro de 2020 (quinta-feira) Horário: 16:00h GMT-3 Apresentador: Marcos Silva (DF/UFPE) Título: Revision of Logic, Reflexive Equilibrium and Normative Bidirectionality Resumo: How could we rationally justify our logical principles, if the very possibility of rational justification presupposes them? To what extent is it possible to revise something as fundamental as logical principles? How could we justify a set of basic principles of logic as the correct one without circularity or infinite regress? In our paper, we will explore a pragmatist and normative approach to the epistemic problem of justification and revision of the most basic logical rules. We defend that logic is a science analogous to normative disciplines as defended by Prawitz (1978) and Peregrin e Svoboda (2017). This pragmatist method defends the revision of logic based on the notion of reflexive equilibrium in relation to our general theoretical considerations and local instances as particular inferences, revising any of these elements, whenever necessary, in order to obtain an acceptable coherence among them. We will develop the notion of normative bidirectionality and argue that what we call upward normative pressure adequately expresses the dynamical aspect in the revision of logical principles. A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/jtw-gsuu-umt . -- 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-ApOVqDVN-8vza9rOS%2B1WHLDQq3YK48sdccVJDg-ZP2w%40mail.gmail.com.
