形式认识论
形式认识论运用概率论、逻辑学和决策论的工具来建模理性信念，探讨在给定证据的情况下，主体应该有多大的信心，这种信心应如何随着证据的出现而改变，以及信念程度与明确信念之间的关系。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
形式认识论是认识论的一个分支，它应用形式化方法——概率论、决策论和逻辑学——来建模理性信念、信念程度、证据以及根据新信息改变思想的动态过程。
Scope
该领域涵盖了认识状态的形式化建模：理性信任度（credence）和更新的贝叶斯理论、归纳问题和证实逻辑，以及分级信任度与范畴信念（categorical belief）之间的关系，包括彩票悖论和前言悖论。它涉及概率论、条件化、荷兰赌（Dutch-book）和准确性论证，以及支配部分信念的认识论规范。传统的知识分析和探究的社会维度在邻近领域中讨论。
Sub-topics
Core questions
- 理性的信念程度是否应服从概率公理？
- 当新证据出现时，主体应如何更新信念？
- 经验的归纳推理能否得到理性证明？
- 信念程度与全有或全无的信念有何关系？
Key theories
- 贝叶斯认识论
- 理性信念以服从概率公理（概率论）的程度存在，并通过对新证据的条件化进行修正；该框架源于拉姆齐将信念程度与投注倾向等同起来的观点。
- 证实逻辑理论
- 卡尔纳普试图衡量证据证实假设的逻辑程度，将归纳支持视为命题之间定量的逻辑关系，这种方法构成了证据形式化研究的框架。
History
形式认识论源于贝叶斯和拉普拉斯的概率传统，在20世纪由拉姆齐（Ramsey）和德·菲内蒂（de Finetti）进一步完善，他们将信念程度与连贯的投注联系起来；卡尔纳普（Carnap）则致力于证实归纳逻辑。休谟（Hume）早期的归纳问题为这些形式框架提供了挑战，此后该领域吸收了决策论和信念变化的形式化研究。
Debates
- 概率论是否涵盖了认识论的所有理性
- 贝叶斯主义者认为，理性信念完全受概率连贯性和条件化支配，而批评者则指出先验问题、范畴信念的明显作用以及接受悖论，作为仅凭概率无法穷尽认识理性的证据。
Key figures
- Frank Ramsey
- Rudolf Carnap
- David Hume
- Bruno de Finetti
Related topics
Seminal works
- ramsey1926
- carnap1950
Frequently asked questions
- 形式认识论对传统认识论有何补充？
- 它用精确的信念程度、证据和理性更新模型（源自概率论和决策论）补充了关于正当信念的定性讨论。这使得认识论者能够精确地阐述概率连贯性等规范，并研究诸如如何修正信任度等纯粹非形式化处理难以解决的问题。
- 什么是信任度（credence）？
- 信任度是一种信念程度，是对某个命题为真的分级信心，通常用0到1之间的数字表示。形式认识论研究支配信任度的规范，例如它们必须服从概率公理并通过条件化进行更新的要求。