Искусственный интеллект

Онтология состояний дел возникает сходным образом в случае перехода от психологии суждения к исследованию онтологических коррелятов актов суждения. Последние, согласно брентановской экзистенциальной теории суждения, будут иметь следующую первичную форму: существование А и не существование А. (а) «А существует» означает, что А является таким, что каждый, кто судит о нем, очевидным образом должен принять его; (б) «А не существует» означает, что А является таким, что каждый, судящий о нем, очевидным образом должен отвергнуть его;

Наконец, онтология оценок возникает, когда мы переходим от психологии чувств, воли и предпочтения к исследованию онтологических коррелятов соответствующих актов. Еще в своей диссертации, относящейся к 1862 г., Брентано анализирует аристотелевское различение «быть в смысле категорий» и «быть в смысле быть истинным» таким образом, что это можно рассматривать как принадлежащее сфере общей онтологии. Однако без интерпретации взглядов других философов Брентано крайне неохотно формулирует свои собственные онтологические тезисы. Как следствие, по-видимому, гораздо больший вклад в онтологию оценок сделали его ученики, которые использовали психологический анализ Брентано в качестве основы для своих исследований.

3. К.Твардовский (развивая Брентано)

Что касается онтологии вещей, то здесь среди других учеников Брентано большой вклад был сделан К. Твардовским. Твардовский был, вероятно, первым из брентанистов, кто рассматривал общую теорию предметов, все еще называя ее метафизикой. Понятие предмета у Твардовского дается совершенно брентановским образом:

«Предмет можно описать приблизительно так: все, что представлено посредством представления, признано либо отброшено суждением, желаемо либо отвергаемо эмоциональной деятельностью, мы называем предметом. Предметы бывают реальными и нереальными, возможными и невозможными. Общим для них является то, что они могут быть или же являются объектом (не интенциональным) психического акта, что их языковым обозначением является называние (в вышеизложенном смысле) и что они, рассматриваемые как род ... находят свое языковое выражение в названии «нечто». Все, что в самом широком смысле есть «нечто», называется, сперва в отношении к представляющему субъекту, а потом также и независимо от него - предметом» [Твардовский 1997, с.78]

4. Н. Коккьярелла (не-гуссерлевская концепция формальной онтологии)

Однако существует и не-гуссерлевская традиция в формальной онтологии, не основывающаяся на мереологии. Следуя аналитической онтологии, формальная онтология определяется как теория бытия с точки зрения формальной логики, т.е. теория бытия в рамках и на языке элементарных формальных теорий. Главным сторонником данной позиции может считаться Нино Коккьярелла. Принимая, в частности, что каждая наука рассматривает свой специфический «способ существования», Коккьярелла утверждает, что формальная онтология изучает различные формализации, относящиеся к систематической классификации всех «способов» или категорий существования в самом общем виде. Обычно каждый «способ существования» подходит для некоторой специфической формальной онтологии и представляет некоторый тип переменных, для которых синтаксическое правило их применения отражает онтологическое правило для данного «способа» существования [Cocchiarella 1974, рр. 29-30]. Тем самым формальная онтология изучает логические характеристики предикации, квантификации по переменным и различные теории универсалий.

Несмотря на отличие от гуссерлевской формальной онтологии, обе разновидности формальной онтологии по большинству вопросов занимают сходные позиции. Само по себе это следует из того факта, что и теория множеств и мереология, используемые для характеризации онтологических понятий, представляют собой конкурирующие системы в основаниях математики. Спектр вопросов и понятий, на которых они основываются, в значительной степени обусловлен интересами математики.

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

5. Лесьневский

Особое место среди различных систем формальной онтологии занимает система Онтологии Лесьневского, удовлетворющая определению формальной онтологии в смысле Коккьяреллы, в то время как другая егос система - Мереология, надстраиваемая над Онтологией, в точности подпадает под определение Гуссерля. И, фактически, это разделение принимается как само собой разумеющееся во всех исследованиях, касающихся онтологических проблем.