Mantık doğru düşünmenin bilimidir. Ya da geçerli önerme ve çıkarımları araştıran bir bilimdir. Doğru düşünme kendini akıl yürütmede gösterir. Akıl yürütme, verilen yargılardan (öncüllerden) sonuç olarak yeni bir yargı çıkarma işlemidir. Doğru yani mantıklı düşünme akıl veya mantık ilkeleri denen ilkelere uygun olan düşünme biçimidir.
Mantık doğru düşünmenin bilimidir. Doğru düşünmenin kurallarını koyan normatif bir bilimdir.
Mantık, düşüncenin doğru ve yanlış olduğunu ortaya koymakta yardımcı bir bilimdir. İnsanın doğru düşünmesini düzenlemeye çalışır. Bunun için birçok prensipler ve çeşitli araştırma usulleri tesbit edip kanun şekline koyar. Böylece, insanın doğruyu bulmasına ve yanlışı reddetmesine yardımcı olur.