Logika formalna zajmuje się zatrzymaniem, oceną i rozumowaniem, podczas gdy logika materialna zajmuje się oceną mierzalnych czynników. Te dwa podziały logiki nie są uważane za ściśle odrębne i istnieje debata nad tym, czy są one różne w sensie czysto prawnym.
Logika formalna pochodzi z metod obserwacji i rozumienia. Zajmuje się oceną stwierdzeń logicznych i obiektów oraz narzędziami używanymi do oceny.
Logika materiałowa pochodzi z oceny fizycznych i obserwowalnych wielkości. Jest uważany za proceduralny i bardzo skupiony na ideach twardości i miękkości, ponieważ odnoszą się one do jakości materiału dowodowego w sensie prawnym lub debaty-postulatu.
