Выводы:Мислення людини підлягає певним логічним законам. Формально-логічні закони - це закони правильної побудови і зв'язку думки, які виражають такі суттєві, загальні, неодмінні властивості мислення, як визначеність, несуперечність, послідовність і обґрунтованість. Основними законами формальної логіки є закон тотожності, закон суперечності, закон виключеного третього і закон достатньої підстави.
Логічне мислення характеризується несуперечністю. Суперечності руйнують думку, ускладнюють процес пізнання. Якщо мислення протікає внутрішньо суперечливо, непослідовно, то стають неможливими ніякі наукові знання, аргументовані міркування, направлені на вирішення питань. Несуперечливість як ознаку міркувань забезпечує закон виключеного третього.
Закон виключеного третього: із двох суперечних суджень про один і той же предмет, в один і той же час і в одному й тому ж відношенні одне неодмінно істинне, друге хибне, третього бути не може. Уперше сформулював закон виключеного третього Арістотель у своїй «Метафізиці».
У вигляді формули закон виключеного третього записується так: А або не-А. У математичній логіці цей закон має формулу: А V ~А. Через цей закон в формалізованому міркуванні реалізується вимога послідовності мислення: кожне сформульоване судження може бути (в логіці висловлювань) або категорично істинним, або категорично хибним: третього не дано.
Із закону виключеного третього випливає така вимога: у процесі міркування не можна вважати одночасно хибними два суперечні судження і визнавати істинним якесь трете судження. Закон виключеного третього не вказує, яка з двох суперечних думок істинна, це установлюється конкретним дослідженням, він тільки стверджує, що дві суперечні думки не можуть бути одночасно хибними, одна з них має бути обов'язково істинною.
Закон виключеного третього не застосовується до суджень із порожнім суб’єктом та до суджень, що вживаються у майбутньому часі тощо. Критика цього закону призвела до появи багатозначної та інтуїціоністської логіки.
Цей закон широко використовується у галузі права. Насамперед він вимагає уточнення понять до такого рівня, щоб можна було дати відповідь на альтернативні питання. Проте можуть бути й такі ситуації, до яких цей закон не можна застосувати (презумпція невинності).
Як правило, в логіці суперечними називають висловлювання, одне з яких стверджує те, що заперечує інше. Такого роду висловлювання здавна розглядались як заплутані, непослідовні. У формальній логіці неузгодженість одного висловлювання з іншим називається логічним протиріччям, яке полягає у тому, що в процесі мислення ототожнюється відмінне або видається за різне тотожне. Логічне мислення характеризується несуперечністю. Суперечність розрушає думку, ускладнює процес пізнання. Вимогу несуперечності мислення виражає формально-логічний закон суперечності (несуперечності, протиріччя).
Закон суперечності висуває таку вимогу до процесу міркування: не можуть бути одночасно істинними два судження, з яких одне дещо стверджує про предмет, а друге – заперечує те саме про цей же предмет, у той самий час, в одному і тому ж самому відношенні.
Питання про те, яке з двох протилежних суджень є хибним, закон суперечності не розв'язує. Це встановлює конкретна наука і практика. Закон говорить лише про те, що з двох суджень, із яких одне заперечує те, що стверджується в другому, одне неодмінно хибне. Яким буде друге судження, істинним чи хибним, закон суперечності також не розв'язує.
Закон суперечності поширюється на всі протилежні судження (на супротивні (контрарні) і на суперечні (контрадикторні). Коли маємо справу з суперечними судженнями, то, з'ясувавши хибність одного з них, маємо визначити істинність другого. Коли ж судження є супротивним, то хибність одного судження згідно з законом суперечності не є обґрунтуванням для визначення істинним другого, котре теж може бути хибним.
Закон суперечності застосовний тільки до таких суджень, у котрих ідеться про один і той же предмет, в один і той же час і в тому ж самому відношенні. Якщо ж у судженнях ідеться про різні предмети або про різні ознаки одного й того ж предмета, то такі судження не є суперечними і, отже, до них закон суперечності незастосовний.
Формула закону суперечності (А не є не-А) означає, що не можуть бути одночасно істинними судження А і його заперечення не-А. За допомогою символів математичної логіки закон суперечності виражається так: ~ (А ^ ~ А). У цілому ж формула читається так: "Не можуть бути одночасно істинними А і його заперечення - А ".
Знання цього закону може допомогти юристові розрізняти дійсно суперечливі виловлювання від висловлювань, які такими не є, а також не припускати протиріч у своїх міркуваннях і знаходити їх у міркуваннях інших людей та в текстах правових документів. Також за допомогою закону суперечності юрист може виявити суперечності, які негативно впливають на роботу, у доказах, показаннях, висновках експертизи.