ЗАКОНИ ЛОГІКИ

Закон суперечності

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

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

Формулювання закону протиріччя

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

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

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

Якщо позначити буквою А довільне висловлювання, то вираз не-а буде запереченням цього вислову.

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

Використовуючи замість висловлювань букви, цю ідею можна передати так: невірно, що А і не-а. Невірно, наприклад, що трава зелена і не зелена, що Місяць супутник Землі і не супутник Землі, і т. Д.

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