Epistemología Formal
La epistemología formal utiliza las herramientas de la probabilidad, la lógica y la teoría de la decisión para modelar la creencia racional, preguntando cuán seguro debe estar un agente dada su evidencia, cómo debe cambiar esa confianza a medida que llega la evidencia y cómo se relacionan los grados de creencia con la creencia absoluta.
Definition
La epistemología formal es la rama de la epistemología que aplica métodos formales —teoría de la probabilidad, teoría de la decisión y lógica— para modelar la creencia racional, los grados de creencia, la evidencia y la dinámica de cambiar de opinión a la luz de nueva información.
Scope
Esta área cubre el modelado formal de los estados epistémicos: las teorías bayesianas de la credibilidad racional y la actualización, el problema de la inducción y la lógica de la confirmación, y la relación entre la credibilidad gradual y la creencia categórica, incluyendo las paradojas de la lotería y del prefacio. Trata el probabilismo, la condicionalización, los argumentos de la apuesta holandesa y de la precisión, y las normas epistémicas que rigen la creencia parcial. Los análisis tradicionales del conocimiento y las dimensiones sociales de la investigación se tratan en áreas vecinas.
Sub-topics
Core questions
- ¿Deben los grados de creencia racionales obedecer los axiomas de probabilidad?
- ¿Cómo debe un agente actualizar sus creencias cuando llega nueva evidencia?
- ¿Puede justificarse racionalmente la inferencia inductiva a partir de la experiencia?
- ¿Cómo se relacionan los grados de creencia con la creencia de todo o nada?
Key theories
- Epistemología bayesiana
- La creencia racional se presenta en grados que obedecen los axiomas de probabilidad (probabilismo) y se revisan mediante la condicionalización sobre nueva evidencia; el marco desciende de la identificación de Ramsey de los grados de creencia con las disposiciones de apuesta.
- Teorías lógicas de la confirmación
- Carnap buscó una medida lógica del grado en que la evidencia confirma una hipótesis, tratando el apoyo inductivo como una relación lógica cuantitativa entre proposiciones, un enfoque que enmarca el estudio formal de la evidencia.
History
La epistemología formal surge de la tradición probabilística de Bayes y Laplace, refinada en el siglo XX por Ramsey y de Finetti, quienes conectaron los grados de creencia con las apuestas coherentes, y por Carnap, quien persiguió una lógica inductiva de la confirmación. El problema anterior de la inducción de Hume estableció el desafío permanente al que responden estos marcos formales, y el campo ha absorbido desde entonces la teoría de la decisión y el estudio formal del cambio de creencias.
Debates
- Si el probabilismo abarca toda la racionalidad epistémica
- Los bayesianos argumentan que la creencia racional está totalmente gobernada por la coherencia probabilística y la condicionalización, mientras que los críticos señalan el problema de los a priori, el papel aparente de la creencia categórica y las paradojas de la aceptación como evidencia de que la probabilidad por sí sola no agota la racionalidad epistémica.
Key figures
- Frank Ramsey
- Rudolf Carnap
- David Hume
- Bruno de Finetti
Related topics
Seminal works
- ramsey1926
- carnap1950
Frequently asked questions
- ¿Qué añade la epistemología formal a la epistemología tradicional?
- Complementa el discurso cualitativo de la creencia justificada con modelos precisos de grados de creencia, evidencia y actualización racional, extraídos de la teoría de la probabilidad y la decisión. Esto permite a los epistemólogos establecer normas como la coherencia probabilística de forma exacta y estudiar cuestiones, como la forma de revisar las credencias, que resisten un tratamiento puramente informal.
- ¿Qué es una credencia?
- Una credencia es un grado de creencia, una confianza gradual en que una proposición es verdadera, a menudo representada por un número entre 0 y 1. La epistemología formal estudia las normas que rigen las credencias, como el requisito de que obedezcan los axiomas de probabilidad y se actualicen por condicionalización.