Чтобы всех окончательно запутать: вот определение модели и моделирования из Большой советской энциклопедии (кто интересуется подробнее -- см. поиск по энциклопедиям в Яндексе).Осторожно -- это немаленькие тексты ;)Модель (франц. modèle, итал. modello, от лат. modulus - мера, мерило, образец, норма),1) образец, служащий эталоном (стандартом) для серийного ли массового воспроизведения (М. автомобиля, М. одежды и т. п.), а также тип , марка какого-либо изделия, конструкции.2) Изделие (изготовленное из дерева, глины, воска, гипса и др.), с которого снимается форма для воспроизведения в другом материале (металле, гипсе, каине и др.). См. также Лекало, Литейная модель, Плаз, Шаблон.3) Человек, позирующий художнику (натурщик), и вообще изображаемые объекты ("натура").4) Устройство, воспроизводящее, имитирующее (обычно в уменьшенном, "игрушечном" масштабе) строение и действие какого-либо другого устройства ("настоящего") в научных (см. ниже), практических (например, в производственных испытаниях) или спортивных (см. Моделизм) целях.Модель (в широком понимании) - образ (в т. ч. условный или мысленный - изображение, описание, схема, чертёж, график, план, карта и т. п.) или прообраз (образец) какого-либо объекта или системы объектов ("оригинала" данной М.), используемый при определённых условиях в качестве их "заместителя" или "представителя". Так, М. Земли служит глобус, а М. различных частей Вселенной (точнее - звёздного неба) - экран планетария. В этом же смысле можно сказать, что чучело животного есть М. этого животного, а фотография на паспорте (или список примет и вообще любой перечень паспортных или анкетных данных) - М. владельца паспорта (хотя живописец, напротив, называет М. именно изображаемого им человека). В математике и логике М. какой-либо системы аксиом обычно называют совокупность объектов, свойства которых и отношения между которыми удовлетворяют данным аксиомам, в терминах которых эти объекты описываются.Все эти примеры естественно делятся на 2 основные группы: примеры первой группы выражают идею "имитации" (описания) чего-то "сущего" (некоей действительности, "натуры", первичной по отношению к М.); в остальных примерах, напротив, проявляется принцип "реального воплощения", реализации некоторой умозрительной концепции (и здесь первичным понятием выступает уже сама М.). Иными словами, М. может быть системой и более высокого уровня абстракции, чем её "оригинал" (как в первом случае), и более низкого (как во втором). При различных же уточнениях понятия "М." средствами математики и логики в качестве М. и "оригиналов" выступают системы абстрактных объектов, для которых вообще, как правило, не имеет смысла ставить вопрос об относительном "старшинстве". (Более подробно о возможных классификациях М., исходящих, в частности, из характера средств построения М., см. в ст. Моделирование.)В естественных науках (например, в физике, химии) следуют обычно первому из упомянутых пониманий термина, называя М. какой-либо системы её описание на языке некоторой научной теории (например, химическую или математическую формулу, уравнение или систему уравнений, фрагмент теории или даже всю теорию в целом). В таком же смысле говорят и о "моделях языка" (см. Модели в языкознании), хотя в настоящее время всё чаще следуют второму пониманию, называя М. некоторую языковую реальность, противопоставляя эту реальность её описанию - лингвистической теории. Впрочем, оба понимания могут и сосуществовать; например, релейно-контактные схемы используют в качестве "экспериментальных" М. формул (функций) алгебры логики, последние же, в свою очередь, - как "теоретические" М. первых.Такая многозначность термина становится понятной, если учесть, что М. в конкретных науках так или иначе связываются с применением моделирования, т. е. с выяснением (или воспроизведением) свойств какого-либо объекта, процесса или явления с помощью другого объекта, процесса или явления - его "М." (типичные примеры: "планетарная" М. атома и концепция "электронного газа", апеллирующие к более наглядным - точнее, более привычным - механическим представлениям). Поэтому первое естественно возникающее требование к М. - это полное тождество строения М. и "оригинала". Требование это реализуется, как известно, в условии изоморфизма М. и "моделируемого" объекта относительно интересующих исследователя их свойств: две системы объектов (в интересующем нас сейчас случае - М. и "оригинал") с определёнными на них наборами предикатов, т. е. свойств и отношений (см. Логика предикатов) называемых изоморфными, если между ними установлено такое взаимно-однозначное соответствие (т. е. каждый элемент любой из них имеет единственного "напарника" из числа элементов другой системы), что соответствующие друг другу объекты обладают соответствующими свойствами и находятся (внутри каждой системы) в соответствующих отношениях между собой. Однако выполнение этого условия может оказаться затруднительным или ненужным, да и вообще настаивать на нём неразумно, поскольку никакого упрощения исследовательской задачи, являющейся важнейшим стимулом для моделирования, использование одних лишь изоморфных М. не даёт. Т. о., на следующем уровне мы приходим к представлению о М. как об упрощённом образе моделируемого объекта, т. е. к требованию гомоморфизма М. "оригиналу". (Гомоморфизм, как и изоморфизм, "сохраняет" все определённые на исходной системе свойства и отношения, но, в отличие от изоморфизма, это отображение, вообще говоря, однозначно лишь в одну сторону: образы некоторых элементов "оригинала" в М. оказываются "склеенными" - подобно тому, как на сетчатке глаза или на фотографии сливаются в одно пятно изображения близких между собой участков изображаемого предмета.) Но и такое понимание термина "М." не является окончательным и бесспорным: если мы преследуем цель упрощения изучаемого объекта при моделировании в каких-либо определённых отношениях, то нет никакого резона требовать, чтобы М. была во всех отношениях проще "оригинала" - наоборот, имеет смысл пользоваться любым, сколь угодно сложным арсеналом средств построения М., лишь бы они облегчали решение проблем, ставящихся в данном конкретном случае. Поэтому к максимально общему определению понятия "М." можно прийти, допуская сколь угодно сложные М. и "оригиналы" и требуя при этом лишь тождества структуры некоторых "упрощённых вариантов" каждой из этих систем. Иными словами, две системы объектов А и В мы будем теперь называть М. друг друга (или моделирующими одна другую), если некоторый гомоморфный образ А и некоторый гомоморфный образ В изоморфны между собой. Согласно этому определению, отношение "быть М." обладает свойствами рефлексивности (т. е. любая система есть своя собственная М.), симметричности (любая система есть М. каждой своей М., т. е. "оригинал" и М. могут меняться "ролями") и транзитивности (т. е. модель модели есть М. исходной системы). Т. о., "моделирование" (в смысле последнего из наших определений понятия "М.") является отношением типа равенства (тождества, эквивалентности), выражающим "одинаковость" данных систем (относительно тех их свойств, которые сохраняются при данных гомоморфизмах и изоморфизме). То же, конечно, относится и к первоначальному определению М. как изоморфного образа "оригинала", в то время как отношение гомоморфизма (лежащее в основе второго из данных выше определений) транзитивно и антисимметрично (М. и "оригинал" не равноправны!), порождая тем самым иерархию М. (начиная с "оригинала") по понижающейся степени сложности.М., применяемые в современных научных исследованиях, впервые были в явном виде использованы в математике для доказательства непротиворечивости геометрии Лобачевского относительно геометрии Евклида (см. Неевклидовы геометрии, Аксиоматический метод). Развитый в этих доказательствах т. н. метод интерпретации получил затем особенно широкое применение в аксиоматической теории множеств. На стыке алгебры и математической логики сформировалась специальная дисциплина - моделей теория, в рамках которой под М. (или "алгебраической системой") понимается произвольное множество с заданными на нём наборами предикатов и (или) операций - независимо от того, удаётся ли такую М. описать аксиоматическими средствами (нахождение таких описаний и является одной из основных задач теории М.). Дальнейшую детализацию такое понятие М. получило в рамках логической семантики. В результате логико-алгебраического и семантического уточнений понятия "М." выяснилось также, что его целесообразно вводить независимо от понятия изоморфизма (поскольку аксиоматические теории допускают, вообще говоря, и не изоморфные между собой М.).В соответствии с различными назначениями методов моделирования понятие "М." используется не только и не столько с целью получения объяснений различных явлений, сколько для предсказания интересующих исследователя явлений. Оба эти аспекта использования М. оказываются особенно плодотворными при отказе от полной формализации этого понятия. "Объяснительная" функция М. проявляется при использовании их в педагогических целях, "предсказательная" - в эвристических (при "нащупывании" новых идей, получении "выводов по аналогии" и т. п.). При всём разнообразии этих аспектов их объединяет представление о М. прежде всего как орудии познания, т. е. как об одной из важнейших философских категорий. Для использования этого понятия во всех разнообразных аспектах на современном этапе развития науки характерно значительное расширение арсенала применяемых М. Введение в число параметров, описывающих изменяющиеся (развивающиеся) системы временных характеристик (или использование функций в математическом смысле этого слова в качестве первичных элементов М.), позволяет расширить понятие изоморфизма до т. н. изофункционализма и с его помощью отображать (моделировать) не только "жестко заданные", неизменные системы, но и различные процессы (физические, химические, производственные, экономические, социальные, биологические и др.). Это открывает широкие возможности использования в качестве М. программ для цифровых ЭВМ, "языки" которых можно рассматривать как "универсальные моделирующие системы". То же, конечно, относится и к обычным (естественным) языкам, причём и по отношению к языковым М. претензии на их непременный изоморфизм описываемым ситуациям оказываются несостоятельными и ненужными. К тому же предварительный учёт всех подлежащих "моделированию" параметров, нужный для буквального понимания термина "М." введённого каким-либо точным определением, часто невозможен (что и обусловливает, кстати, потребность в моделировании), в силу чего особенно плодотворным опять-таки оказывается расширительное понимание термина "М.", основывающееся на интуитивных представлениях о "моделировании". Это относится ко всякого рода "вероятностным" М. обучения (см. также Программированное обучение), "М. поведения" в психологии, к типичным для кибернетики М. самоорганизующихся (самонастраивающихся) систем. Требование непременной формализации как предпосылки построения М. лишь сковывало бы возможности научных исследований. Весьма перспективным путём преодоления возникающих здесь трудностей представляется также введение различных ослаблений в формальные определения понятия "М.", в результате чего возникают "приближённые", "размытые" понятия "квазимодели", "почти М." и т. п. При этом для всех модификаций понятия "М." на всех уровнях его абстракции оно используется в обоих упомянутых выше смыслах, причём зачастую одновременно. Например, "запись" генетической информации в хромосомах моделирует родительские организмы и в то же время моделируется в организме потомка.Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, ї 15; Эшби У. Р., Введение в кибернетику, пер. с англ., М., 1959, гл. 6; Лахути Д. Г., Ревзин И. И., Финн В. К., Об одном подходе к семантике, "Философские науки", 1959, Ї 1; Моделирование в биологии. [Сб. ст.], пер. с англ., М., 1963; Бир С., Кибернетика и управление производством, пер. с англ., М., 1963; Чжао Юань-жень, Модели в лингвистике и модели вообще, в сборнике: Математическая логика и её применения, пер. с англ., М., 1965, с. 281-92; Миллер Дж., Галантер Ю., Прибрам К., Планы и структура поведения, пер. с англ., М., 1965; Гастев Ю. А., О гносеологических аспектах моделирования, в сборнике: Логика и методология науки, М., 1967, с. 211-18; Карри Х. Б., Основания математической логики, пер. с англ., М., 1969, гл. 2 и 7; Хомский Н., Язык и мышление, пер. с англ., М., 1972; Carnap R., The logical syntax of language, L., 1937; Кemeny J. G., A new approach to semantics, "Journal of Symbolic Logic", 1956, v. 21, Ї 1-2; Gastev Yu. A., The role of the isomorphism and homomorphism conceptions in methodology of deductive and empirical sciences, в сборнике: Abstracts. IV International congress for logic, methodology and philosophy of science, Buc., [1971], p. 137-38.? Ю. А. Гастев.Моделирование, исследование объектов познания на их моделях; построение и изучение моделей реально существующих предметов и явлений (живых и неживых систем, инженерных конструкций, разнообразных процессов - физических, химических, биологических, социальных) и конструируемых объектов (для определения, уточнения их характеристик, рационализации способов их построения и т. п.).М. как познавательный приём неотделимо от развития знания. По существу, М. как форма отражения действительности зарождается в античную эпоху одновременно с возникновением научного познания. Однако в отчётливой форме (хотя без употребления самого термина) М. начинает широко использоваться в эпоху Возрождения; Брунеллески, Микеланджело и другие итальянские архитекторы и скульпторы пользовались моделями проектируемых ими сооружений; в теоретических же работах Г. Галилея и Леонардо да Винчи не только используются модели, но и выясняются пределы применимости метода М. И. Ньютон пользуется этим методом уже вполне осознанно, а в 19-20 вв. трудно назвать область науки или её приложений, где М. не имело бы существенного значения; исключительно большую методологическую роль сыграли в этом отношении работы Кельвина, Дж. Максвелла, Ф. А. Кекуле, А. М. Бутлерова и других физиков и химиков - именно эти науки стали, можно сказать, классическими "полигонами" методов М. Появление же первых электронных вычислительных машин (Дж. Нейман, 1947) и формулирование основных принципов кибернетики (Н. Винер, 1948) привели к поистине универсальной значимости новых методов - как в абстрактных областях знания, так и в их приложениях. М. ныне приобрело общенаучный характер и применяется в исследованиях живой и неживой природы, в науках о человеке и обществе (см. Модели в биологии, Модели в экономике, Модели в языкознании, Ядерные модели).Единая классификация видов М. затруднительна в силу многозначности понятия "модель" в науке и технике. Её можно проводить по различным основаниям: по характеру моделей (т. е. по средствам М.); по характеру моделируемых объектов; по сферам приложения М. (М. в технике, в физических науках, в химии, М. процессов живого, М. психики и т. п.) и его уровням ("глубине"), начиная, например, с выделения в физике М. на микроуровне (М. на уровнях исследования, касающихся элементарных частиц, атомов, молекул). В связи с этим любая классификация методов М. обречена на неполноту, тем более, что терминология в этой области опирается не столько на "строгие" правила, сколько на языковые, научные и практические традиции, а ещё чаще определяется в рамках конкретного контекста и вне его никакого стандартного значения не имеет (типичный пример - термин "кибернетическое" М.).Предметным называется М., в ходе которого исследование ведётся на модели, воспроизводящей основные геометрические, физические, динамические и функциональные характеристики "оригинала". На таких моделях изучаются процессы, происходящие в оригинале - объекте исследования или разработки (изучение на моделях свойств строительных конструкций, различных механизмов, транспортных средств и т. п.). Если модель и моделируемый объект имеют одну и ту же физическую природу, то говорят о физическом М. (см. Моделирование физическое). Явление (система, процесс) может исследоваться и путём опытного изучения каких-либо явления иной физической природы, но такого, что оно описывается теми же математическими соотношениями, что и моделируемое явление. Например, механические и электрические колебания описываются одними и теми же дифференциальными уравнениями; поэтому с помощью механических колебаний можно моделировать электрические и наоборот. Такое "предметно-математическое" М. широко применяется для замены изучения одних явлений изучением других явлений, более удобных для лабораторного исследования, в частности потому, что они допускают измерение неизвестных величин (см. Моделирование аналоговое). Так, электрическое М. позволяет изучать на электрических моделях механических, гидродинамических, акустических и другие явления. Электрическое М. лежит в основе т. н. аналоговых вычислительных машин.При знаковом М. моделями служат знаковые образования какого-либо вида: схемы, графики, чертежи, формулы, графы, слова и предложения в некотором алфавите (естественного или искусственного языка) (см. Знак, Семиотика).Важнейшим видом знакового М. является математическое (логико-математическое) М., осуществляемое средствами языка математики и логики (см. Математическая модель). Знаковые образования и их элементы всегда рассматриваются вместе с определенными преобразованиями, операциями над ними, которые выполняет человек или машина (преобразования математических, логических, химических формул, преобразования состояний элементов цифровой машины, соответствующих знакам машинного языка, и др.). Современная форма "материальной реализации" знакового (прежде всего, математического) М. - это М. на цифровых электронных вычислительных машинах, универсальных и специализированных. Такие машины - это своего рода "чистые бланки", на которых в принципе можно зафиксировать описание любого процесса (явления) в виде его программы, т. е. закодированной на машинном языке системы правил, следуя которым машина может "воспроизвести" ход моделируемого процесса.Действия со знаками всегда в той или иной мере связаны с пониманием знаковых образований и их преобразований: формулы, математические уравнения и т. п. выражения применяемого при построении модели научного языка определенным образом интерпретируются (истолковываются) в понятиях той предметной области, к которой относится оригинал (см. Интерпретация). Поэтому реальное построение знаковых моделей или их фрагментов может заменяться мысленно-наглядным представлением знаков и (или) операций над ними. Эту разновидность знакового М. иногда называется мысленным М. Впрочем, этот термин часто применяют для обозначения "интуитивного" М., не использующего никаких чётко фиксированных знаковых систем, а протекающего на уровне "модельных представлений". Такое М. есть непременное условие любого познавательного процесса на его начальной стадии.По характеру той стороны объекта, которая подвергается М., уместно различать М. структуры объекта и М. его поведения (функционирования протекающих в нем процессов и т. п.). Это различение сугубо относительно для химии или физики, но оно приобретает чёткий смысл в науках о жизни, где различение структуры и функции систем живого принадлежит к числу фундаментальных методологических принципов исследования, и в кибернетике, делающей акцент на М. функционирования изучаемых систем. При "кибернетическом" М. обычно абстрагируются от структуры системы, рассматривая её как "чёрный ящик", описание (модель) которого строится в терминах соотношения между состояниями его "входов" и "выходов" ("входы" соответствуют внешним воздействиям на изучаемую систему, "выходы" - её реакциям на них, т. е. поведению).Для ряда сложных явлений (например, турбулентности, пульсаций в областях отрыва потока и т. п.) пользуются стохастическим М., основанным на установлении вероятностей тех или иных событий. Такие модели не отражают весь ход отдельных процессов в данном явлении, носящих случайный характер, а определяют некоторый средний, суммарный результат.Понятие М. является гносеологической категорией, характеризующей один из важных путей познания. Возможность М., т. е. переноса результатов, полученных в ходе построения и исследования моделей, на оригинал, основана на том, что модель в определённом смысле отображает (воспроизводит, моделирует) какие-либо его черты; при этом такое отображение (и связанная с ним идея подобия) основано, явно или неявно, на точных понятиях изоморфизма или гомоморфизма (или их обобщениях) между изучаемым объектом и некоторым другим объектом "оригиналом" и часто осуществляется путём предварительного исследования (теоретического или экспериментального) того и другого. Поэтому для успешного М. полезно наличие уже сложившихся теорий исследуемых явлений, или хотя бы удовлетворительно обоснованных теорий и гипотез, указывающих предельно допустимые при построении моделей упрощения. Результативность М. значительно возрастает, если при построении модели и переносе результатов с модели на оригинал можно воспользоваться некоторой теорией, уточняющей связанную с используемой процедурой М. идею подобия. Для явлений одной и той же физической природы такая теория, основанная на использовании понятия размерности физических величин, хорошо разработана (см. Моделирование физическое, Подобия теория). Но для М. сложных систем и процессов, изучаемых, например, в кибернетике, аналогичная теория ещё не разработана, чем и обусловлено интенсивное развитие теории больших систем - общей теории построения моделей сложных динамических систем живой природы, техники и социально-экономической сферы.М. всегда используется вместе с др. общенаучными и специальными методами. Прежде всего М. тесно связано с экспериментом. Изучение какого-либо явления на его модели (при предметном, знаковом М., М. на ЭВМ) можно рассматривать как особый вид эксперимента: "модельный эксперимент", отличающийся от обычного ("прямого") эксперимента тем, что в процесс познания включается "промежуточное звено" - модель, являющаяся одновременно и средством, и объектом экспериментального исследования, заменяющим изучаемый объект. Модельный эксперимент позволяет изучать такие объекты, прямой эксперимент над которыми затруднён, экономически невыгоден, либо вообще невозможен в силу тех или иных причин [М. уникальных (например, гидротехнических) сооружений, сложных промышленных комплексов, экономических систем, социальных явлений, процессов, происходящих в космосе, конфликтов и боевых действий и др.].Исследование знаковых (в частности, математических) моделей также можно рассматривать как некоторые эксперименты ("эксперименты на бумаге", умственные эксперименты). Это становится особенно очевидным в свете возможности их реализации средствами электронной вычислительной техники. Один из видов модельного эксперимента - модельно-кибернетический эксперимент, в ходе которого вместо "реального" экспериментального оперирования с изучаемым объектом находят алгоритм (программу) его функционирования, который и оказывается своеобразной моделью поведения объекта. Вводя этот алгоритм в цифровую ЭВМ и, как говорят, "проигрывая" его, получают информацию о поведении оригинала в определенной среде, о его функциональных связях с меняющейся "средой обитания".Т. о., можно прежде всего различать "материальное" (предметное) и "идеальное" М.; первое можно трактовать как "экспериментальное", второе - как "теоретическое" М., хотя такое противопоставление, конечно, весьма условно не только в силу взаимосвязи и обоюдного влияния этих видов М., но и наличия таких "гибридных" форм, как "мысленный эксперимент". "Материальное" М. подразделяется, как было сказано выше, на физическое и предметно-математическое М., а частным случаем последнего является аналоговое М. Далее, "идеальное" М. может происходить как на уровне самых общих, быть может даже не до конца осознанных и фиксированных, "модельных представлений", так и на уровне достаточно детализированных знаковых систем; в первом случае говорят о мысленном (интуитивном) М., во втором - о знаковом М. (важнейший и наиболее распространённый вид его - логико-математическое М.). Наконец, М. на ЭВМ (часто именуемое "кибернетическим") является "предметно-математическим по форме, знаковым по содержанию".М. необходимо предполагает использование абстрагирования и идеализации. Отображая существенные (с точки зрения цели исследования) свойства оригинала и отвлекаясь от несущественного, модель выступает как специфическая форма реализации абстракции, т. е. как некоторый абстрактный идеализированный объект. При этом от характера и уровней лежащих в основе М. абстракций и идеализаций в большой степени зависит весь процесс переноса знаний с модели на оригинал; в частности, существенное значение имеет выделение трёх уровней абстракции, на которых может осуществляться М.: уровня потенциальной осуществимости (когда упомянутый перенос предполагает отвлечение от ограниченности познавательно-практической деятельности человека в пространстве и времени, см. Абстракции принцип), уровня "реальной" осуществимости (когда этот перенос рассматривается как реально осуществимый процесс, хотя, быть может, лишь в некоторый будущий период человеческой практики) и уровня практической целесообразности (когда этот перенос не только осуществим, но и желателен для достижения некоторых конкретных познавательных или практических задач).На всех этих уровнях, однако, приходится считаться с тем, что М. данного оригинала может ни на каком своём этапе не дать полного знания о нём. Эта черта М. особенно существенна в том случае, когда предметом М. являются сложные системы, поведение которых зависит от значительного числа взаимосвязанных факторов различной природы. В ходе познания такие системы отображаются в различных моделях, более или менее оправданных; при этом одни из моделей могут быть родственными друг другу, другие же могут оказаться глубоко различными. Поэтому возникает проблема сравнения (оценки адекватности) разных моделей одного и того же явления, что требует формулировки точно определяемых критериев сравнения. Если такие критерии основываются на экспериментальных данных, то возникает дополнительная трудность, связанная с тем, что хорошее совпадение заключений, которые следуют из модели, с данными наблюдения и эксперимента ещё не служит однозначным подтверждением верности модели, т. к. возможно построение других моделей данного явления, которые также будут подтверждаться эмпирическими фактами. Отсюда - естественность ситуации, когда создаются взаимодополняющие или даже противоречащие друг другу модели явления; противоречия могут "сниматься" в ходе развития науки (и затем появляться при М. на более глубоком уровне). Например, на определенном этапе развития теоретической физики при М. физических процессов на "классическом" уровне использовались модели, подразумевающие несовместимость корпускулярных и волновых представлений; эта "несовместимость" была "снята" созданием квантовой механики, в основе которой лежит тезис о корпускулярно-волновом дуализме, заложенном в самой природе материи.Другим примером такого рода моделей может служить М. различных форм деятельности мозга. Создаваемые модели интеллекта и психических функций - например, в виде эвристических программ для ЭВМ - показывают, что М. мышления как информационного процесса возможно в различных аспектах (дедуктивном - формально-логическом, см. Дедукция; индуктивном - см. Индукция; нейтрологическом, эвристическом - см. Эвристика), для "согласования" которых необходимы дальнейшие логические, психологические, физиологические, эволюционно-генетические и модельно-кибернетические исследования.М. глубоко проникает в теоретическое мышление. Более того, развитие любой науки в целом можно трактовать - в весьма общем, но вполне разумном смысле, - как "теоретическое М.". Важная познавательная функция М. состоит в том, чтобы служить импульсом, источником новых теорий. Нередко бывает так, что теория первоначально возникает в виде модели, дающей приближённое, упрощённое объяснение явления, и выступает как первичная рабочая гипотеза, которая может перерасти в "предтеорию" - предшественницу развитой теории. При этом в процессе М. возникают новые идеи и формы эксперимента, происходит открытие ранее неизвестных фактов. Такое "переплетение" теоретического и экспериментального М. особенно характерно для развития физических теорий (например, молекулярно-кинетической или теории ядерных сил).М. - не только одно из средств отображения явлений и процессов реального мира, но и - несмотря на описанную выше его относительность - объективный практический критерий проверки истинности наших знаний, осуществляемой непосредственно или с помощью установления их отношения к другой теории, выступающей в качестве модели, адекватность которой считается практически обоснованной. Применяясь в органическом единстве с другими методами познания, М. выступает как процесс углубления познания, его движения от относительно бедных информацией моделей к моделям более содержательным, полнее раскрывающим сущность исследуемых явлений действительности.При М. более или менее сложных систем обычно применяют различные виды М. Примеры см. ниже в разделах о М. энергосистем и М. химических реактивов.Лит.: Гутенмахер Л. И., Электрические модели, М. - Л., 1949; Кирпичев М. В., Теория подобия, М., 1953; Ляпунов А. А., О некоторых общих вопросах кибернетики, в кн.: Проблемы кибернетики, в. 1, М., 1958; Вальт Л. О., Познавательное значение модельных представлений в физике, Тарту, 1963; Глушков В. М., Гносеологическая природа информационного моделирования, "Вопросы философии", 1963, Ї 10; Новик И. Б., О моделировании сложных систем, М., 1965; Моделирование как метод научного исследования, М., 1965; Веников В. А., Теория подобия и моделирование применительно к задачам электроэнергетики, М., 1966; Штофф В. А., Моделирование и философия, М. - Л., 1966; Чавчанидзе В. В., Гельман О, Я., Моделирование в науке и технике, М., 1966; Гастев Ю. А., О гносеологических аспектах моделирования, в кн.: Логика и методология науки, М., 1967; Бусленко Н. П., Моделирование сложных систем, М., 1968; Морозов К. Е., Математическое моделирование в научном познании, М., 1969; Проблемы кибернетики, М., 1969; Уемов А. И., Логические основы метода моделирования, М., 1971; Налимов В. В., Теория эксперимента, М., 1971; Бирюков Б. В., Геллер Е. С., Кибернетика в гуманитарных науках, М., 1973.? Б. В. Бирюков, Ю. А. Гастев, Е. С. Геллер.
http://www.libertarium.ru/libertarium/l_libsb3_3-53.Технология понятизацииЭтап Понятизации является основным отличием предлагаемой нами технологии создания учебных курсов на базе имитационных программных моделей предметных областей от обычно применяющихся. Этот этап является в известном смысле нашим "ноу-хау". Поэтому мы остановимся на нем подробнее.На этапе понятизации Когнитолог при помощи Эксперта и Программиста должен обеспечить нахождение АНАЛОГИЙ для облегчения понимания Модели и создание ГЛОССАРИЯ Модели, содержащего термины для выражения знания о Модели.--------------------------------------------------Весь процесс Понятизации, ключая нахождение Аналогий и создание Глоссария модет давать совершенное разный результат в зависимости от того в каком порядке все делается:1 От самых общих понятий в модели к самым частным2 От самых частных понятий модели к самым общим.Вопрос:А как правильно его вести?В тексте про Понятизацию на это вообще не указано.
А почему комментом к энциклопедическим определениям моделей? Можно было бы вполне отдельным постингом.Начинать процесс понятизации нужно из той точки, которая удобней. Систематически от общего к частному или от частного к общему пройти не удастся все равно, что там не пиши в инструкциях -- уж больно разные ситуации в этой понятизации, и больно разные люди для разных целей эту понятизацию делают. Проходы "сверху вниз" и "снизу вверх" обычно сочетаются и плотно следуют друг за другом (а то и один в другом), процесс существенно итеративный. Это не однопроходный алгоритм, увы.
А почему комментом к энциклопедическим определениям моделей? Можно было бы вполне отдельным постингом.----------------------------------------Потому что это одна больная проблема, а не то что готовое.Начинать процесс понятизации нужно из той точки, которая удобней.---------------------------------------Удобнее для кого?1 Для потребителя точной системы ПонятийИзМодели?2 Для тех кому нужна "понятность", я не точные Понятия?Систематически от общего к частному или от частного к общему пройти не удастся все равно, что там не пиши в инструкциях -- уж больно разные ситуации в этой понятизации, и больно разные люди для разных целей эту понятизацию делают.--------------------------------------------Мой вопрос не о "систематичности". За моим вопросом скрыто утверждение:1 Если начать с самого общего понятия, то как ни странно, получается более простые системы определений.2 Если идти от самых конкретных - то контролировать объем системы определений гораздо сложнее, сама система получается более "развесистой".Проходы "сверху вниз" и "снизу вверх" обычно сочетаются и плотно следуют друг за другом (а то и один в другом), процесс существенно итеративный. Это не однопроходный алгоритм, увы.----------------------------------Ну это все потом. Я высказываю гипотезу, о не отмеченном Вами ГистерезисеОписания: От общего к частному более компактные системы описаний, а наоборот - менее компактные.Многократные проходы, конечно этот Гистерезис нивелирует.
Тем не менее, понятизация предлагает следующий принцип: выбирается самый простой из существующих вариант терминологии предмета, который тщательно структурируется и может даже быть слегка переделан. ПОНИМАНИЕ имеет приоритет перед ТОЧНОСТЬЮ ПРОФЕССИОНАЛЬНОЙ ТЕРМИНОЛОГИИ, ибо учим ПРОФЕССИОНАЛЬНОМУ МЫШЛЕНИЮ, а не СУЩЕСТВУЮЩЕЙ ПРОФЕССИОНАЛЬНОЙ КОММУНИКАЦИИ.-----------------------------------------------------------Понятизация = обучение профессиональному мышлению. Профессиональное мышление предметно, значит понятизация учит тех кто не умеет, ПредметномуПрофессиональномуМышлению. А опыта у тех кого учат нет, поэтому это ускоренное обучение ПредметномуПрофессиональномуМышлению на опыте не может строится. А на что же оно должно опираться, чтобы не становиться, на самом деле, ПонятийнымПрофессиональнымМышлением - понятными всем рассуждениями без должного обоснования?-----------------------------------------------------Затем для групп понятий из списка референций подбирают АНАЛОГИИ -- образы из обыденной (непрофессиональной) жизни и культуры, облегчающие понимание Модели.На основе найденных аналогий осуществляют перевод списка референций в глоссарий список терминов, в которых выразимы все знания о Модели. Термины из глоссария, в отличие от первоначальных терминов и выражений из списка референций, должны получиться значительно более удобными для описания Модели и осуществления коммуникации по ее поводу.--------------------------------------------------------Вот на чем - на аналогиях! Т.е. понятно линейно изложенная МодельПонятизации вовсе не такая уж простая и понятная штука - потому что сама модель не линейная, а "центрированная" - в центре ПонятиеАналогии для НеявноСформулированнойМодели.Выбрали верную аналогию - процесс понятизации успешен.А как выбирать ВернуюАналогию?
ailev> А почему комментом к энциклопедическим определениям моделей? Можно было бы вполне отдельным постингом.metanymous> Потому что это одна больная проблема, а не то что готовое.а) Проблема определения моделей и понятизации -- одна и та же?! Я бы никогда не догадался искать дискуссию по понятизации под постингом с определениями модели и моделирования.б) Что-то готовое лучше постить сразу на www.openmeta.org, а в журнал проекта как раз можно постить отдельные постановки задачи, частные случаи, обрывки результатов, призывы к исследованиям, вопросы неопределенному кругу лиц и т.д.ailev> Начинать процесс понятизации нужно из той точки, которая удобней.metanymous> Удобнее для кого?1 Для потребителя точной системы ПонятийИзМодели?2 Для тех кому нужна "понятность", я не точные Понятия?Удобней для разработчиков, проводящих Понятизацию -- начинать нужно с понятий, в которых есть максимальное взаимопонимание эксперта и когнитолога, и где есть хоть какой-то задел идей. Если есть хоть какой-то маленький задел одинаково понимаемых понятий, будет налажена коммуникация, порождающая тексты, в которых "цепляются" другие понятия -- и это даст некоторые дальнейшие подсказки в том, какие понятия следует брать дальше в работу. Ежели роли эксперта и когнитолога совпадают, это практически ничего не меняет (но в ментальные процессы, как оно все в этом случае устроено -- внутренний диалог, или ОВД, или еще как, я вникать в данном случае не буду. Не об этом речь.)ailev> Систематически от общего к частному или от частного к общему пройти не удастся все равно, что там не пиши в инструкциях -- уж больно разные ситуации в этой понятизации, и больно разные люди для разных целей эту понятизацию делают.metanymous> Мой вопрос не о "систематичности". За моим вопросом скрыто утверждение:1 Если начать с самого общего понятия, то как ни странно, получается более простые системы определений.2 Если идти от самых конкретных - то контролировать объем системы определений гораздо сложнее, сама система получается более "развесистой".Более простые системы определений могут не удовлетворять в реальной работе, ибо получается "более грубая карта" для понятизируемой территории. Если идти от самых конкретных -- то именно как вы тут написали. Поэтому, как и в программировании (где тоже борются два метода написания программ -- сверху-вниз и снизу-вверх), говорится не о примате какого-то метода, а об их итеративном сочетании.ailev> Проходы "сверху вниз" и "снизу вверх" обычно сочетаются и плотно следуют друг за другом (а то и один в другом), процесс существенно итеративный. Это не однопроходный алгоритм, увы.metanymous> Ну это все потом. Я высказываю гипотезу, о не отмеченном Вами ГистерезисеОписания: От общего к частному более компактные системы описаний, а наоборот - менее компактные.Многократные проходы, конечно этот Гистерезис нивелирует.Какой такой гистерезис? "Гистерезис — это феномен, суть которого состоит в том, что временное изменение одного фактора вызывает длительное изменение другого. При гистерезисе (в переводе с греческого hysteresis — запаздывание, отставание) эффект сохраняется даже после исчезновения первопричины. Термин был введен в 1881 г. физиком J.A. Ewing. Наиболее характерным примером в физике служит магнитный гистерезис. При увеличении силы магнитного поля магнитная индукция ферромагнетика увеличивается до состояния насыщения. Когда магнитное поле уменьшается или полностью исчезает, величина магнитной индукции не падает до нулевой отметки, определенная ее часть, так называемая остаточная индукция, сохраняется. "Если считать, что после любого, хотя бы частичного (сверху-вниз, снизу-вверх, сбоку-набок и т.д.) прохода метода состояние текущей системы понятий не равно начальному -- то да, так. Только эта "остаточная индукция" при любых проходах будет нарастать, а не нивелироваться. Или вы не это имели ввиду, это был не классический Гистерезис?Я все время подспудно в голове имел ввиду программистов, а их тренируют на невозможность чистой работы от общего к частному или наоборот, и практическую необходимость обязательного использования обоих методов в совокупности и трудном единстве.
ailev> "Тем не менее, понятизация предлагает следующий принцип: выбирается самый простой из существующих вариант терминологии предмета, который тщательно структурируется и может даже быть слегка переделан. ПОНИМАНИЕ имеет приоритет перед ТОЧНОСТЬЮ ПРОФЕССИОНАЛЬНОЙ ТЕРМИНОЛОГИИ, ибо учим ПРОФЕССИОНАЛЬНОМУ МЫШЛЕНИЮ, а не СУЩЕСТВУЮЩЕЙ ПРОФЕССИОНАЛЬНОЙ КОММУНИКАЦИИ".metanymous> Понятизация = обучение профессиональному мышлению.Ни в коей мере. Понятизация -- это процесс, имеющий целью разработать учебную модель. А уже разработанная модель должна учить профессиональному мышлению. Понятизация = изготовлению модели, части процесса моделирования.metanymous> Профессиональное мышление предметно, значит понятизация учит тех кто не умеет, ПредметномуПрофессиональномуМышлению.Не понятизация учит профессиональному мышлению. В процессе понятизации участвует Эксперт, который уже владеет профессиональным мышлением, его учить не нужно ;) А процесс обучения Учеников потом идет с использованием модели, разработанной с использованием понятизации. В описании понятизации сам процесс обучения практически не рассматривается (кроме нескольких заметок вроде процитированной). То есть в процитированном отрывке описано два разных времени -- время моделирования и время "прогона" готовой модели.Но есть интересный поворот: если роли Эксперта и Когнитолога не совпадают, де-факто может происходить научение профессиональному мышлению Когнитолога, и он затем просто оформляет уже это "свое" мышление в виде модели, используя свой основной профессиональный опыт. То есть какой-то процесс обучения в ходе создания модели (понятизации) может происходить -- хотя в оригинальной статье об этом ничего не говорится. Это обучение2, в отличие от обучения1, которое будет происходить после изготовления модели.Так, когда я пытаюсь разобраться с вашим профессиональным мышлением по поводу СтупеньчатогоПолушарногоУправленияПроявлениями, я учусь2 и по мере обучения Оформляю-ФиксируюМодель (форма фиксации данного этапа -- система понятий, Глоссарий, а конечная форма фиксации -- текст методики плюс видео). Затем текст методики плюс видео будут использованы для обучения1. Весь процесс обучения2 нужен только для того, чтобы сделать эффективным обучение1 (иначе неподготовленные в когнитологии ученики будут вынуждены проходить тот же тугой процесс понимания, что и сам Когнитолог, то есть их процесс может быть столь же извилист и мучителен, как и процесс обучения2).metanymous> А опыта у тех кого учат нет, поэтому это ускоренное обучение ПредметномуПрофессиональномуМышлению на опыте не может строится. А на что же оно должно опираться, чтобы не становиться, на самом деле, ПонятийнымПрофессиональнымМышлением - понятными всем рассуждениями без должного обоснования?Тут нужно договориться, что такое Предмет. В науке это -- часть реальности, описываемой какой-то понятийной моделью. В обучении это то же самое, с точностью до того, что дидактики редко додумываются о научной подкладке и понятийности того, чему они учат (ср. БСЭ: "Предмет учебный, дисциплина учебная, дидактически обоснованная система знаний, умений и навыков, отобранных из соответствующей отрасли науки, техники, искусства, производственной деятельности и др. для ..."). Поэтому мы тут используем научное понимание Предмета -- Предмет1. Предметное мышление (методологи говорят "мышление в предмете") -- это мышление в терминах понятий данного Предмета. Это когда опенметис думает в терминах субстрата и его проявлений, а не бессознательного и поведений, как нэлпер, ибо у НЛП -- другой Предмет.Поэтому я бы не путал Предметное1ПрофессиональноеМышление, как ПонятийноеПрофессиональноеМышление просто по определению (понятийность = предметности1) и Предметное2ПрофессиональноеМышление, в котором Предмет2 означает какие-то синестезийные объекты, намек на #сенсорность, @манипулирование и прочие заморочки, характерные для Предмета1 ОпенМета.Что, впрочем не отменяет закономерность поставленного вопроса: как должно "раскручиваться" предметное обучение, когда у учеников еще нет ни практического опыта, ни знания понятий, в терминах которых они могут приобрести этот практический опыт. Есть проблема, да.
ailev> Затем для групп понятий из списка референций подбирают АНАЛОГИИ -- образы из обыденной (непрофессиональной) жизни и культуры, облегчающие понимание Модели.На основе найденных аналогий осуществляют перевод списка референций в глоссарий список терминов, в которых выразимы все знания о Модели. Термины из глоссария, в отличие от первоначальных терминов и выражений из списка референций, должны получиться значительно более удобными для описания Модели и осуществления коммуникации по ее поводу.metanymous> Вот на чем - на аналогиях! Т.е. понятно линейно изложенная МодельПонятизации вовсе не такая уж простая и понятная штука - потому что сама модель не линейная, а "центрированная" - в центре ПонятиеАналогии для НеявноСформулированнойМодели.Выбрали верную аналогию - процесс понятизации успешен.А как выбирать ВернуюАналогию?Да, МодельПонятизации не линейна, а итеративна. Да, в ее центре -- ПонятиеАналогии, как каркаса, на котором в голове у ученика будет сформирована промежуточная недомодель. Метафороид (аналогия, аллегория) сначала инсталлирует моделоид -- а уже потом итеративно этот моделоид превращается в ИнсталлированнуюМодель.Это таинство используется и работает не только в понятизации. Это традиционно обсуждается в философии как "метафора", в психотерапии, как рассказываение баек (тут я побоюсь употребить слово "метафора" ;), а у Бейтсона как та же Аналогия (которую он то и дело называет Паттерном или иногда и вовсе Формой).Понятизация указывает просто на критерии ВернойАналогии, но ничего не говорит, как ее добыть. Я не знаю надежных моделей в этой области, знаю только, что ВернаяАналогия делается в Нагвале, а не в Тонале. Это существенно нелексический, невербальный, незнаковый процесс.
а) Проблема определения моделей и понятизации -- одна и та же?! Я бы никогда не догадался искать дискуссию по понятизации под постингом с определениями модели и моделирования.--------------------------------А разве в приведенных определениях моделей не проглядывает достаточно отчетливо то, что они есть результаты по разному проведенных процессов понятизации Модели?Поместил по аналогии - очень похоже.б) Что-то готовое лучше постить сразу на www.openmeta.org, а в журнал проекта как раз можно постить отдельные постановки задачи, частные случаи, обрывки результатов, призывы к исследованиям, вопросы неопределенному кругу лиц и т.д.----------------------------------Да нет у меня "готового". Это скорее призыв.Удобней для разработчиков, проводящих Понятизацию -- начинать нужно с понятий, в которых есть максимальное взаимопонимание эксперта и когнитолога, и где есть хоть какой-то задел идей.------------------------------------Вот где-то на этот вопрос мы с Вами уже выходили.Максимальное взаимопонимание между экспертом и когнитологом еще не является гарантией того, что понятизация начата правильно. Это как раз критерий УдобстваПрофессиональногоОбщенияПонятизаторов.Почему бы конитологу (эксперту в ПроявленииКогнитолога) не начать с самого "неудобного вопроса" - что эта модель на самом деле делает? В чем ее "сердцевина", без которой эта модель - неМодель?Поэтому, как и в программировании (где тоже борются два метода написания программ -- сверху-вниз и снизу-вверх), говорится не о примате какого-то метода, а об их итеративном сочетании.---------------------------------А вдруг, в нашем случае, аналогия МоделированияСубстрата - с программированием не точная?Вдруг МоделированиеСубстрата требует всегда идти сверху-вниз?Если считать, что после любого, хотя бы частичного (сверху-вниз, снизу-вверх, сбоку-набок и т.д.) прохода метода состояние текущей системы понятий не равно начальному -- то да, так. Только эта "остаточная индукция" при любых проходах будет нарастать, а не нивелироваться. Или вы не это имели ввиду, это был не классический Гистерезис?--------------------------------У меня такое впечатление, что "остаточная индукция" будет нарастать.Я все время подспудно в голове имел ввиду программистов, а их тренируют на невозможность чистой работы от общего к частному или наоборот, и практическую необходимость обязательного использования обоих методов в совокупности и трудном единстве.---------------------------------Ну четко видно, что ПонятизацияДляПрограммистов по аналогии переносится на ПонятизациюДляПрограммистовСубстрата.Модель ПонятизацииДляПрограммистов явно полезная.Чтобы УточнненнаяМодельПонятизацииДляПрограммистов была полностью применима к ПонятизацииДляПрограммистовСубстрататребуются уточнения.
Но есть интересный поворот: если роли Эксперта и Когнитолога не совпадают, де-факто может происходить научение профессиональному мышлению Когнитолога, и он затем просто оформляет уже это "свое" мышление в виде модели, используя свой основной профессиональный опыт. То есть какой-то процесс обучения в ходе создания модели (понятизации) может происходить -- хотя в оригинальной статье об этом ничего не говорится. Это обучение2, в отличие от обучения1, которое будет происходить после изготовления модели.----------------------------------Отлично, вот очень понятно объяснено. И в этом случае Когнитолог становится Моделистом (в нашем понимании)? Так ведь?СтупеньчатоеПолушарногоУправлениеПроявлениями----------------------------------------------Конечно это невнятное нагромождение ничего не объясняющих слов.Невнятное, потому что нет внятной аналогии.А вот как решают задачу понятизации Андреасы. У них ПредметнаяМодель - КритерииОценки. ПрикладнаяМодель - РегулировкаКритериев:Критерии это:Формальное определение1 стандарты для оценки, которые могут быть применены в самых разных ситуациях.2 это номинализации которые могут быть использованы для оценки результатов в самых разных контекстах.(такие, как «учёба», «полезность», «красота» и т. п.)Определение через пользу3 дают нам полезный способ организовывать нашу жизнь с помощью генерализаций.Определение по мотивации4 то, для чего вы что-то делаете5 люди работают либо для того, чтобы соответствовать своим критериям, либо не работают вовсе.Определение по процессу субстрата6 как человеческий мозг знает, что является важным.Как мозг человека кодирует критерии, так что когда человек думает об «учебе» или «развлечении», он автоматически знает, насколько это важно, и его поведение выстраивается в последовательность без осознанных размышлений об этом?Родовое определение7 иерархия критериев: несколько критериев, перечисленных в порядке значимости.
Что, впрочем не отменяет закономерность поставленного вопроса: как должно "раскручиваться" предметное обучение, когда у учеников еще нет ни практического опыта, ни знания понятий, в терминах которых они могут приобрести этот практический опыт. Есть проблема, да.--------------------------------Получается, что ключ ко всему МодельПостроенияАналогий
Да, МодельПонятизации не линейна, а итеративна. Да, в ее центре -- ПонятиеАналогии, как каркаса, на котором в голове у ученика будет сформирована промежуточная недомодель. Метафороид (аналогия, аллегория) сначала инсталлирует моделоид -- а уже потом итеративно этот моделоид превращается в ИнсталлированнуюМодель.-------------------------------Хорошо сказано.Это таинство используется и работает не только в понятизации. Это традиционно обсуждается в философии как "метафора", в психотерапии, как рассказываение баек (тут я побоюсь употребить слово "метафора" ;), а у Бейтсона как та же Аналогия (которую он то и дело называет Паттерном или иногда и вовсе Формой).------------------------------Вот и получается, я глубоко был убежден в этом с самого начала,что в той мере, в какой нам удастся создать МодельТаинстваАналогии, в такой мы можем претендовать на что-либо значимое. И при этом, по ходу дела, умудряться делать какое-то время дела без этой замечательной модели, на глазок.Понятизация указывает просто на критерии ВернойАналогии, но ничего не говорит, как ее добыть. Я не знаю надежных моделей в этой области, знаю только, что ВернаяАналогия делается в Нагвале, а не в Тонале. Это существенно нелексический, невербальный, незнаковый процесс.--------------------------------Пойди туда-известно-куда - в Нагваль,и найди-то-известно-что - Аналогию. Замечательно. Мы не можем ждать милостей от Нагваля - взять их у него наша Задача!
эксперту в ПроявленииКогнитолога -- Роль -- это тоже Проявление! Да, действительно... Это интересно отнюдь не только в контексте обсуждения понятизации.У меня гипотеза, что модели, работающие с одними типами проявлений, будут прекрасненько работать с другими: техники работы с Настроями будут работать и с Ролями, и с Поведениями, техники работы с Поведениями будут работать и с Эмоциями и т.д.Пресуппозиция ТретьегоКода: "Субстрат един в своих Проявлениях".
У меня гипотеза, что модели, работающие с одними типами проявлений, будут прекрасненько работать с другими: техники работы с Настроями будут работать и с Ролями, и с Поведениями, техники работы с Поведениями будут работать и с Эмоциями и т.д.Пресуппозиция ТретьегоКода: "Субстрат един в своих Проявлениях".----------------Ага!Т.е. теперь можно сказать, чтоПроявленияСубстрата = Поведение, Роли, Эмоции и т.п.А то Вы в другом месте высказались, что НЛП моделирует Поведение, а ТретьийКод моделирует Субстрат.О.К.