Biçimsel epistemoloji - Formal epistemology
Biçimsel epistemoloji , epistemolojik ilgi alanlarını modellemek ve bunlarla ilgili mantık yürütmek için karar kuramı , mantık , olasılık kuramı ve hesaplanabilirlik kuramından biçimsel yöntemleri kullanır . Bu alandaki çalışma felsefe , bilgisayar bilimi , ekonomi ve istatistik gibi çeşitli akademik alanları kapsar . Biçimsel epistemolojinin odağı, belirsizlik, tümevarım ve inanç revizyonu gibi konular, bilginin analizinden, şüphecilikten ve gerekçeli konulardan daha fazla dikkat çekerek, geleneksel epistemolojiden biraz farklı olma eğilimindedir.
Tarih
Biçimsel yönelimli epistemologlar, biçimsel mantığın ve olasılık kuramının (daha önce değilse) ortaya çıkışından bu yana çabalıyor olsalar da, ancak son zamanlarda ortak bir disiplin başlığı altında örgütlenmişlerdir. Popülerlikteki bu artış, 2004'te başlayan Branden Fitelson ve Sahotra Sarkar tarafından yıllık Biçimsel Epistemoloji Çalıştayları'nın organizasyonuna ve 2002'de başlayan PHILOG konferanslarına (The Network for Philosophical Logic and Its Applications), Vincent F.Hendricks tarafından organize edilebilir. . Carnegie Mellon Üniversitesi'nin Felsefe Bölümü, mantık ve biçimsel epistemoloji alanında yıllık bir yaz okuluna ev sahipliği yapmaktadır. Bölüm, 2010 yılında Biçimsel Epistemoloji Merkezi'ni kurdu .
Bayes epistemolojisi
Bayesçi epistemoloji , biçimsel epistemoloji alanında önemli bir teoridir. Kökleri Thomas Bayes'in olasılık teorisi alanındaki çalışmasına dayanmaktadır. İnançların öznel olasılıklar olarak yorumlanabileceği fikrine dayanmaktadır . Bu nedenle, rasyonalite normları olarak hareket eden olasılık teorisi yasalarına tabidirler . Bu normlar, herhangi bir anda inançların rasyonalitesini yöneten statik kısıtlamalara ve rasyonel ajanların yeni kanıtlar aldıktan sonra inançlarını nasıl değiştirmeleri gerektiğini belirleyen dinamik kısıtlamalara bölünebilir. Bu ilkelerin en karakteristik Bayesçi ifadesi , olasılıksal olaylardan hangisi meydana gelirse gelsin, temsilci için bir kayba yol açan bir dizi bahis yoluyla temsilcilerdeki mantıksızlığı gösteren Hollanda kitapları biçiminde bulunur . Bayesçiler bu temel ilkeleri çeşitli epistemolojik konulara uygulamışlardır, ancak Bayesçilik geleneksel epistemolojinin tüm konularını kapsamaz. Örneğin bilim felsefesindeki onaylama sorununa , Bayesçi koşullandırma ilkesi aracılığıyla, bir kanıt parçasının bu teorinin doğru olma olasılığını artırması halinde bir teoriyi doğruladığını kabul ederek yaklaşılabilir . Tutarlılık kavramını olasılık açısından tanımlamak için çeşitli önerilerde bulunulmuştur , genellikle iki önermenin, eğer birleşim olasılıkları birbirleriyle nötr bir şekilde ilişkili olduklarından daha yüksekse, tutarlı olmaları anlamında. Bayesci yaklaşım, örneğin tanıklık sorunu veya grup inancı sorunu gibi sosyal epistemoloji alanında da verimli olmuştur . Bayesçilik hala tam olarak çözülmemiş çeşitli teorik itirazlarla karşı karşıyadır.
Konular
Biçimsel epistemoloji başlığı altında yer alan konulardan bazıları şunlardır:
- Genişletici çıkarım ( tümevarım mantığı dahil );
- İnanç revizyon teorisi
- Oyun teorisi ve karar teorisi ;
- Algoritmik öğrenme teorisi ( hesaplamalı epistemoloji );
- İnanç ve / veya eylem paradokslarına biçimsel yaklaşımlar ;
- İnanç ve belirsizlik gibi epistemik durumların biçimsel modelleri ;
- Biçimsel tutarlılık ve doğrulama teorileri ;
- Olasılık ve istatistiğin temelleri.
Çağdaş biçimsel epistemologların listesi
- Horacio Arló-Costa , Carnegie Mellon, Felsefe (Bayes epistemolojisi, epistemik mantık, inanç revizyonu, koşullu, rasyonel seçim, normatif ve davranışsal karar teorisi)
- Alexandru Baltag (dinamik-epistemik mantık, olasılık mantığı, inanç revizyonu vb.)
- Luc Bovens (Bayesçi epistemoloji, olasılık vb.)
- Samir Chopra (inanç revizyonu, fizik vb.)
- Jake Chandler (Bayesçi epistemoloji, inanç revizyonu vb.)
- John Collins Columbia, Felsefe (inanç revizyonu, nedensel karar teorisi)
- Franz Dietrich (toplu karar verme vb.)
- Trent Dougherty (Jeffrey'nin radikal olasılık, kipler için anlambilim, olasılık teorileri)
- Igor Douven (Bayesci epistemoloji, vb.)
- Ellery Eells (doğrulama, olasılık)
- Adam Elga (olasılıksal akıl yürütme, yasalar vb.)
- Branden Fitelson (onay, mantık vb.)
- Malcolm Forster (doğrulama, basitlik, nedensellik)
- Haim Gaifman Columbia, Felsefe (olasılığın temelleri, matematiksel mantık)
- Anthony Gillies (inanç revizyonu, biçimsel anlambilim)
- Mario Gómez-Torrente
- Alan Hájek (olasılığın temelleri, karar teorisi vb.)
- Joseph Halpern (bilgi ve belirsizlik hakkında akıl yürütme)
- Sven Ove Hansson (risk, karar teorisi, inanç revizyonu, deontik mantık)
- Gilbert Harman (epistemoloji, istatistiksel öğrenme teorisi, zihin ve dil)
- Stephan Hartmann (Bayesçi epistemoloji, olasılık, toplu karar verme, vb.)
- James Hawthorne (doğrulama teorisi, tümevarım mantığı, inanç revizyonu, monotonik olmayan mantık)
- Jeff Helzner Columbia, Felsefe (karar teorisi, rasyonel seçim)
- Vincent F.Hendricks Copenhagen and Columbia, Philosophy (epistemik mantık, formel öğrenme teorisi, bilgi işleme ve demokrasi analizi)
- Franz Huber (biçimsel epistemoloji, bilim felsefesi, felsefi mantık)
- Richard Jeffrey (olasılıksal akıl yürütme)
- James Joyce (karar teorisi)
- Kevin T. Kelly , Carnegie Mellon, Felsefe (hesaplamalı epistemoloji, inanç revizyonu vb.)
- Matthew Kotzen (resmi epistemoloji, bilim felsefesi)
- Marion Ledwig (Newcomb'un sorunu)
- Hannes Leitgeb (inanç revizyonu, olasılık, Bayesçilik vb.)
- Isaac Levi Columbia, Felsefe (inanç revizyonu, karar teorisi, olasılık)
- Patrick Maher (doğrulama, tümevarım mantığı)
- David Miller (olasılık, tümevarım, mantık, Popper)
- Luca Moretti (doğrulama, tutarlılık, emrin iletilmesi, epistemik gerçek)
- Daniel Osherson (tümevarımsal mantık, akıl yürütme, belirsizlik)
- Rohit Parikh CUNY, Bilgisayar Bilimi ( epistemik mantık , ortak bilgi )
- Gabriella Pigozzi (inanç revizyonu, karar teorisi)
- John L.Pollock (karar teorisi, muhakeme, AI)
- Hans Rott (inanç revizyonu, monotonik olmayan mantık, rasyonel seçim)
- Darrell Rowbottom (olasılığın temelleri, doğrulama, bilim felsefesi vb.)
- Nick Rugai ( hesaplamalı epistemoloji )
- Miriam Schoenfield (epistemoloji, etik)
- Teddy Seidenfeld Carnegie Mellon, Felsefe (istatistiksel karar teorisi, olasılık teorisi, oyun teorisi)
- Wolfgang Spohn (akıl yürütme, olasılık, nedensellik, bilim felsefesi vb.)
- Paul Thorn (doğrudan çıkarım, yenilebilir akıl yürütme, tümevarım vb.)
- Bas Van Fraassen (kesin olmayan güvenilirlik, olasılık kinematiği)
- Peter Vranas (doğrulama, deontik mantık, zamanda yolculuk, etik vb.)
- Gregory Wheeler (olasılık, mantık)
- Roger White (onay, kozmoloji)
- Sonja Smets (Dinamik-epistemik Mantık, inanç revizyonu vb.)
- Jon Williamson (Bayesçilik, olasılık, nedensellik)
- Timothy Williamson (bilgi, yöntem, mantık, belirsizlik vb.)
- David Wolpert ( No Free Lunch teoremleri , yani Hume titizlikle yapılmıştır; fizik ve çıkarım, yani monoteizm teoremleri, Chomsky çıkarım araçları hiyerarşisi vb.)
Ayrıca bakınız
- Algoritmik öğrenme teorisi
- İnanç revizyonu
- Hesaplanabilirlik teorisi
- Hesaplamalı öğrenme teorisi
- Oyun Teorisi
- Endüktif mantık
Referanslar
Kaynakça
- Arlo-Costa, H, van Benthem, J. ve Hendricks, VF (editörler) (2012). Biçimsel Epistemoloji Okuyucusu. Cambridge: Cambridge University Press.
- Bovens, L. ve Hartmann, S. (2003). Bayes Epistemolojisi. Oxford: Oxford University Press.
- Brown, B. (2017). Düşünceler ve Düşünme Yolları: Kaynak Teorisi ve Uygulamaları. Londra: Ubiquity Press . [1] .
- Hendricks, VF (2001). Bilimsel Bilginin Yakınsaması: Sınırdan Bir Bakış. Dordrect: Kluwer Academic Publishers.
- Hendricks, VF (2006). Yaygın ve Biçimsel Epistemoloji. New York: Cambridge University Press.
- Hendricks, VF (ed.) (2006). “Ana Akım ve Biçimsel Epistemoloji Arasında 8 Köprü” üzerine özel sayı, Felsefi Çalışmalar.
- Hendricks, VF (ed.) (2006). "Ways of Worlds I-II" özel sayısı, Studia Logica.
- Hendricks, VF ve Pritchard, D. (editörler) (2006). Epistemolojide Yeni Dalgalar. Aldershot: Ashgate.
- Hendricks, VF ve Symons, J. (editörler) (2005). Biçimsel Felsefe. New York: Otomatik Basın / VIP . [2]
- Hendricks, VF ve Symons, J. (editörler) (2006). Biçimsel Felsefe Kitleleri. New York: Otomatik Basın / VIP. [3]
- Hendricks, VF ve Hansen, PG (editörler) (2007). Oyun Teorisi: 5 Soru. New York: Otomatik Basın / VIP. [4]
- Hendricks, VF ve Symons, J. (2006). Epistemik Mantık. Stanford Felsefe Ansiklopedisi, Stanford. CA: ABD.
- Wolpert, DH, (1996) Öğrenme algoritmaları arasında önsel ayrımların olmaması, Neural Computation, s. 1341-1390.
- Wolpert, DH, (1996) Öğrenme algoritmaları arasında önsel ayrımların varlığı, Neural Computation, s. 1391-1420.
- Wolpert, DH, (2001) Fiziksel sistemlerin hesaplama yetenekleri. Fiziksel İnceleme E, 65 (016128).
- Zhu, HY ve R. Rohwer, (1996) Çapraz doğrulama için bedava öğle yemeği yok, s. 1421-1426.
Dış bağlantılar
- Weisberg, Jonathan. "Biçimsel Epistemoloji" . Gelen Zalta, Edward N. (ed.). Stanford Felsefe Ansiklopedisi .
- Biçimsel epistemoloji de Indiana Felsefe Ontoloji Projesi
- Biçimsel epistemoloji de PhilPapers
- Biçimsel Epistemoloji Çalıştayı
- Biçimsel Epistemoloji Deneysel Felsefe Atölyesi ile Buluşuyor
- Biçimsel Epistemoloji Arşivi
- Mantık ve Biçimsel Epistemolojide Carnegie Mellon Yaz Okulu
- Biçimsel Felsefe
- Formal Epistemology , ücretsiz bir çevrimiçi dergi.
- Mantıkçı
- Biçimsel Epistemoloji Projesi
- Carnegie Mellon Biçimsel Epistemoloji Merkezi
- Biçimsel Epistemoloji
- Biçimsel epistemoloji ve Mantık