О мышлении в объективном смысле Фреге писал: «Под суждением я понимаю не субъективную деятельность мышления, а его объективное содержание»[99].

Два смысла понятия мышления и их интересные взаимоотношения могут быть проиллюстрированы следующей весьма убедительной цитатой из работы Гейтинга (Heyting А, 1962), который пишет о процессе открытия Брауэром теории континуума: «Если бы рекурсивные функции были известны раньше, он [Брауэр], возможно, не ввел бы понятия последовательности выбора, а это, по-моему, было бы печально» (Ibid., р. 195) (русский перевод — с. 226).

В этом утверждении Гейтинг, с одной стороны, ссылается на некоторые субъективные процессы мышления Брауэра и говорит, что они могли бы не произойти (что было бы печально), если бы объективная проблемная ситуация была бы другой. Гейтинг указывает некоторые возможные влияния на субъективные процессы мышления Брауэра и выражает свое мнение относительно ценности этих субъективных процессов мышления. Интересно отметить, что эти влияния как таковые должны быть субъективными: только субъективное знание Брауэром рекурсивных функций могло иметь свое печальное следствие — помешать ему изобрести последовательности свободного выбора.

С другой стороны, цитата из работы Гейтинга указывает на определенные объективные отношения между объективным содержанием двух разных мыслей или теорий: Гейтинг ссылается не на субъективные условия или электрохимию мозговых процессов Брауэра, а на объективную проблемную ситуацию в математике и ее возможные влияния на субъективные акты мышления Брауэра, которые были направлены на решение этих объективных проблем. Для описания этого можно сказать, что высказывание Гейтинга касается объективной ситуационной логики открытия Брауэра, то есть логики третьего мира, и оно свидетельствует о том, что ситуация в третьем мире может воздействовать на второй мир. Действительно, предположение Гейтинга, что было бы печально, если бы Брауэр не открыл последовательностей выбора, есть форма выражения того что объективное содержание мышления Брауэра ценно и интересно, то есть ценно и интересно в том отношении, в каком оно изменило объективную проблемную ситуацию в третьем мире.

Другими словами, если я говорю, что «мышление Брауэра испытало влияние Канта» или что «Брауэр отверг теорию пространства Канта», то я говорю — по крайней мере отчасти — об актах мышления в субъективном смысле: слово «влияние» указывает на контекст процессов или актов мышления. Однако если я говорю, что «мышление Брауэра в сильной степени отличается от кантовского», тогда совершенно ясно, что я говорю главным образом о содержании мышления. И наконец, если я говорю, что «мысли Брауэра несовместимы с мыслями Рассела», то путем использования такого логического термина, как «несовместимость», я недвусмысленно подчеркиваю, что употребляю слово «мысль» только во фрегевском объективном смысле и говорю лишь об объективном, или логическом, содержании теорий.

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

Для того, чтобы показать существование обоих смыслов понятия «знание», я сначала приведу три примера из второго мира, примеры субъективного характера:

(1) «Я знаю, что вы стремитесь спровоцировать меня, но я не дам себя спровоцировать».

(2) «Я знаю, что последняя теорема Ферма не была доказана, но я думаю, что она когда-нибудь будет доказана».

(3) Знание есть «состояние осведомленности или информированности» (из статьи «Знание» ("Knowledge") в «Оксфордском словаре английского языка» ("Oxford English Dictionary")).

Теперь я приведу три примера из третьего мира, примеры объективного характера:

(1) Знание есть «область изучения, наука, искусство» (из статьи «Знание» ("Knowledge") в «Оксфордском словаре английского языка»).

(2) Принимая во внимание современное состояние метаматематического знания, можно предположить, что последняя теорема Ферма является, по-видимому, неразрешимой.

(3) «Я подтверждаю, что эта диссертация является оригинальным и значительным вкладом в наше знание».

Эти довольно банальные примеры приведены лишь для того, чтобы помочь уяснить, что я имею в виду, когда говорю о «знании и познании в объективном смысле». Мое цитирование «Оксфордского словаря английского языка» не должно быть интерпретировано ни как уступка лингвистическому анализу, ни как попытка успокоить его сторонников. Цитируя его, я не пытался доказать, что «обычное употребление» слова «знание» покрывается его объективным смыслом, то есть смыслом в рамках моего третьего мира. На самом деле я был удивлен, когда обнаружил в «Оксфордском словаре английского языка» примеры объективного употребления термина «знание». (Я еще более удивился, когда обнаружил в нем даже некоторые, по крайней мере частичные, объективные употребления слова «знать», а именно такие: «различать..., быть знакомым с (некоторой вещью, местом, человеком); ...понимать». То, что эти употребления, возможно, являются частично объективными, станет ясным из последующего^[100]. В любом случае все приведенные примеры не следует рассматривать как аргументы в пользу моей концепции. Они служат только для иллюстрации моих рассуждений.

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

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

Эпистемологическое исследование, как я характеризую его в моем втором тезисе, не предполагает, что ученые претендуют на то, что их предположения истинны, что они «познали» их в субъективном смысле слова «познать» или что они убеждены в них. И хотя в целом они не претендуют на то, что действительно «знают», они, развивая свои исследовательские программы, действуют на основе догадок о том, что является и что не является продуктивным и какая линия исследования обещает привести к обогащению третьего мира объективного знания. Другими словами, ученые действуют на основе догадок или, если хотите, субъективного убеждения (так мы можем называть субъективную основу некоторого действия) относительно того, что должно способствовать дальнейшему росту третьего мира объективного знания.

Сказанное, я полагаю, является аргументом в пользу как моего первого тезиса (об иррелевантности субъективистской эпистемологии), так и моего второго тезиса (о релевантности объективной эпистемологии).

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

Таковы мои три главных тезиса.

Наряду с ними я формулирую три дополнительных тезиса.

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