Doğal Türetimin İzinde
Authors : Samet Büyükada
Pages : 6-28
Doi:10.55256/temasa.1567600
View : 104 | Download : 81
Publication Date : 2025-06-02
Article Type : Research Paper
Abstract :Doğal türetim, mantıksal çıkarımların sistematik ve adım adım yapılandırılmasını sağlayan, mantıksal bağlaçların kullanımını formalize eden temel bir yöntemdir. Bu yöntem, hem mantıksal düşünmenin gelişimi hem de çıkarım kurallarının doğru bir biçimde anlaşılması için önemli bir araçtır. Bu çalışmada, Türkiye’de lisans düzeyinde kullanılan modern mantık ders kitaplarında doğal türetim konusunun nasıl ele alındığı incelenmektedir. Öncelikle, doğal türetim ile çıkarım ve türetim kavramları arasındaki ilişkiler tartışılarak kavramsal bir netlik sağlanmıştır. Ayrıca, farklı doğal türetim yöntemleri karşılaştırmalı olarak değerlendirilmiş ve ülkemizde yayımlanan kitaplarda tercih edilen yöntemler tespit edilmiştir. Çalışma kapsamında 21 modern mantık kitabı incelenmiş; bu kitapların yarısının doğal türetim konusunu işlediği, diğer yarısının ise çıkarım konusuna odaklandığı görülmüştür. Elde edilen veriler, ülkemizdeki kitaplarda Copi, Kalish-Montague ve Fitch yöntemlerinin tercih edildiğini göstermektedir. Ancak, söz konusu kitaplarda tanıtılan çıkarım kurallarının sayısı ve isimleri farklılık göstermekte ve bazı kitaplarda verilen alıştırmaların çözümlerine yer verilmemektedir. Bu durumlar, öğrencilerin konuyu daha iyi anlaması adına kitaplarda eksiklikler olarak belirlenmiştir. Bu eksikliklerin giderilmesi için, doğal türetim konusunun modern mantık kitaplarında daha sistematik bir şekilde, çözümlü alıştırmalarla ve farklı sistemler arasındaki sentaktik farkların öğretilmesi gerekmektedir. Sonuç olarak, bu çalışma, doğal türetim konusunun hem mantık tarihindeki hem de ülkemizde yayımlanan kitaplardaki yerini ayrıntılı bir şekilde inceleyerek, konunun daha iyi öğrenilmesi için yönteme ilişkin öneriler sunmaktadır.Keywords : Doğal Türetim, Çıkarım, Çıkarım Kuralları, Mantıksal Akıl Yürütme, Mantık Kitapları
ORIGINAL ARTICLE URL