Semantik Model-Teoretis dan Montague

Semantik Montague menginterpretasikan bahasa alami secara model-teoretis, menggunakan logika intensional berjenis untuk menetapkan denotasi pada ekspresi secara komposisional penuh.

Definition

Semantik model-teoretis menginterpretasikan ekspresi relatif terhadap model formal; semantik Montague adalah program spesifik untuk melakukannya pada bahasa alami menggunakan logika intensional berjenis dan pemetaan sintaks-semantik homomorfik.

Scope

Topik ini mencakup perangkat formal semantik model-teoretis untuk bahasa alami: model dengan domain individu, dunia yang mungkin, dan waktu; tipe semantik dan kalkulus lambda berjenis; serta interpretasi ekspresi sebagai fungsi atas domain-domain ini. Ini berpusat pada karya Montague 'The Proper Treatment of Quantification in Ordinary English' (PTQ) dan program yang lebih luas untuk memperlakukan bahasa Inggris dengan ketelitian logika formal, termasuk intensionalitas dan ekstensialitas serta analisis frasa nomina sebagai kuantifier tergeneralisasi.

Core questions

• Bagaimana ekspresi bahasa alami diberi denotasi dalam model formal?
• Peran apa yang dimainkan oleh tipe semantik dan kalkulus lambda dalam interpretasi komposisional?
• Bagaimana intensionalitas dan ekstensialitas dibedakan, dan mengapa dunia yang mungkin diperlukan?
• Bagaimana perlakuan Montague menangani frasa kuantifier dan cakupan?

Key concepts

• dunia yang mungkin
• intensionalitas vs. ekstensialitas
• tipe semantik
• kalkulus lambda berjenis
• kuantifier tergeneralisasi
• pemetaan sintaks-semantik homomorfik
• logika intensional

Key theories

Perlakuan Kuantifikasi yang Tepat (PTQ)

Fragmen bahasa Inggris Montague di mana aturan sintaksis dipasangkan satu-satu dengan aturan interpretasi semantik, frasa nomina menunjukkan kuantifier tergeneralisasi, dan logika intensional menangani opasitas dan modalitas.

Teori tipe dan logika intensional

Ekspresi diberi tipe yang dibangun dari tipe dasar (entitas, nilai kebenaran) dan mungkin dunia/waktu; intensionalitas adalah fungsi dari dunia yang mungkin ke ekstensialitas, menangkap makna konteks opak dan modal.

History

Berdasarkan Frege, perbedaan intensionalitas/ekstensialitas Carnap, dan teori model Tarskian, Montague menerbitkan serangkaian makalah sekitar tahun 1970, yang paling terkenal adalah PTQ, dengan argumen bahwa bahasa Inggris dapat diperlakukan sebagai bahasa formal dengan semantik model-teoretis. Buku teks oleh Dowty, Wall, dan Peters membuat perangkat teknis ini dapat diakses oleh para ahli bahasa, dan kerangka kerja ini menjadi fondasi semantik formal modern.

Debates

Intensionalitas dunia yang mungkin dan masalah granularitas

Memperlakukan makna sebagai fungsi dari dunia yang mungkin ke ekstensialitas secara keliru menyamakan semua ekspresi yang secara niscaya ekuivalen, mendorong proposal untuk gagasan makna yang lebih halus, terstruktur, atau hiperintensional.

Key figures

• Richard Montague
• Barbara Partee
• David Dowty
• Stanley Peters

Seminal works

• montague1974
• dowtywallpeters1981

Frequently asked questions

Apa perbedaan antara intensionalitas dan ekstensialitas?

Ekstensialitas suatu ekspresi adalah denotasinya dalam dunia tertentu (misalnya, himpunan anjing yang sebenarnya), sedangkan intensionalitasnya adalah fungsi yang menghasilkan ekstensialitas untuk setiap dunia yang mungkin (secara kasar, konsepnya), yang diperlukan untuk menginterpretasikan konteks modal dan opak.