Doğru düşünme kurallarını araştıran bilim dalı. Normatif (kural koyucu) bir bilim dalı olan mantık, düşünme yasalarını araştırır. Zihinsel bir doğrunun başka bir doğrudan çıkarılması üzerine kuruludur. Bu nedenle formel (biçimsel) bir bilim dalıdır. Kurucusu Aristoteles'tir. Mantık bilimi; terimler, önermeler, akıl yürütmeler ve çeşitli kanıt yöntemlerini araştırır. Kıyas, (tasım) mantığın diğer bir önemli konusudur. İslâm uygarlığında Farâbi ve İbni Sina'nın mantık üzerine önemli çalışmaları vardır.