Гносеологический анализ законов теории состоит в том, чтобы:

1. Выявить идеализации, при которых формулируется непосредственный предмет исследуемой теории.

2. Показать, что при этих идеализациях данные законы в области непосредственного предмета аналитически истинны.

3. Показать, что с помощью этих законов можно решать задачи, относящиеся к опосредованному предмету теории и тем самым …

4. показать эмпирическую истинность теории.

Чтобы продемонстрировать применение метода гносеологического анализа к теориям механики, мы воспользуемся уже известными результатами, ибо проделать всю эту работу полностью здесь не представляется возможным. Для экономности изложения в начале сделаем общий список идеализаций для всех рассматриваемых теорий механики, пронумеруем их, а при описании предпосылок конкретных теорий будем ссылаться только на эти номера, не переписывая самих предпосылок. Кроме того, так как предпосылки будут фактуально (а не логически) истинны, то любую из предпосылок можно формулировать в виде двух синтаксически несовместных утверждений. Эти утверждения в разных теориях (но не в одной теории) могут быть оба истинны. Одно из такого рода утверждений будем называть тезисом (Т), а другое – антитезисом (АТ). Рассмотрим нижеследующие идеализации теорий механики:

Т1. Движущийся объект является классическим объектом (нульмерным, имеющим траекторию движения).

АТ1. Движущийся объект является квантовым объектом (имеющим измерения, не имеющим траектории движения).

Т2. Измерение происходит только в инерциальных системах отсчета.

АТ2. Измерение происходит не только в инерциальных системах отсчета.

Т3. Скорость распространения физических взаимодействий (в том числе скорость света) неограниченна (бесконечна).

АТ3. Скорость распространения физических взаимодействий (в том числе скорость света) ограничена (не превышает с).

Т4. Прибор (измеряющий сигнал) не влияет на измеряемый объект.

АТ4. Прибор влияет на измеряемый объект.

Т5. Возможно с одинаковой определенностью одновременно измерить попарно любые свойства объекта.

АТ5. Невозможно одновременно измерить с одинаковой определенностью любые свойства объекта (канонически сопряженные - нельзя).

Можно показать, что ньютонова механика принимает предпосылки Т1, Т2, Т3, Т4, Т5, так как ее законы истинны именно на системе классических объектов при условии, что величины (пространство, время, масса, сила и т.п.), о которых утверждается в законах, измеряются только в инерциальных системах отсчета и при условиях, выраженных в других принимаемых ею тезисах. Нетрудно видеть, что эти тезисы очень сильно идеализируют объективно существующее механическое движение. Так, например, в природе нет объектов, вообще не имеющих измерений (классических объектов). Нет систем измерения (отсчета), на которые не действовали бы никакие силы (инерциальных систем измерения). Нет бесконечно больших скоростей. Нет объектов, никак не зависимых от влияния измеряющего сигнала (прибора).

Отсюда следует, что законы ньютоновой механики истинны в области теоретических объектов и эта истинность аналитическая, ибо теоретические объекты материально не существуют, а поэтому эмпирическими методами (наблюдения, измерения, материального эксперимента) нельзя проверить присущность или не присущность этим объектам каких-либо свойств или отношений. Аналитическую истинность можно установить только аналитическим методом, о котором мы уже говорили в главе III. Ясно, что эта истинность устанавливается в области интерпретации предмета ньютоновой механики, называемом ее физической реальностью.

Однако ньютонова механика приложима для решения задач, относящихся к определенной области объективно существующего механического движения. Эта область представляет опосредованный предмет ньютоновой механики. Относительно данной области ньютонова механика уже эмпирически истинна. Возникает вопрос, какова та область механического движения, которая является опосредованным предметом ньютоновой механики? Это может быть и нединамическое и динамическое движение.

Для ответа на поставленный вопрос опять-таки необходим анализ идеализаций Т1, …, Т5 этой теории. Предпосылки ньютоновой механики показывают, что классический объект больше всего подходит для описания нединамического и динамического движения макрообъектов. И если речь идет о динамическом движении макрообъектов, то описание будет асимптотическим и тем точнее, чем медленнее движение, т.е. чем более его скорость приближается к нулевой. В области нединамического движения истинность этой теории будет адекватной во всем диапазоне скоростей от 0 до .

Релятивистская механика своим непосредственным предметом имеет физическую реальность, представляющую систему теоретических объектов, основанных на предпосылках Т1, Т2, АТ3, Т4, Т5. Существенное отличие от предпосылок ньютоновой механики состоит в том, что принимается в расчет то обстоятельство, что скорость распространения физических взаимодействий не бесконечна, а ограниченна. Ясно, что ньютонова и релятивистская механики в таком случае несовместимы (так как АТ3 несовместим с Т3). Но релятивистская механика также является аналитически истинной на системе уже иного рода объектов, основанных на только что указанных для нее идеализациях. А так как она применима для решения научно-практических задач, то истинна и эмпирически, но уже адекватно истинна на области динамического движения, не только близкой к нулевой, а во всем диапазоне скоростей от 0 до С. Асимптотически истинной она будет в области нединамического движения при скоростях приближающихся к 0.

Квантовая механика (точнее нерелятивистская квантовая механика) огрубляет и идеализирует механическое движение совершенно по-иному, чем классическая механика (ньютонова и релятивистская). Это видно из принимаемых ею идеализаций, выражаемых тезисами и антитезисами АТ1, Т2, Т3, АТ4, АТ5. Как видно, квантовая механика синтаксически несовместна и с ньютоновой механикой (так как антитезисы АТ1, АТ4 и АТ5 несовместны с Т1, Т4, Т5), и с релятивистской механикой (так как АТ1, Т3, АТ5 несовместны с Т1, АТ3, Т5).

Законы квантовой механики истинны на специфической системе теоретических объектов (вероятностных величин), представляющей квантово-механическую физическую реальность (ее непосредственный предмет). Поэтому истинность квантовой механики в области этого рода реальности, хотя и является аналитической, но существенно отличной от аналитической истинности (в области динамических величин) теорий классической механики.

Так как квантовая механика приложима для решения определенных прикладных задач, то она также и эмпирически истинна в области материального опосредованного предмета – объективной действительности специфического рода (механического движения квантовых объектов).

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

Метод гносеологического анализа необходим также для решения проблемы сравнения теорий (§4, главы III). Дело в том, что сравнение теорий «в целом» показало свою полную бесперспективность. Теория представляет множество систем. Для решения проблемы сравнения теорий (проблемы "соизмеримости") существенно то, что теории представляют семиотические и гносеологические системы. Эти системы можно рассматривать в "чистом" виде. В первом случае рассмотрение теорий производится только в сфере языковых систем. Во втором случае теория рассматривается в сфере отношения языковой системы к чему-то внешнему по отношению к ней (ее опосредованному или непосредственному предмету, т.е. к области ее применимости или интерпретации). В обоих случаях происходит отвлечение от несущественных для данных целей аспектов теории и сравнение их по существенным для этих целей аспектам.