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...
Main Author: | |
---|---|
Format: | Electronic Article |
Language: | English |
Check availability: | HBZ Gateway |
Journals Online & Print: | |
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 |