1.1. Понятие научной модели
Термин «модель» употребляется, прежде всего, в двух совершенно различных, прямо противоположных значениях:
1) в значении некоторой теории;
2) в значении чего-то такого, к чему теория относится, т.е. что она описывает или отражает.
Слово «модель» произошло от лат. слова «modus, modulus», что означает: мера, образ, способ и т.п. Его первоначальное значение было связано со строительным искусством, и почти во всех европейских языках оно употреблялось для обозначения образца, или прообраза, или вещи, сходной в каком-то отношении с другой вещью. Именно это самое общее значение слова «модель», видимо, послужило основанием для того, чтобы использовать его в качестве научного термина в математических, естественных, технических и социальных науках, причем этот термин получает два противоположных значения.
В математических науках после создания Декартом и Ферма аналитической геометрии, на основе которой укрепилась идея о согласованности между собой различных частей математики, понятие модели было использовано для развития этой идеи. При этом моделью становится принятым обозначать теорию, которая обладает структурным подобием по отношению к другой теории. Две такие теории называются изоморфными, а одна из них выступает как модель другой, и наоборот. Происхождение понятия модели в математике очень хорошо прослежено Н. Бурбаки в «Очерках по истории математики». Отмечая заслуги Декарта в разработке идеи согласованности математических наук друг с другом, авторы этой книги указывают, что Лейбниц первый открыл общее понятие изоморфизма (которое он назвал «подобием») и предвидел возможность «отождествлять» изоморфные отношения и операции; в качестве примера он дает сложение и умножение. Но надо было ждать расширения алгебры, которое имело место в середине XIX в., чтобы увидеть начало реализации того, что открыл Лейбниц. Именно к этому времени начинают умножаться «модели», и ученые привыкают переходить от одной теории к другой посредством простого изменения терминологии.