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