Formale Erkenntnistheorie
Die formale Erkenntnistheorie nutzt die Werkzeuge der Wahrscheinlichkeitstheorie, Logik und Entscheidungstheorie, um rationale Überzeugungen zu modellieren. Sie fragt, wie zuversichtlich ein Akteur angesichts seiner Evidenz sein sollte, wie sich diese Zuversicht mit dem Eintreffen neuer Evidenz ändern sollte und wie Glaubensgrade mit expliziten Überzeugungen zusammenhängen.
Definition
Formale Erkenntnistheorie ist der Zweig der Erkenntnistheorie, der formale Methoden – Wahrscheinlichkeitstheorie, Entscheidungstheorie und Logik – anwendet, um rationale Überzeugungen, Glaubensgrade, Evidenz und die Dynamik der Meinungsänderung angesichts neuer Informationen zu modellieren.
Scope
Dieser Bereich umfasst die formale Modellierung epistemischer Zustände: Bayessche Theorien rationaler Glaubensgrade und deren Aktualisierung, das Induktionsproblem und die Logik der Bestätigung sowie die Beziehung zwischen abgestuften Glaubensgraden und kategorialen Überzeugungen, einschließlich der Lotterie- und Vorwort-Paradoxien. Er behandelt Probabilismus, Konditionalisierung, Dutch-Book- und Genauigkeitsargumente sowie die epistemischen Normen, die partielle Überzeugungen regeln. Traditionelle Analysen von Wissen und die sozialen Dimensionen der Untersuchung werden in angrenzenden Bereichen behandelt.
Sub-topics
Core questions
- Sollten rationale Glaubensgrade den Wahrscheinlichkeitsaxiomen gehorchen?
- Wie sollte ein Akteur Überzeugungen aktualisieren, wenn neue Evidenz eintrifft?
- Kann induktives Schließen aus Erfahrung rational gerechtfertigt werden?
- Wie verhalten sich Glaubensgrade zu Alles-oder-Nichts-Überzeugungen?
Key theories
- Bayessche Erkenntnistheorie
- Rationale Überzeugungen sind abgestuft, gehorchen den Wahrscheinlichkeitsaxiomen (Probabilismus) und werden durch Konditionalisierung auf neue Evidenz revidiert; das Rahmenwerk geht auf Ramseys Identifikation von Glaubensgraden mit Wettneigungen zurück.
- Logische Theorien der Bestätigung
- Carnap suchte ein logisches Maß für den Grad, in dem Evidenz eine Hypothese bestätigt, indem er induktive Unterstützung als eine quantitative logische Beziehung zwischen Propositionen behandelte, ein Ansatz, der die formale Untersuchung von Evidenz prägt.
History
Die formale Erkenntnistheorie entstammt der probabilistischen Tradition von Bayes und Laplace, die im zwanzigsten Jahrhundert von Ramsey und de Finetti verfeinert wurde, welche Glaubensgrade mit kohärentem Wetten in Verbindung brachten, und von Carnap, der eine induktive Logik der Bestätigung verfolgte. Humes früheres Induktionsproblem stellte die bestehende Herausforderung dar, auf die diese formalen Rahmenwerke reagieren, und das Feld hat seitdem die Entscheidungstheorie und die formale Untersuchung von Überzeugungsänderungen aufgenommen.
Debates
- Ob Probabilismus die gesamte epistemische Rationalität erfasst
- Bayesianer argumentieren, dass rationale Überzeugungen vollständig durch probabilistische Kohärenz und Konditionalisierung bestimmt werden, während Kritiker auf das Problem der Prioren, die scheinbare Rolle kategorialer Überzeugungen und Akzeptanzparadoxien als Beleg dafür hinweisen, dass Wahrscheinlichkeit allein die epistemische Rationalität nicht erschöpft.
Key figures
- Frank Ramsey
- Rudolf Carnap
- David Hume
- Bruno de Finetti
Related topics
Seminal works
- ramsey1926
- carnap1950
Frequently asked questions
- Was ergänzt die formale Erkenntnistheorie zur traditionellen Erkenntnistheorie?
- Sie ergänzt qualitative Aussagen über gerechtfertigte Überzeugungen durch präzise Modelle von Glaubensgraden, Evidenz und rationaler Aktualisierung, die aus der Wahrscheinlichkeits- und Entscheidungstheorie stammen. Dies ermöglicht es Erkenntnistheoretikern, Normen wie die probabilistische Kohärenz exakt zu formulieren und Fragen, wie die Revision von Glaubensgraden, zu untersuchen, die einer rein informellen Behandlung widerstehen.
- Was ist ein Glaubensgrad (Credence)?
- Ein Glaubensgrad (Credence) ist ein Grad der Überzeugung, eine abgestufte Zuversicht, dass eine Proposition wahr ist, oft dargestellt durch eine Zahl zwischen 0 und 1. Die formale Erkenntnistheorie untersucht die Normen, die Glaubensgrade regeln, wie die Anforderung, dass sie den Wahrscheinlichkeitsaxiomen gehorchen und durch Konditionalisierung aktualisiert werden.