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

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

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