 |
|
 |
||
|
||||
 |
אני יודע ממש מעט על לוגיקה באופן כללי (למשל, בלוגיקה מודלית נתקלתי ממש מעט פעמים, באורח לגמרי לא מקיף), וקשה לי להשיב על השאלה. בלימודי המתמטיקה שלי לא נתקלתי בקריפקה, אבל חלק ממש קטן מהם היה מוקדש ללימוד לוגיקה מתמטית - יותר מעניין לשאול אם אורי גוראל-גורביץ' נתקל בו. |  |
 |
 |
|
|
|
||
|
||||
|
לא זכור לי שנתקלתי, אבל: א) למרות שאלון מחזיק ממני בלוגיקה וקבוצות, זה לא ממש התחום שלי, לא כל שכן לוגיקה מודאלית. ב) יש לי זכרון נוראי לשמות של משפטים מתמטיים1 ול"מי עשה מה". למען האמת אני מופתע כל פעם מחדש כשאלון שולף איזה "על פי משפט גזונטהייט-מטיסביץ לכל..." 1 ולמעשה גם למשפטים עצמם. |
|
|
|
|
|
|
||
|
||||
|
יש הסברים לא רעים ב- http://plato.stanford.edu/entries/logic-modal/ מזכירים שם גם את C. I. Lewis ממציא הלוגיקה המודאלית, ואת David Lewis, פילוסוף מאוד חשוב בזכות עצמו שעסק רבות בבעיית ה conditionals וב- causality ונדמה לי שפיתח את "לוגיקת עולמות אפשריים". מהמעט שאני זוכר על קריפקה (וכבר לא נגעתי בפילוסופיה כשנה וחצי, אז לקחת בעירבון מוגבל) הוא תרם תרומה חשובה לא רק ללוגיקה אלא אף לבעיית "שמות פרטיים" (proper names) בפילוסופיה של הלשון. |
|
|
|
|
|
|
||
|
||||
|
אתה זוכר נכון. קריפקה (בהקשר זה, אולי ''סול'') עסק הרבה בבעיית ''שמות פרטיים''. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |