Закон виключеного третього формується так: із двох суперечних суджень про один і той же предмет, в один і той же час і в одному й тому ж відношенні одне неодмінно істинне, друге хибне, третього бути не може.
Наприклад, із двох суджень "Обвинувачуваний у момент здійснення злочину був осудним" та "Обвинувачуваний у момент здійснення злочину не був осудним" — одне неодмінно істинне, а друге хибне. Якщо буде встановлено, що істинним є перше судження, то друге буде обов'язково хибним, а якщо істинним визнане друге судження, то перше буде неодмінно хибним.
Зміст закону виключеного третього полягає в тому, що він забороняє визнавати одночасно хибним або одночасно істинним два суперечні судження.
Із закону виключеного третього випливає така вимога: у процесі міркування не можна вважати одночасно хибними два суперечні судження і визнавати істинним якесь трете судження.
Згідно з законом виключеного третього, із хибності одного суперечного судження неодмінно випливає істинність другого і тому не може бути істинним якесь трете судження, окрім двох суперечних суджень. Істинним за законом виключеного третього може бути тільки одне з двох суперечних суджень: або А, або не-А, третього не дано (tertium non datur); третє судження об'єктивно не існує, воно виключене (чому цей закон і називається законом виключеного третього).
Закон виключеного третього не вказує, яка з двох суперечних думок істинна, це установлюється конкретним дослідженням, він тільки стверджує, що дві суперечні думки не можуть бути одночасно хибними, одна з них має бути обов'язково істинною.
Закон виключеного третього зумовлений властивостями самих речей, він відображає той простий факт, що предмет не може мати даної властивості, або її не має. Предмету не можуть одночасно належати суперечливі ознаки: наявність однієї припускає відсутність другої, і навпаки. Так, обвинувачуваний М. або "винен", або "невинен" і не може бути, щоб він був "винен" і "невинен" одночасно.
Закон виключеного третього має схожість на закон суперечності. Він, як і закон суперечності, забезпечує несуперечливість і послідовність мислення. При порушенні вимоги закону виключеного третього мислення стає, як і при порушенні вимог закону суперечності, суперечним і непослідовним. Але якщо закон суперечності свідчить про те, що два суперечних судження не можуть бути одночасно істинними, у крайньому разі одне з них хибне, то закон виключеного третього свідчить про те, що два суперечні судження не можуть бути одночасно хибними, одне з них безперечно істинне.
Сфера дії закону виключеного третього вужча за сферу дії закону суперечності. Закони суперечності поширюються на всі суперечливі судження: на супротивні (контрарні) і суперечні (контрадикторні). Закон виключеного третього застосовний тільки до суперечливих суджень, а до суджень супротивних він не застосовується.
Закон виключеного третього вимагає бути послідовним у мисленні, забороняє лавірувати, ухилятися від вибору одного з двох суперечливих рішень і шукати середнє рішення, вимагає давати зрозумілі, певні відповіді на поставлені питання.
Послідовність мислення є необхідною умовою будь-якого пізнання, послідовним має бути не тільки наукове, а й звичайне щоденне мислення людини. Послідовність є характерною ознакою будь-якої справді наукової теорії і науки в цілому.
6.5. Закон достатньої підстави
Закон достатньої підстави формулюється так: будь-яка істинна думка має достатню підставу.
Із закону достатньої підстави випливає така його вимога: будь-яка думка може бути істинною тільки тоді, коли вона обґрунтована. Так, для того, щоб судження "Петренко є співучасником цього злочину" було визнане істинним, необхідно привести підстави його істинності, тобто треба висловити ряд суджень, із яких би неодмінно випливало твердження про те, що Петренко справді є співучасником цього злочину. Якщо ж таких суджень наведено не буде, то висловлене положення ("Петренко є співучасник цього злочину") не може вважатися істинним.
У науці й щоденному мисленні нічому не можна йняти віри, як цього вимагає релігія; будь-яке положення, всяка думка має бути обґрунтованою, доведеною. Довести ту чи іншу думку — означає обґрунтувати її, тобто навести інші думки (судження), які були б достатньою підставою її достовірності. Достатньою підставою якоїсь думки є такі інші думки, раніше визнані істинними, із яких неодмінно випливає істинність даної думки.
Судження, котрі наводяться для обґрунтування істинності іншого судження, називаються логічною підставою. А те судження, яке випливає з інших суджень, як і підстави, називається логічним наслідком.
У вигляді формули закон достатньої підстави записується так: А є тому, що є В, де А є наслідком, а В — підставою цього наслідку.
Думка, яка наводиться як достатня підстава, у свою чергу, має достатньою підставою третю думку, котра теж має достатню підставу, і т. д. Де ж межа обґрунтування? Межею обґрунтування думок є очевидність, закони, аксіоми та інші положення і принципи науки. Те чи інше положення вважається обґрунтованим, якщо ми пошлемося на очевидні факти або на закони, аксіоми чи положення науки, з яких неодмінно випливає істинність нашого положення.
У судовому дослідженні межею обґрунтування є достовірно встановлені доказові факти, юридичні закони і положення, котрі виробляються судовою практикою.
Закон достатньої підстави є відображенням необхідного взаємозв'язку, існуючого між предметами і явищами навколишнього світу, а саме: відображенням причинно-наслідкових відношень, генетичних зв'язків і т. д.
Як у самій дійсності кожне явище має свою причину, свою реальну підставу, без котрої воно не могло б виникнути й існувати, так і в мисленні будь-яка думка має свою достатню підставу.
Закон достатньої підстави забезпечує обґрунтованість, доказовість нашого мислення. Він вимагає, щоб наші думки були внутрішньо пов'язані одна з одною, випливали одна з одної, обґрунтовували одна одну. Будь-яке положення, у відповідності до закону достатньої підстави, набуває логічної сили лише тоді, коли наведені достатні підстави його достовірності. Якою б правдоподібною не здавалася та чи інша думка, вона може бути визнана істинною лише після того, як її істинність буде доведена. Закон достатньої підстави забороняє визнавати істинність думки на віру. Порушення цих вимог призводить до того, що мислення стає необґрунтованим, бездоказовим, голослівним.
Доказу мислення надається велике значення в усякій науці, в будь-якій галузі знання. Жодна наука не може обійтися без доказу своїх положень. Будь-яка нова теорія може бути прийнята тільки після доказу її істинності. Наука не може просто проголошувати свої положення, вона має їх обґрунтовувати.
Розділ 7 УМОВИВІД. БЕЗПОСЕРЕДНІ УМОВИВОДИ
7.1. Загальна характеристика умовиводів
7.2. Безпосередні умовиводи
Розділ 8 ДЕДУКТИВНІ УМОВИВОДИ
8.1. Загальна характеристика дедуктивних умовиводів
8.2. Категоричний силогізм, його визначення і склад
8.3. Аксіома силогізму
8.4. Загальні правила категоричного силогізму
8.5. Фігури і модуси категоричного силогізму