Mantıksal ve matematiksel dedüksiyonun karşılaştırılması

Tezde mantığın tanımı ve tarihçesinden hareketle mantık ve matematik arasındaki ilişki ele alınmıştır. İlk defa sistemli bir şekilde mantığın kurucusu olarak kabul edilen Aristoteles'in mantık anlayışının temelini oluşturan kıyas ve akıl yürütme ilkelerinin felsefî düşünce tarihi içinde geçtiği evreler, bize mantık ve matematiğin metot olarak benzerliklerini göstermiştir.Klasik mantıktaki kıyaslar dedüktif akıl yürütmelerin en mükemmel örnekleridir. Kıyaslar, dilsel formlar değil; düşünsel formlardır. Dedüktif akıl yürütme; doğru, tümel öncül veya öncüllerden, zorunlu olarak doğru, tümel veya tikel sonuç çıkartmaya denir. Bu durumda dedüktif akıl yürütme, genel kabule göre, genelden genele veya genelden tikele, ide'den algıya doğru giden bir düşünme tarzıdır.Matematiksel dedüksiyonun temeli ispata dayanmaktadır. İspat, önceden doğruluğu kabul edilmiş olandan, ispat edilecek olanın zorunlu olarak çıktığını göstermektir. Bu şekliyle mantıksal dedüksiyona benzeyen matematiksel dedüksiyon sonuçta bir genelleştirme yapar. Tezde bu iki akıl yürütme arasındaki benzerlikleri ve karşıtlıkları ele aldık. Kıyasa dayalı mantığın yeni bir bilgi vermediği şeklindeki eleştiriden hareketle dedüktif mantığın, matematiksel akıl yürütmelerle olan ilişkisini ortaya koymaya çalıştık.Anahtar Sözcükler1. Dedüksiyon2. Endüksiyon3. Mantık4. Matematik5. Çıkarım