Основные законы логики. A&~A) – т.е. неверно, что A и не-A; или: формула «A и не-A» всегда ложна.

5.2. Основные законы логики

Познавая окружающий мир, человек отражает в своем мышлении явление действительности. Важным условием достижения истинных знаний является правильная связь мыслей, обусловленная законами формальной логики. Закон мышления, или логический закон, - это внутренняя, существенная, необходимая связь между мыслями. Формально-логические законы отражают наиболее простые и вместе с тем необходимые условия правильного мышления. Несоблюдение этих законов делает мышление путанным, бессвязным, противоречивым, приводит к ошибкам в рассуждениях. Теперь мы можем определить, что называют законами логики.

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

Логических законов бесконечно много. Мы рассмотрим лишь некоторые, наиболее часто используемые из них.

1. Закон непротиворечия говорит о противоречивых суждениях, т.е. о суждениях, одно из которых является отрицанием другого.

Этот закон выражается формулой:

~(A&~A) – т.е. неверно, что A и не-A; или: формула «A и не-A» всегда ложна.

Сформулировать этот закон можно следующим образом:

Два противоречивых суждения не могут быть одновременно истинными.

Из двух противоречащих друг другу суждений одно является ложным.

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

2. Закон исключенного третьего тоже говорит о противоречивых суждениях.

Этот закон выражается формулой:

AÚ~A – т.е. истинно, что A или не-A.

Сформулировать этот закон можно следующим образом:

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

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

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

3. Закон тождества говорит о том, что каждое суждение вытекает из самого себя.

Этот закон выражается формулой:

⇐ Предыдущая 123 4 5 Следующая ⇒