Paradoks Nedir? Türleri ve En Ünlü Paradoks Örnekleri

Paradoks ne demek?

Paradoks, her biri tek başına makul görünen düşüncelerden hareket edip sezgilerimize ters düşen, hatta kendi kendisiyle çelişen bir sonuca ulaşan akıl yürütmedir. Türk Dil Kurumu sözlüğünde paradoks için üç anlam verilir: "aykırı düşünce", "çelişki" ve felsefe terimi olarak "düşünceler arasında tartışmaya açık, kesin bir yargı içermeyen karşıtlık".^[1]

Kelime, Yunanca "karşı" anlamındaki para ile "kanı, görüş" anlamındaki doxa sözcüklerinden türeyen paradoxos'a dayanır; yani kelimenin ilk anlamı "genel kanıya aykırı olan"dır. Türkçeye Fransızca paradoxe üzerinden geçmiştir.^[1][2] Mantıkçılar 20. yüzyılın başından beri kelimeyi daha dar bir anlamda da kullanır: kabul edilebilir öncüllerden, geçerli görünen adımlarla, kabul edilemez bir sonuca varılması.^[2]

Paradoksları ilginç kılan şey, "Nerede hata yaptık?" sorusunu sordurmalarıdır. Hatanın öncüllerde mi, akıl yürütmede mi, yoksa sezgimizde mi olduğunu bulmak çoğu zaman matematikte, fizikte ve felsefede yeni bir bakış açısı doğurmuştur.

Paradoks, çelişki, oksimoron ve ikilem arasındaki fark

Bu kavramlar günlük dilde birbirinin yerine kullanılabilir, ancak aralarında önemli farklar vardır:

TDK, "çelişki" ile "paradoks"u kısmen eş anlamlı sayar.^[3] Oksimoron ve ikilem tanımları da TDK'ye dayanır;^[4][5] oksimoronun iki kelimelik bir paradoks olarak görülmesi Britannica'nın edebiyat tanımına uygundur.^[6]

Paradoks türleri: Quine'ın sınıflandırması

Amerikalı filozof ve mantıkçı Willard Van Orman Quine, 1962'de Scientific American dergisinde yayımlanan yazısında paradoksları üç gruba ayırır. Yazı daha sonra "The Ways of Paradox" (Paradoksun Yolları) adıyla anılmıştır.^[7]

• Doğrulayıcı (veridical) paradoks: Sonuç ilk bakışta saçma görünür ama aslında doğrudur. Quine'ın örneği, 21 yaşında olduğu hâlde yalnızca beş doğum günü kutlamış olan Frederic'tir: 29 Şubat'ta doğan biri için bu mümkündür. Quine'a göre "kendini tıraş etmeyenleri tıraş eden berber" bilmecesi de bu türdendir; yalnızca böyle bir berberin var olamayacağını kanıtlar.^[7]
• Yanlışlayıcı (falsidical) paradoks: Sonuç hem saçma görünür hem de gerçekten yanlıştır; çünkü "kanıtın" içinde gizli bir hata vardır. Örneğin 2 = 1 olduğunu "kanıtlayan" bir işlem, çoğu zaman bir yerde fark ettirmeden sıfıra bölmeye dayanır.^[7]
• Çatışkı (antinomi): Herkesin kabul ettiği akıl yürütme yollarıyla gerçek bir çelişkiye varılır. Bu tür paradokslar, güvendiğimiz bir düşünme kalıbının gözden geçirilmesi gerektiğini gösterir. TDK de "antinomi"yi "çatışkı" maddesine yönlendirir.^[7][8]

En ünlü paradoks örnekleri

Zenon paradoksları

MÖ 5. yüzyılda yaşamış Elealı Zenon'un paradoksları büyük ölçüde Aristoteles'in aktarımıyla bugüne ulaşmıştır. En bilinenleri şunlardır:^[9]

• İkiye bölme: Bir yere varmak için önce yolun yarısını, sonra kalanın yarısını geçmek gerekir. Bu yarılar sonsuz sayıda olduğuna göre hareket hiç tamamlanamaz gibi görünür.
• Akhilleus ve kaplumbağa: Hızlı koşan Akhilleus, önde başlayan kaplumbağanın bulunduğu yere her vardığında kaplumbağa biraz daha ilerlemiş olur; bu yüzden onu hiç geçemeyecekmiş gibi görünür.

Bugün yaygın kabul gören çözüm, sonsuz sayıda terimi olan bir toplamın sonlu bir değere eşit olabileceğidir: 1/2 + 1/4 + 1/8 + … toplamı 1'dir. Bu fikir 19. yüzyılda matematiksel olarak kesin biçimde temellendirilmiştir.^[9]

Yalancı paradoksu

En yalın hâliyle "Bu cümle yanlıştır." Cümle doğruysa yanlıştır, yanlışsa doğrudur. Bilinen en eski biçimi MÖ 4. yüzyılda Miletli Eubulides'e atfedilir: "Bir adam yalan söylediğini söylüyor. Söylediği doğru mu, yanlış mı?"^[10] "Bütün Giritliler yalancıdır" diyen Giritli Epimenides'in sözü de sık sık bu paradoksla birlikte anılır; ancak bu söz tam anlamıyla bir yalancı paradoksu sayılmaz, çünkü Giritlilerden en az birinin doğru söylemesi durumunda çelişki ortadan kalkar.^[10]

Russell paradoksu

Bertrand Russell 1901'de şu soruyu sordu: "Kendi kendisinin elemanı olmayan bütün kümelerin kümesi" kendi kendisinin elemanı mıdır? Elemanıysa değildir, değilse elemanıdır. Russell bu bulguyu 16 Haziran 1902'de Gottlob Frege'ye mektupla bildirdi. Paradoks, her özellik için bir küme kurulabileceğini söyleyen "naif" küme anlayışının ve Frege'nin sisteminin tutarsız olduğunu gösterdi; modern küme kuramının aksiyomlarla yeniden kurulmasına yol açtı.^[11]

Theseus'un gemisi

Plutarkhos'un anlattığına göre Atinalılar, efsanevi kahraman Theseus'un gemisini yıllar içinde çürüyen tahtalarını tek tek değiştirerek korudu ve gemi, "büyüme" üzerine tartışan filozoflar için bir örnek hâline geldi.^[12] Bütün parçaları değişen gemi hâlâ aynı gemi midir? Thomas Hobbes soruyu daha da zorlaştırmıştır: Sökülen eski tahtalarla ikinci bir gemi yapılırsa hangisi "gerçek" Theseus'un gemisidir?^[13]

Yığın (sorites) paradoksu

Adını Yunanca "yığın" anlamına gelen soros'tan alır ve yine Eubulides'e dayanır. Bir kum tanesi yığın değildir; yığın olmayan bir şeye tek bir tane eklemek onu yığın yapmaz. Bu iki makul öncül, bir milyon kum tanesinin de yığın olmadığı sonucuna götürür. Paradoks "uzun", "kel", "yığın" gibi sınırı belirsiz kavramlarla ilgili temel sorunu gösterir.^[14]

Büyükbaba paradoksu

Zamanda geriye giden biri, anne ya da babası doğmadan önce büyükbabasını öldürürse kendisi hiç doğmamış olur; o hâlde geçmişe gidip bunu nasıl yapmıştır? Felsefeci David Lewis 1976'da, yolcunun bunu "yapabileceğini" söylemenin hangi olguları hesaba kattığımıza bağlı olduğunu, gerçekte ise sıradan bir nedenle başarısız olacağını savunmuştur.^[15]

Olbers paradoksu

Evren sonsuz büyüklükte ve yıldızlarla doluysa, gece gökyüzü neden karanlıktır? Soru Johannes Kepler'e (1610) kadar uzanır ve Heinrich Olbers'in 1823'teki tartışmasıyla bu adı almıştır. Bugünkü açıklamaya göre evrenin yaşı sınırlıdır, evren genişlemektedir ve yıldızlar sınırlı bir süre ışık saçar; bu yüzden çok uzaktaki yıldızların ışığı bize henüz ulaşmamıştır.^[16]

Fermi paradoksu

Fizikçi Enrico Fermi 1950 yazında Los Alamos'ta bir öğle yemeğinde meslektaşlarına "Herkes nerede?" diye sordu.^[17] Paradoks, evrende başka akıllı uygarlıkların bulunma olasılığının yüksek görünmesi ile bunlara dair hiçbir kanıt bulunmaması arasındaki çelişkiyi anlatır.^[18]

Doğum günü paradoksu

Bir odada kaç kişi olmalı ki en az ikisinin doğum günü aynı olsun? Sezgi yüzlerce kişiyi işaret eder, ancak 23 kişilik bir grupta bu olasılık yaklaşık yüzde 50,7'dir (yılın 365 günü eşit olasılıkla, artık yıllar hesaba katılmadan). Olasılığın yüzde 50'yi geçtiği en küçük grup 23 kişidir.^[19] Şaşırtıcı sonuç, karşılaştırılan kişi çiftlerinin sayısının (23 kişide 253 çift) hızla artmasından kaynaklanır. Bu, Quine'ın deyişiyle doğrulayıcı bir paradokstur: tuhaf görünse de doğrudur.

Monty Hall problemi

Üç kapıdan birinin arkasında ödül vardır. Siz bir kapı seçersiniz; sunucu, ödülün nerede olduğunu bilerek kalan kapılardan boş olan birini açar ve size seçiminizi değiştirme hakkı verir. Değiştirirseniz kazanma olasılığınız 2/3, değiştirmezseniz 1/3'tür. Sonuç, sunucunun her seferinde boş bir kapıyı açıp değiştirme teklifini mutlaka yapması varsayımına dayanır. Problem, Marilyn vos Savant'ın 1990'daki köşe yazısıyla geniş kitlelerce tartışılmıştır.^[20]

Simpson paradoksu

İstatistikte, bir grupta görülen bir ilişki, veri alt gruplara bölündüğünde kaybolabilir ya da tersine dönebilir. En çok bilinen örnek, Kaliforniya Üniversitesi Berkeley'in lisansüstü kabul verileridir (Bickel ve arkadaşları, 1975). Olgu ilk kez Pearson (1899) ve Yule (1903) tarafından tarif edilmiş, adını Edward Simpson'ın 1951 tarihli makalesinden almıştır.^[21]

Paradokslar neden önemlidir?

Paradokslar yalnızca zekâ oyunu değildir. Russell paradoksu matematiğin temellerinin yeniden kurulmasını sağladı; Olbers paradoksu evrenin sonsuz ve durağan olmadığı fikrine katkıda bulundu; Simpson paradoksu ise verileri yorumlarken grupların ayrı ayrı incelenmesi gerektiğini hatırlatır. Kısacası bir paradoks, çoğu zaman bilgimizin sınırının nerede olduğunu gösteren bir işarettir.