[Logica-l] ThEdu'24 - Call for Extended Abstracts & Demonstrations

Call for Extended Abstracts & Demonstrations ** ThEdu'24 Theorem proving components for Educational software 2 July 2024 http://ww

[Logica-l] LARA CELEBRATION OF THE WORLD LOGIC DAY ​- January 25, 2024, 4pm CET (Paris - Geneva - Rome)

The 6th edition of the World Logic Day is the opportunity to reflect on the activities (past, present, and future) and goals of LARA (Logic And Religion Association) with some of its main actors. The LARA celebration will be a round table, each participant giving a short talk and, after that, there

[Logica-l] "Funções são conjuntos"

O que vocês pensam desta asserção? Podem registrar suas opiniões aqui: https://twitter.com/antitheorem/status/1750241375164014824?t=tIUhYdS_2OGHUOCPOT_aSQ&s=19 JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem por

[Logica-l] Sobre uns assuntos divinos

Prezadas e prezados, Na lista houve recentemente um pouco interesse pelos argumentos ontológicos na tradição com origem em Gõdel. Parece que o interesse continua, e suponho que é razoável prognosticar que tais interesses permanecerão entre uns daqueles que se preocupam com questões perenes. Aquel