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

1. Исследование логических особенностей дедуктивных наук. Этот раздел достаточно глубоко и всесторонне разработан математиками и логиками. Многие результаты, полученные здесь (например, теорема Гёделя о неполноте и др.) имеют принципиальное философско-методологическое значение.

2. Применение логического анализа к опытному знанию. К этой сфере относятся изучение логической структуры теорий, способов их эмпирического обоснования, исследование различного рода правдоподобных рассуждений (индуктивный вывод, аналогия, моделирование, методы установления причинной связи на основе наблюдения и эксперимента и т.п.), трудностей применения теорий на практике и т.д. Особое место занимают проблемы, связанные с изучением смыслов и значений теоретических и эмпирических терминов, с анализом семантики таких ключевых терминов, как закон, факт, теория, система, измерение, вероятность, необходимость и т.д. В последнее время существенное внимание уделяется логическому исследованию процессов формирования, роста и развития знания. Они имеют общенаучный характер, но пока изучаются преимущественно на материале естественнонаучных теорий. Были предприняты, в частности, попытки построения особой диахронической логики для описания развития знания.

3. Применение логического анализа к оценочно-нормативному знанию. Сюда относятся вопросы семантики оценочных и нормативных понятий, изучение структуры и логических связей высказываний о ценностях, способов их обоснования, анализ моральных, правовых и других кодексов и т.д. Тема ценностей стала одной из центральных в сегодняшней методологии. Знание не сводимо к истине, оно включает также ценности. Без них нет ни гуманитарной, ни естественной науки. Всякая научная теория включает ценности, и притом в самой разнообразной форме: в форме иерархии своих положений, в форме ценностных составляющих господствующей парадигмы, (номинальных) определений, конвенций и т.д. Интенсивные исследования в этой области показали несостоятельность неопозитивистского требования исключения ценностей из науки. Это требование несовместимо не только с реальной практикой этики, эстетики, политэкономии и подобных им дисциплин непосредственно занятых обоснованием и утверждением определенных ценностей, но и с практикой научного познания в целом, которое, как и всякая человеческая деятельность, немыслимо без целей и иных ценностей. В изучении внутренних и внешних ценностей научных теорий важную роль призвана играть и логика.

4. Логический анализ приемов и операций, постоянно используемых во всех сферах мыслительной деятельности. К ним относятся объяснение, понимание, предвидение, определение, обобщение, классификация, абстрагирование, идеализация, сравнение, экстраполяция, редукция и т.п.

5. Применение логического анализа для исследовании наиболее важных категорий («причинность», «детерминизм», «онтологическая, или физическая, необходимость», «научный закон», объяснение, предсказание, понимание и др.).

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

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

В логике, как и во всякой науке, главное — законы. Логических законов бесконечно много, и в этом ее отличие от большинства других наук. Однородные законы объединяются в логические системы, которые тоже обычно именуются «логиками». Каждая из них дает описание логической структуры определенного фрагмента, или типа, наших рассуждений. Без логического закона нельзя понять, что такое логическое следование, а тем самым — и что такое доказательство. Законы логики составляют тот невидимый железный каркас, на котором держится последовательное рассуждение и без которого оно превращается в хаотическую, бессвязную речь. Один из наиболее известных законов логики — закон противоречия. Его сформулировал еще Аристотель, назвав «самым достоверным из всех начал, свободным от всякой предположительности». Закон говорит о высказываниях, одно из которых отрицает другое, а вместе они составляют логическое противоречие. Например: «Пять — четное число» и «Пять — нечетное число».

Идея, выражаемая законом противоречия, проста: высказывание и его отрицание не могут быть одновременно истинными. Пусть А обозначает произвольное высказывание, не-А — отрицание этого высказывания. Тогда закон можно представить так: «Неверно, что А и не-А». Неверно, например, что Солнце — звезда и Солнце не является звездой, что человек — разумное существо и вместе с тем не является разумным и т.п.

Если ввести понятия истины и лжи, закон противоречия можно сформулировать так: никакое высказывание не является вместе истинным и ложным. В этой версии закон звучит особенно убедительно. Истина и ложь — это две несовместимые характеристики высказывания. Истинное высказывание соответствует действительности, ложное не соответствует ей. Тот, кто отрицает закон противоречия, должен признать, что одно и то же высказывание может соответствовать реальному положению вещей и одновременно не соответствовать ему. Трудно понять, что означают в таком случае сами понятия истины и лжи.

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

Конечно, в реальной жизни все обстоит не так страшно, как это рисует данный закон. Ученый, обнаруживший в какой-то научной теории противоречие, не спешит обычно воспользоваться услугами закона, чтобы дискредитировать ее. Чаще всего противоречие отграничивается от других положений теории, входящие в него утверждения проверяются и перепроверяются до тех пор, пока не будет выяснено, какое из них является ложным. В конце концов ложное утверждение отбрасывается, и теория становится непротиворечивой. Только после этого она обретает уверенность в своем будущем. Противоречие — это еще не смерть научной теории. Но оно подобно смерти. Можно ли описать движение без противоречия? Иногда отвечают, что такое описание не схватило бы самой сути движения — последовательной смены положения тела в пространстве и во времени. Движение внутренне противоречиво и требует для своего описания оборотов типа: «Движущееся тело находится в данном месте, и движущееся тело не находится в данном месте». Поскольку противоречиво не только механическое движение, но и всякое изменение вообще, любое описание явлений в динамике должно быть — при таком подходе — внутренне противоречивым.

Разумеется, этот подход представляет собой недоразумение. Можно просто сказать: «Дверь полуоткрыта». Но можно заявить: «Дверь открыта и не открыта», имея при этом в виду, что она открыта, поскольку не является плотно притворенной, и вместе с тем не открыта, потому что не распахнута настежь.Подобный способ выражения представляет собой, однако, не более чем игру в риторику и афористичность. Никакого действительного противоречия здесь нет, так как нет утверждения и отрицания одного и того же, взятого в одном и том же отношении. «Березы опали и не опали», — говорят одни, подразумевая, что некоторые березы уже сбросили листву, а другие нет. «Человек и ребенок, и старик», — говорят другие, имея в виду, что один и тот же человек в начале своей жизни — ребенок, а в конце ее — старик. Действительного противоречия в подобных утверждениях, конечно же, нет. Точно так же, как его нет в словах песни: «Речка движется и не движется... Песня слышится и не слышится...»

Те примеры, которые обычно противопоставляют закону противоречия, не являются подлинными противоречиями и не имеют к нему никакого отношения. Логические противоречия недопустимы в науке, но установить, что конкретная теория не содержит их, непросто. То, что в процессе развития и развертывания теории не встречено никаких противоречии, еще не означает, что их в самом деле нет. Научная теория – очень сложная система утверждений. Не всегда противоречие удается обнаружить относительно быстро путем последовательного выведения следствий из ее положений. Вопрос о непротиворечивости становится яснее, когда теория допускает аксиоматическую формулировку, подобно геометрии Евклида или механике Ньютона. Для большинства аксиоматизированных теорий непротиворечивость доказывается без особого труда. Есть, однако, теория, в случае которой десятилетия упорнейших усилий не дали ответа на вопрос, является она непротиворечивой или нет. Это математическая теория множеств, лежащая в основе всей математики.