Сформулированные в тот период, когда науки логики еще не было, древние софизмы прямо ставили вопрос о необходимости ее построения. Прямо в той мере, в какой это вообще возможно для софистического способа постановки проблем. Именно с софизмов началось осмысление и изучение доказательства и опровержения. И в этом плане софизмы непосредственно содействовали возникновению особой науки о правильном, доказательном мышлении.
Не может быть, конечно, речи о реабилитации или таком-то оправдании тех рассуждений, которые преследуют цель выдать ложь за истину, используя для этого логические или иные ошибки. Нужно, однако, помнить о том, что слово «софизм» имеет, кроме этого современного и хорошо устоявшегося смысла, еще и иное значение. В этом значении софизм представляет собой неизбежную на определенном этапе развития мышления форму постановки проблем.
3. «Есть» и «должен»
Как уже отмечалось, из описаний не выводимы оценки и из оценок не выводимы описания. Описательные утверждения обычно формулируются со связкой «есть», в оценочных утверждениях нередко употребляется «должен». Идею о невыводимости оценок из описаний и описаний из оценок выражают поэтому также в форме положения, что от «есть» нельзя с помощью только логики перейти к «должен», а от «должен» перейти к «есть».
Д.Юм первым подчеркнул невозможность логического перехода от «есть» к «должен» и упрекнул всю предшествующую этику в том, что она не считалась с этим важным обстоятельством. «Я заметил, — писал Юм, — что в каждой этической теории, с которой мне до сих пор приходилось встречаться, автор в течение некоторого времени рассуждает обычным образом, устанавливает существование бога или излагает свои наблюдения относительно дел человеческих; и вдруг я, к своему удивлению, нахожу, что вместо обычной связки, употребляемой в предложениях, а именно есть или не есть, не встречаю ни одного предложения, в котором не было бы в качестве связки должно и не должно. Подмена эта происходит незаметно, но тем не менее она в высшей степени важна. Раз это должно или не должно выражает некоторое новое отношение или утверждение, последнее следует принять во внимание и объяснить, и в то же время должно быть указано основание того, что кажется совсем непонятным, а именно того, каким образом это новое отношение может быть дедукцией из других, совершенно отличных от него... Я уверен, что этот незначительный акт внимания опроверг бы все обычные этические системы и показал бы нам, что различие порока и добродетели не основано исключительно на отношениях между объектами и не познается разумом»[360].
Этот отрывок из «Трактата» Юма очень популярен. Положение о невозможности логического перехода от фактических утверждений к утверждениям долженствования получило название «принципа Юма».
Данный принцип не раз служил отправным пунктом для важных методологических заключений, касающихся этики и всех иных наук, устанавливающих или обосновывающих какие-то утверждения о долженствовании. Утверждалось, в частности, что если моральные заключения не могут логически следовать из неморальных посылок, значит, нельзя обосновывать моральные принципы, выходя за пределы самой морали. Это положение, утверждающее, как кажется, независимость морали от фактов, получило название «принципа автономии морали» и вызвало большие споры.
А. Пуанкаре таким аргументом пытался показать невозможность научного обоснования морали, или этики: все научные предложения стоят в индикативном наклонении, а все моральные предложения являются императивными; из индикативных предложений с помощью логического вывода могут быть получены только индикативные предложения; следовательно, невозможно вывести моральное предложение из научных предложений[361].