Tümevarım ve Tümdengelim: Akıl Yürütmeyi Örneklerle Anlama

Öncül, sonuç ve akıl yürütme yönü nasıl ayırt edilir?

Akıl yürütme, bilinen veya kabul edilen önermelerden başka bir önermeye ulaşma işlemidir. Çıkarımın başlangıcındaki önermelere öncül, ulaşılan önermeye sonuç denir. Örneğin, "Bütün memeliler solunum yapar" ve "Kediler memelidir" öncüller; "Kediler solunum yapar" ise sonuçtur.

Tümdengelimde temel ölçüt, sonucun öncüller doğru kabul edildiğinde zorunlu olarak çıkmasıdır. Genelden özele geçiş, bunun yaygın biçimlerinden biridir; tanımın kendisi değildir. Genel bir sınıf, yasa veya kural belirli bir olaya uygulanabilir. Şema şu şekilde gösterilebilir:

Genel önerme + özel durum → zorunlu sonuç

Tümevarımda ise hareket yönü özel gözlemlerden genele doğrudur. Birçok tekil olay, nesne veya deney sonucu ortak bir düzenlilik altında birleştirilir:

Tekil gözlemler → genel önerme veya hipotez

Ancak bu yön, tek başına çıkarımın niteliğini belirlemek için yeterli olmayabilir. Bir metinde genel bir cümle bulunması, yapılan akıl yürütmenin otomatik olarak tümdengelim olduğu anlamına gelmez. Önemli olan, sonucun öncüllerden nasıl elde edildiğidir. Ayrıca benzerlik kurmaya dayalı analoji, ne tümevarımın ne de tümdengelimin basit bir örneği olarak doğrudan sınıflandırılmalıdır; iki durum arasındaki benzerliklerden hareket eder ve ayrı değerlendirilir.

Tümdengelimde kesinlik: geçerlilik ile doğruluk farkı

Tümdengelimsel bir çıkarımın temel özelliği, öncüller doğru ve çıkarımın biçimi geçerliyse sonucun zorunlu olmasıdır. Buradaki "kesinlik", gerçek hayattaki öncüllerin gerçekten doğru olduğu anlamına gelmez; öncüller doğru kabul edildiğinde sonucun onlardan kaçınılmaz biçimde çıkması anlamına gelir.

Örnek:

1. Bütün metaller belirli koşullarda elektrik iletir.
2. Bakır bir metaldir.
3. O hâlde bakır, belirtilen koşullarda elektrik iletir.

Bu yapıda ikinci öncül ilk genel önermenin kapsamına giriyorsa sonuç zorunlu olarak çıkar. Fakat ilk öncül belirsiz veya yanlış kurulmuşsa, biçim doğru görünse bile gerçek sonuç güvenilir olmayabilir.

Bu nedenle iki ayrım yapılmalıdır:

• Geçerlilik: Sonucun, öncüller doğru kabul edildiğinde mantıksal olarak çıkıp çıkmadığıdır.
• Doğruluk: Bir önermenin gerçeğe veya olgusal duruma uygun olup olmadığıdır.

Şu örnek biçimsel olarak geçerlidir: "Bütün kuşlar memelidir. Serçe bir kuştur. O hâlde serçe memelidir." İlk öncül yanlış olsa da çıkarım biçimi geçerli olabilir; bu durumda sonuç öncüllerden mantıksal olarak çıkar, ancak sonucun gerçek dünyadaki doğruluğu ayrıca incelenir. Bu örnekte sonuç, serçelerin memeli olmaması nedeniyle olgusal olarak yanlıştır. Dolayısıyla "tümdengelim sonucu her zaman gerçektir" demek yerine, "doğru öncüllere ve geçerli bir çıkarım biçimine dayanan tümdengelimsel sonuç zorunludur" demek gerekir.

Tümevarımda genelleme gücü neye bağlıdır?

Tümevarım, gözlenen tekil durumlardan gözlenmemiş veya daha geniş bir sınıf hakkında sonuç çıkarır. Bu nedenle tümevarımsal sonuç, öncüllerin içerdiği bilgiyi aşar. Sonuç öncüllerden destek alır, fakat onlardan mantıksal zorunlulukla çıkmaz.

Örneğin, incelenen 100 kuğunun beyaz olması "Bütün kuğular beyazdır" önermesini destekler. Buna rağmen gözlenmeyen bir kuğunun farklı renkte olma ihtimali mantıksal olarak ortadan kalkmaz. Bu yüzden tümevarımsal sonuçlar kesin hükümden çok olasılık, beklenti veya hipotez niteliğindedir.

Bir tümevarımın gücünü değerlendirirken şu ölçütler önemlidir:

• Gözlem sayısı: Tek bir örnekten yapılan genelleme, çok sayıda gözleme göre daha zayıftır.
• Çeşitlilik: Gözlemler farklı koşulları, yerleri veya örnek gruplarını kapsıyorsa genelleme daha anlamlı olabilir.
• Temsil gücü: Seçilen örnekler bütünü temsil etmiyorsa yüksek sayı da yanıltıcı olabilir.
• Karşı örnekler: Genel önermeyi desteklemeyen bir gözlem, genellemenin kapsamını daraltabilir veya onu terk etmeyi gerektirebilir.
• Koşullar: Sonuç yalnızca gözlemlerin yapıldığı koşullarda geçerli olabilir. Bir bitkinin belirli ışık altında hızlı büyümesi, her ışık türünde veya her ortamda aynı sonucun alınacağını göstermez.

Bu nedenle "çok gözlem yapıldı, sonuç kesinleşti" ifadesi dikkatli kullanılmalıdır. Gözlem sayısı güveni artırabilir; ancak tümevarımsal sonuca tümdengelimsel zorunluluk kazandırmaz.

Bilimsel araştırmada gözlemden sınamaya giden zincir

Bilimsel düşünmede tümevarım ve tümdengelim genellikle art arda kullanılır. Araştırmacı önce tekrar eden gözlemlerden bir problem veya hipotez oluşturabilir. Bu aşama tümevarımsal bir yön taşır. Ardından hipotezin doğru olması durumunda belirli koşullarda ne gözlenmesi gerektiğini çıkarır. Bu aşama tümdengelimsel bir tahmindir.

Örnek zincir:

1. Gözlem: Belirli bir ışık spektrumuna maruz bırakılan bazı bitkiler daha hızlı büyümüştür.
2. Hipotez: Bu ışık spektrumu bitki büyümesini hızlandırıyor olabilir.
3. Tümdengelimsel tahmin: Hipotez doğruysa benzer koşullardaki yeni bitki grubunda da büyüme farkı gözlenmelidir.
4. Sınama: Yeni deneyin sonucu tahminle karşılaştırılır.
5. Değerlendirme: Sonuç hipotezi destekleyebilir, hipotezin kapsamını daraltabilir veya hipotezin gözden geçirilmesini gerektirebilir.

Burada tek bir deney sonucu, genel açıklamayı mutlak biçimde kanıtlamaz. Deneyin kontrol koşulları, örneklerin özellikleri ve ölçüm yöntemi gibi unsurlar da dikkate alınmalıdır. Ayrıca bir hipotezin bilimsel olarak anlamlı biçimde ele alınabilmesi için hangi gözlemin onu desteklemeyeceğinin veya yanlışlayacağının belirtilebilmesi önemlidir. Bu nokta yanlışlanabilirlik kavramıyla ilişkilidir. Tümevarım yeni bir açıklama üretmeye yardım ederken, tümdengelim bu açıklamanın sonuçlarını görünür ve sınanabilir hâle getirir.

Çözümlü örnekler: aynı bilgiyi iki farklı yönde kullanmak

Örnek 1 — Tümdengelim

Verilenler:

1. Bütün memeliler solunum yapar.
2. Kedi bir memelidir.

Çözüm adımları:

1. İlk önerme, memeliler sınıfındaki tüm canlılar için genel bir özellik bildirir.
2. İkinci önerme, kediyi bu sınıfın içine yerleştirir.
3. Genel kural kediye uygulandığında "Kedi solunum yapar" sonucu elde edilir.
4. Sonuç, öncüller doğru kabul edildiğinde zorunludur.

Sonuç: Bu çıkarım tümdengelimdir. Bilgi genelden özele taşınmıştır. Buradaki kesinlik, öncüllerin doğruluğu ve çıkarım biçiminin geçerliliği koşuluna bağlıdır.

Örnek 2 — Tümevarım

Verilenler:

1. Birinci incelenen kuğu beyazdır.
2. İkinci incelenen kuğu beyazdır.
3. Farklı bölgelerde incelenen başka kuğular da beyazdır.

Çözüm adımları:

1. Gözlemler tek tek kuğulara aittir.
2. Gözlenen örneklerde ortak bir özellik belirlenir.
3. Bu ortak özellik daha geniş bir sınıfa taşınarak "Kuğular beyazdır" genellemesi yapılır.
4. Ancak incelenmeyen tüm kuğuların da beyaz olduğu mantıksal zorunlulukla gösterilmemiştir.
5. Yeni bir karşı gözlem, genellemenin kapsamını değiştirebilir.

Sonuç: Bu çıkarım tümevarımdır. Gözlemler sonucu destekler, fakat sonuç olasılıklı kalır.

Örnek 3 — Geçersiz tümdengelim biçimi

Verilenler:

1. Bütün köpekler hayvandır.
2. Kedi hayvandır.

Hatalı sonuç: O hâlde kedi köpektir.

Çözüm: İlk önerme, köpeklerin hayvan olduğunu söyler; hayvan olan her varlığın köpek olduğunu söylemez. Sonuç, öncüllerden çıkmadığı için çıkarım biçimi geçersizdir. Bu örnek, doğru görünen öncüllerin yanlış mantıksal bağlantıyla kullanılması hâlinde tümdengelimsel kesinlikten söz edilemeyeceğini gösterir.

Sık yapılan hatalar ve karıştırılan kavramlar

1. Tümevarımı yalnızca "çok örnek saymak" sanmak: Tümevarımda asıl mesele tekil gözlemlerden genel sonuca geçiştir. Örneklerin temsil gücü ve gözlem koşulları da değerlendirilmelidir.

2. Tümdengelimi öncüllerden bağımsız kesin kabul etmek: Tümdengelimsel yapı geçerli olsa bile yanlış öncüller gerçeğe uygun olmayan sonuçlara götürebilir. Kesinlik için hem doğru öncül hem geçerli biçim gerekir.

3. Her genellemeyi tümevarım saymak: Bir cümlenin genel olması yeterli değildir. Genellemenin hangi gözlemlerden çıkarıldığı ve sonuçla öncüller arasındaki ilişki incelenmelidir.

4. Bilimde yalnızca tümevarım kullanıldığını düşünmek: Gözlemlerden hipotez kurma aşamasında tümevarımın rolü öne çıkar; hipotezden özel tahmin çıkarıp deneyle karşılaştırmada tümdengelim kullanılır.

5. Desteklenmeyi kanıtlanmayla karıştırmak: Tümevarımsal gözlemler bir öneriyi destekleyebilir. Bu destek, önerinin tüm olası durumlarda zorunlu olarak doğru olduğunu göstermez.

6. Geçerlilik ve doğruluğu aynı sanmak: Geçerlilik çıkarımın biçimine, doğruluk ise önermenin olgusal durumuna ilişkindir. Bir çıkarım geçerli olduğu hâlde yanlış öncüllere dayanabilir.

7. Karşı örneğin rolünü göz ardı etmek: "Bütün A'lar B'dir" biçimindeki bir genellemede, B olmayan tek bir A örneği genellemenin en azından bu kapsamıyla savunulamayacağını gösterir. Bu, yeni gözlemlerin bilimsel bilgiyi neden değiştirebildiğini açıklar.

8. Analoji ile tümevarımı özdeşleştirmek: Analoji, iki durum arasındaki benzerliklerden başka bir benzerlik hakkında sonuç çıkarır. Benzerlik sayısı ve ilgisi sonucu güçlendirebilir, ancak bu yapı genel bir sınıfa ilişkin tümevarımsal yasa kurmakla aynı değildir.