законы логики

Ответ от Валент[гуру]
В логике, как и во всякой науке, главное — законы. Логических законов бесконечно много, и в этом ее отличие от большинства других наук.
Закон тождества
Первый и наиболее важный закон логики — это закон тождества, который был сформулирован Аристотелем в трактате «Метафизика» .
Закон тождества утверждает, что любая мысль (любое рассуждение) обязательно должна быть равна самой себе, т. е. она должна быть ясной, точной, простой, определенной. Говоря иначе, этот закон запрещает путать и подменять понятия в рассуждении (т. е. употреблять одно и то же слово в разных значениях или вкладывать одно и то же значение в разные слова) , создавать двусмысленность, уклоняться от темы и т п.
Закон противоречия
Из бесконечного множества логических законов самым популярным является закон противоречия. Он был открыт одним из первых и сразу же объявлен наиболее важным принципом не только человеческого мышления, но и самого бытия.
И вместе с тем в истории логики не было периода, когда этот закон не оспаривался бы и когда дискуссии вокруг него совершенно затихали бы.
Закон противоречия говорит о противоречащих друг другу высказываниях, т. е. о таких высказываниях, одно из которых является отрицанием другого. К ним относятся, например, высказывания «Луна — спутник Земли» и «Луна не является спутником Земли» , «Трава — зеленая» и «Неверно, что трава зеленая» и т. п. В одном из противоречащих высказываний что-то утверждается, в другом — это же самое отрицается.
Закон исключенного третьего
Закон исключительного третьего, как и закон противоречия, устанавливает связь между противоречащими друг другу высказываниями. И опять-таки идея, выражаемая им, представляется поначалу простой и очевидной: из двух противоречащих высказываний одно является истинным.
Конкретными приложениями этого закона являются, к примеру, высказывания: «Аристотель умер в 322 г. до н э. или он не умер в этом году» , «Личинки мух имеют голову или не имеют ее» .
Закон достаточного основания
Закон достаточного основания утверждает, что любая мысль (тезис) для того, чтобы иметь силу, обязательно должна быть доказана (обоснована) какими-либо аргументами, причем эти аргументы должны быть достаточными для доказательства исходной мысли, т. е. она должна вытекать из них с необходимостью (тезис должен с необходимостью следовать из оснований) .