непротиворечивостью. Суперечності руйнують думку, утрудняють процес пізнання. Вимога несуперечності мислення виражає формально-логічний закон несуперечливий: два несумісних один з одним судження не можуть бути одночасно істинними; принаймні, одне з них необхідно брехливо. p> Цей закон формулюється таким чином: неправильно, що а і не-а (не можуть бути істинними дві думки, одна з яких заперечує іншу). Він виражається формулою] (р л] р) (невірно, що р і НЕ-р одночасно істинні). Під р розуміється будь-яке висловлювання, під] р - заперечення висловлювання р, знак] перед всією формулою - заперечення двох висловлювань, з'єднаний знаком кон'юнкції v. p> Закон протиріччя діє відносно всіх несумісних суджень. Зрозуміло, що не буде протиріччя між судженнями, якщо в одному з них стверджується приналежність предмету одного ознаки, а в іншому - заперечується приналежність цього ж предмету іншого ознаки. p> Згідно традиції цей закон прийнято називати законом суперечності. Однак назва - закон несуперечливий - точніше виражає його дійсний зміст. p> Суперечності не буде, якщо ми що-небудь стверджуємо і те ж саме заперечуємо щодо одного предмета, але розглянутого в різний час і (або) у різних обставинах. Один і той же предмет нашої думки може розглядатися в різних відносинах. Так, про студента К. можна сказати, що він добре знає німецьку мову, так як його знання задовольняють вимогам, пред'явленим до вступників до інституту. Проте цих знань недостатньо для роботи в якості перекладача. У цьому випадку ми маємо право сказати: "К. погано знає німецьку мову ". У двох судженнях знання К. німецької мови розглядається з точки зору різних вимог, отже, ці судження також не суперечать одна одній. p> З метою точності і ясності цей закон слід було б назвати законом недопущення протиріччя або принципом несуперечності, як прийнято в математиці. Спроби такого уточнення робилися ще в XIX столітті, наприклад, англійським математиком У. Гамільтоном, але за усталеною традицією його як і раніше іменують законом суперечності. Аристотель, якому належить перша формулювання цього закону, пише так: "Неможливо що-небудь разом стверджувати і заперечувати". Сам закон звучить так:
Два антагонізму (протилежних судження) не можуть бути одночасно істинними щодо одного і того ж предмета. Або, більш приватно, висловлювання і його заперечення не можуть бути істинними одночасно: одне з них неминуче помилково. p> Якщо в одному судженні стверджується щось, а саме А є В, а в іншому це щось заперечується, то такі судження не можуть бути одночасно істинними. Тому судження: А є В, і А не їсти В, утворюють логічне протиріччя. p> Затвердження одного судження і одночасне заперечення його в один і той же час і в одному і тому ж відношенні забороняється логікою. "... неможливо, - писав Аристотель, - щоб одне і те ж в один і той же час було і не було притаманне одному і тому ж в одному і тому ж відношенні ". p> Закон протиріччя вимагає узгодженості елементів думки в...
