Как уже упоминалось выше, основными в формальной логике считаются четыре закона — тождества, противоречия, исключенного третьего и достаточного основания. Они освящены многовековой традицией логической науки и играют важную роль в любом, в том числе современном, мышлении. Знание этих законов необходимо для использования их в практике как научного, так и повседневного мышления и, конечно, в юридической практике.