Kanıt karşısında güncelleme

Açılış sahnesi

Bir ürün ekibi yeni bir özelliği yayına alıyor ve ilk haftanın sonunda tek bir kullanıcıdan çökme bildirimi geliyor.

İki mühendis bu bildirime çok farklı tepki veriyor. Birincisi «tek bir vaka hiçbir şey göstermez» diyor ve özelliği olduğu gibi bırakıyor. Ertesi hafta iki bildirim daha geliyor, o da aynı cümleyi tekrarlıyor.

İkinci mühendis bildirimi okur okumaz özelliği geri çekmeyi öneriyor. Ekip aylarca bu iş üzerinde çalışmıştı, ama tek bir mesaj bütün bu emeği durdurmaya yetiyor.

Üçüncü bir mühendis araya giriyor ve iki soru soruyor. Bu bildirim yalnız bozuk bir özellikte mi beklenir, yoksa sağlam bir özellikte de görülebilir mi? Ve kaç bildirim gelirse harekete geçeceğimize önceden karar vermiş miydik?

Odadakiler iki soruya da hayır diyor. Birinci mühendisin kararı hiçbir kanıtla değişmiyor, ikincisininki tek bir kanıtla baştan sona değişiyor. İkisi de aynı veriye bakıyor ve ikisi de veriyi gerçekten kullanmıyor.

Bu derste ne olacak

Önce iki karşıt hatayı ayıracağız. Kanıt geldiğinde hiç kımıldamamak bir kusur, gereğinden çok kımıldamak da bir kusur. İkisi aynı becerinin iki ucunda duruyor.

Sonra bu iki ucun arasını bulan ölçüyü kuracağız. Bir kanıtın ne kadar güncelleme hak ettiğini onun çarpıcılığı belirlemiyor. Belirleyen şey, iki rakip görüşün o kanıttan ne beklediği arasındaki fark.

Ardından bu ölçünün ne zaman yazılması gerektiğine geleceğiz. Kanıt geldikten sonra yazılan bir eşik her zaman kanıta uyacak biçimde kurulabiliyor, bu yüzden de hiçbir şeyi sınamıyor.

Sonda bir kanıtı reddetmenin ne zaman meşru, ne zaman kaçamak olduğunu ayıracağız. İki ret dışarıdan aynı cümleyle söyleniyor ve onları ayıran şey gerekçenin ne zaman ortaya çıktığı.

Merkez soru

Otuz dokuzuncu derste bir iddiaya ne kadar emin olunması gerektiğini, kırk ikinci derste de belirsizliğin nasıl gerekçelendirileceğini çalışmıştık. İkisi de kanaatin derecesiyle ilgiliydi ve o dereceyi durağan bir anda soruyordu.

Bu ders başka bir soru soruyor: yeni bir kanıt geldiğinde o dereceye ne olmalı?

Elli dokuzuncu ders entelektüel tevazuyu iki edimden kurmuştu: sınırı doğru kestirmek ve o kestirimi kanıt geldiğinde güncelleyebilmek. Bu ders ikinci edimi açıyor ve onu uygulanabilir bir işleme çeviriyor.

Ölçülü iddiam şu: bir kanıtın hak ettiği güncelleme, o kanıtın iki rakip görüş altında ne kadar beklendiği arasındaki farktan çıkar ve bu fark kanıttan önce yazılmalıdır.

Sıfır noktası

İlk adım, hatanın tek yönlü değil iki yönlü olduğunu görmek.

Peki ikisinin arasındaki doğru tepki neye göre ölçülür? Bunun için bir kavrama ihtiyacımız var.

Tanımı gündelik bir örnekle açalım. Sabah evden çıkmadan önce yağmur yağıp yağmadığını merak ediyorsun, ama pencereden bakmak yerine iki ipucuna güveniyorsun.

Birinci ipucu, apartmanın girişinde duran ıslak bir şemsiye. Yağmur yağıyorsa bu manzara çok beklenir, yağmıyorsa pek beklenmez. İki beklenti arasındaki fark büyük olduğu için sıradan bir eşya bile kestirimini epey oynatmalı.

İkinci ipucu, sokakta yürüyen insanlar. Yağmur yağsa da yağmasa da sokakta insan olur, yani iki beklenti neredeyse aynı. Kalabalık ne kadar göze batarsa batsın, yağmur konusunda sana hiçbir şey söylemiyor.

Örneğin öğrettiği şu: bir kanıtın ağırlığı kendi içinden gelmiyor. Ağırlık, iki görüşün o kanıt hakkındaki tahminlerinin ne kadar ayrıştığından geliyor.

Bu ölçünün hemen yanında eski bir tehlike duruyor: zihnin tek bir yana saplanması.

Argümanın yapısı

Şimdi iddianın parçalarını sırayla kuralım.

Birinci parça şu: bir kanıt, yalnız senin görüşünle uyumlu olduğu için ağırlık taşımaz. Elli sekizinci dersin ayırıcı sonucu burada geri geliyor, çünkü bir kanıt ancak iki rakip görüş farklı şey beklediğinde bir şey söyler.

Görüşün doğru olsaydı da rakip görüş doğru olsaydı da aynı kanıt beklenirdi diyelim. O zaman kanıtın gelmesi kimseyi haklı çıkarmaz. İki beklenti arasındaki mesafe büyükse küçük bir kanıt bile kestirimi çok değiştirir, mesafe küçükse büyük görünen bir kanıt bile az değiştirir.

İkinci parça, eşiğin ne zaman yazıldığı.

Tersini düşünelim. Kanıt geldikten sonra «bu kadarı beni ikna etmez» ya da «bunu zaten bekliyordum» demek her zaman mümkündür. Çünkü eşik o ana kadar kimseyi bağlamamıştır.

Sonradan yazılan eşik kanıta göre şekillenir ve bu yüzden hiçbir kanıt karşısında gerçek bir güncelleme üretmez. Kestirim hep aynı yerde kalır, kalma nedeni ise her seferinde farklı görünür.

Üçüncü parça, bir kanıtı reddetmenin ne zaman haklı olduğu.

Zamanlama sınaması, dokuzuncu dersteki bağışıklaştırmaya bir tarih koyuyor. Bağışıklaştırma, bir sistemin her itirazı kendi lehine çevirmesiydi. Meşru engelleme bunun tam tersi, çünkü gerekçesi kanıttan bağımsız olarak zaten oradaydı ve kanıta göre uydurulmadı.

Görüşler ve pozisyonlar

Güncellemenin miktarı üzerine üç görüş var.

Birinci görüş her kanıta tam güncelleme öneriyor: yeni bir bilgi geldiğinde kestirim o bilgiye göre baştan kurulmalı.

İkinci görüş tam tersini öneriyor. Kestirim yalnız çok güçlü, neredeyse itiraz edilemez bir kanıt karşısında değişmeli, aksi hâlde sabit kalmalı.

Buna karşılık üçüncü görüş güncellemeyi beklenti farkına bağlıyor ve bu dersin savunduğu yer burası.

Üç konumu yan yana koyalım. Birinci görüş her kanıtı tam ağırlıkta sayıyor, ikinci görüş neredeyse hiçbir kanıtı yeterli saymıyor. Üçüncü görüş ise ağırlığı kanıtın kendisinden, yani beklenti farkından çıkarıyor.

Kanıtı topluca değil tek tek tartma fikrinin eski bir örneği Gazâlî'de var.

En güçlü itiraz

Şimdi bu aletin en tehlikeli açığına bakalım.

İtiraz ciddi ve cevabı iki yerden geliyor.

Birinci cevap şu: önceden yazılan eşik tam da bu tehlikeyi azaltmak için var. Eşik kanıttan önce yazılırsa hesabı yapan kişi kanıtı henüz bilmiyordur ve hesaba kendi arzusunu sızdırma imkânı azalır. Oysa eşik kanıttan sonra yazılırsa, çerçeve de kanıta uyacak biçimde geriye doğru seçilebilir ve itiraz tam gücüyle vurur.

İkinci cevap şu: beklenti farkının çerçeveye bağlı olması onu değersiz kılmıyor, yalnız tek başına yeterli olmadığını gösteriyor.

Açık kalan sorular

Beklenti farkının nasıl adlandırılacağı burada tam çözülmedi. İki kişi aynı kanıta bakıp farkı büyük ya da küçük bulabilir, çünkü bu fark ölçülmüş bir sayı değil, bir kestirim.

Eşiğin ne kadar önceden yazılması gerektiği de açık. Bir dakika önce yazılan eşik ile bir yıl önce yazılan eşik aynı değerde mi, yoksa önemli olan yalnız kanıttan önce olması mı? Bu ders ikisini ayırmadı.

Zamanlama sınamasının her durumda yeterli olup olmadığı da soru işareti taşıyor ve aşağıdaki sahne bu kuşkuyu somutlaştırıyor.

Demek ki sınama gerekli ama yeterli değil: gerekçe kanıtla ilgili de olmalı ve bu ilginin nasıl ölçüleceği açık bir soru.

Yaygın hatalar

Kendin dene

Aklında kalsın

Beş cümlede dersin iskeleti.

Kanıt karşısında iki karşıt hata var: hiç kımıldamamak ve gereğinden çok kımıldamak, ve ikisi aynı beceriksizliğin farklı yüzleri.

Bir kanıtın hak ettiği güncelleme, iki rakip görüşün o kanıttan ne kadar farklı şey beklediğinden çıkar; iki görüşün eşit beklediği bir kanıt hiçbir şeyi oynatmaz.

Eşiği kanıttan önce yazmak bu ölçüyü korumanın en sağlam yolu, çünkü sonradan yazılan eşik her zaman kanıta uyacak biçimde kurulabilir.

Bir kanıtı kaynağı yüzünden reddetmek bazen meşru bazen kaçamak; ayıran şey gerekçenin kanıttan önce mi sonra mı adlandırıldığını soran zamanlama sınaması.

Beklenti farkı çerçeveye bağlı olsa da işe yaramaz değil; yalnız tek başına yetmiyor ve önceden yazılan eşikle desteklenmesi gerekiyor.

Sonraki derse köprü

Bu ders güncellemenin miktarını kanıtın kendisinden çıkardı ve üç araç kurdu: beklenti farkı, önceden yazılan eşik ve zamanlamanın sınanması.

Ama bir soru açılmadı: kanıt tek bir gözlem değil de başka bir kişinin görüşü olduğunda ne değişir?

Bir görüş, bir gözlemden farklı bir ağırlık taşıyor, çünkü arada onu savunan kişi var. O kişinin kim olduğu, ne kadar ısrarlı olduğu ve ne kadar iyi gerekçelendirdiği hesaba giriyor. Güçlü bir karşı görüşle karşılaşmak, tek bir çökme bildirimiyle karşılaşmaktan başka bir şey istiyor.

Sonraki ders bu farkı açıyor: güçlü karşı görüş.