Мислення людини відбувається не хаотично, а підлягає певним логічним законам.

Під законом логіки розуміють внутрішній, необхідний, суттєвий звязок між думками.

Основними законами формальної логіки є: закон тотожності, закон достатньої підстави, закон суперечності, закон виключеного третього.

Формально-логічні закони – це закони правильної побудови і звязки думки. Закони логіки виражають такі суттєві, загальні, неодмінні властивості мислення, як визначеність, несуперечність, послідовність і обгрунтованість.

Закони логіки, будучи специфічними законами мислення, неодноразово повязані із законами обєктивного світу, погоджуються з ними. “Закони мислення і закони природи необхідно погоджувати між собою, якщо тільки вони належно пізнані” (Маркс. К., Енгельс Ф. Твори).

Закони логіки об'єктивні, вони не створені людським розумом, не продиктовані мисленню самим мисленням, як стверджує ідеалізм, а є відображенням закономірно­сті об'єктивного світу. «Закон логіки є відображення об'єктивного в суб'єктивній свідомості людини» 1.

Виражаючи основні властивості мислення, закони ло­гіки мають свою основу, своє джерело .в об'єктивних речах. Кожний логічний закон відображає певну сторо­ну дійсності, її властивості і відношення, має свій ана­лог і подібність у природі. Так, закон тотожності є відоб­раженням якісної визначеності речей і явищ, а закон достатнього обгрунтування відображає причинно-наслідковий зв'язок між предметами і явищами світу.

Закони логіки існують і діють незалежно від волі і бажання людей. Мислення людини стихійно підлягає законам логіки. Кожна людина незалежно від того, чи знає вона про існування законів логіки чи ні, мислить у відповідності до законів логіки.

Формально-логічні закони мають загально-людський характер. Вони єдині для всіх людей, незалежно від їхньої класової чи національної належності. Всі люди мис­лять за одним і тим же законом логіки. «Оскільки процес мислення сам виростає із відомих відношень, сам є при­родним процесом, то дійсно осягаюче мислення може бути тільки одним і тим же, відрізняючись тільки за ступенем, у залежності від зрілості розвитку і, зокрема, розвитку органу мислення».

Закони логіки є знаряддям пізнання дійсності, необ­хідною умовою точного, адекватного відображення мисленням зовнішнього світу. Щоб мислення приводило нас до істини, воно має відповідати вимогам формально-логічних законів—закону тотожності, суперечливості, виключеного третього та достатньої підстави.

Порушення вимог законів логіки призводить до того, що мислення стає неправильним, нелогічним. У практи­ці мислення трапляються двоякого роду логічні помил­ки, пов'язані з порушенням вимог законів логіки: софіз­ми та паралогізми.

Закон тотожності формулюється так: будь-яка думка про предмет у процесі даного міркування тотожна сама собі, скільки б разів вона не повторялась.

Думка тотожна сама собі тоді, коли вона стосується одного й того ж предмета і її зміст залишається одним і тим же, скільки разів вона висловлюється. Якщо ж зміст думки змінюється або вона відноситься до іншого пред­мета, то така думка не може вважатися тією ж самою, тотожною самій собі, це буде уже інша думка.

Закон тотожності у вигляді формули записується так:

А є А, або А = А

Закон суперечності твердить: два протилежні вислов­лювання не є одночасно істинними; в крайньому разі одне із них неодмінно хибне. Наприклад, не можуть бути одночасно істинними судження: «Петренко є спів­учасником даного злочину», «Петренко не є співучасником даного злочину». Одне з цих суджень обов'язково хибне.

Закон суперечності, як і будь-який формально-логіч­ний закон, застосовний тільки до таких суджень, у кот­рих ідеться про один і той же предмет, в один і той же час і в тому ж самому відношенні. Якщо ж у судженнях ідеться про різні предмети або про різні ознаки одного й того ж предмета, то такі судження не є суперечними і, отже, до них закон суперечності незастосовний. Так, не є суперечним судження: «Пальто, викрадене у потер­пілого, було коричневим» і «Пальто, знайдене у обви­нуваченого, не було коричневим», якщо предметом дум­ки цих суджень є різні пальта.

Закон суперечності не діє, якщо в судженнях ідеться про один Ї той же предмет, але предмет взято у різний час. Так судження «Петренко є осудний» і «Петренко е неосудний» — обидва можуть бути істинними, якщо у першому з них мається на увазі один час (наприклад, до здійснення злочину), а у другому — інший час (під час здійснення злочину або після нього).

Закон достатньої підстави формулюється так: будь-яка істинна думка має достатню підставу.

Із закону достатньої підстави випливає, така його вимога: будь-яка думка може бути істинною тільки тоді, коли вона обгрунтована. Так, для того, щоб судження «Петренко е співучасником цього злочину» було визнане істинним, необхідно привести підстави його істинності, тобто треба висловити ряд суджень, із яких би неодмін­но випливало твердження про те, що Петренко справді є співучасник цього злочину. Якщо ж таких суджень на­ведено не буде, то висловлене положення («Петренко є співучасник цього злочину») не може вважатися іс­тинним.

Закон достатньої підстави є відображенням необхід­ного взаємозв'язку, існуючого між предметами і явища­ми навколишнього світу, а саме: відображенням причинно-наслідкових відношень, генетичних зв'язків і т. д. Як у самій дійсності кожне явище має свою причину, свою реальну підставу, без котрої воно не могло б ви­никнути й існувати, так і в мисленні будь-яка думка має свою достатню підставу.