В статье рассмотрены философские основания одного из направлений компьютерных наук – онтологического инжиниринга, в рамках которого разрабатываются формальные онтологии; выявлены глубинные взаимосвязи между аналитической философией первой половины – середины ХХ в. и формальной онтологией.
