next article in this issue  |
Preview first page |
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. |
|
