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

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

Существуют четыре основных закона: закон тождества, закон противоречия, закон исключенного третьего, закон достаточного основания.

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

Аргументация всегда должна быть истинной, в то время как заключение не всегда.

Существует два вида доказательств:

Прямые – тезис логически следует из аргументов.

Непрямые (косвенные) – это такие доказательства, в которых истинность выдвигаемого тезиса обосновывается путём доказательства ложности антитезиса, они делятся на два вида:

• Доказательства от противного, осуществляется путём установления ложности суждения противоречащего тезису. Предполагается истинности антитезиса и из него выводится следствие, если хотя бы одно из полученных следствий противоречит либо посылке, или другому следствию, истинность которого уже установлена, то данное следствие, а за ним и антитезис предполагается ложным.

• Разделительные доказательства, метод исключения. Устанавливается ложность всех членов дизъюнкции, кроме одного и который является обоснованным тезисом.