сознания и что они взаимодействуют между собой, и я
этот раз уничтожены и все библиотеки, так что наша
считаю также, что существует третий мир — в смысле, способность учиться, используя книги, становится не-
который я объясню более подробно далее.
возможной.
Обитателями моего третьего мира являются преж-
Если вы поразмыслите над этими двумя экспери-
де всего теоретические системы, другими важными его
ментами, то реальность, значение и степень автономии
жителями являются проблемы и проблемные ситуации.
третьего мира (так же как и его воздействие на второй
Однако его наиболее важными обитателями — это я бу-
и первый миры), возможно, сделаются для вас немно-
ду специально доказывать — являются критические рас-
го более ясными. Действительно, во втором случае воз-
суждения и то, что может быть названо — по аналогии
-с физическим состоянием или состоянием сознания —
Это обоснование впервые приведено в [42, т. II, с. 108].
440
441
рождение нашей цивилизации не произойдет в течение
в объективном смысле есть знание без того, кто знает: многих тысячелетий.
оно есть знание без познающего субъекта.
Я хочу в данной лекции обосновать три главных те-
О мышлении в объективном смысле Фреге писал: зиса, которые относятся к эпистемологии, при этом
«Под суждением я понимаю не субъективную деятель-
эпистемологию я рассматриваю как теорию научного
ность мышления, а его объективное содержание...·» [15.
знания.
с. 188] (курсив мой).
Мой первый тезис состоит в следующем. Традицион-
Два смысла понятия мышления и их интересные
ная эпистемология исследует знание или мышление в
взаимоотношения могут быть проиллюстрированы сле-
субъективном смысле, то есть в духе обычного употреб-
дующей весьма убедительной цитатой из работы Гей-
ления слов «я знаю» или «я мыслю». По-моему, это
' тинга [26], который пишет о процессе открытия Брауэ-
приводит людей, занимающихся эпистемологией, к не-
ром теории континуума: «Если бы рекурсивные функ-
сообразностям: стремясь исследовать научное знание, ции были известны раньше, он [Брауэр], возможно, не
они фактически исследуют нечто такое, что не имеет
ввел бы понятия последовательности выбора, а это, по-
отношения к научному знанию, ибо научное знание не
моему, было бы печально» [26, с. 226].
есть просто знание в смысле обычного использования
В этом утверждении Рейтинг, с одной стороны, ссы-
слов «я знаю». В то время как знание в смысле «я знаю»
лается на некоторые субъективные процессы мышления
принадлежит к тому, что я называю «вторым миром», Брауэра и говорит, что они могли бы не произойти (что·
миром субъектов, научное знание принадлежит к
было бы печально), если бы объективная проблемная
третьему миру, к миру объективных теорий, объектив-
ситуация была бы другой. Рейтинг указывает некоторые
ных проблем и объективных рассуждений.
возможные влияния на субъективные процессы мышле-
Таким образом, мой первый тезис состоит в том, что
ния Брауэра и выражает свое мнение относительно
традиционная эпистемология, то есть эпистемология
ценности этих субъективных процессов мышления. Ин-
Локка, Беркли, Юма и даже Рассела, не соответствует
тересно отметить, что эти влияния как таковые долж-
в некотором строгом смысле этого слова стоящей перед
ны быть субъективными: только субъективное знание
ней цели. Следствием этого тезиса является то, что
Брауэром рекурсивных функций могло иметь свое пе-
большая часть и современной эпистемологии также не
чальное следствие — помешать ему изобрести последо-
соответствует своей цели. К ней относится, в частности, вательности свободного выбора.
•современная эпистемическая логика, если мы признаем, С другой стороны, цитата из работы Рейтинга ука-
что ее задача состоит в построении теории научного
зывает на определенные объективные отношения между
знания. Однако любой эпистемический логик может
объективным содержанием двух мыслей или теорий: легко избежать моей критики, если он просто заявит, Рейтинг ссылается не на субъективные условия или
что его целью не является развитие теории научного
электрохимию мозговых процессов Брауэра, а на объ-
знания.
ективную проблемную ситуацию в математике π ее воз-
Мой первый тезис, следовательно, содержит утверж-
можные влияния на субъективные акты мышления
дение о наличии двух различных смыслов понятий зна-
Брауэра, которые были направлены на решение этих
ния или мышления: (1) знание или мышление в субъек-
объективных проблем. Для описания этого можно ска-
тивном смысле, состоящее из состояний ума, сознания
зать, что высказывание Рейтинга касается объективной
или диспозиций действовать определенным образом; ситуационной логики открытия Брауэра, то есть логики
(2) знание или мышление в объективном смысле, со-
третьего мира, и оно свидетельствует о том, что ситуа-
стоящее из проблем, теорий и рассуждений, аргументов
ция в третьем мире может воздействовать на второй
как таковых. Знание в этом объективном смысле в це-
мир. Действительно, предположение Рейтинга, что было
лом не зависит от чьего-либо требования нечто знать; бы печально, если бы Брауэр не открыл последователь-
оно также не зависит от чьей-либо веры или диспози-
ностей выбора, есть форма выражения того, что объек-
ции соглашаться, утверждать или действовать. Знание
тивное содержание мышления Брауэра ценно и инте-
442
443
ресно, то есть ценно и интересно в том отношении, в
(3) «Я подтверждаю, что эта диссертация является
каком оно изменило объективную проблемную ситуа-
оригинальным и значительным вкладом в наше знание».
цию в третьем мире.
Эти довольно банальные примеры приведены лишь
Другими словами, если я говорю, что «мышление
для того, чтобы помочь уяснить, что я имею в виду, Брауэра испытало влияние Канта» или что «Брауэр от-
когда говорю о «знании и познании в объективном
верг теорию пространства Канта», то я говорю, по
смысле». Мое цитирование «Оксфордского словаря анг-
:крайней мере частично, об актах мышления в субъек-
лийского языка» не должно быть интерпретировано ни
тивном смысле: слово «влияние» указывает на кон-
как уступка лингвистическому анализу (языковому ана-
текст процессов или актов мышления. Однако если я
лизу), ни как попытка успокоить его сторонников. Ци-
говорю, что «мышление Брауэра в сильной степени от-
тируя его, я не пытался доказать, что «обычное употреб-
личается от кантовского», тогда совершенно ясно, что
ление» слова «знание» покрывается его объективным
.я говорю главным образом о содержании мышления.
смыслом, то есть смыслом в рамках моего третьего ми-
И наконец, если я говорю, что «мысли Брауэра несо-
-ра. На самом деле я был удивлен, когда обнаружил в
вместимы с мыслями Рассела», то путем использования
«Оксфордском словаре английского языка» примеры
такого логического термина, как «несовместимы», я не-
объективного употребления термина «знание». (Я еще
двусмысленно подчеркиваю, что употребляю слово
более удивился, когда обнаружил даже некоторые, по
•«мысль» только во фрегевском объективном смысле и