Без заголовка

Сегодняшняя (не моделеориентированная) системная инженерия не алхимична, а "псевдокодна": модели не формальны, но и не "просто метафоры". Формальные хоть как-то модели в моделеориентированной системной инженерии, и в эту сторону всё стремительно и катится. С онтологией чисто философская онтология по факту метафорична, философская логика работает уже с псевдокодом (несмотря на название), а computational ontology пытается работать с кодом, моделирует. Другое дело, что модели крайне трудоёмки, этих онтологов мало и они как математики -- для прикручивания к делу нужны какие-то хитрые люди типа физиков для математиков, это место пока не сформулировано, может быть это и есть "программисты" (исходя из того, что моделирование-программирование-онтологизирование это одно). В Julia чем интересно, они предлагают стиль программирования, завязанный на типы (http://www.stochasticlifestyle.com/type-dispatch-design-post-object-oriented-programming-julia/, http://www.stochasticlifestyle.com/modular-algorithms-scientific-computing-julia/) -- и неожиданно можно пробовать развернуть онтологические построения на этом месте в части моделирования "псевдокодных" работ философских логиков и дальнейшей проверки их идей на удобство работы с ними на уровне кода.