Другая разновидность искателей абсолютного начала познания пыталась всю науку вывести из некой базовой теории, истинность которой (ее базовых положений) самоочевидна. Пеано пытался всю математику вывести из аксиоматически перестроенной арифметики. Рассел и Гильберт – то же самое, но из неких абсолютно тривиальных, очевидных и ниоткуда более не выводимых аксиом. Фреге, Рассел и прочие аналитики (они же логические позитивисты) пытались всю математику вывести из логики. Они же (включая Карнапа), отправляясь от того, что правила логики выражаются словами обычного языка, а последние неоднозначны, развили семантику и математическую логику в стремлении добиться однозначности слов языка. До выведения всей прочей науки из математики, точно так же, как в предыдущем случае, никто из них не дошел. Более того, один из самых рьяных и последовательных рыцарей абсолютизации науки на пути искания ее абсолютного начала в виде тривиальной системы аксиом, Рассел, вынужден был признать ошибочность этого пути [3].
Что касается релятивизаторов науки, то я ограничусь лишь их последней волной, построившей себе на неудачах предшествующей ей волны абсолютизаторов (Пеано, Фреге, Рассел, Карнап, Гильберт), и на противоречиях, изменчивости, наблюдаемых в процессе развития самой науки. Представители ее разделяются на две категории, именуемые социальными (Куайн, Кун, Файерабенд и т. д.) и когнитивными (Поппер, Лакатос, Лаудан и т. д.) постпозитивистами. Социальные постпозитивисты занимают наиболее ортодоксально релятивистскую в отношении науки позицию. Так, например, Файерабенд заявил, что выводы науки не более обоснованы, чем предсказания гадалки на кофейной гуще [4]. Когнитивные постпозитивисты не столь ортодоксальны в этом отношении и некоторые из них, в частности Поппер, декларируют себя защитниками особого эпистемологического статуса науки. Но дело не в декларациях и самоопределениях, а в аргументации, она же объективно ставит Поппера и его ученика Лакатоса в число релятивизаторов. Так, Поппер полагает, что наука все же отличается от не науки (псевдонауки) тем, что ее гипотезы обязаны быть «фальсифицируемы» [5]. Это, безусловно, верно и гипотезы типа: «море волнуется, потому что Нептун сердится», не проверяемые в принципе, не научны. Однако это нисколько не спасает особый эпистемологический статус науки, поскольку всегда и по любому поводу можно насочинять бесконечное количество гипотез, даже не претендующих на приближение к истине, но вполне «фальсифицируемых». Процедура выдвижения подобных гипотез с последующей их «фальсификацией» не ведет к истине и не может служить методом обоснования и, таким образом, критерий Поппера не отделяет науку от не науки.