Épistémologie formelle
L'épistémologie formelle utilise les outils de la théorie des probabilités, de la logique et de la théorie de la décision pour modéliser la croyance rationnelle, en se demandant quel devrait être le degré de confiance d'un agent compte tenu de ses preuves, comment cette confiance devrait évoluer à mesure que de nouvelles preuves apparaissent, et comment les degrés de croyance se rapportent à la croyance catégorique.
Definition
L'épistémologie formelle est la branche de l'épistémologie qui applique des méthodes formelles — la théorie des probabilités, la théorie de la décision et la logique — pour modéliser la croyance rationnelle, les degrés de croyance, les preuves et la dynamique du changement d'avis à la lumière de nouvelles informations.
Scope
Ce domaine couvre la modélisation formelle des états épistémiques : les théories bayésiennes de la crédence rationnelle et de l'actualisation, le problème de l'induction et la logique de la confirmation, ainsi que la relation entre la crédence graduée et la croyance catégorique, y compris les paradoxes de la loterie et de la préface. Il aborde le probabilisme, la conditionnalisation, les arguments du pari hollandais et de l'exactitude, et les normes épistémiques régissant la croyance partielle. Les analyses traditionnelles de la connaissance et les dimensions sociales de l'enquête sont traitées dans des domaines voisins.
Sub-topics
Core questions
- Les degrés de croyance rationnels devraient-ils obéir aux axiomes de la probabilité ?
- Comment un agent devrait-il actualiser ses croyances lorsque de nouvelles preuves apparaissent ?
- L'inférence inductive à partir de l'expérience peut-elle être justifiée rationnellement ?
- Comment les degrés de croyance se rapportent-ils à la croyance tout-ou-rien ?
Key theories
- Épistémologie bayésienne
- La croyance rationnelle se présente sous forme de degrés qui obéissent aux axiomes de la probabilité (probabilisme) et sont révisés par conditionnalisation sur de nouvelles preuves ; le cadre découle de l'identification par Ramsey des degrés de croyance avec les dispositions de pari.
- Théories logiques de la confirmation
- Carnap a cherché une mesure logique du degré auquel les preuves confirment une hypothèse, traitant le soutien inductif comme une relation logique quantitative entre les propositions, une approche qui encadre l'étude formelle des preuves.
History
L'épistémologie formelle découle de la tradition probabiliste de Bayes et Laplace, affinée au XXe siècle par Ramsey et de Finetti, qui ont lié les degrés de croyance au pari cohérent, et par Carnap, qui a développé une logique inductive de la confirmation. Le problème de l'induction posé antérieurement par Hume a constitué le défi permanent auquel ces cadres formels répondent, et le domaine a depuis intégré la théorie de la décision et l'étude formelle du changement de croyance.
Debates
- Si le probabilisme englobe toute la rationalité épistémique
- Les bayésiens soutiennent que la croyance rationnelle est entièrement régie par la cohérence probabiliste et la conditionnalisation, tandis que les critiques soulignent le problème des a priori, le rôle apparent de la croyance catégorique et les paradoxes de l'acceptation comme preuves que la probabilité seule n'épuise pas la rationalité épistémique.
Key figures
- Frank Ramsey
- Rudolf Carnap
- David Hume
- Bruno de Finetti
Related topics
Seminal works
- ramsey1926
- carnap1950
Frequently asked questions
- Qu'est-ce que l'épistémologie formelle ajoute à l'épistémologie traditionnelle ?
- Elle complète les discussions qualitatives sur la croyance justifiée par des modèles précis des degrés de croyance, des preuves et de l'actualisation rationnelle, tirés de la théorie des probabilités et de la théorie de la décision. Cela permet aux épistémologues d'énoncer précisément des normes telles que la cohérence probabiliste et d'étudier des questions, comme la manière de réviser les crédences, qui résistent à un traitement purement informel.
- Qu'est-ce qu'une crédence ?
- Une crédence est un degré de croyance, une confiance graduée qu'une proposition est vraie, souvent représentée par un nombre entre 0 et 1. L'épistémologie formelle étudie les normes qui régissent les crédences, telles que l'exigence qu'elles obéissent aux axiomes de la probabilité et s'actualisent par conditionnalisation.