Logic hình thái
Logic hình thái bổ sung các toán tử cho tính tất yếu và tính khả thi vào logic cổ điển, cung cấp bộ máy hình thức đằng sau việc suy luận về những gì phải, có thể, nên hoặc sẽ xảy ra.
Definition
Logic hình thái là nghiên cứu về suy luận liên quan đến các toán tử của tính tất yếu và tính khả thi (và các phép tương tự của chúng), được diễn giải thông qua các mô hình trong đó các câu được đánh giá tương đối với các thế giới khả dĩ được kết nối bằng một quan hệ khả tiếp.
Scope
Lĩnh vực này bao gồm các hệ thống hình thức của logic hình thái và cách giải thích triết học của chúng. Nó đề cập đến ngữ nghĩa thế giới khả dĩ (Kripke), hệ thống phân cấp tiêu chuẩn của các hệ thống hình thái (K, T, S4, S5) và các tiên đề đặc trưng của chúng, sự mở rộng của logic hình thái với các lượng từ và mối liên hệ của nó với thuyết bản chất và tính hình thái de re, và họ các logic ý hướng liên quan — thời gian, nghĩa vụ và nhận thức — có chung bộ máy khung quan hệ.
Sub-topics
Core questions
- Các toán tử tất yếu và khả dĩ nên được diễn giải như thế nào, và thế giới khả dĩ là gì?
- Những tiên đề nào chi phối suy luận hình thái chính xác, và chúng tương ứng như thế nào với các thuộc tính của quan hệ khả tiếp?
- Tính hình thái tương tác như thế nào với lượng hóa, đồng nhất và sự tồn tại của các đối tượng giữa các thế giới?
- Các logic ý hướng khác nhau — thời gian, nghĩa vụ, nhận thức — có thể được thống nhất dưới một khuôn khổ không?
Key concepts
- tính tất yếu và tính khả thi
- thế giới khả dĩ
- quan hệ khả tiếp
- hệ thống hình thái (K, T, S4, S5)
- tính hình thái de re so với de dicto
- chỉ định cứng nhắc
Key theories
- Ngữ nghĩa thế giới khả dĩ (Kripke)
- Các câu hình thái được đánh giá tại các thế giới được kết nối bằng một quan hệ khả tiếp: 'nhất thiết A' là đúng tại một thế giới nếu và chỉ nếu A là đúng tại mọi thế giới khả tiếp, và việc thay đổi các thuộc tính của quan hệ sẽ tạo ra các hệ thống hình thái khác nhau.
- Thuyết hiện thực hình thái
- Lewis cho rằng các thế giới khả dĩ là những vũ trụ cụ thể, cô lập lẫn nhau, có thật như thế giới thực, cung cấp một sự thật quy giản cho các tuyên bố hình thái với cái giá là một bản thể học xa hoa.
History
C. I. Lewis đã khôi phục logic hình thái vào đầu thế kỷ XX để nắm bắt hàm ý nghiêm ngặt, nhưng nó thiếu ngữ nghĩa rõ ràng cho đến khi Kripke (và độc lập là Hintikka và Kanger) cung cấp các mô hình thế giới khả dĩ quan hệ vào khoảng năm 1959-1963. Điều này đã khơi dậy siêu hình học về tính hình thái, với thuyết hiện thực hình thái của Lewis và thuyết hiện thực của Plantinga như những quan điểm đối lập về thế giới khả dĩ là gì.
Debates
- Bản thể học của các thế giới khả dĩ
- Liệu các thế giới khả dĩ là những vũ trụ tồn tại cụ thể (thuyết hiện thực hình thái của Lewis) hay các thực thể trừu tượng như các trạng thái sự việc tối đa hoặc tập hợp các mệnh đề (thuyết hiện thực), và quan điểm nào là nền tảng tốt nhất cho sự thật hình thái.
Key figures
- Saul Kripke
- C. I. Lewis
- Rudolf Carnap
- David Lewis
- Ruth Barcan Marcus
- Alvin Plantinga
Related topics
Seminal works
- kripke1963
- lewis1986plurality
- hughescresswell1996
Frequently asked questions
- Sự khác biệt giữa tính hình thái de re và de dicto là gì?
- Một tuyên bố hình thái de dicto gán tính tất yếu hoặc khả thi cho toàn bộ một mệnh đề ('nhất thiết, tất cả những người độc thân đều chưa kết hôn'), trong khi một tuyên bố de re gán một thuộc tính hình thái cho một đối tượng độc lập với cách nó được mô tả ('người đàn ông này nhất thiết là con người'). Sự phân biệt này là trung tâm của các cuộc tranh luận về thuyết bản chất.