Nhận thức luận hình thức
Nhận thức luận hình thức sử dụng các công cụ của lý thuyết xác suất, logic và lý thuyết quyết định để mô hình hóa niềm tin hợp lý, đặt ra câu hỏi về mức độ tự tin mà một tác nhân nên có dựa trên bằng chứng của họ, cách độ tự tin đó nên thay đổi khi có bằng chứng mới, và cách các mức độ niềm tin liên quan đến niềm tin tuyệt đối.
Definition
Nhận thức luận hình thức là một nhánh của nhận thức luận áp dụng các phương pháp hình thức — lý thuyết xác suất, lý thuyết quyết định và logic — để mô hình hóa niềm tin hợp lý, các mức độ niềm tin, bằng chứng và động lực thay đổi quan điểm của một người khi có thông tin mới.
Scope
Lĩnh vực này bao gồm việc mô hình hóa hình thức các trạng thái nhận thức: các lý thuyết Bayes về độ tin cậy hợp lý và cập nhật, vấn đề quy nạp và logic xác nhận, và mối quan hệ giữa độ tin cậy được phân cấp và niềm tin phân loại, bao gồm các nghịch lý xổ số và lời nói đầu. Nó đề cập đến chủ nghĩa xác suất, điều kiện hóa, các lập luận Dutch-book và độ chính xác, và các chuẩn mực nhận thức chi phối niềm tin một phần. Các phân tích truyền thống về tri thức và các khía cạnh xã hội của điều tra được đề cập trong các lĩnh vực lân cận.
Sub-topics
Core questions
- Các mức độ niềm tin hợp lý có nên tuân theo các tiên đề xác suất không?
- Một tác nhân nên cập nhật niềm tin như thế nào khi có bằng chứng mới?
- Suy luận quy nạp từ kinh nghiệm có thể được biện minh một cách hợp lý không?
- Các mức độ niềm tin liên quan đến niềm tin tất cả hoặc không có gì như thế nào?
Key theories
- Nhận thức luận Bayes
- Niềm tin hợp lý có các mức độ tuân theo các tiên đề xác suất (chủ nghĩa xác suất) và được sửa đổi bằng cách điều kiện hóa trên bằng chứng mới; khuôn khổ này bắt nguồn từ việc Ramsey xác định các mức độ niềm tin với các khuynh hướng cá cược.
- Các lý thuyết logic về xác nhận
- Carnap đã tìm kiếm một thước đo logic về mức độ mà bằng chứng xác nhận một giả thuyết, coi sự hỗ trợ quy nạp là một mối quan hệ logic định lượng giữa các mệnh đề, một cách tiếp cận định hình nghiên cứu hình thức về bằng chứng.
History
Nhận thức luận hình thức phát triển từ truyền thống xác suất của Bayes và Laplace, được tinh chỉnh vào thế kỷ XX bởi Ramsey và de Finetti, những người đã kết nối các mức độ niềm tin với cá cược nhất quán, và bởi Carnap, người đã theo đuổi một logic quy nạp về xác nhận. Vấn đề quy nạp trước đó của Hume đã đặt ra thách thức hiện tại mà các khuôn khổ hình thức này phản ứng, và lĩnh vực này kể từ đó đã tiếp thu lý thuyết quyết định và nghiên cứu hình thức về thay đổi niềm tin.
Debates
- Liệu chủ nghĩa xác suất có nắm bắt được tất cả tính hợp lý nhận thức hay không
- Những người theo Bayes lập luận rằng niềm tin hợp lý được chi phối hoàn toàn bởi sự nhất quán xác suất và điều kiện hóa, trong khi các nhà phê bình chỉ ra vấn đề về các tiên nghiệm, vai trò rõ ràng của niềm tin phân loại và các nghịch lý chấp nhận như bằng chứng cho thấy xác suất một mình không làm cạn kiệt tính hợp lý nhận thức.
Key figures
- Frank Ramsey
- Rudolf Carnap
- David Hume
- Bruno de Finetti
Related topics
Seminal works
- ramsey1926
- carnap1950
Frequently asked questions
- Nhận thức luận hình thức bổ sung gì cho nhận thức luận truyền thống?
- Nó bổ sung cho cách nói định tính về niềm tin được biện minh bằng các mô hình chính xác về các mức độ niềm tin, bằng chứng và cập nhật hợp lý được rút ra từ lý thuyết xác suất và quyết định. Điều này cho phép các nhà nhận thức luận nêu rõ các chuẩn mực như sự nhất quán xác suất một cách chính xác và nghiên cứu các câu hỏi, chẳng hạn như cách sửa đổi độ tin cậy, mà các phương pháp phi hình thức thuần túy không thể giải quyết được.
- Độ tin cậy là gì?
- Độ tin cậy là một mức độ niềm tin, một sự tự tin được phân cấp rằng một mệnh đề là đúng, thường được biểu thị bằng một số từ 0 đến 1. Nhận thức luận hình thức nghiên cứu các chuẩn mực chi phối độ tin cậy, chẳng hạn như yêu cầu chúng phải tuân theo các tiên đề xác suất và cập nhật bằng cách điều kiện hóa.