Finitude du langage et équivalences logiques, l'impossibilité d'une preuve formelle de l'existence de Dieu

Details

Supervisors

Riaudel, Olivier

Faculty

Faculté de théologie et d'étude des religions

Degree label

Master [120] en théologie

Abstract

frSur base de considérations logiques, telles la finitude du langage et les relations d'équivalences, ce travail conclut à l’impossibilité de la preuve ontologique considérant, d’une part, le statut du discours formel et, d’autre part, les nécessités d’une telle preuve. Il se confronte ensuite aux principaux arguments ontologiques existants, œuvres de Saint Anselme de Canterbury, de Saint Thomas d’Aquin, de Descartes, de Leibniz, de Gödel.