Закон мышления. Принципы (законы) классической формальной
Логики
В целом, закон мышления — это необходимая, существенная, устойчивая связь между мыслями. Поскольку же логика оперирует мыслями в качестве логических форм, то одним из основополагающих понятий для неё является логический закон. Логический закон — это такая логическая форма высказывания, которая принимает значение «истина» при любой интерпретации входящих в её состав параметров. К фундаментальным формально-логическим законам (принципам формальной логики) относят законы тождества, непротиворечия, исключённого третьего и достаточного основания.
V Пример
Для введения закона тождества рассмотрим нарушающее его умозаключение: «Так как движение вечно, а хождение в вуз — это действительно движение, то хождение в вуз вечно». В данном рассуждении понятие «движение» оказалось двусмысленным: в суждении «Движение вечно» это понятие использовано в философском смысле «атрибута вечно существующей материи», а в суждении «Хождение в вуз — это действительно движение» в конкретном смысле «перемещения в пространстве».
Устранению недоразумений подобного рода как раз и служит закон тождества, гласящий: в процессе определённого рассуждения всякое понятие и суждение (всякая мысль) должны быть тождественными самим себе.
V Пример
Если же мы в процессе утверждений о чём-либо начнём использовать отрицающие друг друга высказывания, например: «Все люди способны к логическому мышлению» и «Ни один человек не способен к логическому мышлению», то столкнёмся с ситуацией совмещения истины и лжи.
Поскольку же одно и то же высказывание в принципе не может одновременно соответствовать и не соответствовать реальному положению вещей, в данном случае произойдёт нарушение закона непротиворечия. Он устанавливает принципиальную невозможность для следующих пар высказываний (называемых несовместимыми) быть одновременно истинными: 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»). Высказывания такого вида называются противоречащими (контрадикторными).
V Пример
Противоположные (контрарные) суждения «Любой человек имеет высшее образование» и «Всякий человек не имеет высшего образования» одновременно ложны.
Но в свою очередь первое из пары противоречащих (контрадикторных) суждений «Любой человек имеет высшее образование» и «Некоторые люди не имеют высшего образования» ложно, второе — истинно и ничего иного, кроме того, чтобы одно было истинно и другое ложно, не может быть в принципе.
Данную необходимую, существенную, устойчивую связь между мыслями в виде противоречащих суждений фиксирует закон исключённого третьего: из двух противоречащих (контрадикторных) суждений одно истинно, другое ложно, а третьего не дано. Рассмотренные законы непротиворечия и исключённого третьего предполагают, что мы отличаем истинные мысли от ложных, но если какая-то мысль принимается и считается кем-то истинной, то для этого должны иметься основания. Не допускать без обоснования никакие суждения в качестве истинных требует закон достаточного основания, который гласит: всякая истинная мысль должна быть достаточно обоснованной. Данный закон (в отличие от трёх предыдущих, чётко сформулированных Аристотелем) был осмыслен и зафиксирован Лейбницем.
V Пример
Истинное утверждение «Звёзды имеют тот же химический состав, что и небесные тела Солнечной системы» в достаточной мере обосновывается практическим сопоставлением их спектральных линий.