Após a sessão de 14 de janeiro, celebrando o Dia Mundial da Lógica https://www.logica-universalis.org/wld4 estamos agora começando as sessões regulares do segundo ano do Webinar Logica Universalis duas vezes por mês. A próxima sessão será na quarta-feira, 9 de fevereiro de 2022, ao meio dia, horário de Brasília com uma palestra de Antonino Drago (Universidade “Federico II” de Naples, Italia "An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper" Abstract: Two dichotomies are considered as the foundations of a scientific theory: the kind of infinity—either potential or actual-, and the kind of organization of the theory—axiomatic or problem-based. The original intuitionist program relied on the choices of potential infinity and the problem-based organization. I show that the logical theory of Kolmogorov’s 1932 paper relied on the same choices. A comparison of all other theories sharing the same foundational choices allows us to characterize their common theoretical development through a few logical steps. The theory illustrated by Kolmogorov’s paper is then rationally re-constructed according to the steps of this kind of development. One obtains a new foundation of intuitionist logic, which is of a structural kind since it is based on and developed according to the structure of the above mentioned two fundamental choices. In addition, Kolmogorov’s illustration of his theory of intuitionist logic is an instance of rigorous reasoning of the intuitionist kind. Full paper: https://link.springer.com/article/10.1007/s11787-021-00292-3 Todos são bem-vindos a participar, registrem-se aqui: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau Organizador do Webinar Logica Universalis https://www.jyb-logic.org/
-- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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/CAF2zFLCZ%3DhS9JqGcyDLVLxG9qVROfpQHUpAvz9VN9Y-9%3DkB00Q%40mail.gmail.com.
