Resmi mantık, anlama, yargılama ve muhakeme ile ilgilenirken, maddi mantık ölçülebilir faktörlerin değerlendirilmesiyle ilgilenir. Bu iki mantık bölümü kesinlikle ayrı sayılmaz ve tamamen yasal bir anlamda farklı olup olmadıkları konusunda bazı tartışmalar vardır.
Biçimsel mantık, gözlem ve anlama yöntemlerinden ileri gelir. Mantıksal ifadelerin ve nesnelerin değerlendirilmesiyle ve bu değerlendirmelerde kullanılan araçlarla ilgilidir.
Maddi mantık, fiziksel ve gözlenebilir miktarların değerlendirmesinden gelir. Usul olarak kabul edilir ve kelimenin hukuki veya tartışmalı bir varsayım anlamında kanıtların kalitesiyle ilgili olduğu için sertlik ve yumuşaklık fikirlerine odaklanır.
