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) |
MARC
LEADER | 00000caa a22000002 4500 | ||
---|---|---|---|
001 | 1854423622 | ||
003 | DE-627 | ||
005 | 20231204114755.0 | ||
007 | cr uuu---uuuuu | ||
008 | 230805s2023 xx |||||o 00| ||eng c | ||
024 | 7 | |a 10.2143/ETL.99.2.3291850 |2 doi | |
035 | |a (DE-627)1854423622 | ||
035 | |a (DE-599)KXP1854423622 | ||
040 | |a DE-627 |b ger |c DE-627 |e rda | ||
041 | |a eng | ||
084 | |a 1 |2 ssgn | ||
100 | 1 | |a Mccarty, Charles |e VerfasserIn |4 aut | |
245 | 1 | 0 | |a Definitions of God and their Logical Consistency |
264 | 1 | |c 2023 | |
336 | |a Text |b txt |2 rdacontent | ||
337 | |a Computermedien |b c |2 rdamedia | ||
338 | |a Online-Ressource |b cr |2 rdacarrier | ||
520 | |a 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. | ||
601 | |a Definition | ||
652 | |a KAE:KAH:NAB:VB | ||
689 | 0 | 0 | |d p |0 (DE-588)118524844 |0 (DE-627)060447532 |0 (DE-576)208893865 |2 gnd |a Descartes, René |d 1596-1650 |
689 | 0 | 1 | |d p |0 (DE-588)118503278 |0 (DE-627)079307965 |0 (DE-576)185501818 |2 gnd |a Anselm |c Canterbury, Erzbischof, Heiliger |d 1033-1109 |
689 | 0 | 2 | |d s |0 (DE-588)4021668-8 |0 (DE-627)10440972X |0 (DE-576)208939288 |2 gnd |a Gottesbeweis |
689 | 0 | 3 | |d s |0 (DE-588)4146280-4 |0 (DE-627)105585173 |0 (DE-576)20974796X |2 gnd |a Boolesche Algebra |
689 | 0 | |5 (DE-627) | |
773 | 0 | 8 | |i Enthalten in |t Ephemerides theologicae Lovanienses |d Leuven : Peeters, 1985 |g 99(2023), 2, Seite 353-367 |h Online-Ressource |w (DE-627)389124699 |w (DE-600)2147927-6 |w (DE-576)112891160 |x 1783-1423 |7 nnns |
773 | 1 | 8 | |g volume:99 |g year:2023 |g number:2 |g pages:353-367 |
856 | 4 | 0 | |u https://doi.org/10.2143/ETL.99.2.3291850 |x Resolving-System |z lizenzpflichtig |3 Volltext |
856 | 4 | 0 | |u https://poj.peeters-leuven.be/content.php?url=article&id=3291850 |x Verlag |z lizenzpflichtig |3 Volltext |
935 | |a mteo | ||
951 | |a AR | ||
ELC | |a 1 | ||
ITA | |a 1 |t 1 | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 4363269162 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 1854423622 | ||
LOK | |0 005 20231204114755 | ||
LOK | |0 008 230805||||||||||||||||ger||||||| | ||
LOK | |0 035 |a (DE-Tue135)IxTheo#2023-08-04#216C3EAA3B9F6575F7FD952A76E482EB19D57D19 | ||
LOK | |0 040 |a DE-Tue135 |c DE-627 |d DE-Tue135 | ||
LOK | |0 092 |o n | ||
LOK | |0 852 |a DE-Tue135 | ||
LOK | |0 852 1 |9 00 | ||
LOK | |0 935 |a ixzs |a zota |a tiep | ||
LOK | |0 936ln |0 1442050926 |a NAB | ||
LOK | |0 936ln |0 1442044462 |a KAE | ||
LOK | |0 936ln |0 1442044624 |a KAH | ||
LOK | |0 936ln |0 144205381X |a VB | ||
ORI | |a SA-MARC-ixtheoa001.raw | ||
REL | |a 1 | ||
STA | 0 | 0 | |a Boolean algebra,Proof of God's existence,God,Existence of God,God's existence |
STB | 0 | 0 | |a Algèbre de Boole,Preuve de l’existence de Dieu |
STC | 0 | 0 | |a Boole, Álgebra de,Prueba de la existencia de Dios |
STD | 0 | 0 | |a Porte logiche di base e Algebra di Boole,Prova dell'esistenza di Dio |
STE | 0 | 0 | |a 神存在的论证,上帝存在的论证 |
STF | 0 | 0 | |a 神存在的論証,上帝存在的論証,逻辑代数 |
STG | 0 | 0 | |a Lógica Digital/Álgebra de Boole,Prova da existência de Deus |
STH | 0 | 0 | |a Алгебра логики,Доказательство существования Бога |
STI | 0 | 0 | |a Άλγεβρα Μπουλ,Απόδειξη της ύπαρξης του Θεού |
SUB | |a REL | ||
SYG | 0 | 0 | |a Descartes, Renato,1596-1650,Descartes, Renatus,1596-1650,Descartes, R.,1596-1650,Descartes,1596-1650,Deskartes,1596-1650,Cartes, Renatus de,1596-1650,Cartesius, René,1596-1650,Cartenius, Renatus,1596-1650,Des Cartes, Renate,1596-1650,Des Cartes, Renatus,1596-1650,Des Cartes, René,1596-1650,Des-Cartes, Renati,1596-1650,Des-Cartes, Renatus,1596-1650,Des-Cartes, René,1596-1650,Des-Cartus, Renatus,1596-1650,DesCartes, Renatus,1596-1650,Descartes, René du Perron,1596-1650,Cartes, René des,1596-1650,Cartes, Renatus des,1596-1650,Cartesius, Renatus,1596-1650,Cartesius,1596-1650,Cartes, Renatus des,1596-1650,Cartes, Renate de,1596-1650,Cartesio, Renato,1596-1650,Cartesio,1596-1650,Dekart, R.,1596-1650,Dekart, René,1596-1650,Dekart,1596-1650,Dekaruto,1596-1650,Dīkārt, Rīnah,1596-1650,Dīkārt,1596-1650,Dīkārtīyah,1596-1650,Dikaer, Lenai,1596-1650,Dika'er,1596-1650,Di ka er,1596-1650,Dikaer,1596-1650,Kartezjusz,1596-1650,Dīkārt, Rīnī,1596-1650,Cartesius, Renatus,1596-1650 , Anselm,von Canterbury, Heiliger,1033-1109,Anselm,Canterbury, Erzbischof,1033-1109,Anselm,von Canterbury,1033-1109,Anselmus,Cantuariensis, Heiliger,1033-1109,Anselmus,Cantuariensis,1033-1109,Anselmus,Cantuariensis archiepiscopus,1033-1109,Anselm,of Canterbury, Heiliger,1033-1109,Anselm,of Canterbury,1033-1109,Anselm,von Aosta,1033-1109,Anselmo,d'Aosta,1033-1109,Anselm,of Aosta,1033-1109,Anselm,von Bec,1033-1109,Anselm,of Bec,1033-1109,Anselme,de Bec,1033-1109,Anselmus,Beccensis,1033-1109,Anselme,de Cantorbéry,1033-1109,Anselmus,von Canterbury,1033-1109,Anselmus,de Urbe,1033-1109,Anselm,von Canterburg,1033-1109,Anselm,Le Bec, Abt,1033-1109,Canterbury, Anselm von,1033-1109,Canterbury, Anselm of,1033-1109,Cantorbéry, Anselme de,1033-1109,Canterbury, Anselm von,1033-1109,Canterbury, Anselm of,1033-1109,Cantorbéry, Anselme de,1033-1109,Aosta, Anselm d',1033-1109,Le Bec, Anselm von,1033-1109,Anselmus,Cantuariensis, Sanctus,1033-1109,Anselm,of Canterbury, Saint,1033-1109,Anselme,de Cantorbéry, Saint,1033-1109,Anshelmus,Heiliger,1033-1109,Pseudo-Anselm,von Canterbury,1033-1109,Pseudo-Anselmus,Cantuariensis,1033-1109,Pseudo-Anselmus,de Canterbury,1033-1109,Ansīlm,1033-1109,Cantuária, Anselmo de,1033-1109,De Cantuária, Anselmo,1033-1109 , Gott |