Tümdengelim kanıtlanmış bir sonuca varmak için verilen bilgileri, binaları veya kabul edilen genel kuralları kullanır. Diğer yandan, endüktif mantık veya akıl yürütme, belirli durumlarda gözlemlenen davranışa dayalı genellemeler yapılmasını içerir. Tümdengelim bağımsız değişkenleri geçerli veya geçersiz. Ancak tümevarımsal mantık, dayandığı mülkler doğru olsa bile sonuçların yanlış olmasına izin verir. Yani tümevarımsal argümanlar güçlü ya da zayıf.
tümdengelimli | tümevarımsal | |
---|---|---|
Giriş (Wikipedia'dan) | Tümdengelimli mantık olarak da adlandırılan tümdengelimli akıl yürütme, mantıksal olarak kesin bir sonuca ulaştığı bilinen bir veya daha fazla genel ifadeden akıl yürütme sürecidir.. | Tümevarım veya aşağıdan yukarıya mantık olarak da adlandırılan tümevarımsal akıl yürütme, belirli örneklerden türetilen genel önermeler oluşturur veya değerlendirir. |
Argümanlar | Tümdengelimli mantıktaki bağımsız değişkenler geçerli veya geçersiz. Geçersiz argümanlar her zaman sağlamdır. Geçerli argümanlar yalnızca temel aldıkları mülkler doğruysa seslidir. | Tümevarımsal muhakemedeki argümanlar güçlü ya da zayıftır. Zayıf argümanlar her zaman tutarsızdır. Güçlü argümanlar yalnızca, dayandıkları mülkler doğruysa ikna edicidir. |
Sonuçların geçerliliği | Tesislerin doğru olduğu biliniyorsa, sonuçların geçerli olduğu kanıtlanabilir.. | Tartışma güçlü ve tesis doğru olsa bile sonuçlar yanlış olabilir. |
Örneğin: Bütün erkekler ölümlüdür. John bir adam. Dolayısıyla John ölümlüdür. Bu, geçerli tümdengelimli akıl yürütmenin bir örneğidir. Öte yandan, tümevarımsal akıl yürütmenin bir örneği: Çoğu erkek sağ elini kullanmaktadır. John bir adam. Bu nedenle John sağ elini kullanmalı. Bu endüktif argümanın gücü, popülasyondaki solak insanların yüzdesine bağlıdır. Her durumda, sonuç geçersiz sayılabilir, çünkü tümevarımsal muhakeme sonuçların geçerliliğini garanti etmez.
Tümdengelimli muhakeme (yukarıdan aşağıya mantık), tümevarımsal muhakemeyle (aşağıdan yukarıya mantık) zıttır ve genellikle mantıksal bir sonuca ulaşmak için bir veya daha fazla genel ifade veya tesisle başlar. Binalar doğruysa, sonuç geçerli olmalıdır. Tümdengelim yankılanması bilim adamları ve matematikçiler tarafından hipotezlerini kanıtlamak için kullanılır.
Tümdengelimli akıl yürütme ile argümanlar geçerli veya geçersiz, sağlıklı veya sağlam olabilir. Mantık doğruysa, yani sonuç tesislerden akarsa, argümanlar geçerlidir. Bununla birlikte, geçerli argümanlar sağlam veya sağlam olabilir. Geçerli bağımsız değişkende kullanılan öncüller doğruysa, bağımsız değişken sağlamdır, aksi takdirde sağlamdır.
Örneğin,
Bu argüman mantıklı ve geçerlidir. Ancak, öncül "Tüm erkeklerin on parmağı vardır." yanlıştır çünkü bazı insanlar 11 parmakla doğar. Bu nedenle, bu sağlam olmayan bir argüman. Tüm geçersiz argümanların da sağlam olmadığını unutmayın.
Tek bir koşullu ifade yapılır ve bir hipotez (P) belirtilir. Sonuç (Q) ifadeden ve hipotezden çıkarılır. Örneğin, bir if-then deyimi biçiminde kopma yasasını kullanarak: (1.) A> 90 ° 'lik bir açı varsa, A geniş bir açıdır. (2.) A = 125 °. (3.) Bu nedenle, A geniş bir açıdır.
Syllogism yasası iki koşullu ifade alır ve bir ifadenin hipotezini bir diğerinin sonucuyla birleştirerek bir sonuç oluşturur. Örneğin, (1.) Frenler arızalanırsa, araç durmaz. (2.) Araç durmazsa, bir kaza olacaktır. (3.) Bu nedenle, frenler arızalanırsa, bir kaza olacaktır.
İlk ifadenin hipotezini ikinci ifadenin sonucuyla birleştirerek nihai ifadeyi çıkardık.
Tümevarımsal muhakeme ya da tümevarım, belirli bir dava ya da davadan muhakeme yapmak ve genel bir kural çıkarmaktır. Bu bilimsel yönteme aykırıdır. Yanlış olabilecek kalıpları gözlemleyerek ve çıkarımlar çizerek genellemeler yapar.
Güçlü argümanlar, öncül doğruysa, sonucun doğru olması muhtemel olanlardır. Tersine, zayıf endüktif argümanlar öyle dayanır ki, dayandıkları mülkler doğru olsa bile yanlış olabilirler..
Eğer argüman güçlü ise ve dayandığı dayanak doğruysa, o zaman bu ikna edici bir argüman olduğu söylenir. Argüman zayıfsa veya içinden aktığı öncül yanlış veya ispatlanmamışsa, argümanın tutarsız olduğu söylenir..
Örneğin, güçlü bir argüman örneği.
Eğer önceki argüman öncülünde # 2 fincanlardan 2'sinin vanilya olsaydı, o zaman tüm fincanların vanilya olduğu sonucu zayıf bir argümana dayanırdı. Her iki durumda da, tüm binalar doğrudur ve sonuç yanlış olabilir, ancak argümanın gücü değişir.
Genelleme, bir örnek hakkındaki öncülden popülasyon hakkında bir sonuca ilerler. Örneğin, (1.) P popülasyonundan bir S numunesi seçilir. S örneğinin Q yüzdesi A özelliğine sahiptir. (2.) Bu nedenle P popülasyonunun Q yüzdesi A özelliğine sahiptir..
İstatistiksel bir syllogism bir genellemeden bir bireyin sonucuna varır. Örneğin, (1.) P popülasyonunun Q oranı A özelliğine sahiptir. (2.) Bir X, P'nin bir üyesidir. (3.) Bu nedenle, X'e karşılık gelen ve X'in A özelliğine sahip olma olasılığı vardır..
Dörtgen ABCD'nin kenarları AB ll CD (paralel) ve kenarlar BC ll AD'dir. Bunun bir paralelkenar olduğunu kanıtlayın. Bunu kanıtlamak için, dörtgen hakkında verilen genel ifadeleri kullanmalı ve mantıklı bir sonuca varmalıyız.
Tümdengelimsel mantığın bir başka örneği aşağıdaki muhakemedir:
Üç ardışık şekil bir sonraki şekil olacak üçgen, kare ve beşgen ise? Akıl yürütücü kalıbı gözlemlerse, şekildeki kenar sayısının birer birer arttığını gözlemleyecektir ve bu nedenle bu kalıbın genelleştirilmesi onu dizideki bir sonraki şeklin bir altıgen olacağı sonucuna götürmesine yol açacaktır..
Tümevarımsal akıl yürütme hipotez inşası olarak da bilinir, çünkü yapılan herhangi bir sonuç mevcut bilgi ve tahminlere dayanmaktadır. Tümdengelim argümanlarında olduğu gibi, önyargılar tümevarım argümanının doğru uygulanmasını bozabilir, bu da akıl yürütmenin ipuçlarına dayanarak en mantıklı sonucu oluşturmasını önler.
Kullanılabilirlik buluşsal yöntemi, akıl yürütücünün öncelikle hazır bulunan bilgilere bağlı olmasına neden olur. İnsanlar çevrelerindeki dünyada kolayca erişilebilen bilgilere güvenme eğilimindedir. Bu, tümevarımsal muhakemeye önyargı getirebilir.
Doğrulama yanlılığı mevcut bir hipotezi reddetmek yerine doğal onaylama eğilimine dayanır. Örneğin, birkaç yüzyıl boyunca güneşin ve gezegenlerin dünyanın etrafında döndüğüne inanılıyordu..