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

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

— Скажи, — обращается софист к молодому любителю споров, — может одна и та же вещь иметь какое-то свойство и не иметь его?

— Очевидно, нет.

— Посмотрим. Мед сладкий?

— Да.

— И желтый тоже?

— Да, мед сладкий и желтый. Но что из этого?

— Значит, мед сладкий и желтый одновременно. Но желтый — это сладкий или нет?

— Конечно, нет. Желтый — это желтый, а не сладкий.

— Значит, желтый — это не сладкий?

— Конечно.

— О меде ты сказал, что он сладкий и желтый, а потом согласился, что желтый, значит, не сладкий, и значит, как бы сказал, что мед является сладким и не сладким одновременно. А ведь вначале ты твердо говорил, что ни одна вещь не может и обладать и не обладать каким-то свойством.

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

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

«Софисты, — пишет французский историк философии Э. Гратри, — это те, которые не допускают ни в умозрении, ни в практике той основной и необходимой аксиомы разума, что невозможно и утверждать и отрицать одно и то же, в одно и то же время, в одном и том же смысле и в одном и том же отношении».

Очевидно, что это совершенно несправедливое обвинение. Актерство софистов, разыгрывание ими сомнения в справедливости приложений закона противоречия принимается Э. Гратри за чистую монету. Когда софист говорит от себя, а не по роли, что, впрочем, бывает крайне редко, он вовсе не кажется защитником противоречивого мышления. В диалоге «Софист» Платон замечает, что испытание мыслей на противоречивость является несомненным требованием справедливости. Эта мысль Платона является только повторением утверждения софиста Горгия.

Таким образом, софизмы древних, сформулированные еще в тот период, когда логики как теории правильного рассуждения еще не было, в большинстве своем прямо ставят вопрос о необходимости ее построения. «Прямо» в той мере, в какой это вообще возможно для софистического способа постановки проблем. Именно с софистов началось осмысление и изучение доказательства и опровержения. И в этом плане они явились прямыми предшественниками Аристотеля.

Чаще всего анализ софизма не может быть завершен раскрытием логической или фактической ошибки, допущенной в нем. Это как раз самая простая часть дела. Сложнее уяснить проблемы, стоящие за софизмом, и тем самым раскрыть источник недоумения и беспокойства, вызываемого им, и объяснить, что придает ему видимость убедительного рассуждения.

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

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

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