Các logic thời gian, nghĩa vụ và nhận thức

Bộ máy quan hệ của logic modal tổng quát hóa theo thời gian, nghĩa vụ và tri thức, tạo ra các logic về những gì đã và sẽ xảy ra, những gì nên xảy ra và những gì đã biết.

Definition

Đây là các logic modal phi-chân lý trong đó quan hệ khả tiếp được diễn giải lại: như trật tự thời gian cho logic thì, như khả năng tiếp cận các thế giới lý tưởng về nghĩa vụ cho logic nghĩa vụ, và như sự tương thích với những gì một tác nhân biết cho logic nhận thức.

Scope

Chủ đề này bao gồm các logic nội hàm chính có chung bộ máy thế giới khả dĩ của logic modal: logic thời gian (thì) với các toán tử quá khứ và tương lai được đánh giá dựa trên một trật tự thời gian; logic nghĩa vụ với các toán tử cho nghĩa vụ, sự cho phép và sự cấm đoán; và logic nhận thức với các toán tử cho tri thức và niềm tin được đánh giá dựa trên các lựa chọn thay thế nhận thức. Nó bao gồm các vấn đề đặc trưng của chúng, chẳng hạn như các nghịch lý của logic nghĩa vụ và vấn đề toàn tri logic.

Core questions

• Các toán tử thì quá khứ và tương lai nên được tiên đề hóa như thế nào trên các cấu trúc thời gian khác nhau?
• Nghĩa vụ và sự cho phép có thể được coi là các toán tử modal không, và các nghịch lý nghĩa vụ được giải quyết như thế nào?
• Việc coi tri thức một cách modal có buộc phải chấp nhận luận điểm không hợp lý về toàn tri logic không?
• Điều gì thống nhất các logic này, và những điểm tương đồng của chúng bị phá vỡ ở đâu?

Key concepts

• các toán tử thì (quá khứ/tương lai)
• nghĩa vụ, sự cho phép, sự cấm đoán
• các thế giới lý tưởng về nghĩa vụ
• các lựa chọn thay thế nhận thức
• toàn tri logic
• các nghịch lý nghĩa vụ

Key theories

Logic nghĩa vụ tiêu chuẩn

von Wright mô hình hóa nghĩa vụ như sự thật trong tất cả các thế giới khả tiếp lý tưởng về nghĩa vụ và sự cho phép như sự thật trong một số thế giới, đưa ra một hệ thống tiên đề nắm bắt các suy luận cơ bản nhưng tạo ra các nghịch lý nổi tiếng.

Logic nhận thức và các thế giới khả dĩ

Hintikka phân tích 'a biết rằng p' như p đúng trong tất cả các thế giới tương thích với thông tin của a, đặt nền móng cho logic modal của tri thức và niềm tin và làm lộ rõ vấn đề toàn tri logic.

History

von Wright đã khởi xướng logic nghĩa vụ vào năm 1951 và Prior đã phát triển logic thì trong suốt những năm 1950 và 1960, đỉnh điểm là tác phẩm Past, Present and Future (1967). Tác phẩm Knowledge and Belief (1962) của Hintikka đã mở rộng khuôn khổ modal cho các toán tử nhận thức, và cả ba logic này sau đó đã tìm thấy ứng dụng rộng rãi trong khoa học máy tính và lý thuyết trò chơi.

Debates

Vấn đề toàn tri logic

Liệu phân tích tri thức theo thế giới khả dĩ có ngụ ý sai lầm rằng các tác nhân biết tất cả các hệ quả logic của những gì họ biết, và làm thế nào để mô hình hóa tri thức bị giới hạn tài nguyên hoặc phân mảnh mà không từ bỏ khuôn khổ modal.

Key figures

• Arthur Prior
• Georg Henrik von Wright
• Jaakko Hintikka
• Robert Stalnaker

Seminal works

• vonwright1951
• prior1967
• hintikka1962

Frequently asked questions

Đây có thực sự là các loại logic modal không?

Có. Các logic thời gian, nghĩa vụ và nhận thức đều sử dụng cùng một ngữ nghĩa khung quan hệ như logic modal chân lý, chỉ khác ở cách diễn giải quan hệ khả tiếp — như trật tự thời gian, sự lý tưởng về nghĩa vụ, hoặc sự tương thích nhận thức. Cấu trúc chung này là lý do tại sao các kết quả và kỹ thuật dễ dàng chuyển giao giữa chúng.