Xác nhận và Quy nạp
Xác nhận và quy nạp liên quan đến việc bằng cách nào, và liệu, bằng chứng quan sát có thể hỗ trợ một cách hợp lý các giả thuyết khoa học tổng quát hay không.
Definition
Xác nhận là mối quan hệ trong đó bằng chứng làm tăng độ tin cậy của một giả thuyết; quy nạp là suy luận từ các trường hợp đã quan sát đến các trường hợp chưa quan sát hoặc đến các quy luật tổng quát. Nhiệm vụ triết học trung tâm là làm rõ và biện minh cho các nguyên tắc chi phối suy luận như vậy.
Scope
Lĩnh vực này bao gồm vấn đề quy nạp của Hume, các lý thuyết xác nhận định tính và xác suất, các nghịch lý chính (nghịch lý quạ đen và câu đố mới về quy nạp), các phương pháp tiếp cận Bayes đối với sự hỗ trợ bằng chứng, và sự không xác định của lý thuyết bởi dữ liệu. Nó đề cập đến logic của bằng chứng, ý nghĩa của 'xác nhận', và tính hợp lý của suy luận quy nạp.
Sub-topics
Core questions
- Suy luận quy nạp có thể được biện minh một cách hợp lý mà không bị luẩn quẩn không?
- Bằng chứng xác nhận một giả thuyết có nghĩa là gì?
- Tại sao nghịch lý quạ đen và 'grue' của Goodman lại thách thức các lý thuyết cú pháp về sự xác nhận?
- Xác suất Bayes có cung cấp một lý thuyết đầy đủ về sự hỗ trợ bằng chứng không?
- Sự lựa chọn lý thuyết có bị không xác định bởi tất cả các bằng chứng có thể có không?
Key concepts
- quy nạp
- xác nhận
- mức độ tin cậy
- điều kiện hóa
- grue
- nghịch lý quạ đen
- không xác định
Key theories
- Xác nhận giả thuyết-diễn dịch và xác nhận trường hợp
- Hempel phát triển một logic xác nhận trong đó một giả thuyết được xác nhận bởi các trường hợp tích cực của nó và bởi bằng chứng có thể suy ra từ nó.
- Xác suất logic (quy nạp)
- Carnap tìm cách đặt nền tảng cho sự xác nhận trong một thước đo xác suất logic định lượng mức độ bằng chứng hỗ trợ một giả thuyết.
- Xác nhận Bayes
- Theo quan điểm Bayes, bằng chứng xác nhận một giả thuyết khi nó làm tăng xác suất có điều kiện của giả thuyết đó, với niềm tin được điều chỉnh bằng cách điều kiện hóa.
- Thuyết bác bỏ
- Popper phủ nhận rằng các lý thuyết luôn được xác nhận, thay vào đó cho rằng khoa học tiến bộ bằng cách cố gắng bác bỏ các giả thuyết táo bạo.
History
Phê phán quy nạp của Hume vào thế kỷ XVIII đã đặt ra chương trình nghị sự. Các nhà thực chứng logic thế kỷ XX (Hempel, Carnap) đã tìm kiếm một logic hình thức của sự xác nhận; 'câu đố mới' năm 1955 của Goodman và nghịch lý quạ đen của Hempel đã phơi bày những giới hạn của nó, trong khi Popper đưa ra thuyết bác bỏ như một giải pháp thay thế. Từ những năm 1960, lý thuyết xác nhận Bayes trở thành khuôn khổ xác suất thống trị.
Debates
- Quy nạp có được biện minh một cách hợp lý không?
- Hume lập luận rằng bất kỳ sự biện minh nào cho quy nạp đều hoặc luẩn quẩn hoặc cầu xin câu hỏi; các phản hồi bao gồm sự bác bỏ quy nạp của Popper đến các sự biện minh Bayes và thực dụng.
- Xác suất logic so với xác suất chủ quan
- Chương trình của Carnap coi sự xác nhận là xác suất logic khách quan, trong khi các nhà Bayes thường diễn giải xác suất là mức độ tin cậy hợp lý.
Key figures
- David Hume
- Carl Hempel
- Nelson Goodman
- Rudolf Carnap
- Karl Popper
- Thomas Bayes
Related topics
Seminal works
- hume1748
- hempel1945
- goodman1955
- carnap1950
Frequently asked questions
- Vấn đề quy nạp là gì trong một câu?
- Đó là câu hỏi về việc làm thế nào chúng ta có thể được biện minh khi suy luận rằng các trường hợp chưa quan sát sẽ giống với các trường hợp đã quan sát, với giả định rằng bất kỳ suy luận nào như vậy dường như đều tiền giả định chính sự đồng nhất của tự nhiên mà nó cố gắng thiết lập.