Приглашаем посетить сайт
МОДЕЛЬ
МОДЕЛЬ (франц. modele, от лат. modulus - мера, образец, норма), в логике и методологии науки - аналог (схема, структура, знаковая система) определ. фрагмента природной или социальной реальности, порождения человеч. культуры, концептуально-теоретич. образования и т. п.- оригинала М. Этот аналог служит для хранения и расширения знания (информации) об оригинале, конструирования оригинала, преобразования или управления им. С гносеологич. т. зр. М.- это «представитель», «заместитель» оригинала в познании и практике. Результаты разработки и исследования М. при определ. условиях, выясняемых в логике и методологии и специфических для различных областей и типов М., распространяются на оригинал. С логич. т. зр. подобное распространение основано на отношениях изоморфизма и гомоморфизма, существующих между М. и тем, что с её помощью моделируется (изоморфный либо гомоморфный образ некоторого объекта и есть его М.), либо на более общих отношениях. Одним из них является следующее: система M1 есть модель системы М2, если существуют изоморфные между собой гомоморфные образы М11 и М21 этих систем (изоморфизм и гомоморфизм оказываются частными случаями данного отношения: первый получается при отождествлении М1 с М11 и М 2с М21, а второй - при отождествлении элементов в одной из приведённых пар). Данное отношение, являющееся, подобно изоморфизму, отношением типа равенства, придаёт модельному отношению относит. характер, т. к. ставит вопрос о выборе М. и оригинала в зависимость от конкретных постановок задач (напр., при разных т. зр. М. может считаться и аэрофотоснимок местности, и сама местность). Эта ситуация соответствует сложившейся в науке практике оперирования термином «М.»: системы математич. утверждений (аксиом, уравнений), служащие для описания некоторой области (областей) реальных либо абстрактных объектов в таких науках, как физика, космология, математич. лингвистика, математич. экономика, кибернетика, наз. М,, в то время как в логике и математике этот термин имеет противоположный смысл. Под М. здесь понимается интерпретация систем логико-математич. положений. Изучение таких интерпретаций производится в логич. семантике, а также в теории моделей математич. логики, где под М. понимают произвольное множество элементов с определёнными на нём функциями и предикатами. Однако независимо от того, какой член отношения аналог - оригинал рассматривается в качестве М., последняя всегда выполняет поз-нават. роль, выступая средством объяснения, предсказания и эвристики.
см. Моделирование.
К лини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 15; Э ш б и У. Р., Введение в кибернетику, пер. с англ., М., 1959, гл. 6; Бир С., Кибернетика и управление производством, пер. с англ., М., 1963; Чжао Юань-жен ь, М. в лингвистике и М. вообще, в сб.: Математич. логика и её применения, пер. с англ., М., 1965; Миллер Д ж., Таланте? ??., ? ? и б р а м К., Планы и структура поведения, пер с англ., М., 1965; Робинсон А., Введение в теорию М. и ме таматема.тику алгебры, пер. сангл., М., 1967; Бирюков Б. В. Геллер E.G., Кибернетика в гуманитарных науках, М. 1973; Налимов В. В., Вероятностная М. языка, ?., 19792