Вопрос о том, познаваем ли мир, в гносеологии имеет следующую формулировку: как относятся наши мысли об окружающем нас мире к самому этому миру? В состоянии ли наше мышление познавать действительный мир, можем ли мы в наших представлениях и понятиях о действительном мире составлять верное отражение действительности? Данная формулировка более строга в том смысле, что предполагает сложность познания предметов, процессов, ситуаций, наличие не только внешней их стороны, но и внутренней, сущностной; она учитывает трудности познания внешней стороны явлений (вспомним хотя бы проблему "вторичных" качеств) и особенно сущности материальных объектов, не только раскрываемых в своих проявлениях, но и скрываемых в них, нередко искаженно ими представляемых. Поэтому вопрос состоит не в том, познаваем ли мир, - этот вопрос в буквальном смысле никем не ставится, - вопрос заключается в том, можно ли достоверно познать предметы, их сущности и проявления сущности. Это и есть подлинная философская проблема, не видеть которую не могли трезвомыслящие философы.
В истории философии сложились две позиции: познавательно-реалистическая и агностическая, и не всегда в активе первой было чуткое улавливание реальной сложности проблемы.
Поставив проблему "Что я могу знать?" И. Кант развернул ее в "Критике чистого разума" в вопрос: "Как возможно априорное (до-опытное) знание?" Этот вопрос затем распался на ряд других. Как возможно естествознание? Как возможна математика? Как возможна метафизика (т.е. философия) в качестве науки? И. Кант исследовал познавательные способности, или душевные силы человека, лежащие в основе каждой их этих сфер познания. Он изучил природу этих способностей, их возможности, попытался определить, чем отличается познание от мышления, рассмотрел диалектические антиномии разума, стремился решить вопрос, как найти всеобщий критерий истины для всякого знания, и т.п. Он полагал, что наблюдение и анализ явлений непрерывно расширяют опыт и объем знания, но прогресс знания всегда имеет границы, всегда перед человеком будут находиться "вещи сами по себе" (см., например: Кант И. Соч.: В 6 т. Т. 3. М., 1964. С. 326). Сколько бы мы ни проникали вглубь явлений, наше знание все же будет отличаться от вещей, каковы они на самом деле. И. Кант был решительным противником познавательного скептицизма, считая его ложным подходом к проблеме познания; вместе с тем он выступал и против догматического предрассудка о всесилии научного знания, против сциентистской переоценки возможностей науки. В этом контексте он и представил "вещи сами по себе" как непознаваемые.
Как же в связи со сказанным выше уточнить основной вопрос гносеологии? В чем суть агностицизма, какова его определяющая черта? Некоторые ученые полагают, что для агностицизма характерно утверждение, что мир не познаваем. Но если взять трактовку агностицизма как учения, отрицающего познаваемость мира (а в некоторых учебных пособиях подчеркивается даже, будто "основной тезис агностицизма - познание невозможно") и применить ее к оценке мировоззренческих позиций И. Канта, И. Мюллера, Г. Гельмгольца, А. Пуанкаре, Т. Гексли, К. Пирсона или Г. Башляра, то, быть может, мы и определим их как агностические в общетеоретическом плане, но при этом останется непонятным, почему эти ученые внесли значительный вклад в разработку проблем именно научно-теоретического познания (познания чего? конечно, мира).
Представление, будто агностицизм отрицает познаваемость вещей, не применимо ни к одной из его распространенных форм, причем не только настоящего, но и прошлого.
Наличие агностицизма в философии свидетельствует о том, что познание есть сложный феномен, что здесь есть над чем поразмыслить, что оно заслуживает специального философского продумывания. Древнегреческий философ Протагор (ок. 490 - ок. 420 до н.э.) разделял материалистические убеждения, сомневался в существовании богов. "О богах, - писал он, - я не могу знать, есть они, нет ли их, потому что слишком многое препятствует такому знанию, - и вопрос темен, и людская жизнь коротка" (цит. по: Диоген Лаэртский. "О жизни, учениях и изречениях знаменитых философов". М., 1979. С. 375). Касаясь возможности познания окружающих явлений, он обосновывал взгляд, согласно которому "как оно кажется, так оно и есть". Разным людям свойственны разные знания, разные оценки одних и тех же явлений, поэтому "человек есть мера всех вещей". Таким образом, философ делал вывод о невозможности достоверного, т. е. общезначимого ("однозначного"), знания существа окружающих явлений.
В школе софистов ставилась цель обосновывать любые суждения, точки зрения, прибегая даже к логическим передержкам и парадоксам (софизмам).