Головна |
Онтологічним аналогом цього закону є те, що в предметі зазначений ознака присутня або його немає, тому і в мисленні ми відображаємо це обставина у вигляді закону виключеного третього.
У книзі "Метафізика" Аристотель сформулював закон виключеного третього так: "Так само не може бути нічого проміжного між двома членами протиріччя, а щодо чогось одного необхідно що б то ні було одне або стверджувати, або заперечувати"1.
У двозначної традиційній логіці закон виключення третього формулюється так: "З двох суперечливих суджень одне істинно, інше помилково, а третього не дано". Такими, що суперечать (контрадікторності) називаються такі два судження, в одному з яких щось стверджується про предмет, а в іншому те ж саме про це самий предмет заперечується, тому вони не можуть бути обидва одночасно істинними і обидва хибними; одне з них істинно, а інше обов'язково помилково. Такі судження називаються заперечують одна одну. Якщо одне із суперечних суджень позначити змінної а, то інше слід позначити a. Так, з двох суджень: "Джеймс Фенімор Купер є автором серії романів про шкіряні Панчохи, здавалися протягом майже 20 років" і "Джеймс Фенімор Купер не є автором серії романів про шкіряні Панчохи, що створювалися протягом майже 20 років" перша істинно, другий помилково, і третього - проміжного - судження не може бути.
Заперечують є наступні пари суджень:
1) "Це S є Р "і" Це S не є Р " (Одиничні судження).
2) "Все S є Р " і деякі S не є Р " (Судження А іО).
3) "Жодне S не є Р " і деякі S є Р " (Судження Е і І).
Відносно суперечать (контрадікторних) суджень (А і О, Е і I) діє як закон виключеного третього, так і закон несуперечливий - в цьому одне з подібностей цих законів.
___
1Аристотель. Метафізика // Соч .: в 4-х т. М., 1976. Т. 1. С. 141.
Різниця в областях визначення (т. Е. Застосування) цих законів в тому, що по відношенню противних (контрарних) суджень А і Е (наприклад: "Усі гриби - їстівні" і "Жоден гриб не є їстівним"), які обидва не можуть бути істинними, але обидва можуть бути хибними, поширюється дія лише закону несуперечливий і не поширюється дія закону виключеного третього. Отже, сфера дії змістовного закону несуперечливий ширше (це контрарние і контрадікторние судження), ніж сфера дії змістовного закону виключеного третього (лише контрадікторние, т. Е. Судження типу а и Ні-і). Дійсно, істинно одне з двох суджень:
"Всі будинки в цьому селі електрифіковані" або "Деякі будинки в цьому селі не є електрифікованими" і третього не дано.
Закон виключеного третього і в змістовному, і в формалізованому вигляді охоплює один і той же коло суджень -протіворечащіе, т. Е. Які заперечують одна одну.
Змістовні аристотелевские закони несуперечливий і виключеного третього невиведені один з іншого, так як області визначення суджень, для яких вони можуть бути застосовані, різні.
У мисленні закон виключення третього передбачає чіткий вибір однієї з двох взаємовиключних альтернатив. Для коректного ведення дискусії виконання цієї вимоги обов'язково.
Законнесуперечливий | Специфіка дії закону виключеного третього при наявності "невизначеності" в пізнанні