ЗАКОНИ ЛОГІКИ
Закон суперечності
У логіці, як і у всякій науці, головне - закони. Логічних законів нескінченно багато, і в цьому її відмінність від більшості інших наук. Однорідні закони об'єднуються в логічні системи, які теж зазвичай іменуються логіками.
Без логічного закону не можна зрозуміти, що таке логічне проходження і що таке доказ. Правильне, або, як зазвичай кажуть, логічне, мислення - це мислення за законами логіки, за тими абстрактним схемами, які фіксуються ними. Закони логіки складають той невидимий каркас, на якому тримається послідовне міркування і без якого воно перетворюється в хаотичну, нескладну речь.
Формулювання закону протиріччя
З нескінченної кількості логічних законів найбільш популярний закон суперечності. Він був відкритий одним з перших і відразу ж був оголошений найбільш важливим принципом не тільки людського мислення, а й самого буття.
І разом з тим в історії логіки не було періоду, коли цей закон не заперечувався б і коли дискусії навколо нього абсолютно затихали б.
Закон суперечності говорить про суперечать одна одній висловлюваннях, т. Е. Таких висловлюваннях, одне з яких є запереченням іншого. До них відносяться, наприклад, висловлювання «Місяць - супутник Землі» і «Місяць не є супутником Землі», «Трава - зелена» і «Неправильно, що трава зелена» і т. П. В одному із суперечних висловлювань щось стверджується, в іншому - це ж саме заперечується.
Якщо позначити буквою А довільне висловлювання, то вираз не-а буде запереченням цього вислову.
Ідея, що виражається законом суперечності, здається простою і навіть банальною: висловлювання і його заперечення не можуть бути разом істинними.
Використовуючи замість висловлювань букви, цю ідею можна передати так: невірно, що А і не-а. Невірно, наприклад, що трава зелена і не зелена, що Місяць супутник Землі і не супутник Землі, і т. Д.
Закон суперечності говорить про суперечать висловлюваннях - звідси його назва. Але він заперечує протиріччя, оголошує його помилкою і тим самим вимагає несуперечності - звідси інше поширена назва - закон несуперечливий.