Специфика законов логики

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

Требования законов логики к мышлению

● Непротиворечивость ● Определенность

● Последовательность ● Обоснованность

Виды законов традиционной логики

Основные – выражают коренные свойства мышления в целом, имеют универсальный характер: закон непротиворечия, закон исключенного третьего, закон тождества (открыты Аристотелем, 384-322 гг. до н.э.); закон достаточного основания (открыт Лейбницем, 1646-1716 гг.).

Неосновные – связаны лишь с определенной формой мышления, т.е. действуют в ограниченной сфере:

• закон обратного соотношения между содержанием и объемом понятия;

• закон распределенности терминов в суждениях;

• законы взаимоотношений между суждениями;

• законы различных видов умозаключений и т.д.

Схема 4.2. Закон непротиворечия

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

Одному и тому же предмету в одно и то же время приписываются некоторый признак и его отрицание.

Суждение и его отрицание о предмете в одном и том же отношении не могут быть вместе истинными.

Аристотель: «Невозможно, чтобы противоречащее одно другому было вместе истинным в отношении одного и того же».

Формула закона непротиворечия АΛА читается: неверно, что А и не-А.

А	А	АΛА	АΛА
и	л	л	и
л	и	л	и

Формулой (АΛА)→В выражается закон Дунса Скота, известного средневекового логика, который интерпретируется следующим образом: из противоречия следует все что угодно.

Выражение АΛА при любых значениях его составляющих имеет только ложные значения.

Действие закона к несовместимым суждениям

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

Несовместимые суждения подразделяются на противоположные и противоречащие.

Противоположные суждения могут быть одновременно ложными, но не могут быть одновременно истинными.

Противоречащие суждения не могут быть одновременно истинными или одновременно ложными.

Противоречие не имеет места, если утверждение и отрицание относятся: 1) к различным признакам одного предмета; 2) к разным предметам; 3) к одному предмету, взятому в разное время; 4) к одному предмету, рассматриваемому в разных отношениях.

Противоречие есть критерий истины, отсутствие противоречия – критерий заблуждения.

Г. Гегель

Заблуждение всегда противоречит себе, истина - никогда.

К. Гельвецкий.

Люди только тогда сообщают нам интересные сведения, когда мы им противоречим.

Б. Шоу

Схема 4.3. Закон исключенного третьего

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

В формулировке Аристотеля: «… Не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо, что бы то ни было одно либо утверждать, либо отрицать».

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

Формула закона исключенного третьего читается либо А, либо не-А. Записывается А А.