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ą:
- Wnioskowanie ampliacyjne (w tym logika indukcyjna );
- Teoria rewizji przekonań
- Teoria gier i teoria decyzji ;
- Teoria algorytmicznego uczenia się ( epistemologia obliczeniowa );
- Formalne podejścia do paradoksów wiary i/lub działania;
- Modele formalne stanów epistemicznych, takich jak przekonanie i niepewność ;
- Formalne teorie koherentyzmu i konfirmacji;
- Podstawy rachunku prawdopodobieństwa i statystyki.
Lista współczesnych epistemologów formalnych
- Horacio Arló-Costa zarchiwizowane 13.10.2007 w Wayback Machine , Carnegie Mellon, Philosophy (epistemologia bayesowska, logika epistemiczna, rewizja przekonań, warunki, racjonalny wybór, normatywna i behawioralna teoria decyzji)
- Alexandru Baltag (logika dynamiczno-epistemiczna, logiki probabilistyczne, rewizja przekonań itp.)
- Luc Bovens ( epistemologia bayesowska , prawdopodobieństwo itp.)
- Samir Chopra (rewizja wierzeń, fizyka itp.)
- Jake Chandler (epistemologia bayesowska, rewizja przekonań itp.)
- John Collins zarchiwizowany 23.04.2013 w Wayback Machine Columbia, Philosophy (rewizja przekonań, teoria decyzji przyczynowych)
- Franz Dietrich (zbiorowe podejmowanie decyzji itp.)
- Trent Dougherty (radykalny probabilizm Jeffreya, semantyka modów, teorie prawdopodobieństwa)
- Igor Douven ( epistemologia bayesowska itp.)
- Ellery Eells (potwierdzenie, prawdopodobieństwo)
- Adam Elga (rozumowanie probabilistyczne, prawa itp.)
- Branden Fitelson (potwierdzenie, logika itp.)
- Malcolm Forster (potwierdzenie, prostota, przyczynowość)
- Haim Gaifman Columbia, Filozofia (podstawy prawdopodobieństwa, logika matematyczna)
- Anthony Gillies (rewizja przekonań, semantyka formalna)
- Mario Gómez-Torrente
- Alan Hájek (podstawy prawdopodobieństwa, teoria decyzji itp.)
- Joseph Halpern (rozumowanie o wiedzy i niepewności)
- Sven Ove Hansson (ryzyko, teoria decyzji, rewizja przekonań, logika deontyczna)
- Gilbert Harman (epistemologia, statystyczna teoria uczenia się, umysł i język)
- Stephan Hartmann ( epistemologia bayesowska , prawdopodobieństwo, zbiorowe podejmowanie decyzji itp.)
- James Hawthorne [ stały martwy link ] (teoria potwierdzenia, logika indukcyjna, rewizja przekonań, logika niemonotoniczna)
- Jeff Helzner Columbia, Filozofia (teoria decyzji, racjonalny wybór)
- Vincent F. Hendricks Kopenhaga i Kolumbia, Filozofia (logika epistemiczna, teoria formalnego uczenia się, przetwarzanie informacji i analiza demokracji)
- Franz Huber (epistemologia formalna, filozofia nauki, logika filozoficzna)
- Richard Jeffrey (rozumowanie probabilistyczne)
- James Joyce (teoria decyzji)
- Kevin T. Kelly zarchiwizowane 2008-05-12 w Wayback Machine , Carnegie Mellon, Filozofia (obliczeniowa epistemologia, rewizja przekonań itp.)
- Matthew Kotzen (epistemologia formalna, filozofia nauki)
- Marion Ledwig (problem Newcomba)
- Hannes Leitgeb (rewizja przekonań, prawdopodobieństwo, bayesizm itp.)
- Isaac Levi Columbia, Filozofia (rewizja przekonań, teoria decyzji, prawdopodobieństwo)
- Patrick Maher (potwierdzenie, logika indukcyjna)
- David Miller (prawdopodobieństwo, indukcja, logika, Popper)
- Luca Moretti (potwierdzenie, spójność, przekazanie nakazu, prawda epistemiczna)
- Daniel Osherson (logika indukcyjna, rozumowanie, niejasność)
- Rohit Parikh CUNY, Informatyka ( logika epistemiczna , wiedza powszechna )
- Gabriella Pigozzi (rewizja przekonań, teoria decyzji)
- John L. Pollock (teoria decyzji, rozumowanie, sztuczna inteligencja)
- Hans Rott (rewizja przekonań, logika niemonotoniczna, racjonalny wybór)
- Darrell Rowbottom (podstawy prawdopodobieństwa, potwierdzenie, filozofia nauki itp.)
- Nick Rugai ( epistemologia obliczeniowa )
- Miriam Schoenfield (epistemologia, etyka)
- Teddy Seidenfeld zarchiwizowany 13.05.2008 w Wayback Machine Carnegie Mellon, Filozofia (statystyczna teoria decyzji, teoria prawdopodobieństwa, teoria gier)
- Wolfgang Spohn (rozumowanie, prawdopodobieństwo, przyczynowość, filozofia nauki itp.)
- Paul Thorn (bezpośrednie wnioskowanie, nie do obalenia rozumowanie, indukcja itp.)
- Bas Van Fraassen (nieprecyzyjna wiara, kinematyka prawdopodobieństwa)
- Peter Vranas (potwierdzenie, logika deontyczna, podróże w czasie, etyka itp.)
- Gregory Wheeler (prawdopodobieństwo, logika)
- Roger White (potwierdzenie, kosmologia)
- Sonja Smets (logika dynamiczno-epistemiczna, rewizja przekonań itp.)
- Jon Williamson (bayesianizm, prawdopodobieństwo, związek przyczynowy)
- Timothy Williamson (wiedza, modalność, logika, niejasność itp.)
- David Wolpert ( Twierdzenia No Free Lunch , tj. Hume wykonał rygorystycznie; fizyka i wnioskowanie, tj. Twierdzenia o monoteizmie, hierarchia urządzeń wnioskowania Chomsky'ego itp.)
Zobacz też
- Algorytmiczna teoria uczenia się
- Rewizja wiary
- Teoria obliczalności
- Teoria obliczeniowego uczenia się
- Teoria gry
- Logika indukcyjna
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
- Weisberg, Jonathan. „Formalna epistemologia” . W Zalta, Edward N. (red.). Stanford Encyklopedia filozofii .
- Formalna epistemologia w Indiana Philosophy Ontology Project
- Formalna epistemologia w PhilPapers
- Formalne warsztaty epistemologiczne
- Formalna epistemologia spotyka się z eksperymentalnymi warsztatami filozoficznymi
- Formalne archiwum epistemologiczne
- Letnia Szkoła Carnegie Mellon z logiki i epistemologii formalnej
- Filozofia formalna
- Formalna Epistemologia [ stały martwy link ] , bezpłatne czasopismo internetowe.
- Rozsądek
- Projekt formalnej epistemologii zarchiwizowany 2008-12-02 w Wayback Machine
- Centrum Epistemologii Formalnej Carnegie Mellon [ stały martwy link ]
- Epistemologia formalna
- Formalna epistemologia i logika