Если мы желаем сомневаться во всём, так как не имеем возможности постичь всё это с надлежащей определёностью, то это подобно поведению человека, который не хочет использовать свои собственные ноги, а сидит сиднем и гибнет, потому что у него отсутствуют крылья для полёта.
(Локк, 1690, книга 1., Введение)
Познание является целью всех наук и философии. Восприятие и наблюдение, эксперимент и научное исследование, мышление и логическое заключение, медитация, интуиция и откровение должны вести к познанию. Но как обстоит дело с надёжностью нашего познания? Можно ли доказать всё или, по меньшей мере, что-либо из наших познаний?
Постулат обоснования, согласно которому все утверждения должны быть доказаны, ведёт к троякому тупику, который Г.Альберт удачно назвал трилеммой Мюнхаузена. При этом имется только «выбор» между
a. бесконечным регрессом, идущем всё дальше и дальше в поисках основ,
b. логическим кругом, при котором возвращаются к высказываниям, которые уже выступали в качестве условий обоснования,
c. прекращением процесса обоснования в определённом произвольном пункте(14).
Бесконечный регресс практически не осуществим, круг — логически ошибочен; остаётся, таким образом, прекращение процесса обоснования. Имеются ли абсолютно надёжные (но не тавтологичные) высказывания? Имеются ли констатации о действительности, которые несут своё оправдание "в самих себе"?
Тысячелетиями были убеждены, что таковые имеются. Геометрия и физика, казалось, в изобилии поставляют такие утверждения. Уже Аристотель хотел строить науку на таких принципах, которые непосредственно очевидны и поэтому не нуждаются в доказательстве (Scholz,1969,29). Также Паскаль считал возможным основывать геометрические доказательства на самоочевидных, а потому истинных аксиомах.
Геометрия предлагает только такие вещи, которые в соответствии с естественным взором являются ясными и надёжными, а потому полностью истинными.
(Pascal, Vom Geiste der Geometrie)
Одновременно метафизика и религиозное откровение также обещали надёжное знание. После возражений, выдвинутых эмпириками против этого убеждения, Кант разрушил сначала надежду на доказательные метафизические истины. Но всё же он полагал найти в синтетических суждениях априори неопровержимо истинные высказывания, по меньшей мере, для действительности, данной в опыте. Однако ни его примеры, ни его критерии, ни его обоснование не выдержали проверки наукой и теорией науки.