Кому: Чингиc,
#222
Если попытаться назвать ключевые характеристики модели, то я бы выделил две: (1) как можно упрощённое представление действительности, (2) достаточное для решение задачи. Например, если мы хотим отделять животных по размеру, то модель со сферическими конями в вакууме будет достаточной для этой задачи, и наиболее простой для создания и использования. Если же задача связана с отбором наиболее быстрого коня по его физиологическим и иным характеристикам, то модель сферических коней в вакууме будет недостаточной.
Понятие "конь" в чём-то богаче реального конкретного коня, так как во время использования этого понятия мы можем вспоминать и анекдот про сферических коней в вакууме, тогда как лошадиная действительность этот анекдот не определяет и от него не зависит; при этом своими конкретными средой обитания, кишками и клетками конкретное животное гораздо богаче понятия "конь".
Это описательное понятие тоже является упрощённым представлением действительности, решающим конкретную задачу, и поэтому является моделью. Разве что степень упрощения и решаемые задачи отличаются от модели сферических коней в вакууме. Совокупность понятий, язык тоже является моделью.
[ E = m * c * c ] является предложением с конкретным смыслом, по определённому синтаксису составленном из элементов с конкретным смыслом. Тоже язык, тоже модель. Как и любая теория тоже является моделью, так как представляет собой упрощённое представление действительности для решения определённых задач. Критерий краткости описания приобретает определённый смысл, так как если работает -- чем короче, тем проще, тем меньше возможности запутаться и совершить ошибку. И так далее.
Может существовать и компьютерная модель (компьютерную имитиацию части действительности), которая проверяет
[ E = m * c * c ] на соответствие фактам. Или, в иных случаях, будет генерировать "факты" для последующего сбора реальных фактов для последующей сверки. Модели разные бывают.
Мне кажется, мы про одно и тоже говорим. Но из-за особенностей неформального языка, появляются проблемы в общении. В рамках моего описания действительности, в котором смысл определяется через использование, наука занимается созданием кратких описаний мира, а инженерия занимается созданием артефактов, используя эти краткие описания. Такого упрощённого описание действительности ине достаточно, по крайней мере пока, для моей работы.
Если говорить про логику, и воспользовавшим терминологией из объектно-оринетированного программирования, логика является классом инфомрационным артефакта, который используется для совершения быстрой и безошибочной мыследеятельности. Конкретные субъекты решают конкретные задачи над конкретными объектами с помощью экземпляров класса, но при этом можно говорить про существование и самого класса, жизнь которого ограничена жизнью носителей класса. Долгой жизни. В нашей традиции началась с Аристотеля, была актуальна сотню лет назад, актуальна сейчас, и скорее всего не потеряет актуальности ещё через сто лет.