Законы логики.

Три основных закона логики сформулированы Аристотелем:
— закон тождества,
— закон (запрета) противоречия,
— закон исключенного третьего.

А четвертый закон - достаточного основания — выдвинут немецким математиком и философом XVII—XVIII вв. Лейбницем.

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

Нарушением этого закона является подмена понятий (часто используется в адвокатской практике).

В этом законе непосредственно проявляется природа самых фундаментальных свойств логической мысли — определенности и последовательности.

Иначе этот закон можно выразить так: мысли о предметах, свойствах или отношениях должны оставаться неизменными по содержанию в процессе всего рассуждения о них.

2. Закон противоречия
Сущность закона: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них обязательно ложно.

Закон противоречия раскрывает те же самые свойства определенности и последовательности, но только выражает их в отрицательной форме. Или, говоря немного конкретнее, согласно этой норме мышления в рассуждениях не должно быть одновременных утверждений и отрицаний относительно чего бы то ни было. Поэтому закон этот следовало бы назвать законом запрета противоречия. «Невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении» (Аристотель. Соч. Т. 1. С. 125). Признавать какое-либо положение и тут же от него отказываться всегда означает путаницу, отсутствие ясных и точных представлений. И когда нам надо показать несостоятельность, недопустимость тех или иных рассуждений или взглядов, то прежде всего мы стремимся указать на наличие в них нелепых, несовместимых положений - противоречий.

3. Закон исключенного третьего.
Истинно либо суждение, либо его отрицание («третьего не дано»). Сущность закона: из двух противоречащих суждений если одно истинно, то другое ложно, а третьего не дано. Закон исключенного третьего применим к высказываниям противоречащим и не применим к высказывания противоположным.

Когда два понятия противоположны друг другу, то это означает максимальную противоположность между ними, а не просто противоречие. Выражается это в двух обстоятельствах: какой-нибудь признак, присущий одному из понятий, во-первых, отсутствует у другого и, во-вторых, вместо этого признака у него имеется несовместимый с ним (черный — белый, сильный - слабый, утро — вечер). Когда же у другого понятия отмечается только отсутствие какого-либо признака и ничего не говорится о том, какой ему вместо него присущ, то тогда возникает отношение противоречия: «белый» и «небелый», «утро» и «неутро», «добрый» и «недобрый», «экспорт» и «неэкспорт».

Применяя закон исключенного третьего, надо помнить, что он ничего не говорит о том, какое из двух противоречащих суждений является истинным. Закон указывает лишь на то, что истинно одно, и только одно из них, а другое обязательно ложно. Это значит, когда нам удалось установить значение истинности одного из двух противоречащих суждений, то тем самым определилось и значение истинности другого. Отдельно устанавливать его уже не надо, потому что оно однозначно задается значением истинности сопряженного с ним понятия. Но какое именно из них должно быть оценено так, а какое иначе — для этого требугся отдельное исследование.