שאלה לתפיסת הרב

לא הבנתי את כוונתהרב

כוונתי הייתה שאין לפתוח שרשור חדש עבור שאלות המשך. עליך לשרשר את שאלתך להמשך הדיון שנקטע, או להעלות אותה בתגובות לטור הרלוונטי העוסק בלוגיקה מודאלית (למשל טור 580 – לוגיקה מודאלית וטיעונים אונטולוגיים ועוד). או כהמשך לשאלה שעלתה (על ידיך?) לפני כמה ימים על S5. השאלות עולות באתר כדי שאנשים יבינו ויקראו ויביעו דעה וילמדו ויפיקו לקחים. לשם כך הם צריכים להבין את ההקשר ולא לקרוא כתבי חידה.

כדי שלא תצא חסר, אענה לגופו של עניין: כשאני אומר שההנחה באקסיומת S5 היא "מסדר שני", כוונתי היא שמדובר במודאליות מסדר שני – כלומר, טענה מודאלית שחלה על טענה מודאלית אחרת (למשל המשפט האומר ש"אפשרי ש… הכרחי ש…").

הבעיה עם זה היא שהפשר המודאלי (על בסיס "עולמות אפשריים") של טענות כאלה דורש קיומם של "עולמות מסדר שני". יישום ההיסק הזה רוכב על עמימות מושגית, ולכן מדובר במהלך לוגי בעייתי. בזה בדיוק כושל אלווין פלנטינגה כשהוא משתמש במערכת S5 בגרסתו לראיה האונטולוגית להוכחת קיום האל.

אבל אם תרצה להמשיך לדון העבר את העניין לשם והעתק לשם את הרקע הדרוש מכאן.