形式認識論

形式認識論（けいしきにんしきろん、）は、決定理論、論理学、確率論、計算可能性理論の形式的手法を用いて認識論上の問題をモデル化・推論する学問分野である。この分野の研究は哲学、コンピュータサイエンス、経済学、統計学にまたがる。形式認識論の焦点は伝統的認識論とやや異なる傾向があり、知識の分析・懐疑主義・正当化の問題よりも、不確実性・帰納・信念改訂といったテーマがより注目されてきた。形式認識論は、何が知られ信じられているかの量的性質とその方法を研究するという意味での認識論であり、伝統的認識論が私たちが知っていることをなぜ（知っていると信じているか）知っているのか、「知識」の意味は正確に何か、そうした前提の帰結は何かを理解しようとするのに対して性格を異にするPettigrew, Richard, and Jonathan Weisberg. 2019. "Preface." In The Open Handbook of Formal Epistemology, edited by Richard Pettigrew and Jonathan Weisberg. London, ON: PhilPapers Foundation.。

歴史形式論的な認識論者は形式論理学と確率論の登場以来（あるいはそれ以前から）活動してきたが、共通の学問的名称のもとに組織されたのは比較的最近のことである。この普及は、2004年からとが主催する年次形式認識論ワークショップ（Formal Epistemology Workshops）、および2002年からが組織するPHILOGコンファレンス（哲学的論理学とその応用のネットワーク）に帰せられる。カーネギーメロン大学哲学科は年次夏期論理学・形式認識論スクールを主催している。2010年には同学科がを設立した。

ベイズ認識論ベイズ認識論は形式認識論において重要な理論である。その起源はトーマス・ベイズの確率論研究にある。信念は段階的に保持され、信念の強さは主観確率として記述できるという考えに基づいている。そのため、信念は確率論の法則に従い、それが合理性の規範として機能する。これらの規範は、任意の時点での信念の合理性を規定する静的制約と、新しい証拠を受け取った際に合理的行為者がどのように信念を更新すべきかを規定する動的な制約に分けられる。これらの原理のもっともベイズ的な表現はダッチブックの形式に見られ、確率的事象のいずれが生起しても行為者が損失を被る一連の賭けによって行為者の非合理性を示す。ベイジアンはこれらの基本原理をさまざまな認識論的トピックに適用してきたが、ベイズ主義は伝統的認識論のすべてのトピックをカバーするわけではない。例えば科学哲学における確証の問題は、ある証拠が理論を確証するのはそれがその理論が真である可能性を高める場合であるという「条件化の原理」を通じてベイズ的に取り組むことができる。整合性の概念を確率の観点から定義するさまざまな提案がなされてきたが、通常は二つの命題が整合するのはその連言の確率が中立的な関係にある場合より高い場合であるとされる。ベイズ的アプローチは社会認識論の分野、たとえば証言の問題や集合的信念の問題においても実りある成果をあげてきた。ベイズ主義はいまだ完全に解決されていないさまざまな理論的異議に直面している。

研究トピック形式認識論の研究は、形式的・数学的ツールと認識論的分析の統合によって統一される多様なトピックを包括する。研究領域には、帰納論理や決定理論を含む、合理的行為者が外部フィードバックによって推論を更新する方法をモデル化する信念改訂理論、ゲーム理論と確率および統計学の基礎が含まれる。その他の関連トピックとして、と計算認識論、信念や不確実性などの認識的状態の形式モデル、整合主義と確証の形式理論、信念や行為に関するパラドックスへの形式的アプローチなどがある。

応用形式認識論の研究はいくつかの形式的分野のツールを活用する。サヴェッジ（1954年）やジェフリー（1965年）によって発展した決定理論と主観的期待効用は、合理的選択と信念更新の数学的モデルを提供する。これらのツールは現代の形式認識論研究において信念改訂・整合性・不確実性下の行為の分析に適用されている。

マルチエージェントシステム研究において発展した認識論理は、信念・情報・知識フローをモデル化する。形式認識論は、現代の人工知能と機械学習の基礎となるベイズ確率論的手法を用いて帰納推論・確証・不確実性モデルを研究する。

現代の形式認識論者形式認識論への現代の貢献者には、、、ギルバート・ハーマン、、リチャード・ジェフリー、、、、、バス・ファン・フラーセン、らがいる。

形式認識論

Źródło i licencja