A Metaobject-Based Implementation of Models of Generalised Trinitarian Logic
Keywords:Trinitarian logic, Metaobject protocol, Subordination, Precedence, Common Lips, CLOS
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.
How to Cite
Copyright (c) 2022 Tim Lethen
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.