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...
| Autore principale: | |
|---|---|
| Tipo di documento: | Elettronico Articolo |
| Lingua: | Inglese |
| Verificare la disponibilità: | HBZ Gateway |
| Interlibrary Loan: | Interlibrary Loan for the Fachinformationsdienste (Specialized Information Services in Germany) |
| Pubblicazione: |
2023
|
| In: |
Ephemerides theologicae Lovanienses
Anno: 2023, Volume: 99, Fascicolo: 2, Pagine: 353-367 |
| (sequenze di) soggetti normati: | B
Descartes, René 1596-1650
/ Anselm, Canterbury, Erzbischof, Heiliger 1033-1109
/ Prova dell'esistenza di Dio
/ Porte logiche di base e Algebra di Boole
|
| Notazioni IxTheo: | KAE Pieno Medioevo KAH Età moderna NAB Teologia fondamentale VB Ermeneutica; Filosofia |
| Accesso online: |
Volltext (lizenzpflichtig) Volltext (lizenzpflichtig) |
| Riepilogo: | 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 |
| Comprende: | Enthalten in: Ephemerides theologicae Lovanienses
|
| Persistent identifiers: | DOI: 10.2143/ETL.99.2.3291850 |
