מצאתי עכשיו במקרה משהו שאני מחפש כבר בערך 20 שנה. הגדרות של סוג של לוגיקה שלמדתי לפני כמעט 30 שנה אצל יונתן גינצבורג. איבדתי את המחברת מהקורס, השם שזכרתי לא היה בדיוק השם הנכון, ולך תחפש ברשת לפי שימוש בסימן ^.
ובכן, זה לא סתם #Montague_Grammar, אלא השילוב שלו עם #Intensional_Logic. ובאופן אירוני, הדיסרטציה הרלוונטית היא מהאוניברסיטה שבה עשיתי את המאסטר, ואפילו יצא לי לפגוש את המחבר כמה פעמים.
https://eprints.illc.uva.nl/id/eprint/1842/2/HDS-10-Theo-Janssen.text.pdf
פרק 3.5, עמ׳ 113 בספר (120 ב־pdf).
#Montague #Grammar #Intensional #Logic
