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