Основные законы формальной логики

Согласно распространенному представлению, идущему от традиционной логики, в формальной логике есть четыре закона, которые называют основными: законы тождества, противоречия и исключенного третьего, сформулированные Аристотелем, и закон достаточного основания, введенный в логику Г.В. Лейбницем.

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

Другой, также аристотелевский закон – закон противоречия – может быть выражен так: из двух противоречащих высказываний А и не- А, по крайней мере, одно является ложным, или, иными словами, противоречащие друг другу высказывания не могут быть вместе истинными.

Аристотель формулирует и еще одно важное требование к мышлению, которое в логике получило название закона тождества: каждая объективно истинная и логически правильная мысль или понятие о предмете должны быть определенными и сохранять свою однозначность на протяжении всего рассуждения. Закон тождества ориентирует нас на то, чтобы в процессе рассуждения любая мысль оставалась тождественной самой себе. Иными словами, нельзя подменять предмет, о котором мы рассуждаем, другим предметом. Нередко мы сами того не замечая, нарушаем данное требование и начинаем говорить о другом, думая, что говорим о том же самом.

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

Не нашли, что искали? Воспользуйтесь поиском: