Formal Epistemology|形式認識論:把「我該相信多少」交給機率、邏輯與數學來精確表示
WHAT 這是什麼
形式認識論用機率論、邏輯等數學工具分析知識、信念、科學推理與決策,將許多傳統認識問題轉成可明確建模的結構。
WHY HERE 為什麼屬於底域的世界
它是 Bayesian epistemology、epistemic logic 與決策研究的共同方法層。
BLIND SPOT 補了哪一塊少看的視角
形式化能提高精確度,卻不會自動決定模型中的前提、規範或變數是否合理。