Объективное знание. Эволюционный подход - [47]
О мышлении в объективном смысле Фреге писал: «Под суждением я понимаю не субъективную деятельность мышления, а его объективное содержание»[99].
Два смысла понятия мышления и их интересные взаимоотношения могут быть проиллюстрированы следующей весьма убедительной цитатой из работы Гейтинга (Heyting А, 1962), который пишет о процессе открытия Брауэром теории континуума: «Если бы рекурсивные функции были известны раньше, он [Брауэр], возможно, не ввел бы понятия последовательности выбора, а это, по-моему, было бы печально» (Ibid., р. 195) (русский перевод — с. 226).
В этом утверждении Гейтинг, с одной стороны, ссылается на некоторые субъективные процессы мышления Брауэра и говорит, что они могли бы не произойти (что было бы печально), если бы объективная проблемная ситуация была бы другой. Гейтинг указывает некоторые возможные влияния на субъективные процессы мышления Брауэра и выражает свое мнение относительно ценности этих субъективных процессов мышления. Интересно отметить, что эти влияния как таковые должны быть субъективными: только субъективное знание Брауэром рекурсивных функций могло иметь свое печальное следствие — помешать ему изобрести последовательности свободного выбора.
С другой стороны, цитата из работы Гейтинга указывает на определенные объективные отношения между объективным содержанием двух разных мыслей или теорий: Гейтинг ссылается не на субъективные условия или электрохимию мозговых процессов Брауэра, а на объективную проблемную ситуацию в математике и ее возможные влияния на субъективные акты мышления Брауэра, которые были направлены на решение этих объективных проблем. Для описания этого можно сказать, что высказывание Гейтинга касается объективной ситуационной логики открытия Брауэра, то есть логики третьего мира, и оно свидетельствует о том, что ситуация в третьем мире может воздействовать на второй мир. Действительно, предположение Гейтинга, что было бы печально, если бы Брауэр не открыл последовательностей выбора, есть форма выражения того что объективное содержание мышления Брауэра ценно и интересно, то есть ценно и интересно в том отношении, в каком оно изменило объективную проблемную ситуацию в третьем мире.
Другими словами, если я говорю, что «мышление Брауэра испытало влияние Канта» или что «Брауэр отверг теорию пространства Канта», то я говорю — по крайней мере отчасти — об актах мышления в субъективном смысле: слово «влияние» указывает на контекст процессов или актов мышления. Однако если я говорю, что «мышление Брауэра в сильной степени отличается от кантовского», тогда совершенно ясно, что я говорю главным образом о содержании мышления. И наконец, если я говорю, что «мысли Брауэра несовместимы с мыслями Рассела», то путем использования такого логического термина, как «несовместимость», я недвусмысленно подчеркиваю, что употребляю слово «мысль» только во фрегевском объективном смысле и говорю лишь об объективном, или логическом, содержании теорий.
Аналогично тому как в обыденном языке нет, к сожалению, отдельных терминов для понятия «мышления» в смысле второго мира и в смысле третьего мира, так нет в нем и отдельных терминов для обозначения двух соответствующих смыслов понятий «я знаю» и «знание».
Для того, чтобы показать существование обоих смыслов понятия «знание», я сначала приведу три примера из второго мира, примеры субъективного характера:
(1) «Я знаю, что вы стремитесь спровоцировать меня, но я не дам себя спровоцировать».
(2) «Я знаю, что последняя теорема Ферма не была доказана, но я думаю, что она когда-нибудь будет доказана».
(3) Знание есть «состояние осведомленности или информированности» (из статьи «Знание» ("Knowledge") в «Оксфордском словаре английского языка» ("Oxford English Dictionary")).
Теперь я приведу три примера из третьего мира, примеры объективного характера:
(1) Знание есть «область изучения, наука, искусство» (из статьи «Знание» ("Knowledge") в «Оксфордском словаре английского языка»).
(2) Принимая во внимание современное состояние метаматематического знания, можно предположить, что последняя теорема Ферма является, по-видимому, неразрешимой.
(3) «Я подтверждаю, что эта диссертация является оригинальным и значительным вкладом в наше знание».
Эти довольно банальные примеры приведены лишь для того, чтобы помочь уяснить, что я имею в виду, когда говорю о «знании и познании в объективном смысле». Мое цитирование «Оксфордского словаря английского языка» не должно быть интерпретировано ни как уступка лингвистическому анализу, ни как попытка успокоить его сторонников. Цитируя его, я не пытался доказать, что «обычное употребление» слова «знание» покрывается его объективным смыслом, то есть смыслом в рамках моего третьего мира. На самом деле я был удивлен, когда обнаружил в «Оксфордском словаре английского языка» примеры объективного употребления термина «знание». (Я еще более удивился, когда обнаружил в нем даже некоторые, по крайней мере
