Epistemologia Formal
A epistemologia formal utiliza as ferramentas da probabilidade, lógica e teoria da decisão para modelar a crença racional, questionando o quão confiante um agente deve estar dada a sua evidência, como essa confiança deve mudar à medida que a evidência chega, e como os graus de crença se relacionam com a crença categórica.
Definition
A epistemologia formal é o ramo da epistemologia que aplica métodos formais — teoria da probabilidade, teoria da decisão e lógica — para modelar a crença racional, graus de crença, evidência e a dinâmica de mudar de ideia à luz de novas informações.
Scope
Esta área abrange a modelagem formal de estados epistêmicos: teorias bayesianas de credibilidade racional e atualização, o problema da indução e a lógica da confirmação, e a relação entre credibilidade graduada e crença categórica, incluindo os paradoxos da loteria e do prefácio. Trata do probabilismo, da condicionalização, dos argumentos de Dutch-book e de acurácia, e das normas epistêmicas que governam a crença parcial. Análises tradicionais do conhecimento e as dimensões sociais da investigação são tratadas em áreas vizinhas.
Sub-topics
Core questions
- Os graus racionais de crença devem obedecer aos axiomas da probabilidade?
- Como um agente deve atualizar suas crenças quando novas evidências chegam?
- A inferência indutiva a partir da experiência pode ser racionalmente justificada?
- Como os graus de crença se relacionam com a crença tudo-ou-nada?
Key theories
- Epistemologia Bayesiana
- A crença racional ocorre em graus que obedecem aos axiomas da probabilidade (probabilismo) e são revisados por condicionalização com base em novas evidências; a estrutura deriva da identificação de Ramsey dos graus de crença com as disposições de aposta.
- Teorias lógicas da confirmação
- Carnap buscou uma medida lógica do grau em que a evidência confirma uma hipótese, tratando o suporte indutivo como uma relação lógica quantitativa entre proposições, uma abordagem que enquadra o estudo formal da evidência.
History
A epistemologia formal surge da tradição probabilística de Bayes e Laplace, refinada no século XX por Ramsey e de Finetti, que conectaram os graus de crença à aposta coerente, e por Carnap, que buscou uma lógica indutiva de confirmação. O problema anterior de Hume sobre a indução estabeleceu o desafio permanente ao qual essas estruturas formais respondem, e o campo desde então absorveu a teoria da decisão e o estudo formal da mudança de crença.
Debates
- Se o probabilismo abrange toda a racionalidade epistêmica
- Os bayesianos argumentam que a crença racional é totalmente governada pela coerência probabilística e pela condicionalização, enquanto os críticos apontam para o problema dos priors, o papel aparente da crença categórica e os paradoxos da aceitação como evidência de que a probabilidade por si só não esgota a racionalidade epistêmica.
Key figures
- Frank Ramsey
- Rudolf Carnap
- David Hume
- Bruno de Finetti
Related topics
Seminal works
- ramsey1926
- carnap1950
Frequently asked questions
- O que a epistemologia formal acrescenta à epistemologia tradicional?
- Ela complementa a discussão qualitativa da crença justificada com modelos precisos de graus de crença, evidência e atualização racional, extraídos da teoria da probabilidade e da decisão. Isso permite que os epistemólogos estabeleçam normas como a coerência probabilística de forma exata e estudem questões, como a revisão de credibilidades, que resistem a um tratamento puramente informal.
- O que é uma credibilidade?
- Uma credibilidade é um grau de crença, uma confiança graduada de que uma proposição é verdadeira, frequentemente representada por um número entre 0 e 1. A epistemologia formal estuda as normas que governam as credibilidades, como a exigência de que elas obedeçam aos axiomas da probabilidade e se atualizem por condicionalização.