Аристотель пытался разрешать подобные софизмы, ссылаясь на двусмысленность глагола «знать». Действительно, момент двусмысленности здесь есть. Можно знать, что ложь предосудительна, и не знать, что именно об этом вас хотят спросить.
Но ограничиться здесь простой ссылкой на двусмысленность — значит не понять глубины самой двусмысленности и упустить самое важное и интересное.
Могут ли считаться истинными знания о предмете, если их не удается поставить в соответствие с самим предметом. Эта проблема непосредственно стоит за рассматриваемыми софизмами. Они фиксируют живое противоречие между наличием знания о предмете и опознанием этого предмета. О том, насколько важным является такое противоречие, говорит вся история теоретической науки и в особенности развитие современной, обычно высоко абстрактной науки.
Истина является бесконечным приближением к своему объекту. Абстрактной истины, как известно, нет, истина всегда конкретна. Отождествляя наши знания о некотором предмете с конкретным предметом, мы тем самым изменяем и углубляем их. Очевидно, что конкретное применение знаний требует узнавания предмета, и неудивительно, что узнавание является важной составляющей познавательной деятельности.
Всегда имеется расхождение между сложившимися представлениями об исследуемом фрагменте действительности и самим этим фрагментом. В случае научной теории — это расхождение или рассогласование между теоретическими представлениями об изучаемых объектах и самими эмпирическими данными в опыте объектами. Такое расхождение особенно велико на начальных этапах исследования, когда целому ряду теоретических выводов еще не удается поставить в соответствие никаких эмпирических данных.
Хорошим примером здесь может служить предсказание выдающимся русским химиком Д. И. Менделеевым существования новых химических элементов. Поскольку эмпирически они не были еще открыты и существовали только в «теоретическом пространстве», которое само еще не устоялось и не имело отчетливых очертаний, Менделеев несколько лет не решался обнародовать свое предсказание.
Характерным примером, относящимся уже к современной физике, является предсказание в начале 30-х годов английским физиком П. Дираком существования элементарной частицы нейтрино. Физики сразу же согласились, что введение этой «высокотеоретической» частицы было полезным и, возможно, даже необходимым с точки зрения теории. Но только спустя примерно два десятилетия непосредственные следы нейтрино удалось обнаружить в сцинтилляционных камерах. Теория давала определенное знание об этой частице, но понадобился сравнительно большой промежуток времени, пока оно было, наконец, дополнено опознанием самой частицы. Чисто теоретическое до той поры знание было с этого момента связано с эмпирическими явлениями и тем самым «опредмечено».
Несовпадение теоретического вывода и эмпирического результата всегда означает существование «неопредмеченного» знания, или знания о «неопознанных» объектах, которое было образно названо «незнающим» знанием. Софизмы, подобные «покрытому», как раз и обращают внимание на возможность и в общем-то обычность такого знания.
Они ставят также вопрос о том, что является критерием истинности теоретических утверждений, объекты которых еще не обнаружены в действительности или вообще не существуют реально, подобно «абсолютно черному телу» или «идеальному газу».
Истинной является мысль, соответствующая описываемому ею объекту. Но если этот объект неизвестен, с чем тогда должна сопоставляться мысль для суждения о ее истинности? Ответ на этот вопрос сложен и вызывает немало споров в современной методологии науки.
Эта и другие проблемы могут быть «вычитаны» из обсуждаемых софизмов только при достаточно высоком уровне научного знания и знания о самом этом знании. Но эти проблемы, пусть в самой «зародышевой» и иносказательной форме, все-таки поднимались данными софизмами.
Что касается двусмысленности слова «знать», как и двусмысленности вообще, то нужно заметить, что она далеко не всегда является досадной ошибкой отдельного, недостаточно последовательного ума. Двусмысленность может носить не только субъективный характер, являясь выражением некоторой логической нетренированности. Расхождение теоретического и эмпирического — постоянный и вполне объективный источник неопределенности и двусмысленности.
Софизм «покрытый» можно переформулировать так, что обнаружится еще одна сторона скрывающейся за ним проблемы.
Допустим, что рядом со мной стоит, накрывшись, не Сидоров, а какой-то другой человек, но я не знаю об этом. Знаю ли я Сидорова? Конечно, знаю. Но рядом со мной кто-то неизвестный. А вдруг это как раз Сидоров? Отвечая «знаю», я в какой-то мере рискую, ибо опять могу оказаться в положении, когда, зная Сидорова, я не узнал его, пока он не раскрылся.
