Definitions of God and their Logical Consistency
The purpose of this article is to verify the possibility of writing in a formal language the so-called 'ontological' proofs of the existence of God of Anselm and Descartes. To this end, the author constructs a class of models in which the definition can be described in a consistent way. He...
| Published in: | Ephemerides theologicae Lovanienses |
|---|---|
| Main Author: | |
| Format: | Electronic Article |
| Language: | English |
| Check availability: | HBZ Gateway |
| Journals Online & Print: | Drawer...
|
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Published: |
Peeters
2023
|
| In: |
Ephemerides theologicae Lovanienses
Year: 2023, Volume: 99, Issue: 2, Pages: 353-367 |
| Standardized Subjects / Keyword chains: | B
Descartes, René 1596-1650
/ Anselm, Canterbury, Erzbischof, Heiliger 1033-1109
/ Proof of God's existence
/ Boolean algebra
|
| RelBib Classification: | KAE Church history 900-1300; high Middle Ages KAH Church history 1648-1913; modern history NAB Fundamental theology VB Hermeneutics; Philosophy |
| Online Access: |
Volltext (lizenzpflichtig) Volltext (lizenzpflichtig) |
| Summary: | The purpose of this article is to verify the possibility of writing in a formal language the so-called 'ontological' proofs of the existence of God of Anselm and Descartes. To this end, the author constructs a class of models in which the definition can be described in a consistent way. Hence he transcribes the idea of degrees of being into a Boolean algebra. |
|---|---|
| ISSN: | 1783-1423 |
| Contains: | Enthalten in: Ephemerides theologicae Lovanienses
|
| Persistent identifiers: | DOI: 10.2143/ETL.99.2.3291850 |