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