Формальная онтология и аналитическая философия: проблема взаимосвязи

Abstract

В статье рассмотрены философские основания одного из направлений компьютерных наук – онтологического инжиниринга, в рамках которого разрабатываются формальные онтологии; выявлены глубинные взаимосвязи между аналитической философией первой половины – середины ХХ в. и формальной онтологией.In this paper philosophic foundation of ontology engineeringis considered. Ontology engineering is a branch of computer science that develops formal ontologies. There are also revealed deep interrelations between analytic philosophy of the first half – middle of the XX century and formal ontology in this paper.