Kurt Gödel’s Dogmatic Theology

Lethen, Tim

doi:10.1007/978-3-030-76151-6_9

Search citation statements

Order By: Relevance

Paper Sections

Select...

Models Of Generalised Trinitarian Logic1

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2021

2024

Publication Types

Select...

Article2

Book2

Relationship

Self Cite0

Independent4

Authors

Journals

Cited by 4 publications

(2 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The "trinitarian" logic 𝛩 3 has been introduced in Lethen (2022) and comprises the logical interpretation of seven Catholic de fide dogmas concerning Trinity. Note the inclusion of Gödel's modality □ 𝐷 which is interpreted as 'It is a dogma, that .…”

Section: Models Of Generalised Trinitarian Logicmentioning

confidence: 99%

See 1 more Smart Citation

Computational Theology

Lethen

2022

TheoLogica

View full text Add to dashboard Cite

This paper analyses an amazingly close analogy between models of generalised trinitarin logics on the one hand side and class hierarchies in the field of object-oriented programming on the other, thus linking philosophy of religion and computer science. In order to bring out this analogy as clear and precise as possible, we utilise a metaobject protocol for the actual implementation of the theological models. These formal implementations lead to the insight that the analogy can be pushed even further, and we lay bare and analyse the close relation between the theological notion of subordination of divine persons and precedence in structures of multiple inheritance. The implementation of theoretical godheads finally leads to new metaobject programming techniques, thus underlining the cross-fertilisation between theology and computer science.

show abstract

Section: Models Of Generalised Trinitarian Logicmentioning

confidence: 99%

“…In this paper, we proceed as follows. Section 2 introduces the system of trinitarian logic 𝛩 3 , which has been defined in Lethen (2022). The section also discusses possible generalisations along with their set-theoretical models.…”

Section: Introductionmentioning

confidence: 99%