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 proposição de um sistema formal subjacente.
A Tese apresentou uma análise sobre as provas ontológicas da literatura, a partir da de Santo Anselmo, contemplando inclusive a de Leibniz. Para os interessados, recomendo entrar em contato com o Frank. Abraços, itala Em sáb., 2 de dez. de 2023 às 11:48, Walter Carnielli < [email protected]> escreveu: > Como as questões sobre a (i)natureza e a (des)existência de Deus são > tratadas com a máxima racionalidade? E isso importa? > > > https://unusmundus.academiaabc2.org.br/sobre-a-prova-matematica-mais-ousada-da-existencia-de-deus/ > > > Carnielli, Walter. Unus Mundus, Belo Horizonte, n. 2, jul-dez, 2023. > -- > ======================== > Walter Carnielli > CLE and Department of Philosophy > University of Campinas –UNICAMP, Brazil > AI2- Advanced Institute for Artificial Intelligence > https://advancedinstitute.ai/ > Blog https://waltercarnielli.com/ > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > 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 acessar esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58NszAF0VyiGde%2BqXsQzBJUf4vYjFt7qUq1Rhz53kFYD2Q%40mail.gmail.com > . > -- Prof. Dr. Itala M. Loffredo D'Ottaviano Full Professor in Logic and the Foundations of Science Member and Researcher of the *Centre for Logic, Epistemology and the* *History of Science* at the University of Campinas Research Fellow of the *Brazilian National Council for Scientific and Technological Development* Titular Member, *Brazilian Academy of Philosophy* (Rio de Janeiro) Emeritus Member, *Académie Internationale de Philosophie de Sciences * (Bruxelles) Titular Member, *Institut International de Philosophie *(Paris-Nancy) Editor of *Coleção CLE, *by the *Centre for Logic, Epistemology and the* *History of Science.* -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG6ZgvrT8VQLFrWXMYcktAJvT4x3np21z9nRW_oepWZvqw%40mail.gmail.com.
