לוגיקה מודלית
שלום הרב,
ראיתי סרטון ביוטיוב על שתי תזות פילוסופיות, הכרחיות ואפשריות (לא יודע אם זה תרגום טוב). אפשריות היא מה שנשמע לי הגיוני, כלומר יש עצמים שקיומם אפשרי. הכרחיות אומרת שכל העצמים קיומם הכרחי אלא שמימושם במציאות הוא אפשרי ולא הכרחי. החל מאמצע הסרטון הוא מביא טיעון של לוגיקה מודלית פורמלית שהכרחיות צודקת. אשמח לשמוע מה דעת הרב על הטיעון שלו. הטיעון מבוסס על הנוסחה הבאה (מויקיפדיה) שגם שם מזכירים את הטיעון הזה.
https://en.m.wikipedia.org/wiki/Barcan_formula
אני חושב שהפתרון הוא שלילת הנכונות של הנוסחה הנ"ל, אשמח לשמוע את דעתך.
בברכה,
גלעד
אני לא עונה לשאלות ששולחות אותי לעשות שיעורי בית. אם אתה רוצה לשאול, היכבד והעלה את הטיעון, ואז נסח שאלה לגביו.
לגבי כשלים וניתוח טיעונים של לוגיקה מודאלית, יש כאן באתר כמה טורים שעוסקים בזה. ראה טורים 580, 160, 301 ועוד.
על פניו נראה שהוא מתאר טיעון ידוע שעולה ביחס לנוסחת Barcan. אולי אגע בזה בעתיד.
תודה על התשובה, חשבתי שניסוח שלי יהיה לא מדויק ואני חושב שהטיעון הזה יכול לעניין אותך בכל זאת.
תשובה מפורטת כאן: https://mikyab.net/posts/85953/#comment-81310
השאר תגובה
Please login or Register to submit your answer