Савкин* ФОРМАЛЬНАЯ ОНТОЛОГИЯ КАК ТЕОРИЯ ПРЕДМЕТОВ: ТОЧКИ СОПРИКОСНОВЕНИЯ ИДЕЙ Э. <...> Синтез этих идей позволяет наметить новые пути решения ряда логико-философских проблем, прежде всего проблемы экспликации онтологических допущений. <...> Эта экспликация напрямую зависит от той или иной трактовки предмета, которая дается в рамках теории предметной области — формальной онтологии. <...> По мнению автора, Гуссерль и Мейнонг создали два принципиально различных варианта построения теории предметов, которые условно можно назвать «эссенциальным» и «экзистенциальным» соответственно. <...> Второй исходит из различения видов бытия, существования предметов, полагая их определяющими для выделения типов и групп предметов. <...> Meinong The article deals with the general ideas and the correlation between the theory of objects by A. <...> In the author’s opinion Husserl and Meinong created two separate variants of construction of theory of objects, which can be respectively called “essential” and “existential” ones. <...> С одной стороны, логическая семантика, будучи разделом логики, ориентированным на обоснование логических процедур, той или иной системы логических способов рассуждения, существенно опирается на теорию познания и должна учитывать те или иные аспекты знания. <...> В то же время логическая семантика также строится на основе определенных допущений о познаваемом — онтологических допущений. <...> Это, конечно же, ставит логическую се1 Характерные — далеко не единственные! — примеры логических систем, в рамках которых не только учитываются, но и явным образом формулируются онтологические допущения, — это комбинаторные логики В.А. Смирнова, в которых, правда, принимаются во внимание еще и гносеологические допущения (реконструкция идей Н.А. Васильева) и формальная теория онтологической модальности Е. <...> Однако удовлетворительная экспликация онтологических допущений невозможна без систематического исследования вопроса о том, какова связь той или иной трактовки предмета, логико-семантических процедур, способов анализа смысла и значения языковых выражений <...>