Глава 1. Психология, наука и история 21 Теории о научных теориях

Синтаксический подход: теории как собрания утверждений. В конце XIX в. позитивизм О. Конта и Э. Маха, объединившись с достижениями логики и математики, породил движение, названное логическим позитивизмом и преобладавшее в философии науки на протяжении нескольких десятилетий. Его влияние было настолько велико, что оно получило известность как общепринятый взгляд на теории (F. Suppe, 1977). Атомисты победили в споре о существовании атомов. Наследники Конта и Маха, логические позитивисты, были вынуждены признать, что, несмотря на философские сомнения, наука может включать в свои теории неявные, гипотетические понятия. Они попытались показать, как это можно сделать, не прибегая к опасным практикам метафизики. Делая это, они выработали для науки великолепный рецепт, который оказал огромное влияние.

Логические позитивисты разделили язык науки на три больших набора терминов: термины наблюдения, теоретические термины и математические термины. Неудивительно, что логические позитивисты абсолютный приоритет отдали терминам наблюдения. Фундаментальной задачей науки оставалось описание; термины наблюдения относились к непосредственно наблюдаемым свойствам природы и принимались за несомненно истинные. Фундаментом науки были протокольные изречения — описания природы, содержащие только термины наблюдения. Предполагаемые обобщения данных — «кандидаты» в законы природы, представляют собой аксиомы, которые содержат теоретические термины в сочетании с логически-математическими.

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

Чтобы уяснить общепринятый взгляд, давайте рассмотрим пример из физики. Важной аксиомой классической физики служит уравнение F = МхА (сила равна массе, умноженной на ускорение). Сила, масса и ускорение — термины теоретические. Мы не наблюдаем их непосредственно, но должны дать им определение в терминах того, что наблюдаем, — чаще всего, с помощью неких процедур. Именно поэтому операциональные определения и получили свое название. Например, массу определяют как вес объекта на уровне моря. Таким образом, согласно общепринятому взгляду, теории являются утверждениями (аксиомами), термины которых четко определяются в терминах наблюдения. Отметим, что, согласно общепри-