הטיעון האונטולוגי

הקדוש אנסלם מקנטרברי בחלון זכוכית אנגלי מהמאה ה-19.]]הטיעון האונטולוגי (המוכר גם בשם ההוכחה האונטולוגית לקיום האל או בקיצור ההוכחה האונטולוגית) הוא טיעון לוגי-אונטולוגי שמטרתו להוכיח את קיום האל. טיעון זה הוא טיעון אפריורי שלפיו אלוהים קיים כי קיומו הוא בבחינת הכרח. לטיעון קמו במהלך ההיסטוריה של הפילוסופיה הן מתנגדים והן תומכים רבים. גם בקרב המתנגדים וגם בקרב התומכים ניתן למצוא רבים מהפילוסופים הגדולים, וכן לוגיקנים ומתמטיקאים בני-ימינו.

==היסטוריה==
את הטיעון האונטולוגי העלה לראשונה אנסלם הקדוש בן המאה ה-11, בפרק השני של ספרו הפרוסלוגיום . לטיעון נודעה חשיבות רבה בהיסטוריה של הפילוסופיה, ובמהלך השנים קמו לו מתנגדים רבים (ובהם רבים מהפילוסופים הגדולים, כגון תומאס אקווינס, עמנואל קאנט, דוד יום, גוטלוב פרגה, וברטראנד ראסל וגם פילוסופים בני-ימינו) וכן תומכים רבים (ביניהם רבים אחרים מהפילוסופים הגדולים, כגון רנה דקארט, ברוך שפינוזה וגוטפריד וילהלם לייבניץ וגם פילוסופים בני-ימינו כגון נורמן מלקולם). במאה ה-20, בעקבות פיתוחים בלוגיקה, הוצעו לטיעון גרסאות מודרניות המבוססות על הלוגיקה המודרנית (ובעיקר לוגיקה מודאלית).

==הטיעון המקורי==
טיעונו המקורי של אנסלם, שהוצג בספרו הפרוסלוגיום, נראה כך:
:"אם זה שאין אנו יכולים להעלות על דעתנו גדול ממנו קיים בתפישתנו בלבד, הרי שאותו זה שאין גדול ממנו הוא כזה שניתן להעלות על הדעת גדול ממנו. אך ברור כי דבר זה בלתי אפשרי. על כן, אין ספק כי ישנו דבר שלא ניתן להעלות על הדעת גדול ממנו, והוא קיים גם בתפישתנו וגם במציאות.
:"ודבר זה קיים לבטח, שאין להעלות על הדעת שלא יתקיים. משום שאפשר להעלות על הדעת דבר שאין להעלות על הדעת שלא יתקיים; וזהו גדול מאותו אחד שניתן להעלות על הדעת שלא יתקיים. על כן, אם זה אשר לא ניתן להעלות על הדעת גדול ממנו יכול להתפש כבלתי קיים, הוא אינו זה אשר אין להעלות על הדעת גדול ממנו. אך כאן יש סתירה שאין ליישבה.
:"יש, על כן, בוודאות גמורה דבר שאין להעלות על הדעת שגדול ממנו יתקיים, שאי אפשר אפילו להעלות על הדעת שהוא לא יתקיים; וזהו אתה, אלי, אלוהינו".

אנסלם פוסע כאן במשעול התפישה האפלטוניסטית של האסכולה ה"ריאליסטית" בפילוסופיה של ימי הביניים, שלפיה למושגים כמו "אדום" או "יפה" או "גדול" ("אוניברסלים") יש קיום ממשי מחוץ לדמיון האנושי. לפי תפיסה זו, אם ניתן להעלות על הדעת דבר כלשהו (כמו תפישת האל), סימן הוא שלדבר יש ממשות בתחום האוניברסלים.

ננסח את טיעונו של אנסלם באופן פשוט ומובן יותר:

בואו נגיד שאדם חשב על דמות מסוימת. נבסס את הטענה שלנו על ההנחה הבאה:

א. הנחה ראשונה - אלוהים הוא הישות הגדולה ביותר שניתן להעלות על הדעת. מכאן, אם אותו אדם חשב על ישות גדולה יותר מהאל, הרי שהדמות הראשונה היא איננה האלוהים האמיתי. האלוהים האמיתי תמיד יהיה הגדול והחזק ביותר. 

ב. הנחה שנייה - דמות שקיימת גם במציאות וגם במחשבה גדולה וחזקה מזאת הנמצאת רק במחשבה (לפי התפישה שהייתה נהוגה באותם הימים).

עכשיו נשלב בין שתי ההנחות:

אם הישות שהיא אלוהים היא הישות הגדולה מכולן ואי אפשר להעלות על הדעת דמות אחרת גדולה ממנה, ואין אלוהים גדול ממנו, ודאי אלוהים קיים גם במציאות. כי הרי אם לא היה קיים גם במציאות, היינו יכולים למצוא דמות אחרת חזקה ממנו ואז הוא לא היה אלוהים.

טיעון זה מוכיח כי למעשה אלוהים אכן קיים.

את הטיעון האונטולוגי ניתן להציג גם כשתי טענות לוגיות ומסקנה:
# אלוהים הוא כליל המעלה.
# קיום היא אחת המעלות.
# מכאן, שאלוהים קיים.

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

==ביקורת הטיעון==
כנגד הטיעון האונטולוגי של אנסלם הועלו מספר התנגדויות חזקות, חלקן דווקא מהמחנה התאיסטי, ונוספו לו מספר פיתוחים מודרניים מעניינים.

===האי של גואנילו===
גואנילו ממרמוטיה, נזיר ובן זמנו של אנסלם, הסתייג מניסיונו של אנסלם להגדיר דברים אל תוך המציאות. הוא טען כי ניתן להמיר את אלוהים בטיעון של אנסלם באי דמיוני הגדול מכל אי שניתן להעלותו על הדעת וכך, מאחר שניתן להעלות אי כזה על הדעת, הרי שאי כזה צריך להתקיים, אף על פי שככל הידוע לנו אי כזה אינו קיים. בניסוח לוגי:
# א' הוא האי הגדול ביותר שניתן להעלות על הדעת.
# אני חושב על א'.
# א' הקיים במחשבתי וגם במציאות, גדול מאי הקיים רק כרעיון.
# אם א' קיים רק כמחשבה במוחי, הרי שניתן לדמיין אי אחר הגדול מא'.
# אך אי אפשר לדמיין אי הגדול מא'.
# על כן, א' קיים.

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

===ביקורתו של אקווינס===
תומאס אקווינס, הפילוסוף בן המאה השלוש עשרה, העלה מספר הסתייגויות מהטיעון של אנסלם. ראשית, טען, כי משמעות המילה "אל" או "אלוהים" אינה זהה אצל כל אדם וכי ישנם גם אנשים המבינים את המונח כמסמל ישות שיש לה גוף. במילים אחרות, הטיעון של אנסלם עובד רק אצל אנשים המבינים את המונח "אלוהים" כמו אנסלם. נוסף על כך, גם אם כולנו נבין את המונח "אלוהים" באותו אופן, לא נובע מכך שמה שאנו מבינים מכך קיים ממש, אלא רק שהוא קיים בתפישתנו.

הבעיה עם טיעונו הראשון של תומאס אקווינאס היא שניתן לעקוף אותו בקלות באמצעות החלפת המילה "אלוהים" בהגדרה אחרת כלשהי כמו "יישות שלא ניתן לחשוב על גדולה ממנה" ואז טיעונו של תומאס נופל. טיעונו השני של תומאס נופל אף הוא אם עוקפים אותו. לצורך הטיעון האונטולוגי (וכדי לשמר את תקפותו) אין זה חשוב אם אנו מבינים את המונח אלוהים באופן מלא או חלקי, או אפילו אם ניתן לנו להבינו באופן כלשהו.

===הביקורת של קאנט===
הפילוסוף הגרמני בן המאה השמונה עשרה עמנואל קאנט פסע בעקבות ה"התנגדויות" של פייר גסנדי ל"הגיונות" של רנה דקארט. קאנט דחה את הטיעון של אנסלם שקיום במחשבה ובמציאות גדול יותר מאשר קיום בתפישה בלבד. לפי קאנט, מהנחתו זו של אנסלם נובע שהקיום הוא תכונה ושבעלות על תכונה זו הופכת את בעל התכונה לטוב יותר, אך טיעון זה יש לדחות מהטעם הפשוט שקיום אינו תכונה אלא פן הכרחי ובלתי ניתן להפרדה מהדבר שלו מיוחס הקיום. לדוגמה, המשפט "אלוהים קיים" שקול לאמירת "אלוהים" משום שהקיום של אלוהים אינו תכונה ואינו פרדיקט לוגי. כאשר אנו אומרים "אלוהים" מוטמעת באמירה ההנחה שהוא קיים.

מעבר לכך, גם אם מסכימים שקיום הוא תכונה, לא נובע מכך שהיא משפרת את בעליה. לפי נורמן מלקולם (Malcolm, N., 1960, "Anselm's Ontological Arguments" Philosophical Review 69: 41-62), ניתן לטעון כי הבית שלי יהיה טוב יותר אילו יותקן בו בידוד, אך לא ניתן לטעון שהבית שלי יהיה טוב יותר מאשר לו לא היה לי בית. כלומר, אם אלוהים קיים, אין בכך דבר טוב יותר מאשר אילולא היה קיים מצד תכונותיו. במילים פשוטות, הקיום הוא תכונה שלא ניתן לקשר אליה ערכיות כלשהי, ומכאן שהטיעון האונטולוגי של אנסלם נופל.

===ביקורת נוספת===
על פי חלק מהמבקרים של הטיעון האונטולוגי, יש בו בעיה עקרונית ובסיסית והיא שהוא מניח מראש את הטעון הוכחה. כלומר, הוא נופל במלכודת הכשל מעגל קסמים. אצל אנסלם, השלב הראשון בהוכחה הוא ההנחה ש"אלוהים הוא כליל המעלה", היינו, שיש אלוהים ושיש לו תכונות שונות. אם נקבל את טיעוני של קאנט ש"אלוהים" ו"יש אלוהים", זהים, הרי שאנסלם מניח שיש אלוהים כדי להוכיח שיש אלוהים. כל הגרסאות האחרות של הטיעון מתחילות מהנחה דומה ולכן, על פי ביקורת זו, במהותן הן כולן בעלות מבנה בסיסי זהה: אלוהים קיים [הוכחה] ולכן אלוהים קיים.

על פי המצדדים בקו ביקורת זה, הטיעון האונטולוגי בנוי על כך שהתוצאה הסופית של הטיעון מונחת מראש ולכן אפשר להעמיד אותו על ראשו בקלות, ואם הטיעון תקף מבחינה לוגית (כלומר, אחרי שקיבלנו את ההנחות) ניתן להגיע למסקנות הפוכות לגמרי. הפילוסוף האוסטרלי דאגלס גסקינג ניסה לעשות זאת באמצעות הצגת ההנחה ש"ככל שהמגבלה על יצירת העולם גדולה יותר, כך ההישג מרשים יותר" ומאחר שאין מגבלה גדולה יותר מאשר אי-קיום, המסקנה ההגיונית היא, על פי גסקינג, שאין אלוהים. ניתן לבצע הצבה הפוכה כזו ברוב ההוכחות האחרות.

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

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

==גרסאות הפילוסופים הרציונליסטים==

הפילוסופים הרציונליסטים דקארט, שפינוזה ולייבניץ הציגו גרסאות משלהם לטיעון האונטולוגי.

===דקארט===

בבסיס ההוכחה האונטולוגית של רנה דקארט לקיום האל עומדות שתי הנחות עיקריות. ראשית, דקארט מניח כי לא ניתן להפריד בין מהות האל למציאותו. ושנית, הוא מניח שהאל הוא יש מושלם בתכלית וככזה הקיום הוא אחד התכונות הגדרה שלו. ולכן תהיה זו סתירה להגדיר אל בלי קיום, ועל-כן האל מוכרח להיות קיים במציאות.

על פי דקארט, הקיום של האל נובע בצורה ישירה מההגדרה שלו. האל הוא הדבר היחיד שמכיל את הכול, גם את המושג "קיום במציאות", ועל-כן אי אפשר לשלול את קיומו בלי להיקלע לסתירה. יש לשים לב שבקשר מושגי כמו הר וגיא – בו אם ישנו מושג כזה "הר" הרי שהוא מחייב קיום של "גיא" (או מושג של עליה שמחייבת מושג של ירידה), עדיין ייתכן כי בפועל לא קיים שום הר ושום גיא. אצל האל בתפיסתו של דקארט, לעומת זאת, הקיום הוא חלק הכרחי מן ההגדרה בשל היותו שלם בתכלית.

כנגד גרסתו זו של דקארט נטען שאם בהגדרת מהות האל מופיעה מציאות, אין זה אומר שהוא יהיה קיים בפועל במציאות (ההגדרה לא גוררת בהכרח ביטוי במציאות).

==גרסאות מודרניות==

לטיעון האונטולוגי הוצעו מספר גרסאות חדשות, העושות שימוש בלוגיקה המודרנית. הידועות שבהן הן הגרסאות של מלקולם, פלנטינגה וכן גרסתו של המתמטיקאי והלוגיקן קורט גדל.

===ההוכחה המודלית של מלקולם===
נורמן מלקולם ניסה לשפר את הטיעון האונטולוגי באמצעות סילוק כמה מן החולשות הגלויות שבטיעונו של אנסלם. הוא הקביל בין שני עולמות לוגיים אפשריים, שבאחד מהם קיים יצור נצחי א' ובאחר לא. מאחר שקיומו של א' אינו יכול להיות תלוי בנסיבות היתכנותיות כלשהן בעולם שבו הוא נמצא, הרי שאם אינו נמצא בעולם כלשהו, קיומו בלתי אפשרי כלל מבחינה לוגית. ובמהופך, אם הוא נמצא בעולם לוגי אפשרי כלשהו, הוא חייב להמצא בכולם. כלומר, קיומו של האל הוא או בלתי אפשרי מבחינה לוגית או הכרחי מבחינה לוגית.

השלב הבא, מבחינת מלקולם, הוא לבחון האם קיומו של יצור נצחי הוא סתירה עצמית. לפי מלקולם, אין לנו סיבה להניח שכך הדבר ומכאן, שקיום האל אינו בלתי אפשרי מבחינה לוגית ועל כן, הכרחי מבחינה לוגית. ההוכחה היא כזו:
# אלוהים, כעניין קונספטואלי, הוא יצור בלתי מוגבל.
# קיום יצור בלתי מוגבל הכרחי או בלתי אפשרי מבחינה לוגית.
# קיום יצור בלתי מוגבל אינו בלתי אפשרי מבחינה לוגית.
# על כן, קיומו של אלוהים הכרחי מבחינה לוגית.

מלקולם מסלק כאן את החולשה העיקרית של אנסלם -- הטענה שקיום בעולם המושגי ובעולם הממשי גם יחד טוב יותר מקיום בעולם המושגי.

===הטיעון של פלנטינגה===
רוב הפילוסופים העכשוויים סבורים כי הטיעון האונטולוגי, לפחות כניסוחו אצל אנסלם, אינו עומד בבחינה לוגית מחמירה. ישנם כמה, עם זאת, שניסו, כמו מלקולם, להחיותו בדרכים שונות. אחד הבולטים ביניהם היה אלווין פלנטינגה שהעלה באמצע שנות השישים של המאה העשרים גרסה מחודשת של הטיעון האונטולוגי המבוססת על הנחה S5 של הלוגיקה המודלית. פלנטינגה מתחיל בשתי הנחות:
# בהגדרה, ישות בעלת גודל מרבי היא ישות הקיימת בהכרח והיא בהכרח כל יכולה, כל יודעת וטובה באופן מושלם.
# ישות בעלת גודל מרבי היא ישות שתהיה בעלת גודל מרבי בכל עולם אפשרי.

מכאן הוא ממשיך וטוען:
# התפישה של ישות בעלת גודל מרבי היא עקבית.
# אם 1 נכון, כי אז יש לפחות עולם אפשרי אחד שבו ישות בעלת גודל מרבי אפשרית.
# על כן, יש לפחות עולם אפשרי אחד שבו ישות בעלת גודל מרבי קיימת.
# אם ישות בעלת גודל מרבי קיימת בעולם אחד, הרי שהיא קיימת בכל עולם לוגי אפשרי.
# מכאן שישות בעלת גודל מרבי (אלוהים) קיימת בכל עולם לוגי אפשרי.

מכאן הוא ממשיך וטוען:
# אפשרי כי נכון בהכרח כי ישות כל יודעת וכל יכולה וטובה באופן מושלם קיימת.
# על כן, נכון בהכרח כי ישות כזאת קיימת לפי הטענה הקודמת ולפי הנחה S5.
# על כן, ישות כזאת קיימת.

==לקריאה נוספת==
<div style="direction: ltr;">
*כללי דה-מורגן
*Jori, Alberto, 'Die Paradoxien des menschlichen Selbstbewusstseins und die notwendige Existenz Gottes - Zu 'Cogitatio' und 'Intellectus' im Streit zwischen Anselm und Gaunilo', in: C. Viola and J. Kormos (ed.), Rationality from Saint Augustine to Saint Anselm. Proceedings of the International Anselm Conference - Piliscsaba (Hungary) 20-23 June 2002 (Piliscsaba 2005), 197-210.
*Malcolm, Norman, "Anselm's Ontological Argument," Philosophical Review, vol. 69, no. 1 (1960), 41-62
* Plantinga, Alvin, The Ontological Argument from St. Anselm to Contemporary Philosophers (Garden City, NY: Doubleday, 1965)
* Plantinga, Alvin, 1974, The Nature of Necessity Oxford: Oxford University Press
* Oppy, Graham Robert, Ontological arguments and belief in God. Cambridge: Cambridge University Press, 1995.
</div>
* יובל שטייניץ, עץ הדעת - אלוהים, לוגיקה וסיבתיות, דביר, 1994 (חלק א')
* יובל שטייניץ, טיל לוגי מדעי לאלוהים ובחזרה, הוצאת זמורה-ביתן, 1998

==קישורים חיצוניים ==
* [http://plato.stanford.edu/entries/ontological-arguments/ Ontological Arguments הערך "הטיעון האונטולוגי" באנציקלופדיה לפילוסופיה של סטנפורד]
* [http://www.iep.utm.edu/o/ont-arg.htm הטיעון האונטולוגי, מאת קנת אינר הימה. מתוך האנציקלופדיה לפילוסופיה באינטרנט]
* [http://www.formalontology.it/ontological-proof.htm הטיעון האונטולוגי: מאנסלם עד גדל, מאת ראול קוראסון]
* [https://web.archive.org/web/20110410182503/http://www.stats.uwaterloo.ca/~cgsmall/ontology.html הטיעון האונטולוגי של גדל]
* 
* 

==הערות שוליים==

אונטולוגי

de:Gottesbeweis#Der ontologische Gottesbeweis