Academia.eduAcademia.edu

Dedüksiyonda Öncüller Mi Yoksa Sonuç Mu Önce Gelir?

2013, DergiPark (Istanbul University)

Abstract

Dedüksiyon, geleneksel olarak, verilen öncüllerden sonuç çıkar ma işlemi olarak tanımlanır. Hangi öncüllerden ne gibi geçerli so nuçların çıkarılabileceği ise dedüksiyon kuralları vasıtasıyla belir¬ lenir. Sembolik bir dil vasıtasıyla ifade edilmiş bir dedüksiyonda, bu kurallar vasıtasıyla verilen öncüllerden geçerli sonuç elde edil mesi işlemini «dedüksiyonun formel özelliği» olarak isimlendirelim. Dedüktif bir çıkarım, sadece sembolik bir dil ile değil, mesela bir kıyaada olduğu gibi günlük dil ile ifade edilen önermelerden de meydana gelebilir. Böyle bir dedüktif çıkarımın ise artık öncüller den sonuca doğru gidilen bir işlem olarak düşimülmemesi gerekir. Bir örnek olarak, Bütün insanlar ölümlüdür Sokrates İnsandır