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

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

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

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

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

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

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

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

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

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

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

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

Таким образом, нет необходимости рассматривать Брауэра как кантианца. Однако мы не можем так уж легко обособлять его от Канта, ибо идея интуиции у Брауэра и использование им термина «интуиция» не могут быть полностью поняты без анализа такой его предпосылки, как кантовская философия.