Формальная эпистемология
Формальная эпистемология использует инструменты теории вероятностей, логики и теории принятия решений для моделирования рациональных убеждений, исследуя, насколько уверенным должен быть субъект, исходя из имеющихся у него доказательств, как эта уверенность должна меняться по мере поступления новых доказательств и как степени убежденности соотносятся с категорическими убеждениями.
Definition
Формальная эпистемология — это раздел эпистемологии, который применяет формальные методы — теорию вероятностей, теорию принятия решений и логику — для моделирования рациональных убеждений, степеней убежденности, доказательств и динамики изменения мнения в свете новой информации.
Scope
Эта область охватывает формальное моделирование эпистемических состояний: байесовские теории рациональной степени убежденности и ее обновления, проблему индукции и логику подтверждения, а также связь между градуированной степенью убежденности и категорическим убеждением, включая парадоксы лотереи и предисловия. Она рассматривает пробабилизм, кондиционализацию, аргументы голландской книги и точности, а также эпистемические нормы, регулирующие частичное убеждение. Традиционные анализы знания и социальные аспекты исследования рассматриваются в смежных областях.
Sub-topics
Core questions
- Должны ли рациональные степени убежденности подчиняться аксиомам вероятности?
- Как субъект должен обновлять убеждения при поступлении новых доказательств?
- Может ли индуктивный вывод из опыта быть рационально обоснован?
- Как степени убежденности соотносятся с категорическим убеждением (все или ничего)?
Key theories
- Байесовская эпистемология
- Рациональное убеждение имеет степени, которые подчиняются аксиомам вероятности (пробабилизм) и пересматриваются путем кондиционализации на основе новых доказательств; эта концепция восходит к отождествлению Рамсеем степеней убежденности со склонностью к ставкам.
- Логические теории подтверждения
- Карнап стремился к логической мере степени, в которой доказательства подтверждают гипотезу, рассматривая индуктивную поддержку как количественное логическое отношение между утверждениями, подход, который формирует формальное изучение доказательств.
History
Формальная эпистемология выросла из вероятностной традиции Байеса и Лапласа, уточненной в двадцатом веке Рамсеем и де Финетти, которые связали степени убежденности с когерентными ставками, и Карнапом, который развивал индуктивную логику подтверждения. Более ранняя проблема индукции Юма поставила перед этими формальными рамками постоянную задачу, и с тех пор эта область поглотила теорию принятия решений и формальное изучение изменения убеждений.
Debates
- Охватывает ли пробабилизм всю эпистемическую рациональность
- Байесианцы утверждают, что рациональное убеждение полностью регулируется вероятностной когерентностью и кондиционализацией, в то время как критики указывают на проблему априорных вероятностей, очевидную роль категорического убеждения и парадоксы принятия как доказательства того, что одной лишь вероятности недостаточно для исчерпывающей эпистемической рациональности.
Key figures
- Frank Ramsey
- Rudolf Carnap
- David Hume
- Bruno de Finetti
Related topics
Seminal works
- ramsey1926
- carnap1950
Frequently asked questions
- Что формальная эпистемология добавляет к традиционной эпистемологии?
- Она дополняет качественные рассуждения об обоснованном убеждении точными моделями степеней убежденности, доказательств и рационального обновления, заимствованными из теории вероятностей и теории принятия решений. Это позволяет эпистемологам точно формулировать нормы, такие как вероятностная когерентность, и изучать вопросы, например, как пересматривать степени убежденности, которые трудно поддаются чисто неформальному рассмотрению.
- Что такое степень убежденности (credence)?
- Степень убежденности (credence) — это степень веры, градуированная уверенность в истинности утверждения, часто выражаемая числом от 0 до 1. Формальная эпистемология изучает нормы, которые регулируют степени убежденности, такие как требование, чтобы они подчинялись аксиомам вероятности и обновлялись путем кондиционализации.