Rasmiy semantika (tabiiy til) - Formal semantics (natural language)

Rasmiy semantik taklif qiladigan ramka nazariy jumlalarning ma'nolari, ularning qismlari ma'nosidan qanday kelib chiqishi haqida hisobot. Rasmiy semantikada tilshunoslik, matematik mantiq va falsafa, avvalgi ishlarga asoslanib til falsafasi, rasmiy til nazariyasi va mantiq.

Umumiy nuqtai

Tilshunoslar rasmiy semantikani kamdan-kam hollarda ishlatishgan Richard Montague ingliz tiliga (yoki har qanday tabiiy tilga) rasmiy til kabi munosabatda bo'lish mumkinligini ko'rsatdi.^[1] Uning hozirgi kunda ma'lum bo'lgan lingvistik semantikaga qo'shgan hissasi Montague grammatikasi kabi keyingi rivojlanishlar uchun asos bo'ldi kategoriya grammatikasi ning Bar-Xill va hamkasblar, va shunga asoslangan so'nggi mantiqiy semantika (yoki grammatika) Lambek hisob-kitobi.^[2]

Maqsadlari va ko'lami

Rasmiy semantikaga taalluqli tushuntirish rollari borasida ba'zi kelishmovchiliklar mavjud. Bir necha nazariyotchilar semantikani aloqa, konvensiya va haqiqat haqidagi faktlarga asoslashadi,^[3] boshqalar esa buni a sintaktik ravishda -driven loyihasi asosan tushuntirish bilan bog'liq hosildorlik va tabiiy tilda sistematiklik va shu kabi yirik lingvistik korxonaning bir qismi Xomskiy tilshunosligi^[4] yoki boshqa har qanday narsa modulli insonning til qobiliyatining ko'rinishi.^[5]

Rasmiy semantikaning turlari

Rasmiy semantikaga hozirgi yondashuvlarning aksariyati "paradigma" deb nomlanadi haqiqat-shartli semantikasi, bu jumla ma'nosini qanday sharoitda bo'lishini ta'minlash orqali tushuntirishga harakat qiladi.^[3]^[6] Biroq, haqiqat shartli dasturining bir nechta tarafdorlari, haqiqat shartlaridan ko'ra ko'proq ma'no borligini ta'kidladilar.^[7] Muqobil yondashuvlarga ko'proq bilimga yo'naltirilgan takliflar kiradi, masalan, Pietroskiyning ma'nolarga munosabati, tushunchalarni shakllantirish bo'yicha ko'rsatmalar, jumlalar haqiqat sharoitlaridan mahrum.^[8] Boshqa bir so'rov liniyasi chiziqli mantiq, bo'ladi elim semantikasi, bu "deduktsiya sifatida talqin qilish" g'oyasiga asoslangan bo'lib, kategoriya grammatikasining "deduksiya sifatida ajralish" paradigmasi bilan chambarchas bog'liqdir.^[9]

Kognitiv semantik rasmiy semantikaga qarshi reaktsiya sifatida paydo bo'ldi va rivojlandi, ammo yaqinda ikkala pozitsiyani yarashtirishga bir necha bor urinishlar bo'lgan.^[10]

Shuningdek qarang

Adabiyotlar

^ Rasmiy semantikaning tilshunoslikka qanday yo'l topganligi to'g'risida juda o'qiydigan va qisqacha ma'lumot olish uchun, iltimos, murojaat qiling Ma'noning rasmiy yondoshuvi: Rasmiy semantika va uning so'nggi rivojlanishi tomonidan Barbara Abbott. In: Chet tillar jurnali (Shanxay), 119: 1 (1999 yil yanvar), 2-20.
^ Maykl Moortgat (1988). Kategorik tekshiruvlar: Lambek hisoblashining mantiqiy va lingvistik jihatlari. Valter de Gruyter. ISBN 978-90-6765-387-9. Olingan 5 aprel 2011.
^ ^a ^b Lyuis, Devid (1970 yil dekabr). "Umumiy semantika". Sintez. 22 (1/2): 18–67. doi:10.1007 / BF00413598.
^ Set Yalchin (2014). "Generativ grammatika kontekstida semantika va metasemantika". Aleksis Burgessda; Bret Sherman (tahrir). Metasemantika: ma'no asoslariga oid yangi insholar. Oksford universiteti matbuoti. ISBN 9780199669592.
^ Borg, Emma (2004). Minimal semantik. Oksford universiteti matbuoti. ISBN 978-0199206926.
^ Irene Xeym; Anjelika Kratzer (1998). Generativ grammatikadagi semantika. Villi-Blekvell. ISBN 978-0-631-19713-3.
^ Stefano Predelli (2013). Haqiqatsiz ma'no. Oksford stipendiyasi. ISBN 9780199695638.
^ Pol Pietroski (2018). Birlashtiruvchi ma'nolar. Oksford universiteti matbuoti. ISBN 9780198812722.
^ Garri Bunt (2008). Hisoblash ma'nosi. 3. Springer. p. 458. ISBN 978-1-4020-5957-5.
^ Xemm, Fritz; Kamp, Xans; Lambalgen, Michiel van (2006-09-01). "Rasmiy va Kognitiv semantika o'rtasida qarama-qarshilik yo'q". Nazariy tilshunoslik. 32 (1): 1–40. CiteSeerX 10.1.1.80.6574. doi:10.1515 / tl.2006.001. ISSN 1613-4060.

Qo'shimcha o'qish

Maks Kressvel (2006). "Rasmiy semantika". Maykl Devittda, Richard Xanli (tahrir). Til falsafasi bo'yicha Blekuell qo'llanmasi. Villi-Blekvell. ISBN 978-0-631-23142-4. Ushbu sohadagi asosiy g'oyalarni juda qulay ko'rib chiqish.
Jon I. Said (2008). Semantik. Tilshunoslikni joriy etish (3-nashr). Villi-Blekvell. ISBN 978-1-4051-5639-4. 10-bob, Rasmiy semantika, asosiy texnik yo'nalishlarning eng yaxshi bob darajasida yoritilishini o'z ichiga oladi
Yoxan van Bentem; Elis Ter Meulen (2010). Mantiq va til bo'yicha qo'llanma (2-nashr). Elsevier. ISBN 978-0-444-53726-3. Hududdagi eng keng qamrovli ma'lumotnoma.
Emmon V. Bax (1989). Rasmiy semantika bo'yicha norasmiy ma'ruzalar. SUNY Press. ISBN 978-0-88706-772-3. Birinchi darsliklardan biri. Magistrantlar uchun ochiq.
Ronni Kann (1993). Rasmiy semantik: kirish. Kembrij universiteti matbuoti. ISBN 978-0-521-37610-5.
Irene Xeym; Anjelika Kratzer (1998). Generativ grammatikadagi semantika. Villi-Blekvell. ISBN 978-0-631-19713-3.
Gennaro Chierchia; Sally McConnell-Ginet (2000). Ma'nosi va grammatikasi: semantikaga kirish (2-nashr). MIT Press. ISBN 978-0-262-53164-1.
Shon A. Fulop (2004). Mantiq va tilni o'rganish to'g'risida. Trafford nashriyoti. ISBN 978-1-4120-2381-8.^{[o'z-o'zini nashr etgan manba ]}
Glin V. Morrill (1994). Mantiqiy grammatikani yozing: belgilarning kategoriyaviy mantiqi. Springer. ISBN 978-0-7923-3095-0.
Reynxard Muskens. Turli-mantiqiy semantika^{[doimiy o'lik havola ]}. Routledge falsafa entsiklopediyasi Onlayn.
Bob Carpenter (1998). Turli-mantiqiy semantika. MIT Press. ISBN 978-0-262-53149-8.
Yoxan van Bentem (1995). Amaldagi til: toifalar, lambdalar va dinamik mantiq. MIT Press. ISBN 978-0-262-72024-3.
Barbara H. Partee. Rasmiy semantikistning 2005 yil fevral oyidagi holati. Ko'pgina tarixiy ma'lumotlar. (Barbara H. Partee-dagi kirish inshoining kengaytirilgan versiyasi: Rasmiy semantikada kompozitsionlik: Barbara Partining tanlangan hujjatlari. Blackwell Publishers, Oksford, 2004.)

Bu semantik maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.

[1] Rasmiy semantikaning tilshunoslikka qanday yo'l topganligi to'g'risida juda o'qiydigan va qisqacha ma'lumot olish uchun, iltimos, murojaat qiling Ma'noning rasmiy yondoshuvi: Rasmiy semantika va uning so'nggi rivojlanishi tomonidan Barbara Abbott. In: Chet tillar jurnali (Shanxay), 119: 1 (1999 yil yanvar), 2-20.

[Moortgat1988-2] Maykl Moortgat (1988). Kategorik tekshiruvlar: Lambek hisoblashining mantiqiy va lingvistik jihatlari. Valter de Gruyter. ISBN 978-90-6765-387-9. Olingan 5 aprel 2011.

[Generalsemantics-3] Lyuis, Devid (1970 yil dekabr). "Umumiy semantika". Sintez. 22 (1/2): 18–67. doi:10.1007 / BF00413598.

[4] Set Yalchin (2014). "Generativ grammatika kontekstida semantika va metasemantika". Aleksis Burgessda; Bret Sherman (tahrir). Metasemantika: ma'no asoslariga oid yangi insholar. Oksford universiteti matbuoti. ISBN 9780199669592.

[5] Borg, Emma (2004). Minimal semantik. Oksford universiteti matbuoti. ISBN 978-0199206926.

[6] Irene Xeym; Anjelika Kratzer (1998). Generativ grammatikadagi semantika. Villi-Blekvell. ISBN 978-0-631-19713-3.

[7] Stefano Predelli (2013). Haqiqatsiz ma'no. Oksford stipendiyasi. ISBN 9780199695638.

[8] Pol Pietroski (2018). Birlashtiruvchi ma'nolar. Oksford universiteti matbuoti. ISBN 9780198812722.

[Bunt2008-9] Garri Bunt (2008). Hisoblash ma'nosi. 3. Springer. p. 458. ISBN 978-1-4020-5957-5.

[10] Xemm, Fritz; Kamp, Xans; Lambalgen, Michiel van (2006-09-01). "Rasmiy va Kognitiv semantika o'rtasida qarama-qarshilik yo'q". Nazariy tilshunoslik. 32 (1): 1–40. CiteSeerX 10.1.1.80.6574. doi:10.1515 / tl.2006.001. ISSN 1613-4060.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]