Mantık ilmi, düşünme esnasında insanı hata yapmaktan koruyan kurallar ve ölçülerden bahseden bir ilimdir. Bu ilim gerek düşünme sırasında gerekse düşünceleri ifade sırasında ölçülü ve mutedil olmak için gerekli kuralları ve kalıpları verir. Bunun içindir k kendisine formel mantık / süri mantık denir.

Mantık, bir şeyi tanımak ve bir şey hakkında hüküm vermek ve birşeyi ispatlamak için yapılan bütün zihinsel faaliyetleri kontrol eder. Bunun için tarif, hüküm ve kıyas başlıkları altında tamamen saf akli esaslara dayalıbir sistem ortaya koyar.