Комментарий
"Отсюда и переход к факт-ориентированной модели, в которой все те же фрагменты мира выражаются в формализме классов (теории множеств), а не в субстанциональной аристотелевской парадигме объектов-свойств.", - интересно, а что у вас понимается под фактом? Почему Аристотелевская категория "объект - свойство" вам не подходит? Может понятие факта ц вас не правильно построено?
Кстати, вы анализировали каким понятие факта пользовался Аристотель, когда задавал свою категорию?