Ngữ nghĩa học mô hình lý thuyết và ngữ nghĩa học Montague

Ngữ nghĩa học Montague diễn giải ngôn ngữ tự nhiên theo mô hình lý thuyết, sử dụng logic ý hướng có kiểu để gán các biểu thị cho các biểu thức một cách hoàn toàn có tính cấu tạo.

Definition

Ngữ nghĩa học mô hình lý thuyết diễn giải các biểu thức tương đối với một mô hình hình thức; ngữ nghĩa học Montague là chương trình cụ thể thực hiện điều này cho ngôn ngữ tự nhiên bằng cách sử dụng logic ý hướng có kiểu và một ánh xạ đồng cấu cú pháp-ngữ nghĩa.

Scope

Chủ đề này bao gồm bộ máy hình thức của ngữ nghĩa học mô hình lý thuyết cho ngôn ngữ tự nhiên: các mô hình với các miền cá thể, các thế giới khả dĩ và thời gian; các kiểu ngữ nghĩa và phép tính lambda có kiểu; và sự diễn giải các biểu thức như các hàm trên các miền này. Nó tập trung vào tác phẩm 'The Proper Treatment of Quantification in Ordinary English' (PTQ) của Montague và chương trình rộng lớn hơn nhằm xử lý tiếng Anh với sự chặt chẽ của logic hình thức, bao gồm ý hướng và ngoại diên cũng như phân tích các cụm danh từ như các lượng từ tổng quát hóa.

Core questions

• Các biểu thức của một ngôn ngữ tự nhiên được gán các biểu thị trong một mô hình hình thức như thế nào?
• Các kiểu ngữ nghĩa và phép tính lambda đóng vai trò gì trong diễn giải cấu tạo?
• Ý hướng và ngoại diên được phân biệt như thế nào, và tại sao cần có các thế giới khả dĩ?
• Cách xử lý của Montague đối với các cụm lượng từ và phạm vi diễn giải như thế nào?

Key concepts

• các thế giới khả dĩ
• ý hướng so với ngoại diên
• kiểu ngữ nghĩa
• phép tính lambda có kiểu
• lượng từ tổng quát hóa
• ánh xạ đồng cấu cú pháp-ngữ nghĩa
• logic ý hướng

Key theories

Xử lý đúng đắn lượng từ (PTQ)

Một phần của tiếng Anh trong đó các quy tắc cú pháp được ghép một-một với các quy tắc diễn giải ngữ nghĩa, các cụm danh từ biểu thị các lượng từ tổng quát hóa, và logic ý hướng xử lý tính mờ và tính tình thái.

Lý thuyết kiểu và logic ý hướng

Các biểu thức được gán các kiểu được xây dựng từ các kiểu cơ bản (thực thể, giá trị chân lý) và có thể là các thế giới/thời gian; các ý hướng là các hàm từ các thế giới khả dĩ đến các ngoại diên, nắm bắt ý nghĩa của các ngữ cảnh mờ và tình thái.

History

Dựa trên Frege, sự phân biệt ý hướng/ngoại diên của Carnap, và lý thuyết mô hình Tarskian, Montague đã xuất bản một loạt bài báo vào khoảng năm 1970, nổi tiếng nhất là PTQ, lập luận rằng tiếng Anh có thể được xử lý như một ngôn ngữ hình thức với ngữ nghĩa học mô hình lý thuyết. Cuốn sách giáo khoa của Dowty, Wall, và Peters đã giúp các nhà ngôn ngữ học tiếp cận bộ máy kỹ thuật, và khuôn khổ này đã trở thành nền tảng của ngữ nghĩa học hình thức hiện đại.

Debates

Các ý hướng thế giới khả dĩ và vấn đề về độ chi tiết

Việc coi ý nghĩa là các hàm từ các thế giới khả dĩ đến các ngoại diên đã đánh đồng sai tất cả các biểu thức tương đương một cách tất yếu, thúc đẩy các đề xuất về các khái niệm ý nghĩa chi tiết hơn, có cấu trúc hơn hoặc siêu ý hướng.

Key figures

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

Seminal works

• montague1974
• dowtywallpeters1981

Frequently asked questions

Sự khác biệt giữa ý hướng và ngoại diên là gì?

Ngoại diên của một biểu thức là biểu thị của nó trong một thế giới nhất định (ví dụ: tập hợp chó thực tế), trong khi ý hướng của nó là hàm tạo ra một ngoại diên cho mỗi thế giới khả dĩ (nói một cách đại khái, khái niệm), đây là điều cần thiết để diễn giải các ngữ cảnh tình thái và mờ.