чаються в мисленні й мови, в той час як дистантних протиріччя часто можна виявити в інтелектуально-мовній практиці.
Суперечності також бувають явними і неявними. Явні протиріччя, так само як і контактні, зустрічаються рідко. Неявні протиріччя, як і дистантних, навпаки, в силу своєї непомітності набагато більш поширені в мисленні й мови.
Прикладами контактного і явного протиріччя можуть служити наступні висловлювання:
«Водій Н. при виїзді зі стоянки грубо порушив правила, тому що він не взяв усного дозволу в письмовій формі »;
«Молода дівчина похилого віку з коротким їжачком темних кучерявих білявого волосся витонченою ходою гімнастки, накульгуючи, вийшла на сцену». Приклад контактного і неявного протиріччя: «Ця виконана на папері рукопис створена в Стародавній Русі в XI ст. (В XI ст. На Русі ще не було паперу) ». Суперечності також бувають уявними. Якась розумова або мовна конструкція може бути побудована так, що, на перший погляд, виглядає суперечливою, хоча насправді ніякого протиріччя в собі не містить. Як приклад можна привести відомий вислів А.П. Чехова: «У дитинстві в мене не було дитинства». Воно здається суперечливим, тому що начебто увазі одночасну істинність двох суджень, одне з яких заперечує інше: «У мене було дитинство», «У мене не було дитинства». Таким чином, можна припустити, що протиріччя в даному висловлюванні не просто присутня, але і є найбільш грубим - контактним і явним. Насправді ж ніякого протиріччя в цій фразі немає. Закон протиріччя порушується тільки тоді, коли мова йде про одне й те ж предметі, в один і той же час і в одному і тому ж відношенні. У розглянутому висловлюванні йдеться про два різних предметах: термін «дитинство» вживається в різних значеннях: дитинство як певний вік; дитинство як стан душі, пора щастя і безтурботності. Таким чином, уявне протиріччя можна використовувати як художній прийом.
Узагальнюючи вищесказане, можна зробити висновок, що свідоме використання закону несуперечливий в практиці мислення дозволяє уникати суперечливих висловлювань і забезпечує логічну переконливість і обгрунтованість наведених аргументів в доведенні.
3. Закон виключеного третього
Третій базовий закон логіки - закон виключеного третього - є доповненням до закону логічного несуперечливий. Аристотелем цей закон був сформульований наступним чином: «Рівним чином не може бути нічого проміжного між двома членами протиріччя, а щодо чогось одного необхідно, що б то не було одне: або стверджувати, або заперечувати».
Закон виключеного третього стверджує, що з двох суперечливих висловлювань - «А» чи «не А», - одне істинно, інше помилково, а третього не дано. При знанні істинності одного з суперечать суджень можна відкидати інше як безсумнівно не істинне, не вдаючись до доведенню цієї неістинності.
Закон виключеного третього є одним з основоположних принципів сучасної математики.
У математичній логіці закон виключеного третього виражається формулою
де - знак диз'юнкції;
- знак заперечення.
Припустимо, що P являє собою твердження «Сократ смертний». Тоді закон виключеного третього для P прийме вигляд: «Сократ смертний або Сократ безсмертний», звідки ясно, що закон відсікає все ...
