|
אחלה סיפור... אם אני זוכר טוב, What is it like to be a bat הוא מאמר מוצלח מאוד. אני לא מכיר דברים אחרים של תומס נייגל1, ולא היה לי מושג שהוא כוכב פילוסופיה. מעניין.
יש לסול קריפקה הוכחה מעניינת, לא-שגרתית, למשפט הראשון של גדל. אי-אפשר להשתמש בה בשביל המשפט השני, אבל היא נותנת דוגמה למשפט לא-כריע ללא "התייחסות עצמית". גם המשפט של מטייסוויץ' נותן את זה, אבל כנראה שאצל קריפקה זה יותר פשוט. אני לא מכיר את ההוכחה, רק קראתי על קיומה, והזכרת לי ללכת ולחפש.
שכנעת אותי לתור אחר הספר של אברון, זה נשמע כמו משהו שצריך שיהיה בבית.
1 דברים אחרים של ארנסט נאגל (נדמה לי שזה נאגל) אני דווקא כן מכיר, כמו המשפט היפה של נאגל-לוץ.
|
|