7 Olmoshlar va o’zgaruvchilar

Deniz : e mögen ( sie ) : < e, t >
Mögen : <e, <e, t >> sie : e

Agarda biz sie ni tilimizning o‘zgarmas qismi sifatida ham e’tibor qaratsak va bu Type e ga ega bo‘lsa, uning izohi individga mos keladi. Bu, albatta, (9) dagi sie ning izohiga aloqador holda bizning intuitsiyalarimizga mos keladi, chunki olmosh u yerda Bente ga aloqadordir.

Biror o‘zgarmas sie : e ni tilimizda isbotlash uchun dastlab sistemamizda boshqa hech qanday o‘zgarish bo‘lmasligi lozim, chunki sie tilimizning Type e dan o‘zgarmas qismiligini ayta olar ekanmiz – ya’ni sie ∈K_e – va sie to‘liq shakllangan bo‘ladi.Va sie Typ e ga egaligi tufayli yuqorida berilgani kabi boshqa ifodalarga bog‘langan bo‘lishi mumkin, xuddi Typ e oluvchi atoqli otlar kabi. Izoh sie ning ma’nosini I belgilangan vazifasidan olishiga bog‘liq,chunki u leksik ifodani o‘z ichiga oladi. Misolimizda olmosh Bentega aloqadorligi sababli I-vazifasi ifodaga mos individni belgilashi lozim: shaxs B(ente).
(12) I(sie) = B(ente)
Bu bizni misolimizning to‘g‘ri ma‘nosiga olib boradi.Agar mögen orqali ifodalanayotgan vazifa B va D(eniz) individlarini 1 da tasvirlasa butun gap haqiqat bo‘ladi.Lekin bu yerda to‘g‘ridan to‘g‘ri bizning tahlilimizga changal yotibdi. Bu bizni olmosh B(ente) ifodali leksik ifoda kabi qo‘llanilgan faqat bizning misolimiz uchun to‘g‘ri ma‘noga olib boradi.Keyin olmosh shunchaki Bente atoqli otiga sinonim bo‘ladi.Bu shubhasiz to‘g‘ri tahlil emas.
Xulosalaymiz: Olmoshni I-vazifasi orqali Bentening so‘zlovchi ekanligini belgilab bergan Typ e ning shunchaki o‘zgarmas qismi deb yuritgan oddiy, ammo sodda tahlil olmoshning bir qarashda xuddi atoqli ot kabi semantik kombinatorikani ifodalashi to ‘g‘riligini ko‘rsatadi, biroq olmosh ma‘nosining o‘zgaruvchanligini e’tibordan chetda qoldiradi.O‘zgarmas haqida so‘z yuritilayotgan bu tezis ham muammoli.Olmoshlarning o‘zgarmas ma‘nosi mavjud emas.Ammo biz hukm chiqargan (bog‘lovchilar bilan birgalikda, albatta, bu yerda ular olmoshlarning reprezentatsiyasi ekanligiga ham gap ham bo‘lishi mumkin emas) o‘zgarmaslar
hozrgacha yagona leksik ifodadalar ekanligi olmoshlarga mos tahlil qilish uchun bizga hozrgacha bo‘lgan sistemamizga kerakli vositani bermaydi.Biz uskunalar qutimizni o‘zgaruvchilar deb atalgan biz shug‘ullanadigan bilan kengaytirishimiz lozim.