2.2. Закон мышления. Принципы (законы) классической формальной логики

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

Логический закон – это такая логическая форма высказывания, которая принимает значение «истина» при любой интерпретации входящих в её состав параметров.

К фундаментальным формально-логическим законам (принципам формальной логики) относят законы тождества, непротиворечия, исключённого третьего и достаточного основания.

• Пример

Для введения закона тождества рассмотрим нарушающее его умозаключение: «Так как движение вечно, а хождение в вуз – это действительно движение, то хождение в вуз вечно». В данном рассуждении понятие «движение» оказалось двусмысленным: в суждении «Движение вечно» это понятие использовано в философском смысле «атрибута вечно существующей материи», а в суждении «Хождение в вуз – это действительно движение» в конкретном смысле «перемещения в пространстве».

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

• Пример

Если же мы в процессе утверждений о чём-либо начнём использовать отрицающие друг друга высказывания, например: «Все люди способны к логическому мышлению» и «Ни один человек не способен к логическому мышлению», то столкнёмся с ситуацией совмещения истины и лжи.

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

1. «Данное S есть P» и «Данное S не есть P».

2. «Все S есть P» и «Ни одно S не есть P».

3. «Все S есть P» и «Некоторые S не есть P».

4. «Ни одно S не есть P» и «Некоторые S есть P».

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

Некоторые из приведённых выше противоположных высказываний не только не могут быть одновременно истинными, но также и одновременно ложными («Данное S есть P» и «Данное S не есть P»; «Все S есть P» и «Некоторые S не есть P»; «Ни одно S не есть P» и «Некоторые S есть P»). Высказывания такого вида называются противоречащими.

• Пример

Противоположные суждения «Любой человек имеет высшее образование» и «Всякий человек не имеет высшего образования» одновременно ложны. Но в свою очередь первое из пары суждений «Любой человек имеет высшее образование» и «Некоторые люди не имеют высшего образования» ложно, второе – истинно и ничего иного, кроме того, чтобы одно было истинно и другое ложно, не может быть в принципе.

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

Рассмотренные законы непротиворечия и исключённого третьего предполагают, что мы отличаем истинные мысли от ложных, но если какая-то мысль принимается и считается кем-то истинной, то для этого должны иметься основания.

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

• Пример

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