Добавить комментарий

Изображение пользователя Alexey_Donskoy.

Модель

"Модель, скорее, не сам аксиоматический базис, а любые построения на его основе."

Если знать суть явления, то, используя дедуктивные методы, легко можно выстроить цепочку:
формулировка задачи (цели) - выбор аксиоматического базиса - построение модели - получение практического результата.
Здесь суть в том, что аксиоматический базис = системный уровень, а знание сути = надсистемный уровень.
Изначальное знание сути позволит выделить систему именно так, как нужно для решения конкретной задачи. То есть и аксиоматический базис, и система, и модель есть всего лишь инструменты!

Что до базиса науки, то приведенные 3 аксиомы легко заводят в гносеологический тупик, и об этом у нас в su.philosophy было много и подробно сказано (хотя бы в теме о том, что такое объективная реальность). Лучше я напомню классическую цитату Андрея Хаврюченко: "Атомов не существует, поверь квантовому химику!"
Объектов в реальности тоже не существует; Мир един. Только конкретные задачи делают возможным и требуют выделения системы (т.е. объектов с взаимосвязями). В зависимости от задачи и объекты, и связи, и система будут различными!

А вот каково философско-психологическое положение дел в отношении ООП (и профанного представления о нем):
1) Люди, которым лень думать над абстрактными вещами, видят, что ООП является удобным инструментном решения конкретных задач. Толпа подхватывает их тезис, превращая его в "ООП - рулез форева!".
2) Умные люди, которые понимают все сказанное выше, критикуют ООП за попытку абсолютизировать ограниченный объектный подход. Толпа подхватывает их тезисы и, на уровне предыдущих своих лозунгов, начинает кричать "ООП-отстой!".
3) Еще более умные люди понимают, что ООП является очень удобным инструментом решения конкретных задач. ;) Толпа их просто не видит. ;)

А для базиса науки я уже предлагал аксиомы; пришло время их обновить:
- в Мире всегда можно выделить систему для решения конкретной задачи;
- целесообразно рассматривать системы, которые описываются с помощью законов логики (презумпция математической формализации);
- Мир един (можно выделять системы для всего Мира в целом), однороден (в пределах одного плана Бытия одинаковые задачи могут решаться одинаковыми способами) и непрерывен (возможно построить такие системы, в которых не будет скачков при изменении входных параметров).

Последнее требует развернутого комментария; если сумею, напишу отдельной темой.