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 <
walter.carnie...@gmail.com> 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
> ---
> 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 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
---
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 acessar esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG6ZgvrT8VQLFrWXMYcktAJvT4x3np21z9nRW_oepWZvqw%40mail.gmail.com.