Логика

Эти специфические особенности тавтологий пытались истолковать как несомненное доказательство отсутствия какой-либо связи законов логики с действительностью. Законы логики представляют собой априорные, известные до всякого опыта истины. Они не являются бессмысленными, но вместе с тем не имеют и содержательного смысла. Их невозможно ни подтвердить, ни опровергнуть ссылкой на опыт. Их функция — быть каркасом, строительными лесами нашего знания, указывать приемлемые преобразования выражений языка.

Идея об информационной пустоте логических законов является, однако, ошибочной. Ее сторонники крайне узко истолковывают опыт, способный подтверждать и опровергать научные утверждения и законы. Этот опыт сводится ими к фрагментарным, изолированным ситуациям или фактам. Последние достаточны для проверки истинности элементарных описательных утверждений типа "Идет дождь" или "Я иду быстро". Но они явно недостаточны для суждения об истинности абстрактных теоретических обобщений, опирающихся не на отдельные, разрозненные факты, а на совокупный, систематический опыт. Даже законы обычных наук нельзя обосновать простой ссылкой на факты и конкретику. Тем более это невозможно сделать в случае самых абстрактных из всех законов — законов логики. Они должны рассматриваться в своем генезисе и черпать свое обоснование из предельно широкого опыта мыслительной, теоретической деятельности. За законами логики стоит, конечно, опыт, и в этом они сходны со всеми иными научными законами. Но опыт не в форме каких-то изолированных, доступных наблюдению ситуаций, а конденсированный опыт всей истории человеческого познания.

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

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

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

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

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

2. Закон противоречия

Из всех логических законов самым известным является, без сомнения, закон противоречия. И вместе с тем в истории логики не было периода, когда бы этот закон не оспаривался и когда бы дискуссии вокруг него совершенно затихали.

Закон противоречия говорит о противоречащих друг другу высказываниях, т. е. о высказываниях, одно из которых является отрицанием другого. К ним относятся, например, высказывания "Луна — спутник Земли" и "Луна не является спутником Земли", "Трава — зеленая" и "Неверно, что трава зеленая" и т. п. В одном из противоречащих высказываний что-то утверждается, в другом — это же самое отрицается.

Если обозначить буквой А произвольное высказывание, то выражение не-A (неверно, что А) будет отрицанием этого высказывания.

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

Используя вместо высказываний буквы, эту идею можно передать так: неверно, что А и не-А. Неверно, например, что трава зеленая и не зеленая, что Луна — спутник Земли и не спутник Земли и т. п.

Закон противоречия выражается формулой:

~ (А & ~ А),

неверно, что А и не-А