... ההוכחה האונטולוגית) הוא טיעון לוגי - אונטולוגי שמטרתו להוכיח את קיום האל. טיעון זה הוא טיעון אפריורי שלפיו
אלוהים קיים כי קיומו הוא בבחינת הכרח. ... סימן הוא שלדבר יש ממשות בתחום האוניברסלים. בניסוח פשוט, אנסלם טוען כי אם ניתן להעלות על הדעת שיש אלוהים, הרי
שאלוהים קיים בתודעה, במחשבה. מאחר שאלוהים ... האונטולוגי ניתן להציג גם כשתי טענות לוגיות ומסקנה: 1.אלוהים הוא כליל המעלה. 2.קיום היא אחת המעלות. 3.מכאן,
שאלוהים קיים. ובניסוח העוקב ביתר דיוק אחר ... קיומו גדול יותר). 4.בגלל 1, אלוהים חייב להיות גדול מהמשהו ב - 3. לשם כך עליו להיות קיים במציאות. 5.לכן,
אלוהים קיים. ביקורת הטיעון כנגד הטיעון ... יהיה טוב יותר אילו יותקן בו בידוד, אך לא ניתן לטעון שהבית שלי יהיה טוב יותר מאשר לו לא היה לי בית. כלומר, אם
אלוהים קיים, אין בכך דבר טוב יותר מאשר ... כל הגרסאות האחרות של הטיעון מתחילות מהנחה דומה ולכן, על פי ביקורת זו, במהותן הן כולן בעלות מבנה בסיסי זהה:
אלוהים קיים [הוכחה] ולכן
אלוהים קיים. עם זאת, בדרך כלל השורה הראשונה בטיעון האונטולוגי לא מובנת כהנחת
קיומו של אלוהים, אלא כהגדרתו - מגדירים את ... יצור בלתי מוגבל הכרחי או בלתי אפשרי מבחינה לוגית. 3.קיום יצור בלתי מוגבל אינו בלתי אפשרי מבחינה לוגית. 4.על כן,
קיומו של אלוהים הכרחי מבחינה לוגית. מלקולם מסלק ...