this issue
next article in this issue

Document Details :

Title: Gödel's Modal Dogmatic Logic and the Filioque
Subtitle: A Case Study
Author(s): LETHEN, Tim
Journal: Logique et Analyse
Volume: 257    Date: 2022   
Pages: 1-23
DOI: 10.2143/LEA.257.0.3291068

Abstract :
This paper introduces and analyses the logical system Θ3 of modal second-order propositions which represent the Roman Catholic de fide dogmas concerning Trinity. It therefore exemplarily realises Kurt Gödel’s program, mentioned in theological notes found in his Nachlass, of a discipline of dogmatics which parallels theoretical physics in rigour and exactness. After proving some of the redundancies of the system, the theological question of the Filioque is considered from a logical point of view, utilising the modal natural deduction calculus NDK. The paper also takes the opportunity to give an overview of Gödel’s general scientific approach to theology.

Download article