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 / sri mantık denir. Mantık, bir şeyi tanımak ve bir şey hakkında hkm vermek ve birşeyi ispatlamak için yapılan btn zihinsel faaliyetleri kontrol eder. Bunun için tarif, hkm ve kıyas başlıkları altında tamamen saf akli esaslara dayalıbir sistem ortaya koyar.