FORMAL

O principal objetivo de nosso minicurso é apresentar uma proposta para uma Teologia Natural Formal. A Teologia Natural é a parte da filosofia que reflete sobre questões relativas à existência de Deus no domínio estritamente racional, isto é, sem apelo a qualquer revelação ou fonte sobrenatural. Por uma teoria formal entende-se uma teoria construída usando-se as ferramentas da lógica contemporânea. A abordagem que utilizaremos se vale de uma teoria de primeira ordem. O uso de ferramentas de lógica simbólica tem vantagens e desvantagens. Com elas ganhamos poder de expressividade e precisão, mas perdemos a naturalidade do argumento filosófico usual. Para aliviar um pouco isso, utilizaremos como interpretação padrão sentenças em linguagem natural, que expressam certos pressupostos metafísicos a partir de uma perspectiva aristotélico-tomista. Todas as noções lógicas e ontológicas necessárias serão apresentadas em nossa exposição. Desse modo, não é necessário o conhecimento prévio de lógica simbólica. Ademais, serão introduzidos conceitos fundamentais como os de seres divinos, necessários e supremos, que permitirão a obtenção de teoremas da existência e da unicidade de um ser divino, segundo a perspectiva do teísmo clássico.

​

​

Investimento: R$ 40,00 (para o público externo) e R$ 20,00 (para alunos)

Data e horário: Dias 3 e 4 de novembro, das14h30 às 18h

Local: Campus Lago Sul - FATEO - Seminário Maior de Brasília

         QI 17 AE sn, Lago Sul - Brasília/DF