Закон непротиворечия. Если предмет А обладает определенным свойством, то в суждениях об А люди должны утверждать это свойство

Если предмет А обладает определенным свойством, то в суждениях об А люди должны утверждать это свойство, а не отрицать его. Если же человек, утверждая что-либо, отрицает то же самое или утверждает что-то, несовмести­мое с первым, налицо логическое противоре­чие. Формально-логические противоречия — это противоречия путаного, неправильного рассуж­дения. Такие противоречия затрудняют позна­ние мира.

Древнегреческий философ и ученый Арис­тотель считал: «Невозможно, чтобы одно и то же в одно и то же время было и не было прису-

_______________ Логика ____________

ще одному и тому же в одном и том же отно­шении» (Аристотель. Метафизика / Соч.: В 4 т.— М., 1976.- Т. 1.- С. 125). Эта формулировка указывает на необходимость для человека не допускать в своем мышлении и речи формаль­но-противоречивые шгека.'пл'ваи.'ия, в противном случае ето мышление будет неисправимым.

Мысль противоречива, если мы об одном и том же предмете в одно и то же время и в одном и том же отношении нечто утверждаем и то же самое отрицаем. Например: «Кама -приток Волги» и «Кама не является притоком Волги». Или: «Лев Толстой — автор романа «Воскресенье» и «Лев Толстой не является ав­тором романа «Воскресенье».

Противоречия не будет, если мы говорим о разных предметах или об одном и том же предмете, взятом в разное время или в разном отношении. Противоречия не будет, если мы скажем: «Осенью дождь полезен для грибов» и «Осенью дождь не полезен для уборки урожая». Суждения «Этот букет роз свежий» и «Этот бу­кет роз не является свежил*» также не проти­воречат друг другу, ибо предметы мысли в этих суждениях берутся в разных отношениях или в разное время.

Чаще всего встречается определение формаль­но-логического противоречия как конъюнкции

Тема 3. Общие законы правильного мы шления суждения и его отрицания {а и не а). Но логи­ческое противоречие может быть выражено и без отрицания: оно имеет место между несов­местимыми утвердительными суждениями. Сле­дует различать два аспекта: отношение проти­воречия между высказываниями (или суждени­ями) и противоречие как синоним тождествен­но-ложной формулы. Если два суждения (а и Ь) или несколько суждений не могут быть истин­ными одновременно, то эти суждения называ­ются несовместными, или противоречащими. Закон непротиворечия не действует в логике «размытых» множеств, ибо в ней к «размытым» множествам и «размытым» алгоритмам можно одновременно применять утверждение и отри­цание. Например: «Этот мужчина пожилой» и «Этот мужчина еще не является пожилым», ибо понятие «пожилой мужчина» является «нечет­ким» понятием, не имеющим четко очерчен­ных параметров.

Приведенные примеры свидетельствуют о том, что формально-логическое противоречие возникает тогда, когда пытаются считать истин­ными два (или несколько) утвердительных суж­дения, не совместимые между собой. Не менее распространенной в мышлении является фор­ма логического противоречия, когда одновре­менно утверждается и отрицается одно и то же

Логика

суждение, то есть допускается конъюнкция а и не а. Таким образом, в традиционной формаль­ной логике противоречием считается утверж­дение двух противоположных (как контракт­ных, так и контрадикторных) суждений об од­ном и том же предмете, взятом в одно и то же время и в одном и том же отношении. В ис­числении высказываний классической двузнач­ной логики закон непротиворечия записывает­ся следующей формулой:

ала

Закон непротиворечия читается так: «Два противоположных суждения не могут быть ис­тинными в одно и то же время и в одном и том же отношении».

Итак, первичным выступает диалектическое противоречие, объективно возникающее в про­цессе познания, и именно оно служит движущей силой познания, а вторичным является способ фиксации диалектического противоречия в виде конъюнкции двух суждений а к не а, то есть в форме формально-логического противоречия.