Кант об априорных понятиях
В то время многие математики с воодушевлением восприняли философскую теорию Иммануила Канта о человеческом познании. В “Пролегоменах ко всякой будущей метафизике, могущей появиться как наука” (1783) он писал: “Мы можем с достоверностью сказать, что некоторые чистые априорные синтетические познания имеются и нам даны, а именно чистая математика и чистое естествознание, потому что оба содержат положения, частью аподиктически достоверные на основе одного только разума, частью же на основе общего согласия из опыта и тем не менее повсеместно признанные независимыми от опыта”.
“Критика чистого разума” (1781) Канта начинается еще более обнадеживающими словами. Кант утверждает, что все аксиомы и теоремы математики истинны. Он говорит, что наш разум сам по себе владеет формами пространства и времени. Пространство и время представляют собой разновидности восприятия (называемые Кантом интуитивными представлениями), посредством которых разум созерцает опыт. Мы воспринимаем, организуем и осознаем опыт в соответствии с этими формами созерцания. Разум накладывает формы созерцания на полученные им чувственные восприятия, вынуждая те подстраиваться под заложенные в нем схемы. Так как интуитивное представление о пространстве берет свое начало в разуме, некоторые свойства пространства разум автоматически. Такие утверждения, как “прямая – кратчайший путь между двумя точками”, “через три точки, не лежащие на одной прямой, можно провести плоскость, и притом только одну”, или как постулат Евклида о параллельных, Кант называет априорными искусственными истинами. Они составляют неотъемлемую часть нашего умственного багажа. Геометрия занимается изучением лишь логических следствий из таких утверждений. Уже одно то, что наш разум созерцает опыт через изначально присущие ему “пространственные структуры”, означает, что опыт согласуется с априорными синтетическими истинами и теоремами. Порядок и рациональность, которые мы, как нам кажется, воспринимаем во внешнем мире, в действительности проецируется на внешний мир нашим разумом и формами нашего мышления.
Конструируя пространство на основе работы клеток головного мозга человека, Кант не видел причин для отказа от евклидова пространства. Собственную неспособность представить другие геометрии Кант счел достаточным основанием, чтобы утверждать, что другие геометрии не могут существовать.