Закон тождества

Закон – это логическая форма, которая при подстановке вместо переменных ее значений всегда истинна. Среди большого количества логических законов закон тождества, закон противоречия, закон исключенного третьего и закон достаточного основания считаются основными. Первые три закона были сформулированы еще Аристотелем, а четвертый – Лейбницем и до сих пор не утратили своей ценности.

Согласно закону тождества, всякое высказывание об одном и том же предмете в одно и то же время и в одном и том же отношении должно быть тождественно самому себе, сколько бы раз не воспроизводилось. Закон тождества может быть выражен формулой p→p.

С законом тождества связано такое свойство логического мышления, как определенность. Несоблюдение требований закона тождества приводит к двусмысленности и неясности: «Она спрятала в карман записку от мужа». Часто мысль, высказанная вслух с некоторыми грамматическими ошибками, звучит абсурдно: «В деревне волки церковь съели». (Если же написать и произнести это выражение правильно, получится: «В деревне Волки церковь из ели».) Чаще всего нарушение требований закона тождества связано с синонимичностью и омонимичностью естественного языка и ассоциативностью человеческого мышления.

22. Закон противоречия.

Закон – это логическая форма, которая при подстановке вместо переменных ее значений всегда истинна. Среди большого количества логических законов закон тождества, закон противоречия, закон исключенного третьего и закон достаточного основания считаются основными. Первые три закона были сформулированы еще Аристотелем, а четвертый – Лейбницем и до сих пор не утратили своей ценности.

Закон противоречия гласит: два высказывания, находящиеся в отношении отрицания, не могут быть одновременно истинными, по крайней мере одно из них ложно. Для того чтобы закон противоречия действовал, надо рассуждать об одном и том же предмете, в одно и то же время в одном и том же отношении. Закон противоречия может быть выражен формулой ┐(p^┐p).

В законе противоречия зафиксировано такое свойство логического мышления, как непротиворечивость. Необходимо различать истинные и мнимые противоречия. Так, между высказываниями «Наше плавание можно назвать удачным» и «Нельзя сказать, что наше плавание было удачным» – противоречие будет отсутствовать, если подразумевается, что плавание удачное, так как путешественники продвинулись в своем плавании дальше всех остальных, но так как они не достигли поставленной цели – оно неудачно. В данном случае путешествие оценивается с различных позиций.

23. Закон исключенного третьего.

Подобно закону противоречия закон исключенного третьего выражает последовательность и непротиворечивость мышления. Закон противоречия касается всех несовместимых высказываний, в то время как закон исключенного третьего действует в отношении только противоречащих высказываний. Закон исключенного третьего: два противоречащих друг другу высказывания не могут быть ни одновременно истинными, ни одновременно ложными, одно из них истинно, другое – ложно, третьего не дано. Закон исключенного третьего в виде формулы записывается следующим образом: p˅┐p

В соответствии с требованиями закона исключенного третьего только одна из альтернатив является истинной: «Число 7 либо четное, либо нечетное», «Студент Н. либо имеет водительское удостоверение, либо не имеет».