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

Поппер Карл Раймунд

ценности этих субъективных процессов мышления. Ин-

Локка, Беркли, Юма и даже Рассела, не соответствует

тересно отметить, что эти влияния как таковые долж-

в некотором строгом смысле этого слова стоящей перед

ны быть субъективными: только субъективное знание

ней цели. Следствием этого тезиса является то, что

Брауэром рекурсивных функций могло иметь свое пе-

большая часть и современной эпистемологии также не

чальное следствие — помешать ему изобрести последо-

соответствует

своей цели. К ней относится, в частности, вательности свободного выбора.

•современная эпистемическая логика, еслимы признаем, С другой стороны, цитата из работы Рейтинга ука-

что ее задача состоит в построении теории научного

зывает на определенные объективные отношения между

знания.Однако любой эпистемический логик может

объективным содержаниемдвух мыслей или теорий: легко избежать моей критики, если он просто заявит, Рейтинг ссылается не на субъективные условия или

что его целью не является развитие теории научного

электрохимию мозговых процессов Брауэра, а на объ-

знания.

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

Мой первый тезис, следовательно, содержит утверж-

можные влияния на субъективные акты мышления

дение о наличии двух различных смыслов понятий зна-

Брауэра, которые были направлены на решение этих

ния или мышления: (1) знание или мышление в субъек-

объективных проблем. Для описания этого можно ска-

тивном смысле,состоящее из состояний ума, сознания

зать, что высказывание Рейтинга касается объективной

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

(2) знание или мышление в объективном смысле,со-

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

стоящее из проблем, теорий и рассуждений, аргументов

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

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

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

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

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

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

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

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

442

443

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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