Страница 32 из 47
Конечно же, все ученые, все исследователи, выполняя некоторое множество операций, принятых в их науке, испытывают чувственные ощущения. Они видят разные цвета, читают цифры, напечатанные на лентах, записывают положения указателей и т. д. Но как только они выражают результаты этих операций объективно, все становится бесцветно и абстрактно, но в то же время разделяемым с множеством собратьев-исследователей, каждый из которых, с другой стороны, выполняя такие же операции для проверки этих результатов, обычно воссоздает чувственную картину мира, заново воплощает эти абстрактные объекты некоторым хорошо определенным чувственным образом. Но это последнее положение дел будет снова субъективным, поскольку никто не сможет воспринять восприятия нашего нового наблюдателя при выполнении им соответствующих операций, так же как никто не мог воспринимать восприятия первого исследователя.
Рассмотрев одну причину, по которой объект является чем-то определяемым посредством «абстракции», а именно причину, определяемую требованиями интерсубъктивности, мы можем перейти к рассмотрению следующей, которую мы уже начали рассматривать, когда отметили, что результатом применения операциональных критериев является то, что мы обеспечили себя абстрактными, или математическими, представлениями. То, что это так, уже является не пренебрежимым указанием на то, какого рода онтологический статус может быть приписан научному объекту; но об этом можно еще кое-что сказать. На самом деле каждая операциональная процедура обнаруживает одну-единственную черту, которая может быть приписана объекту, так что, выполнив все нужные нам операции, мы имеем множество таких черт. Однако никакой объект никакой науки не представим просто совокупностью черт; он всегда есть структурированная совокупность в том смысле, что все эти черты взаимосвязаны некоторыми математическими и/или логическими отношениями, которые не извлекаются непосредственно ни из какого инструмента, но к которым приводит интеллектуальная деятельность исследователя. Кажется ясным, что для этого мы, помимо способности формировать чувственные восприятия, должны быть наделены способностью их синтезировать. Что эти способности не могут быть идентичными, можно увидеть из того факта, что одни и те же элементы восприятия могут комбинироваться самыми разными способами. Это было выяснено уже на уровне обычных восприятий исследованиями гештальтпсихологии, но это еще яснее на уровне формирования научных понятий, где имеет место гораздо бо́льшая свобода такой «сборки элементов».
Сказанное нами кажется связанным с деликатной эпистемологической ситуацией. Речь идет о том, что различные черты, которые мы можем выразить операционально, должны рассматриваться, повидимому, как принадлежащие тому, что мы должны обозначить как «нечто», используя некоторое имя. Говоря интуитивно, можно было бы сказать, что все это очевидно, поскольку объекты всегда возникают в результате применения операциональных критериев (связанных с некоторыми специфическими точками зрения) к некоторым «вещам»; и все найденное, таким образом, должно мыслиться как принадлежащее к этим «вещам».
Это объяснение не является психологически неприемлемым и более того – может привести к важным философским соображениям касательно природы науки, но оно не слишком полезно «внутри» самой науки. Альтернативой, которую может предложить наука, является поэтому система логических связей, обеспечивающих достаточное количество сцеплений между различными изолированными чертами, выявленными в ходе рассматриваемых эмпирических или операциональных исследований. Мы называем эти связи «логическими», чтобы подвести под достаточно общую рубрику не только математические отношения, но и те нематематические типы отношений, которые можно найти в науке.
Благодаря этому вмешательству логических связей в науке впервые появляется теория, в смысле гораздо более примитивном и более фундаментальном, чем тот, который наиболее обычен в литературе. Ибо когда речь идет о теории в науке, обычно имеется в виду некоторая система высказываний, одни из которых принимаются как гипотезы, в то время как другие логически связаны с этими гипотезами и друг с другом, обеспечивая нас объяснениями, проверками и т. п. Эта концепция сама по себе верна, но более важным кажется то, что отличительной чертой теорий является то, что в игру вступает «логос» как нечто отличное от опыта, так что приходится признать, что теоретический аспект науки возникает гораздо раньше, чем на уровне собственно построения теорий. Собственно говоря, он возникает еще на уровне формирования понятий и служит предварительным условием для того усилия объяснить, которое считается самой специфической задачей теорий. Это станет ясным в дальнейшем, когда мы специально займемся собственно теориями. Пока же посмотрим просто, как, опираясь на этот факт, мы сможем разобраться в давно дискутируемом вопросе о теоретических терминах, который мы начнем рассматривать здесь, а затем подробнее в разд. 3.2[112].
Именно благодаря присутствию «логических связей» между операционально установленными чертами реальности впервые появляется то, что называется теоретическими терминами. Это происходит по крайней мере по двум причинам. Первая состоит в том, что, когда некоторое множество предикатов структурировано так, чтобы обеспечить некоторое единство и обнаружить их взаимозависимость становится практически неизбежным, как мы только что подчеркнули, нужно дать этому единству имя. В то время, как ранее мы отстаивали именование такого единства на определенных психологических основаниях, теперь мы можем признать, что оно подразумевается самим понятием объективности. Поскольку объект есть результат применения к реальности определенных критериев объективности, когда эти черты реальности объективно установлены и связаны воедино, объект существует, а коль скоро он существует, почему бы не дать ему имя? Ошибкой было бы, если бы под этим именем мы понимали объект как что-то обладающее этими свойствами, как некоторую предлежащую скрытую реальность, проявляющую некоторые черты, тогда как на самом деле объект – это просто и есть эти черты или атрибуты (не забудем, что в этой книге термин «атрибут» используется в его техническом смысле, т. е. не как некоторый элемент языка – как при использовании этого термина в грамматике, – но как черта реальности, такая, как свойство, функция или отношение, которая может быть обозначена предикатом соответствующего языка) или, лучше сказать, структурированное множество их. Но, с другой стороны, мы должны признать, что объект должен называться обязательно теоретическим термином, ибо отдельные операции не могут показать нам, что определенные атрибуты совместны; не могут они, конкретнее, показать и то, почему они должны быть сгруппированы так, а не иначе. По этой причине объект не только по необходимости является результатом теоретического построения, но отсюда уже следует, что теоретические термины необходимы в науке, хотя бы для именования ее объектов и для «осмысления» операционально полученных эмпирических результатов. Очевидно, что теоретические термины еще более необходимы на собственно теоретическом уровне, т. е. когда «теоретические предметы (entities)» постулируются в теории для получения объяснений[113].
Поясним нашу мысль следующими примерами. Если Солнце, Земля, Луна (вещи «повседневного опыта») рассматривать лишь постольку, поскольку у них есть масса, положение во времени и пространстве в некоторой системе отсчета, некоторая скорость и они испытывают силу притяжения, игнорируя все их остальные черты, в том числе наличие у них объема, они будут рассматриваться как «материальные точки» и изучаться как объекты классической механики частиц. Термин «материальная частица» – теоретический термин в нашем смысле, поскольку он не является именем какого-либо операционально определимого атрибута[114], но результатом конкретного способа, которым такие атрибуты собираются воедино. Если рассмотреть стол и к рассмотренным выше атрибутам добавить его пространственные измерения, он будет рассматриваться как система материальных точек. Если вдобавок учесть тот факт, что расстояния между двумя произвольным точками этой системы будет оставаться постоянным при ее движении, стол будет рассматриваться как твердое тело, и это тоже теоретическое понятие.
112
То, что мы говорим в этой главе, не дает полной картины нашей точки зрения, поскольку может создать впечатление, будто мы имеем в виду, что научное исследование сначала устанавливает некие не слишком определенные операциональные черты, потом приводит их к некоторому концептуальному единству и наконец приходит к теоретической картине рассматриваемой области объектов. Это впечатление может быть следствием того факта, что нам приходится излагать отдельные части нашего дискурса последовательно. Но мы не утверждаем, что единство на самом деле возникает после своих элементов. Напротив, мы думаем, что определенное единство существует уже на стадии «вырезания» объектов и что его элементы выявляются путем соответствующего введения операциональных и теоретических средств. Это в некотором смысле выражается идеей той точки зрения, которую мы часто использовали и которая будет подробно представлена, когда мы будем говорить о «герменевтической» природе теорий и о конкретном смысле понятия модели, связанном с этой природой. Заметим также кстати, что наше различение вещи и объекта – при котором объект понимается как вещь, рассматриваемая с некоторой точки зрения – напоминает различение «материального объекта» (соответствующего нашей «вещи») и «формального объекта» (соответствующего нашему «объекту»), обычного в традиционной эпистемологии. Мы не возвращаемся к прежней доктрине, потому что ее терминология (прочно связанная с аристотелевской теорией отношения материи и формы) вряд ли может быть адекватно понята сегодня; к тому же мы обогатили ее некоторыми новыми элементами, отсутствовавшими в ней (особенно операциональной конституэнтой объекта).
113
На этом этапе мы не можем выразить нашу точку зрения с необходимой полнотой, но в дальнейшем мы представим более полный семантический анализ, который даст возможность увидеть, что научный объект можно понимать в одном смысле как абстрактный объект, однозначно и точно определяемый «кодируемыми» им свойствами, а с другой стороны – как один из многих конкретных объектов, «экземплифицирующих» данный абстрактный объект. Язык, используемый в науке (и не только там), должен содержать термины для обозначения абстрактных объектов, так же как и конкретных индивидов, и это просто потому, что термины, обозначающие абстрактные объекты, нужны еще и для обозначения индивидов, экземплифицирующих такие объекты. Например, нам нужны не только такие собственные имена, как Рим, Наполеон или «Илиада», для обозначения разного рода конкретных индивидов, но и общие имена, такие как дом, собака или электрон, чтобы сказать «это дом», «я видел собаку», «был эмитирован электрон». Этот семантический анализ начнется в разд. 3.4 и продолжится до разд. 4.1.
114
Неважно, что в нашем конкретном примере с небесными телами эти атрибуты, такие как масса и скорость, не могут быть определены операционально, но могут быть только вычислены.