Computational Theology: A Metaobject-Based Implementation of Models of Generalised Trinitarian Logic
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 an...
| Main Author: | |
|---|---|
| Format: | Electronic Article |
| Language: | English |
| Check availability: | HBZ Gateway |
| Journals Online & Print: | Drawer...
|
| Interlibrary Loan: | Interlibrary Loan for the Fachinformationsdienste (Specialized Information Services in Germany) |
| Published: |
2022
|
| In: |
TheoLogica
Year: 2022, Volume: 6, Issue: 2, Pages: 136-161 |
| IxTheo Classification: | CF Christianity and Science KAJ Church history 1914-; recent history NBC Doctrine of God VA Philosophy |
| Further subjects: | B
Subordination
B CLOS B Common Lips B Metaobject protocol B TRINITARIAN LOGIC B Precedence |
| Online Access: |
Volltext (kostenfrei) Volltext (kostenfrei) |
| Summary: | 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. |
|---|---|
| ISSN: | 2593-0265 |
| Contains: | Enthalten in: TheoLogica
|
| Persistent identifiers: | DOI: 10.14428/thl.v6i2.65223 |