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