La logique formelle traite de l'appréhension, du jugement et du raisonnement tandis que la logique matérielle traite de l'évaluation de facteurs mesurables. Ces deux divisions de la logique ne sont pas considérées comme strictement séparées et il existe un débat sur leur différence dans un sens purement juridique.
La logique formelle procède de méthodes d'observation et de compréhension. Il traite de l'évaluation d'énoncés et d'objets logiques et des outils utilisés pour parvenir à ces évaluations.
La logique matérielle procède de l'évaluation de grandeurs physiques et observables. Il est considéré comme procédural et très axé sur les idées de dureté et de douceur en ce qui concerne la qualité de la preuve dans un sens juridique ou de postulat de débat du terme.
