Epistemologia formalna

Epistemologia formalna wykorzystuje metody formalne z teorii decyzji , logiki , teorii prawdopodobieństwa i teorii obliczalności do modelowania i wnioskowania w kwestiach o znaczeniu epistemologicznym . Praca w tej dziedzinie obejmuje kilka dziedzin akademickich, w tym filozofię , informatykę , ekonomię i statystykę . Przedmiot zainteresowania epistemologii formalnej zwykle różni się nieco od epistemologii tradycyjnej, a tematy takie jak niepewność, indukcja i rewizja przekonań przyciągają więcej uwagi niż analiza wiedzy, sceptycyzm i problemy z uzasadnieniem.

Historia

Chociaż formalnie zorientowani epistemolodzy pracowali od czasu pojawienia się logiki formalnej i teorii prawdopodobieństwa (jeśli nie wcześniej), dopiero niedawno zostali zorganizowani pod wspólnym tytułem dyscyplinarnym. Ten wzrost popularności można przypisać organizacji corocznych Warsztatów Formalnej Epistemologii przez Brandena Fitelsona i Sahotrę Sarkar , począwszy od 2004 r., oraz konferencji PHILOG rozpoczynających się w 2002 r. (The Network for Philosophical Logic and Its Applications) organizowanych przez Vincenta F. Hendricksa . Wydział Filozofii Uniwersytetu Carnegie Mellon organizuje coroczną szkołę letnią z logiki i epistemologii formalnej. W 2010 roku katedra utworzyła Centrum Epistemologii Formalnej.

Epistemologia bayesowska

Epistemologia bayesowska jest ważną teorią w dziedzinie epistemologii formalnej. Ma swoje korzenie w Thomasa Bayesa w dziedzinie teorii prawdopodobieństwa. Opiera się na założeniu, że przekonania są utrzymywane stopniowo, a siłę przekonań można opisać jako subiektywne prawdopodobieństwa . Jako takie podlegają prawom teorii prawdopodobieństwa , które działają jako normy racjonalności . Normy te można podzielić na ograniczenia statyczne, rządzące racjonalnością przekonań w dowolnym momencie, oraz ograniczenia dynamiczne, określające, w jaki sposób racjonalni agenci powinni zmieniać swoje przekonania po otrzymaniu nowych dowodów. Najbardziej charakterystyczny bayesowski wyraz tych zasad można znaleźć w holenderskich książkach , które ilustrują irracjonalność agentów poprzez serię zakładów, które prowadzą do przegranej agenta, bez względu na to, które zdarzenie probabilistyczne ma miejsce. Bayesowie zastosowali te podstawowe zasady do różnych tematów epistemologicznych, ale bayesizm nie obejmuje wszystkich tematów tradycyjnej epistemologii. do problemu potwierdzania w filozofii nauki można podejść za pomocą Bayesowskiej zasady warunkowania, utrzymując, że dowód potwierdza teorię, jeśli zwiększa prawdopodobieństwo, że ta teoria jest prawdziwa. Przedstawiono różne propozycje zdefiniowania pojęcia spójności w kategoriach prawdopodobieństwa, zwykle w tym sensie, że dwa zdania są spójne, jeśli prawdopodobieństwo ich połączenia jest większe niż gdyby były ze sobą neutralnie powiązane. Podejście bayesowskie było również owocne w dziedzinie epistemologii społecznej , na przykład w odniesieniu do problemu świadectwa czy problemu przekonań grupowych. Bayesianizm wciąż napotyka różne teoretyczne zastrzeżenia, które nie zostały w pełni rozwiązane.

Tematy

Niektóre z tematów wchodzących w zakres epistemologii formalnej obejmują:

Lista współczesnych epistemologów formalnych

Zobacz też

Bibliografia

  • Arlo-Costa, H, van Benthem, J. i Hendricks, VF (red.) (2012). Czytelnik formalnej epistemologii. Cambridge: Cambridge University Press.
  • Bovens, L. i Hartmann, S. (2003). Epistemologia bayesowska. Oksford: Oxford University Press.
  • Brązowy, B. (2017). Myśli i sposoby myślenia: teoria źródła i jej zastosowania . Londyn: Wszechobecność Press . [1] .
  • Hendricks, VF (2001). Konwergencja wiedzy naukowej: spojrzenie z granicy . Dordrect: Wydawcy Akademiccy Kluwer.
  • Hendricks, VF (2006). Epistemologia głównego nurtu i formalna. Nowy Jork: Cambridge University Press.
  • Hendricks, VF (red.) (2006). Wydanie specjalne na temat „8 mostów między głównym nurtem a epistemologią formalną”, Studia filozoficzne.
  • Hendricks, VF (red.) (2006). Wydanie specjalne w „Ways of Worlds I-II”, Studia Logica.
  • Hendricks, VF i Pritchard, D. (red.) (2006). Nowe fale w epistemologii. Aldershot: Ashgate.
  • Hendricks, VF i Symons, J. (red.) (2005). Filozofia formalna. Nowy Jork: prasa automatyczna / VIP . [2]
  • Hendricks, VF i Symons, J. (red.) (2006). Masy filozofii formalnej . Nowy Jork: prasa automatyczna / VIP. [3]
  • Hendricks, VF i Hansen, PG (red.) (2007). Teoria gier: 5 pytań. Nowy Jork: prasa automatyczna / VIP. [4]
  • Hendricks, VF i Symons, J. (2006). Logika epistemiczna. Stanford Encyklopedia filozofii, Stanford. CA: Stany Zjednoczone.
  • Wolpert, DH, (1996) Brak a priori rozróżnień między algorytmami uczenia się, Neural Computation, s. 1341–1390.
  • Wolpert, DH, (1996) Istnienie rozróżnień a priori między algorytmami uczenia się, Neural Computation, s. 1391–1420.
  • Wolpert, DH, (2001) Możliwości obliczeniowe systemów fizycznych. Przegląd fizyczny E, 65 (016128).
  • Zhu, HY i R. Rohwer, (1996) No free lunch for cross-walidation, s. 1421–1426.

Linki zewnętrzne