Logic Lượng Hóa Mô-đun và Thuyết Bản Chất

Khi các lượng từ và toán tử mô-đun tương tác, logic phải đối mặt với việc liệu các đối tượng có các thuộc tính một cách tất yếu hay không — thuyết bản chất — và cách diễn giải sự lượng hóa trên các thế giới khả dĩ.

Definition

Logic mô-đun lượng hóa kết hợp lượng hóa bậc nhất với các toán tử mô-đun; thuyết bản chất là luận điểm cho rằng các đối tượng có một số thuộc tính của chúng một cách tất yếu (de re), độc lập với cách chúng được mô tả.

Scope

Chủ đề này bao gồm việc mở rộng logic mô-đun với các lượng từ và đồng nhất thức, cùng với những cam kết siêu hình mà điều này tạo ra. Nó đề cập đến công thức Barcan và công thức Barcan đảo, sự lựa chọn giữa ngữ nghĩa miền hằng số và miền biến số, vấn đề đồng nhất thức và sự tồn tại giữa các thế giới, các phản đối của Quine đối với tính mô-đun de re, và sự bảo vệ thuyết bản chất và chỉ định cứng nhắc của Kripke.

Core questions

• Các lượng từ và toán tử mô-đun nên tương tác như thế nào, và công thức Barcan có hợp lệ không?
• Miền của các cá thể nên được cố định giữa các thế giới hay thay đổi?
• Tính mô-đun de re có thể hiểu được không, hay nó sụp đổ dưới các phản đối của Quine?
• Những thuộc tính nào, nếu có, mà các đối tượng có một cách bản chất?

Key concepts

• Công thức Barcan và công thức đảo của nó
• miền hằng số so với miền biến số
• đồng nhất thức xuyên thế giới
• chỉ định cứng nhắc
• tính mô-đun de re so với de dicto
• thuộc tính bản chất so với ngẫu nhiên

Key theories

Thuyết bản chất và chỉ định cứng nhắc

Kripke lập luận rằng các danh từ riêng là những chỉ định cứng nhắc, chỉ ra cùng một đối tượng trong mọi thế giới, điều này làm cho các khẳng định mô-đun de re trở nên mạch lạc và ủng hộ các chân lý tất yếu về nguồn gốc và cấu thành.

Phê phán của Quine về tính mô-đun de re

Quine lập luận rằng việc lượng hóa vào các ngữ cảnh mô-đun là không thể hiểu được vì việc thay thế các thuật ngữ đồng tham chiếu có thể thay đổi giá trị chân lý, do đó thuyết bản chất sẽ đòi hỏi một sự phân biệt đáng phản đối giữa các đặc điểm tất yếu và ngẫu nhiên của một đối tượng.

History

Ruth Barcan Marcus đã khởi xướng logic mô-đun lượng hóa vào năm 1946-1947, chứng minh các kết quả về đồng nhất thức và giới thiệu công thức Barcan. Quine đã tấn công toàn bộ công trình này như một sự cam kết đối với thuyết bản chất không thể hiểu được, nhưng tác phẩm Naming and Necessity (1980) của Kripke đã phục hồi tính mô-đun de re thông qua chỉ định cứng nhắc và tính tất yếu của đồng nhất thức, khiến thuyết bản chất trở nên đáng kính trọng trở lại.

Debates

Tính mô-đun de re có mạch lạc không?

Liệu việc gán các thuộc tính tất yếu cho các đối tượng một cách độc lập với mô tả có thể hiểu được không, như chỉ định cứng nhắc của Kripke ngụ ý, hay Quine đúng khi cho rằng cách nói đó giả định một thuyết bản chất không thể bảo vệ được.

Key figures

• Ruth Barcan Marcus
• Saul Kripke
• W. V. O. Quine
• Alvin Plantinga
• David Kaplan

Seminal works

• barcan1947
• quine1953reference
• kripke1980

Frequently asked questions

Công thức Barcan là gì?

Công thức Barcan nói rằng nếu có thể có một cái gì đó là F, thì có một cái gì đó có thể là F — di chuyển lượng từ tồn tại ra ngoài toán tử khả năng. Nó và công thức đảo của nó hợp lệ trên ngữ nghĩa miền hằng số nhưng không đúng khi các miền thay đổi giữa các thế giới, đó là lý do tại sao chúng liên quan đến việc liệu cùng một cá thể có tồn tại trong mọi thế giới khả dĩ hay không.