Текст книги "Расколотый мир. Опыт анализа психодинамики личности человека в экстремальных условиях жизнедеятельности"

Часть 2
Методология психодинамических исследований

Глава 1
Математические модели психодинамики личности

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

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

Понятие множества является основным математическим понятием в том смысле, что любой объект математического исследования является множеством. Обратное, однако, неверно. Не любое множество может являться объектом математического исследования. Для того чтобы оно могло таковым стать, множество должно быть корректно задано. Таким образом, множество в отличие от других математических понятий не определяется через другие понятия, а задается. Корректное задание множества каких бы то ни было объектов является первым и наиважнейшим актом подготовки множества исследуемых объектов для их анализа с помощью автоматического аппарата. В качестве примера некорректно заданного множества приведем известный парадокс Бертрана Рассела. Что делать брадобрею, который получил приказ брить всех, кто не бреется сам? Вопрос заключается в том, должен ли брадобрей брить себя самого, т. е. относится ли он к множеству бреющихся самостоятельно или же к множеству тех, кого бреет брадобрей, т. е. он сам, но если он бреет себя сам, то он не должен бриться брадобреем, и т. д. В этом случае условие, задающее множество, не является корректным, так как не позволяет решить вопрос о том, содержится в нем указанный брадобрей или нет. Следовательно, множество является заданным корректно тогда и только тогда, когда условие, задающее множество, позволяет относительно любого элемента, принадлежащего любому, а следовательно, и данному множеству, однозначно ответить на вопрос: принадлежит этот элемент данному множеству или нет? Таким образом, задание множества позволяет относительно всех существующих в мире объектов формулировать однозначные высказывания о принадлежности любого из этих объектов заданному множеству. В противном случае множество не является корректно заданным и, следовательно, не является множеством в точном смысле этого слова.

Использование абстрактных математических моделей в психологии, видимо, не ограничивается только описанием различных психических процессов и явлений. Познавательные психические процессы человека сами представляют собой модели объектов внешнего мира, и с этой точки зрения их удобно представлять теми или иными алгебраическими моделями. По ходу изложения мы будем стараться иллюстрировать эту мысль. Здесь мы покажем, что всякий отраженный в сознании человека объект является множеством (в точном смысле этого слова). Подтверждением тому может служить психологический принцип предметности восприятия, объясняющий факты, полученные в экспериментах с так называемыми двойственными изображениями (черный – белый крест, жена – теща, два профиля – ваза). Выяснено, что при рассматривании такой картинки человек может в каждый фиксированный момент времени воспринимать либо одно, либо другое изображение, но никогда не может видеть одновременно оба. Здесь нам, однако, могут возразить, что человек способен думать одновременно о двух нарисованных крестах. Действительно, посредством мысли человек может осуществить операции объединения этих объектов, получив в результате некоторое новое множество, но при этом в каждый фиксированный момент времени человек может думать только о каком-то конкретном множестве, даже если оно получено как комбинация других. В книге Ф.Д. Горбова и В.И. Лебедева (Горбов, Лебедев, 1975) описаны случаи, когда человек оказывался в условиях, требующих одновременной переработки информации о различных (или даже одинаковых, но по-разному заданных) множествах объектов. Авторы показывают, что в такой ситуации мозг человека отказывается работать, и наступает временная потеря сознания.

В приведенных примерах мы коснулись таких важных понятий, как подмножество данного множества, элемент множества, объединение множеств. Сейчас мы определим точно эти и некоторые другие важные понятия теории множеств. Введем некоторые обозначения. Как это и делается обычно, множества мы будем обозначать большими буквами латинского алфавита А, В,…., элементы соответствующих множеств – маленькими буквами a, i… Знак ∈ означает принадлежность элемента множеству. Например: а ∈ А означает, что а является элементом множества А. Если же он таковым не является, то используют знак ∉: а ∉ А. Если имеем дело с множествами, состоящими более чем из одного элемента, то необходимо бывает различать свойства, присущие всем элементам данного множества, и свойства, присущие только какой-то их части или единственному элементу из всего множества. Символ ∀ а – означает «любой элемент а», а ∃ а «существует элемент а» (далее обычно следует указание – какой). Если важно подчеркнуть, что такой элемент в интересующем нас множестве только один, то пишут ∃!а. Таким образом, любой элемент а либо является элементом данного множества А, либо не является им.

Введем теперь понятие подмножество множества, для чего нам понадобятся еще два символа: ⇔, означающий «тогда и только тогда», и ⇒ означает «следует» (влечет). Запись В∈ А⇔=в∈ В⇒в∈ А может быть прочитана следующим образом: В является подмножеством А тогда и только тогда, когда каждый элемент из В является элементом А. Если же напротив, А является подмножеством В, то мы можем записать следующее: А∈ В⇔=а∈ А⇒а∈ В. Знак А обозначает конъюнкцию и может быть прочитан как союз «и»:

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

Таким образом, знак равенства означает, что А есть в точности то же самое множество, что и В, но может быть по-другому заданное.

Способов же задания множества существует бесконечно много. Однако все их можно разделить на две группы: 1) множество может быть задано перечислением своих элементов. В этом случае применяют запись

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

Итак, мы определили понятия множества и подмножества. Полезно также ввести понятия надмножества как множества, содержащего данное множество:

и понятие пустого множества, как множества, не содержащего ни одного элемента (обозначается ∅). Пустое множество по определению является подмножеством любого множества. Введем теперь понятие объединения множеств. Множество С является объединением множеств А и В, если каждый элемент С является либо элементом А, либо элементом В. В принятой символике это можно записать так:

Аналогично можно определить понятие пересечения двух множеств. Множество С является пересечением множеств А и В, если каждый элемент С является одновременно и элементом А и элементом В, т. е. С есть множество общих элементов А и В. Если, однако, у А и В нет общих элементов, то С есть пустое множество. Это можно записать так:

Если В является подмножеством А, то можно определить понятие разность множеств А и В, как множество тех элементов А, которые не являются одновременно элементами множества В.

Разность А и В называется также дополнением В в А. Введем теперь понятие пары объектов. Этими объектами могут быть как элементы множеств, так и сами множества. В понятии пары кроме количества выбираемых объектов фиксируется также порядок их следования. Так, например, если A ≠ В, то две пары множеств (А, В) и (В, А) не являются равными: (А, В) ≠ (В, A). Рассмотрим теперь множество всех пар элементов множества А, оно называется декартовым квадратом множества и обозначается А², Смысл такого названия в том, что если множество А содержит k элементов, то количество упорядоченных пар будет равно k² .

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

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

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

Далее, если человек является родственником другого человека, то и тот является родственником данного. Далее, «если человек является родственником другого человека, а этот другой является родственником третьего, то этот третий также является родственником первого. Это можно записать так: если aPb ∧ bРс ⇒ аРс. Отношение, для любых трех элементов которого выполнено данное условие, называется транзитивным. Если это условие не выполнено хотя бы для одной тройки элементов, то отношение не является транзитивным. Если отношение аРв влечет вРа, то также отношение называется симметричным.

Рассмотрим теперь бинарное отношение R, обладающее следующими тремя свойствами:

1. aRa (рефлексивность);

2. aRb ⇒ bRa (симметричность);

3. aRb ∧ bRc ⇒ aRc (транзитивность).

Отношение, обладающее указанными тремя свойствами, называется отношением эквивалентности. Примером такого отношения может быть отношение равенства. Действительно, любой объект всегда равен сам себе, если a=b, b=c, то a=c, и, конечно, если a=b, то b=a.

Отношение эквивалентности является чрезвычайно важным понятием для социальной психологии. Это обусловлено одной его особенностью. Если на множестве задано отношение эквивалентности, то данное множество оказывается разбито на подмножества (или классы), не имеющие общих элементов. Действительно, объединим в один класс все элементы, эквивалентные данному элементу a ⊂ А. Тогда в силу транзитивности отношения всех элементов внутри класса эквивалентности будут попарно эквивалентны, так как из aRb и aRс следует bRc. Таким образом, любой из элементов класса эквивалентности может быть выбран в качестве его представителя. А это значит, что если мы начнем построение класса с любого другого элемента b, то получим тот же самый класс, т. е. K_a= K_b. Если же элемент b не находится в отношении эквивалентности с элементом a, то классы K_a и К_b не будут иметь ни одного общего элемента, в противном случае существовал бы один общий элемент, такой, что aRс влечет bRc, из чего в силу транзитивности следовало бы aRb, т. е. a и b принадлежат к одному и тому же классу. Мы получили противоречие, следовательно, классы эквивалентности не пересекаются, т. е. не имеют общих элементов.

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

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

Мы уже ввели понятие пары объектов. Рассмотрим теперь следующее множество пар. Пусть имеется два множества А и В. Рассмотрим множество таких пар объектов, где первый элемент всегда выбирается из множества А, а второй – из B. Все множество таких пар образует множество А и B. Ограничим теперь указанное соответствие следующим условием. Пусть каждый элемент из А имеет только единственную пару из множества B. Такое ограниченное соответствие называется отображением множества A в множество B, и обозначается f : A → B т. е. (а, b) ∈ f или в другой записи f (а) = b.

Рассмотрим некоторые важные свойства отображений. Будем называть элемент b = f (а) образом элемента а, а сам элемент а прообразом элемента b. Соответственно все множество А всегда является прообразом при отображении f, а множество В содержит в себе некоторое подмножество, которое является образом множества А. Если образ множества А совпадает со всем множеством В, т. е. каждый элемент из В имеет хотя бы один прообраз, то отображение называется сюръективным или обладает свойством сюръективности. В множестве В могут, однако, быть элементы, которые не являются образами никаких элементов из А, если а при этом еще каждый из тех элементов, которые являются образами элементов из А, имеет единственный прообраз, то такое отображение называется инъективным или обладает свойством инъективности. Если отображение одновременно обладает двумя указанными свойствами, т. е. является сюръективным и инъективным, то такое отображение называют биективным или взаимно однозначным.

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

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

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

Пусть у нас имеется два множества А и В, а также определено некоторое подмножество A: A' ∈ A. Задание функции означает, что определено отображение подмножества А в В, а для остальных элементов из А A' данное отображение, а значит, и соответствующая функция не определены, иногда также говорят, что В является функцией А, не забывая при этом, что функция определена только для некоторого подмножества А, равного A'. Таким образом, множество психических образов будет являться функцией множества объектов внешнего мира в том и только в том случае, если для различных объектов будут существовать различные образы. Такое утверждение наталкивает исследователя на мысль установить экспериментально способ задания этой функции. Мы помним, что функция по определению также является некоторым множеством пар. Рассмотрим два способа задания функции – табличный и аналитический. В первом случае составляется таблица, где каждому элементу области определения функции (отображаемого пространства или множества начала) сопоставляется элемент отображающего множества (или множества конца).

При аналитическом способе задается некоторое выражение, позволяющее посредством подстановки в него элементов множества начала получать соответствующие элементы множества конца. Оба эти способа не могут быть непосредственно применены в интересующем нас случае по той простой причине, что психический образ не может быть извлечен из человеческого мозга и вообще не является непосредственно наблюдаемым объектом. Он присущ только конкретному человеку. Как подчеркивал С.Л.Рубинштейн, «если что-то дано человеку непосредственно, то никаким иным способом оно уже дано быть не может». Попытки преодолеть это препятствие делались посредством построения процедур отображения множества физических объектов и множества образов в некоторое третье множество – чаще всего множество действительных чисел, с последующим рассмотрением функций, заданных на декартовом квадрате множества действительных чисел. При этом указанные процедуры строятся так, чтобы обеспечить биекцию отображения F: f → f', где f ⊂ А x B, a f' ⊂ R × R. Приведем некоторые примеры функций, выступающих в качестве моделей психических явлений. Одной из наиболее известных моделей такого рода является закон Г.Фехнера, связывающий функциональной зависимостью физическую интенсивность стимула (воспринимаемого внешнего объекта) и субъективную интенсивность ощущения

где S – интенсивность стимульного воздействия, R – интенсивность ощущения или воспринимаемая интенсивность. При этом, конечно, на физическую интенсивность стимула как множества начала отображения накладываются ограничения. Это прежде всего пороговые ограничения, как при любом психофизическом отображении, но, кроме того, закон Г.Фехнера действует только в средних диапазонах интенсивности раздражителей (стимулов) и не действует в околопороговых областях. Таким образом, можно сказать, что данная функция представляет собой модель трансформации физической энергии в субъективное восприятие в обычных условиях (при средних интенсивностях стимулов). С.С.Стивенс разработал иную процедуру оценки субъективной величины ощущения и предложил в качестве модели степенную функцию

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

Параметр z в предложенной авторами формуле является различным для различных условий. Здесь, таким образом, в качестве модели выступает уже некоторое множество, или семейство функций, различных при различных z.

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

Примером модели может служить множество букв русского языка, множеством отношений является множество слов в словаре русского языка.

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

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

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

В заключение исследуем само отношение «быть моделью». Мы уже видели, что это отношение является рефлексивным, так как каждый объект является моделью самого себя. Очевидно также, что если один объект является моделью другого, то в силу сюръективности отображения первого объекта на второй, этот второй совсем не обязательно будет моделью первого объекта. Следовательно, это отношение не является симметричным. Ясно также, что если этот второй объект является моделью некоторого третьего, то и первый будет являться моделью третьего. Таким образом, отношение «быть моделью» является рефлексивным и транзитивным. Такие отношения называются отношениями нестрогого порядка.