2). Базисные постулаты, аксиомы любой теории, принимаемые ею без доказательства, рано или поздно оказываются выводимыми утверждениями на основе постулатов более фундаментальной теории. Как дифференциальное исчисление из теории пределов, теория пределов из теории множеств, классическая теория газов из кинетической теории и т.д. При этом иногда происходит уточнение и постулатов предыдущей теории и ее понятий и выводов. Этот феномен, именуемый Лакатосом "сменой обосновательных слоев", служит для всех без исключения постпозитивистов достаточным основанием для вывода, что наука не имеет единого и неизменяемого метода обоснования своих теорий. (Расстраивал он, как мы помним, и сторонников абсолютизации науки, которые безуспешно пытались его преодолеть)
3). При смене фундаментальных теорий, именуемых с подачи Куна парадигмами, описывающих пересекающиеся области действительности (таких, например, как классическая механика, теория относительности, квантовая механика и квантово релятивистская теория) происходит, как правило, изменение базовых понятий, что в другой терминологии у разных авторов именуется изменением онтологии или онтологических смыслов (Куайн), изменением значения квантируемых переменных (он же), бесконечным регрессом значений (Лакатос) и т.д. Классический пример такого изменения это пространство и время абсолютные в классической механике Ньютона и относительные у Эйнштейна. Другой пример это электрон, который изначально определялся как заряженный шарик, затем как тот же шарик, но еще и с массой, затем как заряженное облако, размазанное по орбите вращения вокруг ядра и, наконец, как пакет волн. Этот феномен используется всеми без исключения постпозитивистами для обоснования вышеупомянутого главного утверждения онтологического релятивизма о не привязанности понятий науки к опыту. Логика такова: если бы понятия были привязаны к опыту, они не могли бы изменяться.
4). При той же смене фундаментальных теорий изменяются не только базовые понятия, но и выводы теории, как общие, так и частные. Так в классической механике скорости складываются по правилу Галилея, в теории относительности по формуле Лоренца. Скорость света у Ньютона зависит от скорости движения источника света, у Эйнштейна не зависит. И т.д. Этот феномен используется фоллибилистами, и прежде всего Поппером, для обоснования их утверждения о принципиальной погрешимости любой научной теории. Логика рассуждений такова: смена фундаментальных теорий происходит, когда предыдущая теория сталкивается со своим "опровергающим экспериментом" (опыт Майкельсона для механики Ньютона). Новая теория, поменяв аксиомы и базисные понятия (обосновательный слой), приводит себя (свои выводы) в соответствие как предыдущему опытному материалу, так и "опровергающему эксперименту". Однако рано или поздно и она столкнется со своим "опровергающим экспериментом".
5). То обстоятельство, что новая фундаментальная теория соответствует множеству фактов, описываемых предыдущей теорией (плюс не описываемые предыдущей) приводит нас к следующему феномену. А именно: существующий набор экспериментальных фактов в области, которую претендует описывать некоторая теория, потенциально бесконечный (с учетом возможных опытов), но актуально всегда конечный, может быть накрыт выводами, полученными из разных теорий, базирующихся на разных системах аксиом и с разными понятиями.
Отсюда Куайном, Лакатосом и прочими делается вывод, что понятия, вводимые наукой, это "нередуцируемые сущности, эпистемологически сопоставимые с богами Гомера", а аксиомы – "удобные конструкты познания", предназначенные для того, чтобы "на основании опытов прошлого предсказывать результаты опытов будущего". Т.е. мы каждый раз придумываем себе некую конструкцию, логически стройно объясняющую нам наблюдаемые на данный момент вещи. Конструкцию, которая к истине, к действительности имеет такое же отношение, как утверждение: "Море волнуется, потому что Нептун сердится" и обоснованную не более, чем греческие мифы. А когда эта условная модель свое отработает – столкнется с опровергающим экспериментом, мы сочиняем очередную такую же, имеющую точно такое же отношение к действительности, но покрывающую большее количество фактов. (Немаловажным является и то, что эту позицию разделяют некоторые ученые-естественники, а в реальной науке все еще встречаются теории, созданные по этому принципу). Оторвав науку полностью от действительности, было уже не трудно социальным постпозитивистам дойти и до вывода о зависимости заключений науки от социального фактора (по Куну Эйнштейн сделал пространство и время относительными, начитавшись Маха).
Ниже я излагаю свой взгляд на рассматриваемую проблему. Свою позицию в этом вопросе я характеризую как неорационализм, противопоставляя ее как классическому рационализму вышеупомянутых абсолютизаторов науки, начиная от Декарта и кончая Расселом, так и, главным образом, господствующей сегодня волне релятивизаторов. От классического рационализма мой неорационализм отличается тем, что я признаю все вышеупомянутые феномены развития науки и не пытаюсь их исправить или устранить. Но моя позиция является тем не менее рационалистической в том смысле, что я признаю за наукой особый эпистемологический статус и показываю, что наука обладает единым методом обоснования своих теорий, неизменяемым при всех сменах фундаментальных теорий-парадигм, "обосновательных слоев", систем аксиом, понятий и выводов и являющимся основанием этого самого особого эпистемологического статуса науки. Этот единый метод позволяет ученым-естественникам, представителям разных парадигм, вопреки утверждению Куна, иметь общий язык и договариваться между собой, рано или поздно принимая или отвергая те или иные теории. (Это в отличие от большинства современных философов, которые, приняв тезис релятивизаторов об отсутствии у науки единого метода обоснования, не имеют таки между собой общего языка и не в состоянии договариваться, т.е. всем философским сообществам принимать или отвергать какие-либо теории). Кроме того, я показываю, что понятия и аксиомы научных теорий, обоснованных по единому методу, привязаны к опыту и несмотря на их бесконечный регресс (по Лакатосу), т.е. изменяемость от теории к теории, никоим образом не являются ни "нередуцируемыми сущностями", ни "удобными конструктами".
Наконец, я показываю, что научные теории не являются "погрешимыми", как это утверждает Поппер, и что теории, обоснованные по единому методу обоснования остаются истинными и после обнаружения опровергающего эксперимента. Последний указывает лишь границы истинности теории. При этом я уточняю также смысл истинности в науке.
Мой взгляд на проблему базируется на моей теории познания [8] и вытекающем из нее едином методе обоснования [9, 10, 11]. В реальной науке этот метод существует на уровне стереотипа естественнонаучного сознания, подобно тому как грамматика языка существует в нем до того, как она написана. Он возник в процессе развития естественных наук постепенно и более-менее окончательно сложился в классической механике, трудами прежде всего Ньютона и Лагранжа. Поскольку он до сих пор еще не выражен эксплицитно и существует, как сказано, на уровне стереотипа естественнонаучного мышления, то и сегодня его требования иногда нарушаются на практике, что, как будет ниже показано, ведет непременно в дальнейшем к противоречиям и парадоксам. Кроме того, подобно тому, как любая научная теория является идеализацией описываемой ею действительности, так данный метод обоснования является идеализацией реальной практики обоснования. И поэтому абсолютно строго он и не может реализовываться на практике. Тем не менее, этот метод является единым для всей рациональной науки и всех ее теорий и не изменяется при смене парадигм, обосновательных слоев и т.п. К этому следует добавить, что единый метод обоснования применяется при обосновании фундаментальных теорий. Теории, являющиеся ответвлением, развитием фундаментальных (теория твердого тела или гидродинамика для классической механики и т.п.), строятся и обосновываются через привязку к своей фундаментальной теории, в то время как последняя ни к каким другим теориям (не считая самого единого метода обоснования) не привязана.
Суть метода сводится к 3-м моментам:
1. Введение, построение по правилам метода базовых понятий. При этом одновременно вводятся фундаментальные постулаты – аксиомы относительно этих понятий.
2. Получение на базе постулатов выводов теории относительно исходных (и производных от них) понятий.
3. Верификация выводов.
Начну с понятий. Прежде всего, вопреки представлениям как аналитиков, добивавшихся однозначности слов, так и релятивизаторов, доказывающих неосуществимость этой задачи и извлекающих отсюда разных мастей релятивизм, базовым элементом познания являются не слова, а понятия. Понятия же хоть и выражаются в науке, как правило, словами (но не обязательно), как я покажу, вполне могут быть однозначными. Поэтому напрасны были труды аналитиков (в этом смысле, хотя побочно они получили исключительной важности результаты, развив семантику и формальную логику) и ошибочны, базирующиеся на неоднозначности слов, выводы релятивизаторов.