Tümdengelim ve Tümevarım iki mantıksal terimdir. Tümdengelim ve Tümevarım, iki tür mantıksal akıl yürütme veya çıkarımdır. Mantıksal akıl yürütme, öncül veya öncüller arasındaki ilişki tarafından bir sonuca varılan yöntemleri ifade eder (öncüller, daha fazla akıl yürütme veya sorgulamaya yardımcı olan önceki ifadeler anlamına gelir). Kanıt ve muhakeme temelinde, her iki yöntem de yürütülür. Her iki yöntem de sonuçlarını gerçekler, tanımlar, gözlemler, analizler vb. temelinde mantıksal argümanla sonuçlandırmaktadır.
Tümdengelim ve İndüksiyon
Tümdengelim ve Tümevarım arasındaki fark, tümdengelimin mevcut teorinin genelleştirilmesi temelinde karar verilmesidir. Oysa tümevarım, daha fazla gözlem için yeni ortaya çıkan teoriyi amaçlar. Tümdengelim, sonucun çıkarıldığı mevcut kaynaklara veya teorilere bağlıdır ve diğer yandan, tümevarım, yeni kaynakların gözlemlerine dayanarak sonucu çıkarmak için yeni ortaya çıkan kaynaklara ve teorilere bağlıdır.
Tümdengelim, sonucunu sonuçlandırmak için daha fazla gözlem süreci için mevcut teoriyi genelleştirme sürecini ifade eder. Tümdengelimde, var olan fikrin sonuca vardığı gözlenir. Tümdengelimdeki sonuç, öncüllerden daha genel olamaz.
Öte yandan, tümevarım, yeni ortaya çıkan gerçekler, teoriler, gözlemler vb. temelinde bir sonuca varma sürecini ifade eder. Tümevarımda, önce gözlemler alınır ve bu gözlemlere dayanarak daha fazla analiz yapılır ve dolayısıyla, teoriyi alırız. Tümevarımda sonuç her zaman öncüllerden daha geneldir.
Tümdengelim ve Tümevarım Arasındaki Karşılaştırma Tablosu
| Karşılaştırma Parametreleri | kesinti | indüksiyon |
| Tanım | Tümdengelim, sonucu yürütmek için daha fazla gözlem için mevcut teoriyi genelleştirme yöntemini ifade eder. | Tümevarım, sonucunu yeni ortaya çıkan teorilerin yardımıyla yürütme yöntemini ifade eder. |
| Tesisler | Sonuç, sonuçlar için öncülü takip eder | Sonuç, sonuçların öncüllerini takip etmeyebilir |
| Bilgi | Mevcut teoriye dayandığı için yeni bir bilgi vermez. | Yeni ortaya çıkan teoriye dayandığı için yeni bilgiler verir. |
| İşlem | Kesintide sonuç yürütme süreci hızlıdır | Tümevarımda sonucu yürütme süreci yavaştır |
| Bağımlılık | Mevcut kaynaklara ve teorilere bağlıdır. | Yeni kaynaklara veya teorilere bağlıdır. |
| bağlantı | Kesinti biçimsel mantıkla ilişkilidir | Tümevarım gayri resmi mantıkla ilişkilidir |
| Yöntem | Kesinti bir doğrulama yöntemidir | Tümevarım bir keşif yöntemidir |
Kesinti nedir?
Kesinti, sonucu öncüllerin yardımıyla yürütmek için yapılan mantıklı bir argümandır. Tümdengelim, tümdengelimli çıkarım veya akıl yürütme olarak da bilinir. Tümdengelimli çıkarımda, sonuç öncüllerden daha genel olamaz.
Tümdengelimli akıl yürütme genelden özele doğru hareket eder. Tümdengelim öncülleri doğruysa, sonucun doğru olduğu söylenir. Tümdengelim, tümdengelimli çıkarım veya akıl yürütme olarak da bilinir. Genel olarak, tümdengelimli çıkarım yalnızca biçimsel gerçeği amaçlar. Tümdengelimli çıkarımda, sonuç zorunlu olarak öncüllerden çıkar. Dolayısıyla, geçerli bir tümdengelimli çıkarımda, eğer öncüller doğruysa, sonuç da doğru olmalıdır.
Tümdengelimli akıl yürütme örneği –
1. Bütün köpekler havlar.
2. Bob bir köpektir.
3. Bu nedenle Bob havlar.
İndüksiyon nedir?
Tümevarım, yeni ortaya çıkan teoriler temelinde yapılan mantıksal argümanı ifade eder. Tümevarım, yaygın olarak tümevarımsal çıkarım olarak da bilinir. Tümevarımsal çıkarımda sonuç her zaman öncüllerden daha geneldir.
Tümevarımsal çıkarımda, belirli konumlardan genel bir konuma geçiyoruz. Öncüller aslında doğrudur. Tümevarım hem biçimsel hem de maddi gerçeği hedefler. Sonuç mutlaka öncülleri takip etmez. Bu nedenle, tümevarımın öncülleri doğru olabilir, ancak sonuç yanlış olabilir.
Endüktif Çıkarım Örneği - Çantadan çektiğim madeni para iki rupilik bir madeni para.
Tümdengelim ve Tümevarım Arasındaki Temel Farklılıklar
Çözüm
Tümdengelim ve Tümevarım iki tür akıl yürütmedir. Tümdengelimli çıkarım veya akıl yürütme ve Tümevarımsal çıkarım veya akıl yürütme olarak da bilinirler. Tümdengelimli çıkarım, mevcut bazı tezlerin yardımıyla mantıksal sonucu elde ettiğimiz sistemi ifade eder. Diğer yandan, Tümevarımsal çıkarım, yeni ortaya çıkan bir tez temelinde yapılan mantıksal argümanı ifade eder. Tümdengelimli çıkarım biçimsel mantıkla ilişkilidir ve aynı zamanda biçimsel gerçeği amaçlar. Endüktif çıkarım, resmi olmayan mantıkla ilişkilidir ve ayrıca hem resmi hem de maddi gerçeği amaçlar.
Tümdengelim veya Tümdengelimli çıkarım aynı zamanda doğrulama yöntemi olarak da bilinir, çünkü bildiğimiz gibi tümdengelimli çıkarım eski veya mevcut kanıtlar temelinde çalışır ve bu nedenle gözlem sırasında daha fazla doğrulanır ve bu nedenle sonucu buluruz. Oysa, Tümevarım veya Endüktif çıkarım, yeni kanıt kümeleri keşfettiğimiz ve sonuca ulaşmak için bunları daha fazla analiz ettiğimiz keşif yöntemi olarak bilinir.
