Проблемы научной философии

Структура научного знания
В первом приближении все научное знание можно разделить на эмпирическое и теоретическое. Каждый из этих типов знания будет характеризоваться своими способами его получения, критериями истинности, степенью зависимости от других научных результатов и т.д.
Эмпирические и теоретические термины. Прежде всего в философии науки принято фиксировать различие между эмпирическим и теоретическим знанием на уровне языка, вводя в словаре науки разделение на эмпирические и теоретические термины. К эмпирическим терминам относят выражения, обозначающие предметы, свойства, явления, процессы и т д., которые можно непосредственно наблюдать. Другое название для эмпирических терминов - термины наблюдения. Выражения, обозначающие непосредственно не наблюдаемые сущности, называют теоретическими терминами. Очевидно, что это деление не является жестким и безусловным, оно релятивизировано относительно того, что в том или ином научном исследовании считается непосредственным наблюдением - наблюдение ли это только с помощью органов чувств, или же это наблюдение с помощью специальных приборов, или даже это наблюдения, которые не ведутся непосредственно человеком, а фиксируются различными записывающими устройствами. В любом случае понятие непосредственного наблюдения оказывается конвенциональным. Тем не менее это различие между эмпирическими и теоретическими терминами, при всей его потенциальной нестрогости, является весьма полезным, поскольку с его помощью формулируются многие весьма важные методологические правила и нормы. Так, в соответствии с одним из правил, введенным еще логическими позитивистами, любой теоретический термин должен получить эмпирическую интерпретацию. Это означает, что либо он должен иметь явное определение, в определяющей части которого имеются эмпирические термины, либо же должны существовать предложения, связывающие этот эмпирический термин с данными возможного опыта. При этом эмпирическая интерпретация теоретических терминов не должна быть исчерпывающей. Дело в том, что если теоретический термин T полностью определим с помощью выражения A, содержащего только эмпирические термины E1, ... En, то тогда его можно легко исключить из контекста теории заменой во все местах его употребления выражением A. Это означает, что на самом деле этот термин не обозначает ничего ненаблюдаемого, и, по сути, не является теоретическим.
Научная систематизация. Научное знание в целом и научные теории в частности должны выполнять три следующие функции: описывать действительность, объяснять все в ней происходящее и предсказывать будущие события. Так, ньютоновская небесная механика описывала движение планет, объясняла его с помощью закона всемирного тяготения и предсказывала будущие расположения планет на небе на основании имеющихся данных наблюдения за траекторией их движения. Выполнение этих трех функций называют научной систематизацией. В том случае, когда эмпирические предложения можно логически вывести из научных законов, используя, возможно, некоторые другие данные наблюдения, говорят о дедуктивной систематизации. Если же эмпирические предложения не могут быть получены в результате дедуктивного вывода, но могут выводиться на основании имеющегося знания индуктивным путем, то такая систематизация называется индуктивной.
Естественно, что дедуктивная систематизация выглядит предпочтительнее индуктивной. Если мы получили утверждение, предсказывающее некоторое будущее событие, на основании имеющейся теории дедуктивным путем, то оно будет считаться практически достоверным, а наступление предсказанного события явится не только очевидным доказательством истинности нашего предсказания, но и станет еще одним подтверждением истинности теории в целом. Однако, как показал тот же логический анализ, требовать от науки, чтобы все ее знание могло быть дедуктивно систематизировано, нецелесообразно. В случае, когда за наукой сохраняется только функция дедуктивной систематизации, возникает "дилемма теоретика":
Если теоретические термины выполняют свою функцию, то они не нужны. Если теоретические термины не выполняют своей функции, то они тем более не нужны. Однако теоретические термины либо выполняют свою функцию, либо не выполняют ее. Следовательно, теоретические термины не нужны.
Если вторая посылка этой дилеммы сомнений не вызывает, то первая нуждается в объяснении.
Рассмотрим следующий пример. Пусть нам известны два следующих закона, т.е. если предмет обладает наблюдаемым свойством E1, то он обладает некоторым теоретическим свойством T, и если предмет обладает теоретическим свойством T, то он обладает и наблюдаемым свойством E2. Пусть нам известно также, что некий объект a обладает свойством E1 (E1(a)). Тогда на основании правил дедуктивного вывода мы можем заключить, что объект a должен обладать и свойством E2. Очевидно, что дедуктивная систематизация здесь имеет место. Однако те же самые правила логического вывода позволяют нам из двух посылок получить в качестве заключения утверждение , которое уже не содержит теоретического термина T, но которое выполняет функцию дедуктивной систематизации точно так же, как и два его предшественника: из и E1(a) дедуктивно выводимо E2(a). Аналогичное рассуждение будет иметь силу и для других типов возможных дедуктивных выводов. Во всех случаях, где в формулировках законов присутствуют теоретические термины, мы можем их исключить и сформулировать законы, говорящие о связи между различными наблюдаемыми свойствами без упоминания ненаблюдаемых сущностей. Тем самым мы действительно обосновали посылку, что в случае выполнения теоретическими терминами своей функции они не нужны. Так может быть действительно освободить от них научный язык?