У каждой теории своя онтология?
У каждой теории своя онтология - как у каждой карты свой набор объектов/уровней детализации.
Пример:
- орнитология: стаи, популяции
- астрономия: галактики, орбиты
Мир один, но карты разные - каждая фиксирует интересные для целей теории структуры (релевантные для себя каузальные структуры).
Теория = карта (описание).
Онтология теории = словарь типов объектов/конфигураций, которые эта карта различает и считает реально каузально значимыми; в более строгом варианте - формальная спецификация этой концептуализации.
В орнитологической теории «стая» входит в онтологию как тип конфигурации (коллективное движение, плотность, динамика), без которого теория теряет объяснительную и предсказательную силу.
В теории, где такие конфигурации вообще не рассматриваются (например, астрономия), «стая» просто не фигурирует в онтологии - не потому, что её «нет в мире», а потому что данная карта просто не прорисовывает этот уровень.
Картинку про онтологию размещу чуть позже для ясности.