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