Ngữ nghĩa học thế giới khả dĩ

Ngữ nghĩa học thế giới khả dĩ diễn giải tính tất yếu là chân lý trong tất cả các thế giới có thể tiếp cận và tính khả dĩ là chân lý trong một số thế giới, biến logic modal thành một lý thuyết mô hình dễ xử lý.

Definition

Ngữ nghĩa học thế giới khả dĩ đánh giá các câu modal tại các điểm được gọi là thế giới được liên kết bởi một quan hệ khả tiếp, với 'tất yếu A' là đúng tại một thế giới nếu và chỉ nếu A đúng tại mọi thế giới có thể tiếp cận từ nó.

Scope

Chủ đề này bao gồm lý thuyết mô hình quan hệ (Kripke) cho logic modal: các khung bao gồm một tập hợp các thế giới và một quan hệ khả tiếp, các định giá, và các mệnh đề chân lý cho các toán tử modal. Nó đề cập đến vai trò kỹ thuật của các khung và câu hỏi triết học về thế giới khả dĩ là gì — các vũ trụ cụ thể, các trạng thái sự việc trừu tượng, các tập hợp mệnh đề, hay chỉ là các chỉ số hình thức — và cách điều đó ảnh hưởng đến giá trị giải thích của ngữ nghĩa học.

Core questions

• Thế giới khả dĩ chính xác là gì, và các thế giới có tồn tại không?
• Quan hệ khả tiếp là gì, và nó đại diện cho điều gì?
• Ngữ nghĩa học hình thức giải thích chân lý modal hay chỉ đơn thuần mô hình hóa nó?
• Các thế giới giúp phân tích các phản thực tế, các mệnh đề và nội dung như thế nào?

Key concepts

• thế giới khả dĩ
• quan hệ khả tiếp
• khung và mô hình
• định giá
• chủ nghĩa hiện thực vs. chủ nghĩa khả dĩ
• thế giới thay thế

Key theories

Mô hình quan hệ Kripke

Một mô hình là một tập hợp các thế giới với một quan hệ khả tiếp và một định giá; các toán tử modal định lượng trên các thế giới có thể tiếp cận, do đó các đặc điểm logic của tính modal được quy về các thuộc tính cấu trúc của quan hệ.

Các thế giới như các đối tượng trừu tượng

Stalnaker coi các thế giới khả dĩ là những cách mà mọi thứ có thể đã xảy ra — các khả năng tối đa trừu tượng — bác bỏ các thế giới cụ thể của Lewis trong khi vẫn giữ lại các lợi ích giải thích của các thế giới đối với tính modal và nội dung.

History

Các mô tả trạng thái của Carnap và cách nói về các thế giới khả dĩ của Leibniz đã dự đoán ý tưởng này, nhưng ngữ nghĩa học chặt chẽ đã xuất hiện với các mô hình quan hệ của Kripke vào năm 1963. Các nhà triết học sau đó đã chia rẽ về siêu hình học: chủ nghĩa hiện thực modal của Lewis năm 1986 coi các thế giới là cụ thể, trong khi Stalnaker và những người khác bảo vệ các thế giới 'thay thế' trừu tượng.

Debates

Các thế giới cụ thể so với trừu tượng

Liệu các thế giới mà ngữ nghĩa học định lượng là các vũ trụ không-thời gian cụ thể hay các vật thay thế trừu tượng như các tập hợp mệnh đề nhất quán tối đa, và cách đọc nào làm cho ngữ nghĩa học thực sự có tính giải thích.

Key figures

• Saul Kripke
• David Lewis
• Robert Stalnaker
• Jaakko Hintikka
• Rudolf Carnap

Seminal works

• kripke1963
• lewis1986plurality

Frequently asked questions

Ngữ nghĩa học thế giới khả dĩ có yêu cầu tin vào các thế giới khác không?

Không. Ngữ nghĩa học là một công cụ hình thức, và hầu hết các nhà triết học sử dụng nó đều phủ nhận rằng các thế giới cụ thể khác tồn tại. Họ diễn giải 'các thế giới' như các đối tượng trừu tượng — những cách mà mọi thứ có thể đã xảy ra — để việc định lượng trên các thế giới là một cách rõ ràng để nói về các khả năng mà không cần đến sự xa hoa về mặt bản thể học.