Сергей Лебедев - Методология научного познания. Монография

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

Теоретический и эмпирический уровни знания имеют качественно различные онтологии: мир мысленных, идеальных конструктов («чистых сущностей») в первом случае и мир эмпирических, принципиально наблюдаемых предметов – во втором. Существовать в теоретическом мире – означает быть определенной, непротиворечивой, предметной единицей рационального мышления. Существовать в эмпирическом мире – значит иметь такое предметное содержание, которое принципиально наблюдаемо и многократно воспроизводимо. Из перечисленных выше качественных различий между характеристиками эмпирического и теоретического уровней знания следует, что между ними не может существовать логического моста, то есть одно непосредственно (чисто логически) не выводимо из другого. Это означает не только то, что научные теории не могут быть чисто логически выведены из эмпирического опыта и не являются логическими (индуктивными) обобщениями последнего, но также и то, что и из научных теорий самих по себе не могут быть чисто логически выведены эмпирически проверяемые следствия. Научные теории не выводятся логически из эмпирического знания, а конструируются мышлением для выполнения в отношении эмпирического знания определенных функций (его понимание, объяснение, предсказание). Из научных теорий могут быть чисто логически выведены не эмпирические, а только теоретические следствия (менее общие утверждения, чем аксиомы и принципы теории), которые впоследствии, правда, уже не логическим путем, могут быть идентифицированы с определенными эмпирическими высказываниями и подвергнуты последующей проверке опытом.

Схематически связь между теоретическим (Т) и эмпирическим (Э) уровнями знания может быть изображена следующим образом:

Ао |– Тео |– ао ≈ ео,

I

где Ао – аксиомы, принципы, наиболее общие теоретические законы;

|— – знак логического следования;

Тео – частные теоретические законы;

ао – единичные теоретические следствия;

ео – эмпирические утверждения;

≈ – обозначение внелогической процедуры идентификации ( I ) ао и ео .

О чем эта схема говорит? Прежде всего, о том, что теоретический уровень знания является весьма сложной структурой, состоящей из утверждений разной степени общности. Наиболее общий ее уровень – это аксиомы, принципы и наиболее общие теоретические законы. Например, для классической механики это четыре закона Ньютона (инерции; взаимосвязи силы, массы и ускорения; тяготения и равенства сил действия; противодействия). Механика Ньютона – это теоретическая система знания, описывающая законы движения такого идеального объекта, как материальная точка, при полном отсутствии трения, в математическом пространстве с евклидовой метрикой. Вторым, менее общим уровнем научной теории являются частные теоретические законы, описывающие структуру, свойства и поведение идеальных объектов, сконструированных из исходных идеальных объектов. Для классической механики это, например, законы движения идеального маятника. Как показал в своих работах В. С. Степин [9], частные теоретические законы также не выводятся чисто логически (автоматически) из общих. Они получаются в ходе осмысления результатов мысленного эксперимента над новыми идеальными объектами, правда, при этом сконструированными из идеальных объектов исходной «теоретической схемы». Третий уровень развитой научной теории состоит из частных, единичных теоретических высказываний, утверждающих нечто о конкретных состояниях, свойствах и отношениях идеальных объектов. Например, таким утверждением в кинематике Ньютона может быть следующее: «Если к материальной точке К1 приложить силу F1 , то через время Т 1 она будет находиться на расстоянии L1 от места приложения к ней указанной силы». Единичные теоретические утверждения дедуктивно выводятся из общих и частных теоретических законов путем подстановки на место переменных, фигурирующих в этих законах, некоторых конкретных величин из области значений этих переменных.

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

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

Какова логическая природа интерпретационных предложений? Как показал Р. Карнап [2], несмотря на то, что общий вид этих высказываний имеет логическую форму «А есть В», эти высказывания отнюдь не являются суждениями, а суть именно определения. Любые же определения – это условные соглашения о значении терминов, и поэтому к ним не применима характеристика истинности и ложности. Они могут быть лишь эффективными или неэффективными, удобными или неудобными, полезными или бесполезными. Одним словом, интерпретационные предложения имеют инструментальный характер, их задача – быть связующим звеном («мостом») между теорией и эмпирией. Хотя интерпретационные предложения в целом действительно имеют конвенциональную природу, однако при этом отнюдь не все из них произвольны, поскольку всегда являются элементами некоторой конкретной языковой системы, термины которой взаимосвязаны и ограничивают возможные значения друг друга [2].