שי ברגר :python: Shai Berger · @shaib
60 followers · 430 posts · Server tooot.imמצאתי עכשיו במקרה משהו שאני מחפש כבר בערך 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).
Sozialwelten · @sozialwelten
1438 followers · 10041 posts · Server ifwo.eu
Bis zur #Darstellbarkeit einer #intensional(en) #Problem(atik) durch eine #extensional(e) #Kalkültechnik vergingen alleine 10 Jahre.
1959 - #Idee und #Grundriß einer nicht-#aristotelisch(en) #Logik - #GotthardGünther (#Vorwort S.17)
1969 - #Laws of #Form (#LoF) - #GeorgeSpencerBrown
#darstellbarkeit #intensional #problem #extensional #kalkültechnik #idee #grundriß #aristotelisch #logik #gotthardgünther #vorwort #laws #form #lof #georgespencerbrown