Doğrulama ve Tümevarım
Doğrulama ve tümevarım, gözlemsel kanıtların genel bilimsel hipotezleri rasyonel olarak nasıl ve ne ölçüde destekleyebileceği konularını ele almaktadır.
Tanım
Doğrulama, kanıtın bir hipotezin güvenilirliğini artırdığı ilişkidir; tümevarım ise gözlemlenen durumlardan gözlemlenmeyen durumlara veya genel yasalara yapılan çıkarımdır. Merkezi felsefi görev, bu tür çıkarımı yöneten ilkeleri açıkça ifade etmek ve gerekçelendirmektir.
Kapsam
Bu kapsam, Hume'un tümevarım sorununu, doğrulamanın nitel ve olasılıksal kuramlarını, başlıca paradoksları (kargalar paradoksu ve tümevarımın yeni bilmecesi), kanıtsal desteğe yönelik Bayesçi yaklaşımları ve verilerle kuramın eksik belirlenmesini (underdetermination) içermektedir. Kanıtın mantığını, 'doğrulama'nın anlamını ve tümevarımsal çıkarımın rasyonelliğini ele almaktadır.
Alt konular
Temel sorular
- Tümevarımsal çıkarım, döngüsellik olmaksızın rasyonel olarak gerekçelendirilebilir mi?
- Kanıtın bir hipotezi doğrulaması ne anlama gelmektedir?
- Kargalar paradoksu ve Goodman'ın 'grue' kavramı, doğrulamanın sentaktik kuramlarını neden zorlamaktadır?
- Bayesçi olasılık, kanıtsal destek için yeterli bir kuram sunmakta mıdır?
- Kuram seçimi, tüm olası kanıtlarla eksik belirlenmiş (underdetermined) midir?
Anahtar kavramlar
- tümevarım
- doğrulama
- inanç derecesi
- koşullandırma
- grue
- kargalar paradoksu
- eksik belirlenme (underdetermination)
Temel kuramlar
- Hipotezci-dedüktif ve örnek doğrulama
- Hempel, bir hipotezin olumlu örnekleri ve ondan türetilebilen kanıtlarla doğrulandığı bir doğrulama mantığı geliştirmektedir.
- Mantıksal (tümevarımsal) olasılık
- Carnap, doğrulamayı, kanıtın bir hipotezi ne ölçüde desteklediğini nicelendiren mantıksal bir olasılık ölçütüne dayandırmayı amaçlamaktadır.
- Bayesçi doğrulama
- Bayesçi yaklaşıma göre, kanıt bir hipotezi, koşullu olasılığını artırdığında doğrular ve inanç koşullandırma yoluyla revize edilir.
- Yanlışlanabilirlik (Falsificationism)
- Popper, kuramların hiçbir zaman doğrulanmadığını savunmakta, bunun yerine bilimin cesur varsayımları yanlışlamaya çalışarak ilerlediğini öne sürmektedir.
Tarihçe
Hume'un on sekizinci yüzyıldaki tümevarım eleştirisi gündemi belirlemiştir. Yirminci yüzyıl mantıksal ampiristleri (Hempel, Carnap), doğrulamanın biçimsel bir mantığını aramışlardır; Goodman'ın 1955 tarihli 'yeni bilmecesi' ve Hempel'in kargalar paradoksu bunun sınırlarını ortaya koyarken, Popper alternatif olarak yanlışlanabilirlik (falsificationism) ilkesini sunmuştur. 1960'lardan itibaren Bayesçi doğrulama kuramı, baskın olasılıksal çerçeve haline gelmiştir.
Tartışmalar
- Tümevarım rasyonel olarak gerekçelendirilebilir mi?
- Hume, tümevarımın herhangi bir gerekçelendirmesinin ya döngüsel ya da soruyu baştan varsayan (question-begging) olduğunu savunmaktadır; yanıtlar, Popper'ın tümevarımı reddetmesinden Bayesçi ve pragmatik haklı çıkarmalara kadar uzanmaktadır.
- Mantıksal ve öznel olasılık
- Carnap'ın programı, doğrulamayı nesnel mantıksal olasılık olarak ele alırken, Bayesçiler olasılıkları genellikle rasyonel inanç dereceleri olarak yorumlamaktadır.
Öne çıkan isimler
- David Hume
- Carl Hempel
- Nelson Goodman
- Rudolf Carnap
- Karl Popper
- Thomas Bayes
İlgili konular
Temel eserler
- hume1748
- hempel1945
- goodman1955
- carnap1950
Sıkça sorulan sorular
- Tümevarım sorunu tek bir cümlede nedir?
- Gözlemlenmeyen durumların gözlemlenenlere benzeyeceği çıkarımını nasıl gerekçelendirebileceğimiz sorusudur; zira bu tür bir çıkarım, kurmaya çalıştığı doğanın tekdüzeliğini baştan varsayıyor gibi görünmektedir.