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...

Full description

Saved in:  
Bibliographic Details
Main Author: Mccarty, Charles (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)

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 

Similar Items

more