Logica formală se ocupă de reținere, judecată și raționament, în timp ce logica materială se ocupă de evaluarea factorilor măsurabili. Aceste două diviziuni de logică nu sunt considerate strict separate și există o dezbatere asupra faptului dacă acestea diferă sau nu într-un sens strict juridic.
O logică formală rezultă din metodele de observare și de înțelegere. Ea se referă la evaluarea afirmațiilor și obiectelor logice și la instrumentele folosite pentru a ajunge la acele evaluări.
Logica materialului rezultă din evaluarea cantităților fizice și observabile. Este considerată procedurală și foarte concentrată pe idei de duritate și neteditate, deoarece acestea se referă la calitatea dovezilor fie în sensul legal, fie în postulatul de dezbatere a cuvântului.
