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