Объективное знание. Эволюционный подход - [55]

Что касается Фреге, то он, несомненно, ясно различал субъективные акты мышления, или мышление в субъективном смысле, и объективное мышление, или содержание мысли[116].

Возможно, интерес Фреге к придаточным предложениям и к косвенной речи сделал его отцом современной эпистемической логики[117]. Однако я думаю, что его никоим образом нельзя подвергать такой критике, которой заслуживает эпистемическая логика и которую я собираюсь изложить далее (см. раздел 7): насколько я могу судить, обсуждая эти вопросы, он не думал об эпистемологии — в смысле теории научного знания.

5.4. Эмпиризм

Эмпиризм Локка, Беркли и Юма должен быть понят в свете исторической обстановки: его главной проблемой была, говоря упрощенно, «религия против иррелигиозности», или, более точно, рациональное оправдание, или оправдываемость (justifiability), христианства по отношению к научному знанию.

Это объясняет, почему знание во всех произведениях этих авторов рассматривалось как вид мнения, убеждения или веры (belief) — веры, оправдываемой эмпирическими данными, особенно данными восприятия, свидетельством наших органов чувств.

Хотя точки зрения Локка, Беркли[118] и Юма по вопросу об отношении науки и религии абсолютно различаются, они приходят к согласию по существу в требовании (которое Юм иногда понимает как недосягаемый идеал), что мы должны отвергать все суждения (и особенно суждения с экзистенциальным смыслом), которые не имеют удовлетворительных свидетельств в свою пользу, и принимать только те суждения, в пользу которых имеются достаточные свидетельства, то есть которые могут быть доказаны или проверены свидетельством наших органов чувств.

Данную позицию можно проанализировать различными путями. До некоторой степени самый общий анализ мог бы быть представлен в виде следующей цепи равенств или эквивалентных утверждений, большинство из которых может быть подкреплено цитатами из произведений английских эмпириков и даже из Рассела[119]:

р верифицировано или доказано чувственным опытом = существует достаточная причина или оправдание для нашей веры в р = мы полагаем, судим, утверждаем, соглашаемся или знаем, что р истинно = р истинно = p.

Эту позицию, сливающую воедино свидетельство (или доказательство) и утверждение, которое должно быть доказано, характеризует одно примечательное обстоятельство, а именно: любой, кто утверждает это, должен отвергать закон исключенного третьего, ибо очевидно, что может возникнуть такая ситуация (на самом деле ее можно считать практически нормальной ситуацией), когда ни р, ни не-р не могут быть полностью подкреплены, или доказаны, доступными свидетельствами. Однако, по-видимому, это не было замечено никем до Брауэра.

Указанная неспособность заметить фактический отказ от закона исключенного третьего особенно поразительна у Беркли. Действительно, если esse = percipi, тогда истина любого высказывания о реальности может быть установлена только перцептивными высказываниями. Однако Беркли, в значительной степени подобно Декарту, предлагает нам в своих «Трех разговорах...»[120] отвергать р, если не существует основания верить в него. Отсутствие же таких оснований может быть совместимо с отсутствием оснований верить в не-p.

6. Оценка и критика эпистемологии Брауэра

В настоящем разделе я хочу отдать дань уважения Л. Э. Я. Брауэру[121]. Было бы самонадеянным для меня хвалить и тем более самонадеянным критиковать Брауэра как математика. Однако, возможно, мне будет позволительно критиковать его эпистемологию и его философию интуиционистской математики. Я осмеливаюсь на это только в надежде сделать вклад, каким бы он ни был маленьким, в прояснение и дальнейшее развитие идей Брауэра.

В своей лекции 1912 года (Brouwer 1914) Брауэр начинает с Канта. Он говорит, что в свете неевклидовой геометрии интуиционистская философия геометрии Канта, то есть его концепция чистой интуиции пространства, должна быть отброшена. Однако, говорит Брауэр, нет необходимости делать это, так как мы можем арифметизировать геометрию: мы можем прямо основываться на кантовской теории арифметики и на его концепции, что арифметика опирается на чистую интуицию времени.

Я чувствую, что эта позиция Брауэра более не может быть принята. Действительно, если мы говорим, что кантовская теория пространства сокрушена, перечеркнута неевклидовой геометрией, тогда мы должны сказать, что его теория времени сокрушена специальной теорией относительности, так как Кант говорит совершенно явно, что имеется только одно время и что интуитивная идея (абсолютной) одновременности является решающим аргументом в этом отношении[122].

Можно было бы утверждать, подобно тому, как это делал Гейтинг[123] что Брауэр не смог бы развить свои эпистемологические и философские идеи об интуиционистской математике, если бы знал в то время об аналогии между эйнштейновской релятивизацией времени и неевклидовой геометрией. Перефразируя Гейтинга, можно сказать, что это было бы печально.

Однако маловероятно, что на Брауэра произвела бы сильное впечатление специальная теория относительности. Он мог бы перестать ссылаться на Канта как на предшественника своего интуиционизма, но он мог бы сохранить свою собственную теорию