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

считаю также, что существует третий мир — в смысле, способность учиться, используя книги, становится не-

который я объясню более подробно далее.

возможной.

Обитателями моего третьего мира являются преж-

Если вы поразмыслите над этими двумя экспери-

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

ментами, то реальность, значение и степень автономии

жителями являются проблемыи проблемные ситуации.

третьего мира (так же как и его воздействие на второй

Однако его наиболее важными обитателями — это я бу-

и первый миры), возможно, сделаются для вас немно-

ду специально доказывать — являются критические рас-

го более ясными. Действительно, во втором случае воз-

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

– с физическим состоянием или состоянием сознания —

Это обоснование впервые приведено в [42, т. II, с. 108].

440

441

рождение нашей цивилизации не произойдет в течение

в объективном смысле есть знание без того, кто знает:многих тысячелетий.

оно есть знание без познающего субъекта.

Я хочу в данной лекции обосновать три главных те-

О мышлении в объективном смысле Фреге писал: зиса, которые относятся к эпистемологии, при этом

«Под суждениемя понимаю не субъективную деятель-

эпистемологию я рассматриваю как теорию научного

ность мышления, а его объективное содержание...·»[15.

знания.

с. 188] (курсив мой).

Мой первый тезис состоит в следующем. Традицион-

Два смысла понятия мышления и их интересные

ная эпистемология исследует знание или мышление в

взаимоотношения могут быть проиллюстрированы сле-

субъективном смысле, то есть в духе обычного употреб-

дующей весьма убедительной цитатой из работы Гей-

ления слов «я знаю» или «я мыслю». По-моему, это

' тинга [26], который пишет о процессе открытия Брауэ-

приводит людей, занимающихся эпистемологией, к не-

ром теории континуума: «Если бы рекурсивные функ-

сообразностям: стремясь исследовать научное знание, ции были известны раньше, он [Брауэр], возможно, не

они фактически исследуют нечто такое, что не имеет

ввел бы понятия последовательности выбора, а это, по-

отношения к научному знанию, ибо научное знаниене

моему, было бы печально» [26, с. 226].

есть просто знание в смысле обычного использования

В этом утверждении Рейтинг, с одной стороны, ссы-

слов «я знаю». В то время как знание в смысле «я знаю»

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

принадлежит к тому, что я называю «вторым миром», Брауэра и говорит, что они могли бы не произойти (что·

миром субъектов,научное знание принадлежит к

было бы печально), если бы объективная проблемная

третьему миру, к миру объективных теорий, объектив-

ситуациябыла бы другой. Рейтинг указывает некоторые

ных проблем и объективных рассуждений.

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

Таким образом, мой первый тезис состоит в том, что

ния Брауэра и выражает свое мнение относительно

традиционная эпистемология, то есть эпистемология

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

знания.

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

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

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

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

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

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

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

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

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

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

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

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

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