Mantığın Aritmetik Denklem Dilinin Geleneksel/Klasik Akıl Yürütme Biçimlerine Uygulanması

Gottlob Frege (1848-1925), mantık tarihinin en önemli figürlerindendir. O, bu alanda Kopernik devrimi gerçekleştirmiştir; Kant'ın Aristotelesçilerin mantıkla ilgili bilinmesi gereken her şeyi ortaya koydukları iddiasını çürütmüştür; bunu Begriffsschrift (Kavram Yazısı) adlı çalışmasıyla başarmıştır. Begriffsschrift, 1879 yılında yayımlanmıştır. Bu kitabın yayımlanması, mantık tarihinde bir dönüm noktasıdır; “sembolik mantık” ya da “matematiksel mantık” olarak da adlandırılan modern mantığın doğuşudur. Söz konusu kitapta Frege, önermelerin sembolleştirilmesine yönelik iki boyutlu bir notasyon ortaya koymuştur. Bu çalışmamızda, doğrudan ve dolaylı çıkarımların Frege'nin ortaya koyduğu iki boyutlu notasyonuna göre nasıl ifade edilebilecekleri gösterilmektedir. Bu bağlamda kitabımız, Begriffsschrift'te geliştirilen iki boyutlu notasyona ve bu notasyonun uygulamasına yönelik bir giriş niteliği taşımaktadır.