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