Головна

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

  1. A) закон не встановлює силу доказів
  2. Cімметрія простору - часу і закони збереження
  3. I. Електричний струм в рідинах. Електроліз. Закон електролізу. Застосування електролізу.
  4. I частина. Перевірка закону зворотних квадратів
  5. I. Закон Рауля тонометріческого (1886).
  6. II частина. Перевірка другого закону освітленості (залежно освітленості від кута падіння променів)
  7. II. Закон Російської Федерації про засоби масової інформації

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

У книзі "Метафізика" Аристотель сформулював закон виключеного третього так: "Так само не може бути нічого проміжного між двома членами протиріччя, а щодо чогось одного необхідно що б то ні було одне або стверджувати, або заперечувати"1.

У двозначної традиційній логіці закон виключення третього формулюється так: "З двох суперечливих суджень одне істинно, інше помилково, а третього не дано". Такими, що суперечать (контрадікторності) називаються такі два судження, в одному з яких щось стверджується про предмет, а в іншому те ж саме про це самий предмет заперечується, тому вони не можуть бути обидва одночасно істинними і обидва хибними; одне з них істинно, а інше обов'язково помилково. Такі судження називаються заперечують одна одну. Якщо одне із суперечних суджень позначити змінної а, то інше слід позначити a. Так, з двох суджень: "Джеймс Фенімор Купер є автором серії романів про шкіряні Панчохи, здавалися протягом майже 20 років" і "Джеймс Фенімор Купер не є автором серії романів про шкіряні Панчохи, що створювалися протягом майже 20 років" перша істинно, другий помилково, і третього - проміжного - судження не може бути.

Заперечують є наступні пари суджень:

1) "Це S є Р "і" Це S не є Р " (Одиничні судження).

2) "Все S є Р " і деякі S не є Р " (Судження А іО).

3) "Жодне S не є Р " і деякі S є Р " (Судження Е і І).

Відносно суперечать (контрадікторних) суджень (А і О, Е і I) діє як закон виключеного третього, так і закон несуперечливий - в цьому одне з подібностей цих законів.

___

1Аристотель. Метафізика // Соч .: в 4-х т. М., 1976. Т. 1. С. 141.

Різниця в областях визначення (т. Е. Застосування) цих законів в тому, що по відношенню противних (контрарних) суджень А і Е (наприклад: "Усі гриби - їстівні" і "Жоден гриб не є їстівним"), які обидва не можуть бути істинними, але обидва можуть бути хибними, поширюється дія лише закону несуперечливий і не поширюється дія закону виключеного третього. Отже, сфера дії змістовного закону несуперечливий ширше (це контрарние і контрадікторние судження), ніж сфера дії змістовного закону виключеного третього (лише контрадікторние, т. Е. Судження типу а и Ні-і). Дійсно, істинно одне з двох суджень:

"Всі будинки в цьому селі електрифіковані" або "Деякі будинки в цьому селі не є електрифікованими" і третього не дано.

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

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

 
 

 В силу того, що в формалізованих законах несуперечливий і виключеного третього, т. Е. В формулах  і а v a, області визначення пропозіціональних змінних (т. е. змінних, що пропагують судження і його заперечення: а і a) виявляються одними і тими ж (беруться лише суперечать судження), то на підставі закону де Моргана, т. е. формули в ? v  , Закону зняття подвійного заперечення, т. Е. a s а й закону коммутативности диз'юнкції, т. е. формули (а v b) = (b v а), в двозначної класичній логіці, шляхом елементарних еквівалентних перетворень із закону несуперечливий можна вивести закон виключеного третього (і навпаки):

У мисленні закон виключення третього передбачає чіткий вибір однієї з двох взаємовиключних альтернатив. Для коректного ведення дискусії виконання цієї вимоги обов'язково.


Законнесуперечливий | Специфіка дії закону виключеного третього при наявності "невизначеності" в пізнанні

© 2016-2022  um.co.ua - учбові матеріали та реферати