形式認識論

形式認識論は、確率論、論理学、決定理論のツールを用いて合理的な信念をモデル化し、エージェントが与えられた証拠に基づいてどの程度の確信を持つべきか、証拠が到着した際にその確信がどのように変化すべきか、そして信念の度合いが完全な信念とどのように関連するかを問う。

Definition

形式認識論は、確率論、決定理論、論理学といった形式的手法を適用して、合理的な信念、信念の度合い、証拠、および新しい情報に照らして考えを変えるダイナミクスをモデル化する認識論の一分野である。

Scope

この分野は、認識状態の形式的モデリングを扱う。具体的には、合理的な確信と更新に関するベイジアン理論、帰納の問題と確証の論理、そして宝くじのパラドックスや序文のパラドックスを含む、段階的な確信とカテゴリー的信念の関係である。確率主義、条件付け、ダッチブック論証、正確性論証、および部分的信念を支配する認識論的規範を扱う。知識の伝統的な分析や探求の社会的側面は、隣接する分野で扱われる。

Sub-topics

• Bayesian Epistemology
• Belief, Acceptance, and the Lottery Paradox
• The Problem of Induction

Core questions

• 合理的な信念の度合いは確率公理に従うべきか？
• 新しい証拠が到着した際、エージェントは信念をどのように更新すべきか？
• 経験からの帰納的推論は合理的に正当化できるか？
• 信念の度合いは全か無かの信念とどのように関連するか？

Key theories

ベイジアン認識論

合理的な信念は、確率公理に従う度合い（確率主義）で存在し、新しい証拠に基づいて条件付けによって修正される。この枠組みは、信念の度合いを賭けの傾向と同一視したラムゼイの考えに由来する。

確証の論理的理論

カルナップは、証拠がある仮説を確証する度合いの論理的尺度を追求し、帰納的裏付けを命題間の量的な論理的関係として扱った。このアプローチは、証拠の形式的研究の枠組みとなっている。

History

形式認識論は、ベイズとラプラスの確率論的伝統から発展し、20世紀にはラムゼイとデ・フィネッティによって洗練された。彼らは信念の度合いを一貫した賭けと結びつけ、カルナップは確証の帰納的論理を追求した。ヒュームによる初期の帰納の問題は、これらの形式的枠組みが対応する永続的な課題を設定し、以来、この分野は決定理論と信念変化の形式的研究を取り込んできた。

Debates

確率主義が認識論的合理性のすべてを捉えているか否か

ベイジアンは、合理的な信念は確率的整合性と条件付けによって完全に支配されると主張するが、批判者は、事前の問題、カテゴリー的信念の明白な役割、および受容のパラドックスを、確率だけでは認識論的合理性を網羅しない証拠として指摘する。

Key figures

• Frank Ramsey
• Rudolf Carnap
• David Hume
• Bruno de Finetti

Seminal works

• ramsey1926
• carnap1950

Frequently asked questions

形式認識論は伝統的な認識論に何を追加するのか？

形式認識論は、正当化された信念に関する質的な議論を、確率論と決定理論から導かれた信念の度合い、証拠、および合理的な更新の精密なモデルで補完する。これにより、認識論者は確率的整合性のような規範を正確に述べ、確信度をどのように修正するかといった、純粋に非形式的な扱いでは困難な問題を研究できるようになる。

確信度（credence）とは何か？

確信度とは、信念の度合いであり、ある命題が真であることに対する段階的な確信であり、しばしば0から1の間の数値で表される。形式認識論は、確率公理に従い、条件付けによって更新されるべきであるという要件など、確信度を支配する規範を研究する。