Bayesçi Doğrulama Kuramı
Bayesçi doğrulama kuramı, kanıtsal desteği Bayes teoremiyle güncellenen olasılıklar açısından analiz etmektedir.
Tanım
Bayesçi doğrulama kuramı, bir aracının inanç derecelerinin olasılık aksiyomlarını karşılaması ve koşullandırma yoluyla güncellenmesi gerektiğini savunmaktadır; böylece kanıt, bir hipotezin olasılığını artırdığı takdirde o hipotezi doğrulamaktadır.
Kapsam
Bu konu, doğrulamanın olasılık artırıcı bir açıklaması, önsel olasılıkların ve olabilirliklerin rolü, koşullandırma yoluyla güncellemeyi, Hollanda kitabı (Dutch book) ve yakınsama argümanlarını ve önsel olasılıkların seçimi, eski kanıt problemi ve doğrulama ölçütleri arasındaki anlaşmazlık gibi süregelen sorunları kapsamaktadır.
Temel sorular
- Kanıtın bir hipotezi olasılıksal olarak doğrulaması ne anlama gelmektedir?
- Önsel olasılıklar nasıl atanmalı ve sınırlandırılmalıdır?
- Hollanda kitabı (Dutch book) ve yakınsama argümanları Bayesçi normları haklı çıkarmakta mıdır?
- Zaten bilinen kanıtlar bir kuramı nasıl doğrulayabilir (eski kanıt problemi)?
Anahtar kavramlar
- önsel olasılık
- olabilirlik
- ardıl olasılık
- koşullandırma
- Hollanda kitabı (Dutch book)
- görüşlerin yakınsaması
- eski kanıt problemi
Temel kuramlar
- Olasılıksal doğrulama
- Kanıt E, H hipotezinin E verildiğindeki ardıl olasılığı, olabilirlikler ve önsel olasılıklar aracılığıyla Bayes teoremi üzerinden hesaplanan önsel olasılığını aştığında H hipotezini doğrulamaktadır.
- Öznel Bayesçilik
- Olasılıklar, tutarlı inanç dereceleri olarak yorumlanmaktadır; rasyonellik, olasılık hesabına uygunluğu ve koşullandırma yoluyla güncellemeyi gerektirmektedir.
Tarihçe
Carnap'ın mantıksal olasılığı ve de Finetti'nin öznel olasılığı üzerine inşa edilen Bayesçi doğrulama kuramı, 1960'lardan itibaren baskın olasılıksal çerçeve haline gelmiştir. Howson ve Urbach'ın ders kitabı öznel yaklaşımı kodlamış; Earman'ın 1992 tarihli çalışması ise başarılarını ve çözülememiş zorluklarını ortaya koymuştur.
Tartışmalar
- Önsel olasılıklar problemi
- Eleştirmenler, öznel önsel olasılıkların doğrulamayı keyfi hale getirdiğini ileri sürerken, Bayesçiler önsel olasılıkların kanıtlarla birlikte ortadan kalktığını savunmak için yakınsama teoremlerine ve tutarlılık kısıtlamalarına başvurmaktadır.
Öne çıkan isimler
- Rudolf Carnap
- Colin Howson
- Peter Urbach
- John Earman
- Bruno de Finetti
İlgili konular
Temel eserler
- carnap1950
- howsonurbach2006
- earman1992
Sıkça sorulan sorular
- Eski kanıt problemi nedir?
- Eğer kanıt zaten biliniyorsa, olasılığı 1'dir; bu nedenle, bu kanıt üzerinden koşullandırma yapmak bir hipotezin olasılığını artıramaz. Ancak bilinen gerçekler (genel görelilik için Merkür'ün günberisi gibi) kuramları açıkça doğrulamaktadır, bu da en basit Bayesçi açıklama için bir zorluk teşkil etmektedir.