Далее Поппер (за ним другие фоллибилисты) утверждает, что хоть наука и не дает истины (принципиально погрешима) и не дает обоснования (надежного и неизменного) для своих теорий, но отличается от не науки все же тем, что делает обоснованный выбор между теориями на предмет их большей близости к истине: «Я говорю о предпочтительности теории, имея в виду, что эта теория составляет большее приближение к истине и что у нас есть основания так считать или предполагать» [6].
Что касается этих самых оснований выбора, то вот что пишет по этому поводу Лакатос:
«Попперианский критический фоллибелизм принимает бесконечный регресс в доказательстве и определении со всей серьезностью, не питает иллюзий относительно «остановки» этих регрессов… При таком подходе основание знания отсутствует как вверху, так и внизу теории…
Попперианская теория может быть только предположительной… Мы никогда не знаем, мы только догадываемся. Мы можем однако обращать наши догадки в объекты критики, критиковать и совершенствовать их… Неутомимый скептик, однако, снова спросит: «Откуда вы знаете, что вы улучшаете свои догадки?» Но теперь ответ прост: «Я догадываюсь». Нет ничего плохого в бесконечном регрессе догадок» [7].
То есть все основания предпочтительности одной теории перед другой оказались на поверку не более чем догадками. Что в этом плохого, думаю, не требует пояснений. Таким образом, существенно посодействовав релятивизации науки, фоллибилисты (когнитивные постпозитивисты) нисколько не защитили особый эпистемологический статус науки. А что касается наличия у науки единого метода обоснования, то Лакатос прямым текстом отрицал его, выдвинув свою теорию обосновательных слоев, меняющихся со сменой научной парадигмы. Таким образом, вопрос о наличии у науки единого и неизменяемого метода обоснования остается до сих пор открытым.
Автор показал, что наука (естественная), несмотря на то, что она меняет понятия и выводы при смене одной фундаментальной теории на другую (Ньютон – Эйнштейн) и даже обязана это делать в таких случаях, все же сохраняет при этом единый метод обоснования [8], [9]. При этом новые понятия относятся к одноименным предыдущим (относительное время Эйнштейна к абсолютному времени Ньютона и т. п.), как последовательные аппроксимации одной и той же онтологической сущности. Аналогичным образом относятся между собой и соответствующие выводы сменяющих друг друга фундаментальных теорий. С действительностью выводы теории, обоснованной по правилам единого метода обоснования, совпадают гарантировано, но лишь с заданной точностью и вероятностью и лишь при условии применения теории в области