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: 03 de setembro de 2020 (quinta-feira) Horário: 16:00h Apresentador: Giovanni Sambin (Università degli Studi di Padova) Título: Intuitionistic logic as abstraction, classical logic as idealization Resumo: For a long time I have been trying to develop a dynamic-evolutionary vision of logic and mathematics. One outcome is that the process of abstraction, i.e. forgetting details of information to simplify the manipulation of concepts, should be distinguished from idealisation, i.e. adding properties to simplify the theory in which concepts are treated. Using this distinction, one can address with some novelty the much debated theme of arguments in favour of classical or intuitionistic logic. The main thesis here is that classical logic corresponds to an idealisation of truth of propositions, while intuitionistic logic corresponds to an abstraction of the relationship between a proposition and its proofs. This study makes sense only if one adopts Kosta Došen's principle that a logic is determined only by its structural rules, being the rules for logical constants common to all logics (I will use here some slides from my lecture in Rio de Janeiro, April 2013). General theory says that ideal mathematics should be conservative over real mathematics. It remains an open problem to determine whether a notion of conservativity, to be formulated in a suitable way, of classical logic over intuitionistic logic is valid. A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/abk-oaru-xkb . -- 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-Wq08321d7PAxmO8JvrHexJXrTRZMx48UOsN%3DNEsAWkGCS%2Bg%40mail.gmail.com.
