Nghịch lý về sự xác nhận

Các nghịch lý về sự xác nhận là những vấn đề cho thấy các nguyên tắc hỗ trợ bằng chứng có vẻ hợp lý theo trực giác lại dẫn đến những kết quả phi lý hoặc tùy tiện.

Definition

Các nghịch lý về sự xác nhận là những trường hợp mà các điều kiện được chấp nhận rộng rãi về mối quan hệ xác nhận kéo theo những kết luận phản trực giác, chẳng hạn như một quả táo xanh xác nhận rằng tất cả các con quạ đều màu đen, hoặc cùng một bằng chứng hỗ trợ các vị ngữ không tương thích.

Scope

Chủ đề này bao gồm nghịch lý con quạ của Hempel, phát sinh từ điều kiện tương đương và điều kiện Nicod, và câu đố mới về quy nạp của Goodman ('grue'), cho thấy rằng sự xác nhận không thể là một mối quan hệ hoàn toàn mang tính cú pháp. Nó đề cập đến các giải pháp được đề xuất, bao gồm các phương pháp xử lý mức độ liên quan theo Bayes và sự viện dẫn của Goodman về sự củng cố (entrenchment).

Core questions

• Tại sao việc quan sát một vật không đen và không phải quạ dường như lại xác nhận rằng tất cả các con quạ đều màu đen?
• Điều gì sai khi coi sự xác nhận là một mối quan hệ cú pháp giữa các câu?
• Làm thế nào mà 'grue' cho thấy rằng không phải tất cả các quy luật đều có thể được dự phóng?
• Liệu các giải thích dựa trên xác suất hoặc thực dụng có thể hóa giải những nghịch lý này không?

Key concepts

• Tiêu chí của Nicod
• điều kiện tương đương
• khả năng dự phóng (projectibility)
• grue
• sự củng cố (entrenchment)

Key theories

Nghịch lý con quạ

Hempel chỉ ra rằng các điều kiện tương đương và điều kiện ví dụ ngụ ý rằng việc quan sát một vật không đen và không phải quạ xác nhận 'tất cả các con quạ đều màu đen', điều này có vẻ phi lý.

Câu đố mới về quy nạp

Goodman định nghĩa 'grue' (xanh lục trước một thời điểm t, xanh lam sau đó) và chỉ ra rằng cùng một bằng chứng xác nhận như nhau 'tất cả ngọc lục bảo đều màu xanh lục' và 'tất cả ngọc lục bảo đều grue', do đó khả năng dự phóng phải phụ thuộc vào nhiều yếu tố hơn là cú pháp.

History

Hempel đã đưa ra nghịch lý con quạ trong nghiên cứu về logic xác nhận năm 1945 của ông; Goodman đã giới thiệu vị ngữ grue vào năm 1955, định hình lại vấn đề quy nạp thành vấn đề xác định những vị ngữ nào có thể được dự phóng (projectible). Cả hai vẫn là những điểm tựa cho bất kỳ lý thuyết xác nhận nào.

Debates

Các giải pháp Bayesian so với các giải pháp cú pháp

Những người theo trường phái Bayesian lập luận rằng một vật không đen và không phải quạ chỉ xác nhận giả thuyết một cách không đáng kể, hóa giải nghịch lý con quạ về mặt định lượng, trong khi câu đố của Goodman chống lại cách xử lý hoàn toàn hình thức và thúc đẩy việc viện dẫn sự củng cố.

Key figures

• Carl Hempel
• Nelson Goodman
• Jean Nicod

Seminal works

• hempel1945
• goodman1955

Frequently asked questions

'Grue' là gì?

Goodman định nghĩa 'grue' là áp dụng cho những vật được kiểm tra trước một thời điểm t trong tương lai và được tìm thấy là màu xanh lục, hoặc không được kiểm tra như vậy và có màu xanh lam. Các quan sát trong quá khứ về ngọc lục bảo xanh lục xác nhận cả 'tất cả ngọc lục bảo đều màu xanh lục' và 'tất cả ngọc lục bảo đều grue', tuy nhiên những điều này đưa ra các dự đoán đối lập sau thời điểm t, cho thấy sự xác nhận phụ thuộc vào những vị ngữ nào có thể được dự phóng.