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