Yanlışlanabilirlik

Bir önerme, hipotez, ya da teori; özünde yanlış olduğunun kanıtlanabilme ihtimali varsa; yanlışlanabilirdir. Bir yargıyı geçersiz kılacak herhangi bir gözlem yapmak, ya da argüman sunmak mümkünse bu yargı yanlışanabilirdir. Bu anlamda, yanlışlamak ile geçersiz kılmak eş anlamıdır. Bilimsel bir önerme yanlışlanabilme özelliği barındırır. Yanlışlanabilirlik ilkesi, bilim ile bilim dışı olanı, bilgi ile inancı ayırmak için kullanılır.
Örneğin, "Bütün kuğular beyazdır" evrensel genellemesi, tek bir siyah kuğu gözlenerek yanlışlanması mantıksal olarak mümkün olduğundan, yanlışlanabilirdir. Bu sebeple yanlışlanabilirlik bazı durumlarda sınanabilirlik ile eş anlamlı olarak kullanılır. Bazı önermeler ise, örneğin "Bir milyon yıl boyunca burada yağmur yağacak" önermesi teoride yanlışlanabilir olsa da pratikte öyle değildir.
Yanlışlanabilirlik ilkesi bilim felsefecisi Karl Popper'ın bilim epistomolojisi olan "yanlışlamacılık" ile dikkat kazandı. Popper, ayrım sorununu vurguladı—bilimsel olmayanı bilimden ayırma sorunu—ve yanlışlanabilirlik ilkesini bir ayrım kriteri haline getirdi; böylece, yanlışlanamayan yargılar bilim dışı olarak, yanlışlanamayan bir teorinin bilimsel olarak doğru ilan edilmesi de sözdebilimin uygulaması olarak sınıflandırıldı.

Genel bakış

Bilim felsefesinin klasik görüşü, "Tüm kuğular beyazdır" gibi hipotezleri kanıtlamak ya da gözlemsel verilerden tümevarmaktır. Tümevarım birtakım birbirinden ayrı durumdan tek bir genel sonuç çıkarılması olduğundan bu tümdengelimsel mantığa göre kabul edilemezdir. Eğer beyaz olmayan bir kuğu bile bulunsa, tümdengelimsel mantığa göre "Tüm kuğular beyazdır." yargısının yanlışlığı kanıtlanır. Yanlışlamacılık, bu sebeple hipotezleri kanıtlamaya çalışmak yerine sorgulamaya, yanlışlamaya çalışır.
Gözlem kullanılarak sorgulanacak bir önermenin, en azından teorik olarak gözlemlenebilme özelliğine sahip olması gerekir. Yanlışlamacılığın anahtarı; gözlemlenebilme özelliğine sahip önermeleri, gözlemlenebilme özelliğine sahip olmayan önermelerden ayırma kriterine olan ihtiyaçtır (Chorlton, 2012). Popper bu kriter için "yanlışlanabilirlik" sözcüğünü seçti. 
Popper bazı yanlışlanamaz önermelerin bilim için önemli olduğunu vurguladı. Genel kanının aksine, yanlışlanamaz önermeler yanlışlanabilir teorilerde bulunabilir. Örneğin, "Tüm insanlar ölümlüdür." yargısı yanlışlanamazken, bu yargı, "Tüm insanlar 150 yaşına gelmeden ölür." yanlışlanabilir yargısının bir çıkarımıdır. Benzer şekilde, atomun varlığının eski metafiziki ve yanlışlanamaz fikri, yanlışlanabilir modern teorilere yol açmıştır. Popper bu tür yanlışlanamaz düşünceleri adlandırmak için "araştırma programı" kavramını kullandı. Önermelerin, eğer doğrulanamaz ya da yanlışlanamazsa, anlamsız olduğu düşüncesini barındıran pozitivizme karşılık, Popper ampirik olarak aksini ıspatlama işinin kuramları eleştirmenin en verimli yolu olduğunu kabul etse de, yanlışlanabilirliğin, daha genel bir kavram olan eleştirilebilirliğin özel bir durumu olduğu görüşünü öne sürdü. Eleştirebilirlik, yanlışlanabilirliğe ve rasyonelliğe karşılık kapsamlı olabilir (örn. mantıksal olarak limitsiz), yine de bu iddia Popper'ın felsefesinin ve eleştirel rasyonalizminin savunucuları arasında bile tartışmalıdır.

İki tip önerme: gözlemsel ve kategorik

1930'ların başındaki çalışmasında Karl Popper, yanlışlanabilirlik ilkesine ampirik önermelerin ayırıcı özelliği olarak yeni bir önem kazandırdı. Popper, 2 tip önermenin bilim insanları için değerli olduğunu fark etti:
İlki, "Beyaz bir kuğu var." gibi gözlem ifadeleridir. Mantıkçılar bu tür önermeleri, belirli bir şeyin varlığını ileri sürdüklerinden tekil varoluşsal önermeler olarak adlandırırlar. Bu ifadeler birinci dereceden mantık ile şu formda eş değerdir: X'in kuğu olduğu, ve x'in beyaz olduğu bir x vardır.
İkincisi, "Tüm kuğular beyazdır." gibi, bir şeyin tüm durumlarını kategorize eden ifadelerdir. Mantık bilimcileri bu önermeleri evrensel niceleme olarak adlandırırlar. Bunlar genellikle şu formda çözümlenir: Tüm x'ler için, eğer x kuğuysa, x beyazdır. Bilimsel kanunlar genellikle bu tipten sayılır. Bilimsel yöntemde karşılaşılan zor bir soru şudur: Gözlemlerden yasalara nasıl geçiş yapılır? Belli bir sayıdaki önermeden nasıl geçerli evrensel bir önerme çıkarabiliriz?
Tümevarımcı metodoloji birtakım tekil varoluşsal önermelerden evrensel bir önermeye varılabileceğini varsayar. Bu, "Bu kuğu beyazdır.", "Bu kuğu beyazdır.", gibi önermelerden "Tüm kuğular beyazdır."  evrensel önermesi çıkarılmasıdır. Bu yöntem beyaz olmayan bir kuğunun gözlemden sıyrılmış olabileceği ihtimali her zaman var olduğundan, tümdengelimsel olarak geçerli değildir (gerçekte siyah kuğuların varlığının keşfi bu önermenin geçersiz olduğunu ıspatladı).

Yanlışlamacılık

Naif yanlışlamacılık, bilim için mantıksal olarak kaçınılmaz olan metodun başarısız bir açıklamasıdır. Öte yandan, sofistike metodolojik yanlışlama, bilim adamlarının bir tercih meselesi olarak davranmaları gerektiği yolun yönergesidir. Bunun amacı, bilimsel kuramların yanlış önermeleri eleyip giderek iyiye gittiği aşamalı bir işleme ulaşmaktır.
Naif yanlışlama bilimsel önermeleri tek tek ele alır. Bilimsel kuramlar bu tür ifadelerden oluşan gruplardan oluşur ve bu gruplar bilim insanları tarafından kabul edilmeli ya da reddedilmelidir. Bilimsel kuramlar, ad hoc hipotezlerinin eklenmesiyle daima savunulabilir. Popper'ın belirttiği gibi, bilim insanının bir kuramı oluşturabilecek veya onu yanlışlayabilecek ifadeleri kabul ya da reddetmesi yönünde bir karar alması gereklidir. Bazı noktalarda, ad hoc hipotezlerinin ağırlığı ve kuramı yanlışladığı için göz ardı edilen gözlemlerin çokluğu yüzünden, artık temel kuramı desteklemek mantıksız hale gelecek ve reddetmek için bir karar alınacaktır.
Naif yanlışlamanın yerine, Popper; bilimin ilerleyişinin, yanlışlanmış önermeler değil de, yanlışlanmış kuramların peş peşe reddedilmesi olduğunu düşünüyordu. Yanlışlanmış kuramlar, kendilerini yanlışlayan fenomenin de hesaba katılmasıyla ortaya koyulan, açıklama gücü daha büyük kuramlarla yer değiştirir. Örneğin Aristoteles'in mekaniği günlük durumların gözlemlenmesiyle açıklandı, fakat Galileo'nun deneyleriyle yanlışlandı, sonucunda Galileo ve diğerlerinin notlarının hesaba katılmasıyla oluşturulan Newton mekaniği ile değiştirildi. Newton mekaniği gezegenlerin gözlemlenen hareketlerini ve gazların mekaniğini içeriyordu. Young'un ışığın dalga teorisi, Newton'un ışığın parçacıkları teorisinin yerini aldı, fakat Michelson-Morley deneyi ile yanlışlanmasıyla yerini Maxwell'in elektrodinamiği ve Einstein'ın özel görelilik teorisi aldı. Ayrıca Newton mekaniği morötesi felaketine, Gibbs Paradoksu'na, ya da elektronların neden enerjilerini kaybedip atoma çakılmadıklarını açıklayamayınca yerini kuantum mekaniği aldı. Böylelikle yeni kuram; enerji seviyeleri, kuantum, ve Heisenberg'in belirsizlik ilkesi gibi konseptleri yerleştirmek durumunda kaldı.
Her evrede, deneysel gözlem bir kuramı savunulmaz kıldı (örn. yanlışladı) ve yeni kuram eskisinden daha geniş bir açıklayıcı güce kavuştu (örn. önceki zamanlarda açıklanamayan durumları açıklayabildi), ve sonuç olarak, yanlışlanması insanlığa daha büyük bir fayda sağladı.

Ayrım kriteri

Yanlışlanabilirliğin ayrım kriteri olarak kullanılması bilimsel olan ile bilimsel olmayan arasına kesin bir çizgi çizer. Bir ifade ya da kuramın yanlışlanabilir olup olmadığını bilmek, kuramı değerlendirebilmenin yollarını anlamamızı sağladığından yararlıdır. En azından, kanıtlanabilir olmayan bir teoriyi yanlışlamaya kalkışmaktan ya da yanlışlanamaz bir teoriyi desteklenebilir olarak görmeye çalışmaktan kurtulunabilir. Bir teori, ya da önerme, yanlışlanabilirlik özelliğine sahipse bilimseldir.
Popperci kriter bilimin sınırlarından yanlışlanamayan önermeleri hariç tutmaz, yanlışlanabilir hiçbir önerme içermeyen teorileri hariç tutar. Popper'ın yanlışlamacılığı, sadece doğrulamacılığa bir alternatif değil, hem de önceki kuramların göz ardı ettiği kavramsal ayrımların onayıdır.

Doğrulamacılık

Bilim felsefesinde doğrulamacılık (doğrulanabilirlik olarak da bilinir), bir önermenin anlamlı ve bilimsel olması için ampirik olarak doğrulanabilir olması gerektiğidir. Bu, Moritz Schlick, Rudolf Carnap, Otto Neurath, Hans Reichenbach, A.J. Ayer gibi filozofları içeren Viyana Çevresi'nin mantıksal pozitivizminin temel özelliğidir. Popper noticed that the philosophers of the Vienna Circle had mixed two different problems, that of meaning and that of demarcation, and had proposed in verificationism a single solution to both. Popper, Viyana Çevresi filozoflarının iki problemi (anlam ile ayrım) birleştirdiğini ve doğrulamacılığı çözüm olarak ikisine de sunduklarını fark etti. In opposition to this view, Popper emphasized that there are meaningful theories that are not scientific, and that, accordingly, a criterion of meaningfulness does not coincide with a criterion of demarcation. Bu görüşe karşılık olarak Popper bilimsel olmayan anlamlı teorilerin bulunduğunu ve buna göre anlamlılığın kriterinin ayrım kriteri ile çakışmadığını vurguladı.
Böylece Popper, ayrım kriteri olarak, doğrulanabilirliğin, yanlışlanabilirlik ile değiştirilmesi yönünde çağrıda bulundu.

Mahkemelerde kullanımı

1982 yılında McLean'a karşı Arkansas davasında Yargıç William Overton, yanlışlanabilirliği ve diğer birkaç kriteri kullanarak sözde "yaratılış bilimi"nin bilimsel olmadığını saptayarak Arkansas devlet okullarında bilim olarak öğretilmemesi gerektiğine vardı. Argüman, filozof Michael Ruse'un bilimi açıklayıcı, sınanabilir, dinamik ve yanlışlanabilir yapan karakteristikleri tanımlamasıyla öne sürüldü. Bu kriterlere dayalı çıkarımında Yargıç Overton, herkesin bilimsel bir araştırmaya istediği şekilde yaklaşabileceğini, fakat eğer sonuç ile başlayıp bunu araştırma süresince her ne kadar kanıt sunulsa da değiştirmeyi reddedenlerin, bu metodlarını bilimsel olarak sınıflandıramayacağını belirtti.
Amerika Birleşik Devletleri kanunları, yanlışlanabilirlik ilkesini; ABD Yüksek Mahkemesi'nin bilimsel delillerin jüri yargısına kabul edilip edilemeyeceğini belirleyen Daubert Standardının bir parçası olarak benimsedi.