Логика и рост научного знания

ция в третьем мире может воздействовать на второй

как таковых. Знание в этом объективном смысле в це-

мир. Действительно, предположение Рейтинга, что было

лом не зависит от чьего-либо требования нечто знать; бы печально, если бы Брауэр не открыл последователь-

оно также не зависит от чьей-либо веры или диспози-

ностей выбора, есть форма выражения того, что объек-

ции соглашаться, утверждать или действовать. Знание

тивное содержание мышленияБрауэра ценно и инте-

442

443

ресно, то есть ценно и интересно в том отношении, в

(3) «Я подтверждаю, что эта диссертация является

каком оно изменило объективную проблемную ситуа-

оригинальным и значительным вкладом в наше знание».

цию в третьем мире.

Эти довольно банальные примеры приведены лишь

Другими словами, если я говорю, что «мышление

для того, чтобы помочь уяснить, что я имею в виду, Брауэра испытало влияние Канта» или что «Брауэр от-

когда говорю о «знании и познании в объективном

верг теорию пространства Канта», то я говорю, по

смысле». Мое цитирование «Оксфордского словаря анг-

:крайней мере частично, об актах мышления в субъек-

лийского языка» не должно быть интерпретировано ни

тивном смысле: слово «влияние» указывает на кон-

как уступка лингвистическому анализу (языковому ана-

текст процессов или актов мышления. Однако если я

лизу), ни как попытка успокоить его сторонников. Ци-

говорю, что «мышление Брауэра в сильной степени от-

тируя его, я не пытался доказать, что «обычное употреб-

личается от кантовского», тогда совершенно ясно, что

ление» слова «знание» покрывается его объективным

.я говорю главным образом о содержании мышления.

смыслом, то есть смыслом в рамках моего третьего ми-

И наконец, если я говорю, что «мысли Брауэра несо-

– ра. На самом деле я был удивлен, когда обнаружил в

вместимы с мыслями Рассела», то путем использования

«Оксфордском словаре английского языка» примеры

такого логического термина,как «несовместимы», яне-

объективного употребления термина «знание». (Я еще

двусмысленно подчеркиваю, что употребляю слово

более удивился, когда обнаружил даже некоторые, по

•«мысль» только во фрегевском объективном смысле и

крайней мере частичные,объективные употребления сло-

говорю лишь об объективном, или логическом, содер-

ва «знать», а именно такие: «различать..., быть знако-

жании теорий.

мым с (некоторой вещью, местом, человеком); ...пони-

Аналогично тому как в обыденном языке нет, к со-

мать». То, что эти употребления, возможно, являются

жалению, отдельных терминов для понятия «мышление»

частично объективными, станет ясным из последующего

в смысле второго мира и в смысле третьего мира, так

(см. далее, разд. 7.1). В любом случае все приведен-

в нем нет и отдельных терминов для обозначения двух

ные примеры не следует рассматривать как аргументы

•соответствующих смыслов понятий «я знаю» и «знание».

в пользу моей концепции. Они служат только для ил-

Для того чтобы показать существование обоих смыс-

люстрации моих рассуждений.

лов понятия «знание», я сначала приведу три примера

Итак, мой первый тезис,до сих пор не доказанный, из второго мира, примеры субъективного характера.

а только проиллюстрированный, состоит в том, что

(1) «Я знаю,что вы стремитесь спровоцировать ме-

традиционная эпистемология с ее концентрацией внима-

ня, но я не дам себя спровоцировать».

ния на втором мире, или знании в субъективном смыс-

(2) «Я знаю,что последняя теорема Ферма не была

ле, не имеет отношения к исследованию научного зна-

доказана, но я думаю, что она когда-нибудь будет до-

ния.

казана».

Мой второй тезиссостоит в том, что эпистемология

(3) Знаниеесть «состояние осведомленности или

должна заниматься исследованием научных проблем и

информированности» (из статьи «Знание» в «Оксфорд-

проблемных ситуаций, научных предположений (кото-

ском словаре английского языка»).

рые я рассматриваю просто как другое название для

Теперь я приведу три примера из третьего мира, научных гипотез или теорий), научных дискуссий, кри-

примеры объективного характера.

тических рассуждений, той роли, которую играют эмпи-

(1) Знание есть «область изучения, наука, искус-

рические свидетельства в аргументации, и поэтому ис-

ство» (из статьи «Знание» в «Оксфордском словаре

следованием научных журналов и книг, экспериментов

английского языка»).

и их значения для научных рассуждений. Короче, для

(2) Принимая во внимание современное состояние

эпистемологии решающее значение имеет исследование

метаматематического знания,можно предположить, что

третьего мира объективного знания, являющегося в зна-

последняя теорема Ферма является, по-видимому, не-

разрешимой.

чительной степени автономным.

444

445

что существует тесная аналогия между ростом знания

Эпистемологическое исследование, как я характери-

и биологическим ростом, то есть эволюцией растений

зую его в моем втором тезисе, не предполагает, что

и животных.