МОДЕЛЬ

(франц. modele, от лат. modulus - мера, образец, норма), в логике и методологии науки - аналог (схема, структура, знаковая система)  определ. фрагмента природной или социальной реальности, порождения человеч. культуры, концептуально-теоретич. образования и т. п.- оригинала М. Этот аналог служит для хранения и расширения знания (информации) об оригинале, конструирования оригинала, преобразования или управления им. С гносеологич. т. зр. М.- это «представитель», «заместитель» оригинала в познании и практике. Результаты разработки и исследования М. при определ. условиях, выясняемых в логике и методологии и специфических для различных областей и типов М., распространяются на оригинал. С логич. т. зр. подобное распространение основано на отношениях изоморфизма и гомоморфизма, существующих между М. и тем, что с её помощью моделируется (изоморфный либо гомоморфный образ нек-рого объекта и есть его М.), либо на более общих отношениях. Одним из них является следующее: система M1 есть модель системы М2, если существуют изоморфные между собой гомоморфные образы М11 и М21 этих систем (изоморфизм и гомоморфизм  оказываются частными случаями данного отношения: первый получается при отождествлении М1 с М11 и М 2с М21 , а второй - при отождествлении элементов в одной из приведённых пар). Данное отношение, являющееся, подобно изоморфизму, отношением типа равенства, придаёт модельному отношению относит. характер, т. к. ставит вопрос о выборе М. и оригинала в зависимость от конкретных постановок задач (напр., при разных т. зр. М. может считаться и аэрофотоснимок местности, и сама местность). Эта ситуация соответствует сложившейся в науке практике оперирования термином «М.»: системы математич. утверждений (аксиом, уравнений), служащие для описания нек-рой области (областей) реальных либо абстрактных объектов в таких науках, как физика, космология, математич. лингвистика, математич. экономика, кибернетика, наз. М., в то время как в логике и математике этот термин имеет противоположный смысл. Под М. здесь понимается интерпретация систем логико-математич. положений. Изучение таких интерпретаций производится в логич. семантике, а также в теории моделей математич. логики, где под М. понимают произвольное множество элементов с определёнными на нём функциями и предикатами. Однако независимо от того, какой член отношения аналог - оригинал рассматривается в качестве М., последняя всегда выполняет познават. роль, выступая средством объяснения, предсказания и эвристики. См. Моделирование.