(Pascal, Vom Geiste der Geometrie)

Одновременно метафизика и религиозное откровение также обещали надёжное знание. После возражений, выдвинутых эмпириками против этого убеждения, Кант разрушил сначала надежду на доказательные метафизические истины. Но всё же он полагал найти в синтетических суждениях априори неопровержимо истинные высказывания, по меньшей мере, для действительности, данной в опыте. Однако ни его примеры, ни его критерии, ни его обоснование не выдержали проверки наукой и теорией науки.

Научные гипотезы и теории недоказуемы беспредпосылочно. Возможно только, исходя из недоказанных посылок, проверять, что из них следует, в соответствии с определёнными правилами вывода. Эти недоказанные посылки в математике называют аксиомами, а также постулатами, принципами, максимами, в английском primitive propositions. Аксиома тем самым (также и в математике) не недоказуемое или даже самоочевидное положение, но такое положение, от доказательства которого отказываются, потому что с чего-то нужно начинать. Аксиоматическая система представляет cобой, правда, собой архимедову точку теории, но не для познания действительности.

Сходная проблема (особенно трилемма Мюнхаузена) существует также для введения понятий. В любой теории некоторые понятия должны оставаться неопределимыми Их называют основными или собственными понятиями, в английском primitives или basik concepts. Также и они не являются ни принципиально неопределимыми, ни интуитивно ясными — как этого требовал Паскаль для геометрии — но такими, от дефиниции которых отказываются, чтобы с чего-то начать.

Этот своеобразный параллелизм между аксиоматикой и теорией дефиниций был обнаружен Паскалем.

(См. Scholz, 1967,117.)

То, что математика или естествознание могут поставлять совершенно надёжное знание о мире, является заблуждением. Эйнштейн выразился очень кратко:

Понятия и принципы, лежащие в основе теории… являются свободными изобретениями человеческого духа, они не могут быть обоснованы ни ссылками на природу человеческого духа, ни каким-либо априорным способом… В той степени, в какой предложения математики относятся к действительности, они не надёжны, в той степени, в какой они надёжны, они не относятся к действительности.

(Einstein,1972,115,119)

Другая попытка получить несомненные высказывания идёт от частных восприятий, которые находят своё выражение в чистых опытных предложениях, так называемых протокольных предложениях (Нейрат), элементарных предложениях (Витгенштейн), констатациях (Шлик), предложениях наблюдения (Карнап) или базисных предложениях (Поппер). Такие предложения должны были образовывать фундамент познания и служить либо исходным материалом для индуктивной логики (Карнап), либо выступать последней инстанцией при проверке теорий (Поппер). Весь этот комплекс вопросов называют базисной проблемой опытно-научного познания.

Хотя базисная проблема может быть сформулирована достаточно просто, а её обсуждение не требует сложного технического аппарата, мнения здесь всё ещё сильно расходятся (Stegmuller, 1969b, 449). Постоянно обнаруживается, что базисная проблема не имеет абсолютной определённости. Также и она имеет либо частный, либо конвенциональный, либо гипотетический харктер, она не является несомненной или очевидной (Stegmuller,1969a, 345–373).

Пытаются также реализовать (спасти) постулат обоснования посредством обращения к повседневному языку, на котором мы «уже» говорим и использовать его для построения научного языка и науки. Начинают при этом с распространённого «предпонимания» слов и предложений. Это направление в логике и математике называют конструктивизмом, в гуманитарных науках герменевтикой.

Спорно, однако, является ли этот путь научным методом или имеет только эвристическую ценность(15). Серьёзнейшим возражением во всяком случае является тот факт, что наука достигшая гипотетико-дедуктивной стадии, исходит не из повседневных понятий или познаний, а из таких, которые имеют мало общего с повседневным опытом, например, гильбертово пространство (квантовая механика), идеальная популяция (генетика популяций), нервный импульс (нейрофизиология), отличительный признак (фонология). Не стоит и надеяться «вывести» аксиоматическую квантовую теорию поля из какого-либо опыта. Скорее все науки харектеризуются тем, что выдвигают гипотезы и стремятся проверить их на опыте. Именно при интерпретациях текста и дополнениях (догадках), примерах герменевтики это становится особенно отчётливым.

Для нас этот путь не годится уже потому, что мы рассматриваем познавательные способности генетически, хотим исследовать их филогенетическое развитие. Мы не можем поэтому исходить из какого-либо подобного предпонимания (если даже в изложении действуем без сомнений).

Итак, остаётся только абсолютный скептицизм?

Если мы займём позицию полного скептицизма, позицию, находящуюся вне любого познания и потребуем, посредством какого бы то ни было принуждения, вернуться отсюда обратно в круг знания, мы потребуем невозможного и наш скептицизм никогда не будет опровергнут. Ибо любое опровержение должно начинаться с какого-либо элемента знаний, который разделяют спорящие стороны. Поэтому философская критика познания не должна быть подобным образом деструктивной, если она желает придти к каким — либо результатам.