Epistemología formal

La epistemología formal utiliza métodos formales de la teoría de la decisión, la lógica, la teoría de la probabilidad y la teoría de la computabilidad para modelar y razonar sobre cuestiones de interés epistemológico. El trabajo en esta área abarca varios campos académicos, como la filosofía, la informática, la economía y la estadística. El enfoque de la epistemología formal ha tendido a diferir un poco del de la epistemología tradicional, con temas como la incertidumbre, la inducción y la revisión de creencias atrayendo más atención que el análisis del conocimiento, el escepticismo y los problemas con la justificación.

Historia

Aunque los epistemólogos de orientación formal han estado trabajando desde el surgimiento de la lógica formal y la teoría de la probabilidad (si no antes), solo recientemente se han organizado bajo un título disciplinario común. Esta ganancia en popularidad puede atribuirse a la organización de Talleres de Epistemología Formal anuales por Branden Fitelson y Sahotra Sarkar, a partir de 2004, y las conferencias PHILOG a partir de 2002 (La Red para la Lógica Filosófica y sus Aplicaciones) organizadas por Vincent F. Hendricks. El Departamento de Filosofía de la Universidad Carnegie Mellon organiza una escuela de verano anual sobre lógica y epistemología formal. En 2010, el departamento fundó el Centro de Epistemología Formal.

Epistemología bayesiana

La epistemología bayesiana es una teoría importante en el campo de la epistemología formal. Tiene sus raíces en el trabajo de Thomas Bayes en el campo de la teoría de la probabilidad. Se basa en la idea de que las creencias se mantienen gradualmente y que las fortalezas de las creencias pueden describirse como probabilidades subjetivas. Como tales, están sujetos a las leyes de la teoría de la probabilidad, que actúan como normas de racionalidad. Estas normas se pueden dividir en restricciones estáticas, que rigen la racionalidad de las creencias en cualquier momento, y restricciones dinámicas, que rigen cómo los agentes racionales deben cambiar sus creencias al recibir nueva evidencia. La expresión bayesiana más característica de estos principios se encuentra en forma de libros holandeses, que ilustran la irracionalidad en los agentes a través de una serie de apuestas que conducen a una pérdida para el agente sin importar cuál de los eventos probabilísticos ocurra. Los bayesianos han aplicado estos principios fundamentales a varios temas epistemológicos, pero el bayesianismo no cubre todos los temas de la epistemología tradicional. El problema de la confirmación en la filosofía de la ciencia, por ejemplo, puede abordarse a través de la teoría bayesiana.principio de condicionalización al sostener que una pieza de evidencia confirma una teoría si aumenta la probabilidad de que esta teoría sea verdadera. Se han hecho varias propuestas para definir el concepto de coherencia en términos de probabilidad, generalmente en el sentido de que dos proposiciones son coherentes si la probabilidad de su conjunción es mayor que si estuvieran relacionadas neutralmente entre sí. El enfoque bayesiano también ha sido fructífero en el campo de la epistemología social, por ejemplo, en relación con el problema del testimonio o el problema de la creencia grupal. El bayesianismo todavía enfrenta varias objeciones teóricas que no han sido completamente resueltas.

Temas

Algunos de los temas que se incluyen bajo el título de epistemología formal incluyen:

• inferencia ampliativa (incluida la lógica inductiva);
• Teoría de revisión de creencias
• Teoría de juegos y teoría de decisiones;
• teoría del aprendizaje algorítmico (epistemología computacional);
• Aproximaciones formales a las paradojas de creencia y/o acción;
• Modelos formales de estados epistémicos, como creencia e incertidumbre;
• Teorías formales de coherencia y confirmación;
• Fundamentos de probabilidad y estadística.

Lista de epistemólogos formales contemporáneos

• Horacio Arló-Costa, Carnegie Mellon, Filosofía (epistemología bayesiana, lógica epistémica, revisión de creencias, condicionales, elección racional, teoría de la decisión normativa y conductual)
• Alexandru Baltag (lógica dinámica-epistémica, lógica probabilística, revisión de creencias, etc.)
• Luc Bovens (epistemología bayesiana, probabilidad, etc.)
• Samir Chopra (revisión de creencias, física, etc.)
• Jake Chandler (epistemología bayesiana, revisión de creencias, etc.)
• John Collins Columbia, Filosofía (revisión de creencias, teoría de la decisión causal)
• Franz Dietrich (toma de decisiones colectiva, etc.)
• Trent Dougherty (probabilismo radical de Jeffrey, semántica para modales, teorías de probabilidad)
• Igor Douven (epistemología bayesiana, etc.)
• Ellery Eells (confirmación, probabilidad)
• Adam Elga (razonamiento probabilístico, leyes, etc.)
• Branden Fitelson (confirmación, lógica, etc.)
• Malcolm Forster (confirmación, simplicidad, causalidad)
• Haim Gaifman Columbia, Filosofía (fundamentos de probabilidad, lógica matemática)
• Anthony Gillies (revisión de creencias, semántica formal)
• Mario Gómez Torrente
• Alan Hájek (fundamentos de probabilidad, teoría de la decisión, etc.)
• Joseph Halpern (razonamiento sobre el conocimiento y la incertidumbre)
• Sven Ove Hansson (riesgo, teoría de la decisión, revisión de creencias, lógica deóntica)
• Gilbert Harman (epistemología, teoría del aprendizaje estadístico, mente y lenguaje)
• Stephan Hartmann (epistemología bayesiana, probabilidad, toma de decisiones colectiva, etc.)
• James Hawthorne (teoría de la confirmación, lógica inductiva, revisión de creencias, lógica no monotónica)
• Jeff Helzner Columbia, Filosofía (teoría de la decisión, elección racional)
• Vincent F. Hendricks Copenhague y Columbia, Filosofía (lógica epistémica, teoría del aprendizaje formal, procesamiento de información y análisis de la democracia)
• Franz Huber (epistemología formal, filosofía de la ciencia, lógica filosófica)
• Richard Jeffrey (razonamiento probabilístico)
• James Joyce (teoría de la decisión)
• Kevin T. Kelly, Carnegie Mellon, Filosofía (epistemología computacional, revisión de creencias, etc.)
• Matthew Kotzen (epistemología formal, filosofía de la ciencia)
• Marion Ledwig (El problema de Newcomb)
• Hannes Leitgeb (revisión de creencias, probabilidad, bayesianismo, etc.)
• Isaac Levi Columbia, Filosofía (revisión de creencias, teoría de la decisión, probabilidad)
• Patrick Maher (confirmación, lógica inductiva)
• David Miller (probabilidad, inducción, lógica, Popper)
• Luca Moretti (confirmación, coherencia, transmisión de garantía, verdad epistémica)
• Daniel Osherson (lógica inductiva, razonamiento, vaguedad)
• Rohit Parikh CUNY, Informática (lógica epistémica, conocimiento común)
• Gabriella Pigozzi (revisión de creencias, teoría de la decisión)
• John L. Pollock (teoría de la decisión, razonamiento, IA)
• Hans Rott (revisión de creencias, lógica no monótona, elección racional)
• Darrell Rowbottom (fundamentos de probabilidad, confirmación, filosofía de la ciencia, etc.)
• Nick Rugai (epistemología computacional)
• Miriam Schoenfield (epistemología, ética)
• Teddy Seidenfeld Carnegie Mellon, Filosofía (teoría de la decisión estadística, teoría de la probabilidad, teoría de juegos)
• Wolfgang Spohn (razonamiento, probabilidad, causalidad, filosofía de la ciencia, etc.)
• Paul Thorn (inferencia directa, razonamiento rebatible, inducción, etc.)
• Bas Van Fraassen (creencia imprecisa, cinemática de probabilidad)
• Peter Vranas (confirmación, lógica deóntica, viaje en el tiempo, ética, etc.)
• Gregory Wheeler (probabilidad, lógica)
• Roger White (confirmación, cosmología)
• Sonja Smets (Lógica dinámica-epistémica, revisión de creencias, etc.)
• Jon Williamson (Bayesianismo, probabilidad, causalidad)
• Timothy Williamson (conocimiento, modalidad, lógica, vaguedad, etc.)
• David Wolpert (teoremas de No Free Lunch, es decir, Hume hecho rigurosamente; física e inferencia, es decir, teoremas del monoteísmo, jerarquía de dispositivos de inferencia de Chomsky, etc.)