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