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