Закон виключеного третього - основний принцип логіки

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

Основні логічні закони

Логічний закон - це стовп науки, як природної, так і гуманітарній. Якщо в повсякденному житті ще можна віддатися потоку почуттів, несумісних з правилами побудови і розвитку думки, можна допускати логічні лакуни, то в серйозних працях або дискусіях такий підхід неприйнятний. Бо фундаментом всякої доказової бази є принципи вірного судження.

Що ж це за правила? Три з них були відкриті ще в античну епоху Аристотелем: це принцип несуперечності, правило тотожності і закон виключеного третього. Через століття Лейбніц відкрив ще один принцип - достатньої підстави. Всі три закони формальної логіки, описані Аристотелем, нерозривно пов'язані між собою. Якщо ми на секунду припустимо, що одна ланка умопостроений відсутня, тоді, як картковий будиночок, розпадаються і інші.

Логічний закон

Закон виключеного третього можна коротко сформулювати наступним чином: «Tertium non datur» або «Третього не дано». Якщо ми висловлюємо дві протилежні сентенції, що стосуються одного й того ж предмета (або ряду предметів, або феномена), то одне судження буде відповідати істині, а інше - ні. Між цими твердженнями не можна побудувати ще якийсь третій, яке б примиряло два основних або служило між ними сполучною логічним мостом. Найпростіший приклад виключеного третього: «Ця річ біла» і «Ця річ не біла». Але він діє тільки тоді, коли обидві протилежних сентенції були висловлені про одну й ту ж речі, про даний часу і про одне й те ж відношенні.

Закон виключеного третього вступає в силу і тоді, коли між судженнями А і Б є контрарності або контрадікторних несумісність. Перша - це висловлювання протилежної точки зору. Наприклад, судження «Земля обертається навколо Сонця» і «Сонце обертається навколо Землі» є контрарними. Контрадикторне протиріччя виникає тоді, коли фраза А стверджує, а Б заперечує що-небудь: «Вогонь гріє» і «Вогонь не гріє». Також це протиріччя настає між приватним і загальним судженнями, коли одне позитивне, а інше - негативний: «Деякі студенти вже мають дипломи» і «Жоден студент не має диплома».

Закон виключеного третього

До мисленню, особливо науковому, висуваються особливі вимоги: послідовності, несуперечності визначеності. Закон виключеного третього - це мірило істинності наших логічних міркувань. Наприклад, якщо ми стверджуємо, що «Бог - Всеблагого», тоді сентенція «Бог влаштував вічні пекельні муки для грішників» позбавлена сенсу. Якщо ж ми стверджуємо, що Бог створив місце вічних мук для кого б то не було, тоді не можна стверджувати, що Він - Благой. Оскільки Богу як об'єкту наших умовиводів не можуть належати суперечать ознаки, якась із двох наведених вище сентенцій вірна, тоді як друга - помилкова. Третього тут не дано.