У традиційній формальній логіці термін «закон логіки» мав вузький зміст і застосовувався лише до чотирьох так званих основоположних законів правильного мислення — до закону тотожності, закону несуперечності, закону виключеного третього і закону достатнього основания: Закон тотожності.
Логіка розглядає чотири закону логічного мислення: закон тотожності, закон протиріччя, закон виключеного третього та закон достатньої основи. Ці закони виражають корінні риси мислення: певність, несуперечність, послідовність та обґрунтованість.
Існують 4 закону логіки, за допомогою яких можна легко відокремити брехню від правди. Логіка – Це давня наука, що з'явилася в 4 столітті до н. е., її засновниками були Аристотель, Сократ, Платон та багато інших відомих філософів, які ретельно вивчали закони та форми правильного логічного мислення.
Види логіки: формальна, діалектична та математична. у логічній науці широко застосовуються математичні методи, використовуються штучні (формалізовані) мови. Цей напрямок прийнято називати математичним або символічним. логікою. Її називають також сучасною логікою на відміну від логіки традиційної.