CV Lattes
Resumo
Neste estudo, busca-se obter melhor compreensão do argumento ontológico desenvolvido pelo lógico Kurt Godel. A apresentação seguirá o método axiomático, como originalmente proposto por Godel, e utilizará como base uma lógica modal de segunda ordem. Após a apresentação do argumento será feita a defesa a partir de suas recentes objeções. Por fim, tentaremos mostrar se a noção de Deus que é …