[Logica-l] Call for Workshops: Diagrams 2024

*** Call for Workshops: Diagrams 2024 *** 14th International Conference on the Theory and Application of Diagrams September 27 – October 1, 2024 University of Münster, Germany www.diagrams-conference.org/2024 *** Highlights *** - Workshop sessions - Graduate Symposium - Three Tracks:

[Logica-l] The Logical Nature of Paradise / Visions of the Afterlife

Plenary talk at the on-line conference Visions of the Afterlife, 7th December 2023 https://amu.edu.pl/en/welcome-center/upcoming-events/visions-of-the-afterlife-an-online-conference Open to everybody ! JYB -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica

Re: [Logica-l] Sobre a prova matemática mais ousada da existência de Deus

Caros Walter e demais colegas: Escrevo para lembrar que o Frank Thomas Sautter, há vários anos, apresentou ao Programa de Pós-Graduação em Filosofia da UNICAMP , sob minha orientação, uma belíssima tese de Doutorado sobre a "Prova Ontológica da Existência de Deus de Kurt Godel". Inclusive com a pr