Önerme Mantığı ile Yüklem Mantığı
Matematik
Aritmetik
Çok Önemli
Özet
Bütün önermeleri bölünmez alıp aralarındaki bağlaçları inceleyen mantıktır. İLE Önermelerin içine girip nesne, yüklem ve niceleyicileri inceleyen daha güçlü mantıktır. İkincisi, ilkinin çözemediği iç yapıyı çözer.
Ayrıntılı Açıklama
Gottlob Frege tarafından 1879 yılında keşfedildi/formüle edildi. (1848-1925) (Ülke: Almanya) (Alan: Matematik, Mantık, Felsefe) (Önemli katkıları: Modern mantığın kurucusu, önerme mantığı, yüklem mantığı, anlam ve gönderim ayrımı, matematiksel mantık gösterimi)