Doğrulama Paradoksları
Doğrulama paradoksları, sezgisel olarak makul görünen kanıtsal destek ilkelerinin absürt veya keyfi sonuçlara yol açtığını gösteren bilmecelerdir.
Tanım
Doğrulama paradoksları, doğrulama ilişkisi üzerindeki yaygın kabul görmüş koşulların, yeşil bir elmanın tüm kargaların siyah olduğunu doğrulaması veya aynı kanıtın birbiriyle bağdaşmayan yüklemleri desteklemesi gibi sezgiye aykırı sonuçlar doğurduğu durumlardır.
Kapsam
Bu konu, denklik ve Nicod koşullarından kaynaklanan Hempel'in karga paradoksunu ve doğrulamanın tamamen sentaktik bir ilişki olamayacağını gösteren Goodman'ın yeni tümevarım bilmecesini ('grue') kapsamaktadır. Bayesian ilgili yaklaşımlar ve Goodman'ın yerleşikliğe (entrenchment) başvurusu dahil olmak üzere önerilen çözümleri ele almaktadır.
Temel sorular
- Siyah olmayan, karga olmayan bir şeyi gözlemlemek neden tüm kargaların siyah olduğunu doğrular gibi görünmektedir?
- Doğrulamayı cümleler arasındaki sentaktik bir ilişki olarak ele almakta yanlış olan nedir?
- 'Grue' tüm düzenliliklerin yansıtılabilir (projectible) olmadığını nasıl göstermektedir?
- Olasılıksal veya pragmatik yaklaşımlar bu paradoksları çözebilir mi?
Anahtar kavramlar
- Nicod kriteri
- denklik koşulu
- yansıtılabilirlik (projectibility)
- grue
- yerleşiklik (entrenchment)
Temel kuramlar
- Karga paradoksu
- Hempel, denklik ve örnek koşullarının, siyah olmayan, karga olmayan bir şeyi gözlemlemenin 'tüm kargalar siyahtır' önermesini doğruladığını ima ettiğini ve bunun absürt göründüğünü göstermektedir.
- Yeni tümevarım bilmecesi
- Goodman, 'grue'yi (belirli bir t zamanından önce yeşil, sonra mavi) tanımlamakta ve aynı kanıtın 'tüm zümrütler yeşildir' ve 'tüm zümrütler grue'dir' önermelerini eşit derecede doğruladığını göstermektedir; bu nedenle yansıtılabilirlik (projectibility) sentakstan daha fazlasına bağlı olmalıdır.
Tarihçe
Hempel, karga paradoksunu 1945 tarihli doğrulama mantığı çalışmasında ortaya koymuştur; Goodman ise 'grue' yüklemini 1955'te tanıtmış, tümevarım sorununu hangi yüklemlerin yansıtılabilir (projectible) olduğunu belirleme sorunu olarak yeniden çerçevelemiştir. Her ikisi de herhangi bir doğrulama kuramı için temel referans noktaları olmaya devam etmektedir.
Tartışmalar
- Bayesçi ve sentaktik çözümler
- Bayesçiler, siyah olmayan, karga olmayan bir şeyin hipotezi yalnızca ihmal edilebilir düzeyde doğruladığını, böylece karga paradoksunu niceliksel olarak çözdüğünü savunmaktadır; Goodman'ın bilmecesi ise tamamen biçimsel bir yaklaşıma direnç göstermekte ve yerleşikliğe (entrenchment) başvuruları motive etmektedir.
Öne çıkan isimler
- Carl Hempel
- Nelson Goodman
- Jean Nicod
İlgili konular
Temel eserler
- hempel1945
- goodman1955
Sıkça sorulan sorular
- 'Grue' nedir?
- Goodman, 'grue'yi, gelecekteki bir t zamanından önce incelenip yeşil bulunan veya incelenmeyip mavi olan şeylere uygulanan bir kavram olarak tanımlamaktadır. Geçmişteki yeşil zümrüt gözlemleri hem 'tüm zümrütler yeşildir' hem de 'tüm zümrütler grue'dir' önermelerini doğrulamaktadır; ancak bunlar t zamanından sonra zıt tahminlerde bulunarak doğrulamanın hangi yüklemlerin yansıtılabilir (projectible) olduğuna bağlı olduğunu göstermektedir.