В данной статье речь идет об элементах классической и неклассической онтологических систем в учении Аристотеля о сущности, категориях и языке. Удивительным выглядит то, что в классических памятниках античной философской мысли встречаются онтологические модели, близкие современной аналитической философии и компьютерным наукам. Аристотель впервые рассуждает о сущем, данном в категориях языка. Так совершается переход от предметного индивида к логическому субъекту и затем к части речи. Природа знания опирается на единичное представление всеобщего. По Аристотелю, в действительности существует только множество произвольно обозначенных уникальных единичных вещей. Но виды и роды выстраивают определенные логические отношения между ними. Таким образом, языковая актуализация знания о мире возможна только относительно видов и родов, т.е. логической структуры, поскольку вещь сама по себе (неописанная) не обладает никакими характеристиками, но при этом она независимо наличествует в бытии. С одной стороны, Аристотель представляется как сторонник классической номиналистской онтологии – мир вещей есть множество существующих в бытии единичных безатрибутивных объектов. С другой – онтология Аристотеля представляет собой множество объектов, полагаемых высказыванием в качестве существующих. То есть это могут быть объекты из вымышленных или невозможных миров, но языковые дескрипции приписывают им функции пропозиционального значения. Язык в обоих случаях – просто способ непротиворечивого описания. Такая трактовка позволяет описывать онтологию Аристотеля в терминах компьютерных онтологий.