Текст книги "Роль моделей в теории познания"

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

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

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

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

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

В зависимости от способа построения моделей, от средств, какими производится моделирование изучаемых объектов, все модели могут быть предварительно разделены на два больших класса:

1) материальные (другие термины: действующие, реальные, вещественные);

2) идеальные (другие термины: воображаемые, умозрительные, мысленные).

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

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

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

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

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

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

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

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

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

Однако особенностью идеальных моделей является то, что они не всегда и не обязательно воплощаются в действительности, хотя это и не исключено. Большинство таких моделей и не претендует на материальное воплощение. Так, например, Д. К. Максвелл, создавая свою знаменитую модель электромагнитного поля и изображая силовые линии в виде трубок с переменными сечениями, по которым течет абсолютно несжимаемая, лишенная инерции жидкость, подчеркивал, что эта жидкость является воображаемой. Употребление термина «жидкость» не введет нас в заблуждение, если мы будем помнить, что оно означает только воображаемую субстанцию со следующим свойством. Любая часть жидкости, занимающая в какой-нибудь момент данный объем, в каждый последующий момент будет занимать такой же объем». Таким же воображаемым, или идеальным, характером отличаются и модели атома (например, модель Бора-Зоммерфельда), современные (капельная, оболочечная, оптическая и др.) модели ядра.

С указанной здесь точки зрения к идеальным следует отнести и те кибернетические модели, которые представляют собой мысленные построения для решения определенных задач. К числу подобных моделей относится, например, «машина» Тьюринга, которая по существу является мысленной моделью некоего алгоритма или вычислимой функции. Такой же характер идеальной, воображаемой модели имеет обсуждаемая Тьюрингом «машина», способная «мыслить».

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

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

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

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

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

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

Предварительная классификация моделей была ориентирована на формальный, хотя и существенный с гносеологической точки зрения признак – характер отношения модели к объекту, способ воспроизведения в ней действительности.

Необходимо, однако, иметь в виду, что для более глубокого понимания вопроса о роли моделей в познании нужно подвергнуть исследованию также содержание различных моделей. Это дало бы возможность установить, как в зависимости от специфики изучаемой действительности варьируются возможности моделирования, изменяется характер моделей, уменьшается или увеличивается их значение. Классификация моделей, построенная на анализе их содержания, сливается с характеристикой роли моделей в конкретных науках.

При более полной классификации моделей следовало бы также учесть и другие различия между моделями:

1) различие между целостными и частичными (или, менее точно, полными и неполными) моделями (правда, это различие относительно, как относительно различие между целым и частью, например, мозг является частью организма и его модель является частичной по отношению к организму, но по отношению к мозгу может выступать как целостная модель);

2) различие между динамическими (изменяющимися во времени) и статическими (пространственные структуры) моделями;

3) различие между непрерывными и прерывными моделями;

4) различие между моделями, воспроизводящими однозначно детерминированные системы, и моделями вероятностных (стохастических) процессов.

На основании классификации научных моделей существуют две основные функции моделей:

1) практическая – в качестве орудия или средства научного эксперимента в его специфической форме, связанной с использованием материальных, действующих моделей;

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

Контрольные вопросы и задания

1. Дайте определение понятия «модель».

2. В чем заключается отличие модели от теории?

3. Перечислите основные функции моделей.

4. В чем специфика классификации научных моделей?

Тема 2
Проблема моделей в философии и методологии науки XIX–XX вв

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

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