Соотношение эмпирии и теории

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

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

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

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

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

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

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

J

где Ао — аксиомы, принципы, наиболее общие теоретические законы; |--знак логического следования; Тео — частные теоретические законы: ао — единичные теоретические следствия; ео — эмпирические утверждения; ≈ — обозначение внелогической процедуры идентификации (J) ао и ео.

О чем эта схема говорит? Прежде всего о том, что теоретическое знание является сложной структурой, состоящей из утверждений разной степени общности. Наиболее общий уровень — аксиомы, теоретические законы. Например, для классической механики это три закона Ньютона (инерции; взаимосвязи силы, массы и ускорения; равенства сил действия и противодействия). Механика Ньютона — это теоретическое знание, описывающее законы движения такого идеального объекта. как материальная точка, осуществляющегося при полном отсутствии трения, в математическом пространстве с евклидовой метрикой. Вторым, менее общим уровнем научной теории являются частные теоретические законы, описывающие структуру, свойства и поведение идеальных объектов, сконструированных из исходных идеальных объектов. Для классической механики это, например, законы движения идеального маятника. Как показал в своих работах B.C. Степин, частные теоретические законы, строго говоря, не выводятся чисто логически (автоматически) из общих.

Они получаются в ходе осмысления результатов мысленного эксперимента над идеальными объектами, сконструированными из элементов исходной, «общей теоретической схемы». Третий, наименее общий уровень развитой научной теории состоит из частных, единичных теоретических высказываний, утверждающих нечто о конкретных во времени и пространстве состояниях, свойствах, отношениях некоторых идеальных объектов. Например, таким угверждением в кинематике Ньютона может быть следующее: «Если к материальной точке К1 применить силу F1, то через время Т1 она будет находиться на расстоянии L1 от места приложения к ней указанной силы». Единичные теоретические утверждения логически дедуктивно выводятся из частных и общих теоретических законов путем подстановки на место переменных, фигурирующих в законах, некоторых конкретных величин из области значений переменной.

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

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