Локка, Беркли, Юма и даже Рассела, не соответствует
тересно отметить, что эти влияния как таковые долж-
в некотором строгом смысле этого слова стоящей перед
ны быть субъективными: только субъективное знание
ней цели. Следствием этого тезиса является то, что
Брауэром рекурсивных функций могло иметь свое пе-
большая часть и современной эпистемологии также не
чальное следствие — помешать ему изобрести последо-
соответствует своей цели. К ней относится, в частности, вательности свободного выбора.
•современная эпистемическая логика, еслимы признаем, С другой стороны, цитата из работы Рейтинга ука-
что ее задача состоит в построении теории научного
зывает на определенные объективные отношения между
знания.Однако любой эпистемический логик может
объективным содержаниемдвух мыслей или теорий: легко избежать моей критики, если он просто заявит, Рейтинг ссылается не на субъективные условия или
что его целью не является развитие теории научного
электрохимию мозговых процессов Брауэра, а на объ-
знания.
ективную проблемную ситуацию в математикеπ ее воз-
Мой первый тезис, следовательно, содержит утверж-
можные влияния на субъективные акты мышления
дение о наличии двух различных смыслов понятий зна-
Брауэра, которые были направлены на решение этих
ния или мышления: (1) знание или мышление в субъек-
объективных проблем. Для описания этого можно ска-
тивном смысле,состоящее из состояний ума, сознания
зать, что высказывание Рейтинга касается объективной
или диспозиций действовать определенным образом; ситуационной логикиоткрытия Брауэра, то есть логики
(2) знание или мышление в объективном смысле,со-
третьего мира, и оно свидетельствует о том, что ситуа-
стоящее из проблем, теорий и рассуждений, аргументов
ция в третьем мире может воздействовать на второй
как таковых. Знание в этом объективном смысле в це-
мир. Действительно, предположение Рейтинга, что было
лом не зависит от чьего-либо требования нечто знать; бы печально, если бы Брауэр не открыл последователь-
оно также не зависит от чьей-либо веры или диспози-
ностей выбора, есть форма выражения того, что объек-
ции соглашаться, утверждать или действовать. Знание
тивное содержание мышленияБрауэра ценно и инте-
442
443
ресно, то есть ценно и интересно в том отношении, в
(3) «Я подтверждаю, что эта диссертация является
каком оно изменило объективную проблемную ситуа-
оригинальным и значительным вкладом в наше знание».
цию в третьем мире.
Эти довольно банальные примеры приведены лишь
Другими словами, если я говорю, что «мышление
для того, чтобы помочь уяснить, что я имею в виду, Брауэра испытало влияние Канта» или что «Брауэр от-
когда говорю о «знании и познании в объективном
верг теорию пространства Канта», то я говорю, по
смысле». Мое цитирование «Оксфордского словаря анг-
:крайней мере частично, об актах мышления в субъек-
лийского языка» не должно быть интерпретировано ни
тивном смысле: слово «влияние» указывает на кон-
как уступка лингвистическому анализу (языковому ана-
текст процессов или актов мышления. Однако если я
лизу), ни как попытка успокоить его сторонников. Ци-
говорю, что «мышление Брауэра в сильной степени от-
тируя его, я не пытался доказать, что «обычное употреб-
личается от кантовского», тогда совершенно ясно, что
ление» слова «знание» покрывается его объективным
.я говорю главным образом о содержании мышления.
смыслом, то есть смыслом в рамках моего третьего ми-
И наконец, если я говорю, что «мысли Брауэра несо-
-ра. На самом деле я был удивлен, когда обнаружил в
вместимы с мыслями Рассела», то путем использования
«Оксфордском словаре английского языка» примеры
такого логического термина,как «несовместимы», яне-
объективного употребления термина «знание». (Я еще
двусмысленно подчеркиваю, что употребляю слово
более удивился, когда обнаружил даже некоторые, по
•«мысль» только во фрегевском объективном смысле и
крайней мере частичные,объективные употребления сло-
говорю лишь об объективном, или логическом, содер-
ва «знать», а именно такие: «различать..., быть знако-
жании теорий.
мым с (некоторой вещью, местом, человеком); ...пони-
Аналогично тому как в обыденном языке нет, к со-
мать». То, что эти употребления, возможно, являются
жалению, отдельных терминов для понятия «мышление»
частично объективными, станет ясным из последующего
в смысле второго мира и в смысле третьего мира, так
(см. далее, разд. 7.1). В любом случае все приведен-
в нем нет и отдельных терминов для обозначения двух
ные примеры не следует рассматривать как аргументы
•соответствующих смыслов понятий «я знаю» и «знание».
в пользу моей концепции. Они служат только для ил-
Для того чтобы показать существование обоих смыс-
люстрации моих рассуждений.
лов понятия «знание», я сначала приведу три примера
Итак, мой первый тезис,до сих пор не доказанный, из второго мира, примеры субъективного характера.
а только проиллюстрированный, состоит в том, что
(1) «Я знаю,что вы стремитесь спровоцировать ме-
традиционная эпистемология с ее концентрацией внима-
ня, но я не дам себя спровоцировать».
ния на втором мире, или знании в субъективном смыс-
(2) «Я знаю,что последняя теорема Ферма не была
ле, не имеет отношения к исследованию научного зна-
доказана, но я думаю, что она когда-нибудь будет до-
ния.
казана».
Мой второй тезиссостоит в том, что эпистемология
(3) Знаниеесть «состояние осведомленности или
должна заниматься исследованием научных проблем и
информированности» (из статьи «Знание» в «Оксфорд-
проблемных ситуаций, научных предположений (кото-
ском словаре английского языка»).
рые я рассматриваю просто как другое название для
Теперь я приведу три примера из третьего мира, научных гипотез или теорий), научных дискуссий, кри-
примеры объективного характера.
тических рассуждений, той роли, которую играют эмпи-
(1) Знание есть «область изучения, наука, искус-
рические свидетельства в аргументации, и поэтому ис-
ство» (из статьи «Знание» в «Оксфордском словаре
следованием научных журналов и книг, экспериментов
английского языка»).
и их значения для научных рассуждений. Короче, для
(2) Принимая во внимание современное состояние
эпистемологии решающее значение имеет исследование
метаматематического знания,можно предположить, что
третьего мира объективного знания, являющегося в зна-
последняя теорема Ферма является, по-видимому, не-
разрешимой.
чительной степени автономным.
444
445
что существует тесная аналогия между ростом знания
Эпистемологическое исследование, как я характери-
и биологическим ростом, то есть эволюцией растений
зую его в моем втором тезисе, не предполагает, что
и животных.
ученые претендуют на то, что их предположения истин-
ны, что они «познали» их в субъективном смысле слова
«познать» или что они убеждены в них. Поэтому хотя
i 2. Биологический подход к третьему миру