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