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