Логика: краткий теоретический курс. Веревичев И.И. - 40 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

39
непротиворечия, хотя и в том и в другом случае речь идет о недопущении
противоречия.
Логическая форма закона недопущения противоречия:
┐( а ^ ┐а)
Докажем истинность данной формулы:
а ┐а а ^ ┐а ┐( а ^ ┐а)
и л л и
л и л и
Так как данная формула истинна при всех значениях, то она
действительно представляет собой закон логики.
Идея закона достаточно проста: высказывание и его отрицание не могут
быть одновременно истинными. Традиционно этот закон интерпретируется в
трех разных смыслах. Как принцип логики, он утверждает, что и
противоположные и противоречащие друг другу суждения не могут быть
одновременно истинными. Как философский принцип, он утверждает
невозможность одновременного существования и несуществования чего-либо.
Как постулат психологии, он утверждает, что невозможно представить себе
одну и ту же вещь такой и вместе с тем не такой.
Основные законы логики тесно связаны друг с другом. К примеру, закон
недопущения противоречия тесно сопряжен с требованиями закона тождества,
поскольку нарушения закона тождества для суждения приводит к
определенным противоречиям мысли в рассуждении. К примеру, однажды
римский полководец Красс заметил, что никто из его рода не жил дольше 60
лет, но потом стал отпираться от своих слов и спрашивал, с какой-такой стати
он говорил бы это римлянам? На что Цицерон ответил: “Ты знал, что римляне
будут рады такой вести и хотел им угодить”. В этом историческом анекдоте
Красс пытался как бы оправдать противоречивость своих высказываний, и
Цицерон не смог не оценить этого в присущей ему ироничной манере.
Требование непротиворечивости мысли играет важную роль в научном
познании, особенно в юриспруденции. Нахождение противоречий в позиции
соперников является главной задачей диалога в суде между сторонами
обвинения и защиты. Установление существенных противоречий в доводах
соперника есть по сути признание логической и, следовательно, правовой
несостоятельности его позиции. Окончательное решение суда должно
основываться на достоверных и непротиворечивых фактах.
3. Закон исключенного третьего
Закон исключенного третьего – это утверждение о том, что два
противоречащих друг другу суждения не могут быть одновременно ни
истинными, ни ложными: одно из них истинно, другое ложно, а третьего не
дано. Закон констатирует, что из двух противоречащих суждений одно
необходимо является ложным. Его логическая формула:
а v ┐а

Страницы