Nguyên tắc cấu tạo luận

Nguyên tắc cấu tạo luận cho rằng ý nghĩa của một biểu thức phức tạp được xác định bởi ý nghĩa của các thành phần cấu tạo và cách chúng được kết hợp.

Definition

Cấu tạo luận là nguyên tắc cho rằng ý nghĩa của một biểu thức phức tạp là một hàm của ý nghĩa các bộ phận của nó và của các quy tắc cú pháp được sử dụng để kết hợp chúng.

Scope

Chủ đề này bao gồm việc xây dựng, động cơ và giới hạn của nguyên tắc cấu tạo luận. Nó đề cập đến các lập luận ủng hộ cấu tạo luận từ tính năng suất và tính hệ thống (khả năng của chúng ta trong việc hiểu và tạo ra vô số câu mới), các phát biểu hình thức của nguyên tắc như một phép đồng cấu từ cú pháp sang ngữ nghĩa, và các phản ví dụ rõ ràng như thành ngữ, ngữ cảnh thái độ mệnh đề, và phạm vi lượng từ đã thúc đẩy việc tinh chỉnh nguyên tắc.

Core questions

• Cấu tạo luận chính xác tuyên bố điều gì, và làm thế nào nó có thể được phát biểu một cách hình thức?
• Bằng chứng nào (tính năng suất, tính hệ thống) ủng hộ nó?
• Liệu thành ngữ, báo cáo thái độ, hay sự phụ thuộc vào ngữ cảnh có đe dọa cấu tạo luận không?
• Cấu tạo luận là một giả thuyết thực nghiệm hay một giả định phương pháp luận?

Key concepts

• tính năng suất
• tính hệ thống
• phép đồng cấu (cú pháp sang ngữ nghĩa)
• diễn giải từng quy tắc
• thành ngữ như những thách thức
• tính thay thế

Key theories

Cấu tạo luận như phép đồng cấu từ cú pháp sang ngữ nghĩa

Cấu tạo luận được làm rõ bằng cách yêu cầu việc gán ý nghĩa phải là một phép đồng cấu từ đại số của các biểu thức cú pháp sang đại số của các ý nghĩa, để sự kết hợp trong cú pháp phản ánh sự kết hợp trong ngữ nghĩa.

Các lập luận về tính năng suất và tính hệ thống

Người nói hiểu vô số câu mới và thể hiện các mô hình hiểu biết có hệ thống, điều này được giải thích tốt nhất nếu ý nghĩa được xây dựng một cách cấu tạo từ một kho từ vựng và quy tắc hữu hạn.

History

Cấu tạo luận theo truyền thống được gán cho Frege, mặc dù việc gán rõ ràng này vẫn còn gây tranh cãi. Nó trở thành một nguyên tắc phương pháp luận hướng dẫn của ngữ nghĩa hình thức thông qua công trình của Montague và được Partee cùng những người khác đưa ra các công thức đại số, những người cũng đã làm rõ cách các hiện tượng như thành ngữ và ngữ cảnh thái độ có thể được điều chỉnh mà không từ bỏ nguyên tắc.

Debates

Liệu cấu tạo luận là có ý nghĩa hay tầm thường

Các nhà phê bình cho rằng, nếu không có các ràng buộc về ý nghĩa và quy tắc, cấu tạo luận luôn có thể được thỏa mãn và do đó không có giá trị thực nghiệm; những người bảo vệ lập luận rằng các ràng buộc tự nhiên làm cho nó trở thành một giả thuyết có nội dung và có thể kiểm chứng.

Key figures

• Gottlob Frege
• Barbara Partee
• Zoltan Gendler Szabo

Seminal works

• partee1984
• szabosep2022

Frequently asked questions

Thành ngữ có vi phạm cấu tạo luận không?

Các thành ngữ như 'kick the bucket' (qua đời) dường như không có tính cấu tạo vì ý nghĩa của chúng không được xây dựng từ các bộ phận, nhưng chúng thường được coi là các đơn vị từ vựng đơn lẻ có ý nghĩa được lưu trữ toàn bộ, vì vậy chúng không bác bỏ cấu tạo luận đối với phần còn lại của ngôn ngữ.