Tümdengelim Nedir?
Tümdengelim, genel bir ilke ya da öncülden yola çıkarak özel ve zorunlu bir sonuca ulaşan akıl yürütme yöntemidir; öncüller doğruysa sonuç da kesinlikle doğrudur.
Tümdengelim Nedir?
Tümdengelim nedir sorusu, mantığın en güçlü akıl yürütme biçimlerinden birini tanımlar. Tümdengelim, genel bir önerme ya da ilkeden yola çıkarak özel bir sonuca varma yöntemidir. Bu çıkarımın en belirgin özelliği, öncüller doğru olduğunda sonucun zorunlu olarak doğru olmasıdır. Klasik örnek şudur: "Bütün insanlar ölümlüdür. Sokrates bir insandır. Öyleyse Sokrates ölümlüdür." Burada genel bir kuraldan özel bir duruma kesin bir sonuç çıkarılmaktadır.
Tümdengelim, Aristoteles'in kıyas (silojizm) kuramıyla sistemleştirilmiştir ve matematiğin, mantığın temelini oluşturur. Bu yöntemde sonuç, öncüllerde zaten örtük olarak bulunur; çıkarım bu örtük bilgiyi açık hâle getirir. Bu nedenle tümdengelim, bilgiyi genişletmekten çok, var olan bilgiyi açımlar.
Özellikleri ve Örnekleri
Tümdengelimsel çıkarımın değerlendirilmesinde iki kavram önemlidir: geçerlilik ve doğruluk.
- Geçerlilik: Öncüllerden sonuca geçişin biçimsel olarak doğru olması. Geçerli bir çıkarımda öncüller doğruysa sonuç da doğru olmak zorundadır.
- Doğruluk: Öncüllerin içerik olarak gerçeğe uygun olması.
- Örnek (kıyas): "Bütün metaller iletkendir. Bakır bir metaldir. Öyleyse bakır iletkendir."
Bir çıkarım geçerli olduğu hâlde öncülleri yanlışsa, sonucu da yanlış olabilir; bu durumda çıkarım geçerlidir ama sağlam (güvenilir) değildir. Sağlam bir tümdengelim hem geçerli hem de öncülleri doğru olan çıkarımdır. Tümdengelim, kesinliği nedeniyle matematik ispatlarında, hukuki akıl yürütmelerde ve felsefi argümanlarda yaygın olarak kullanılır. Ancak yeni bilgi üretme gücü tümevarıma göre sınırlıdır; çünkü sonuç, öncüllerde zaten içerilmektedir.
Sıkça Sorulan Sorular
Geçerli bir tümdengelim her zaman doğru sonuç verir mi?
Hayır. Geçerlilik yalnızca biçimsel doğruluğu, yani öncüllerden sonuca geçişin kurallara uygunluğunu garanti eder. Eğer öncüller içerik olarak yanlışsa, geçerli bir çıkarımda bile sonuç yanlış olabilir.
Kıyas (silojizm) nedir?
Kıyas, iki öncül ve bir sonuçtan oluşan klasik tümdengelimsel akıl yürütme biçimidir. Aristoteles tarafından sistemleştirilmiştir ve büyük öncül, küçük öncül ile sonuç şeklinde üç önermeden oluşur.
Tümdengelim yeni bilgi üretir mi?
Tümdengelim, sonucu öncüllerde zaten örtük olarak bulundurduğu için yeni bilgi üretmez; var olan bilgiyi açık hâle getirir. Yeni gözlemsel bilgi üretmek tümevarımın işidir.