Формальная онтология и искусственный интеллект



Скачать 243.44 Kb.
страница1/9
Дата26.04.2018
Размер243.44 Kb.
  1   2   3   4   5   6   7   8   9

ФОРМАЛЬНАЯ ОНТОЛОГИЯ И ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ

В.Л. Васюков

Э. Гуссерль (возникновение термина)

Мы обязаны идеей (и термином) формальной онтологии Эдмунду Гуссерлю, который в своих «Логических исследованиях» (1900/01) различает формальную логику, с одной стороны, и формальную онтологию, с другой. Формальная логика имеет дело с взаимосвязями истин (или пропозициональных значений в общем случае) - с отношением выводимости, с непротиворечивостью и общезначимостью. Формальная онтология имеет дело с взаимосвязями вещей, с объектами и свойствами, частями и целым, отношениями и совокупностями. Как формальная логика имеет дело с отношениями выводимости, которые формальны в том смысле, что они применимы к выводам в силу лишь одной своей формы, так и формальная онтология имеет дело со структурами и отношениями, которые формальны в том смысле, что они экземплифицированы, в принципе, всей материей, или, говоря другими словами, объектами всех материальных сфер или областей реальности.

Гуссерлевская формальная онтология основывается на мереологии, на теории зависимости и топологии. Его Третьи Логические Исследования озаглавлены «О теории целого и частей» и состоят из двух глав: «Разница между независимыми и зависимыми объектами» и «Мысли в отношении теории чистых форм целого и частей». В отличие от более известных «экстенсиональных» теорий частей и целого, таких, например, как системы Лесьневского, Леонарда и Гуд-мена, гуссерлевская теория не затрагивает того, что мы могли бы назвать вертикальными отношениями между частями и целым, когда первые охватывают, включают в себя вторые. Скорее гуссерлевская теория касается горизонтальных отношений между сосуществующими частями, отношения, которые придают единство или инте-гральность рассматриваемым целостностям. Проще говоря, некоторые части целого существуют просто рядом друг с другом, они могут быть разрушены или удалены из целого, не нанося ему никакого ущерба. Целое, все части которого связаны исключительно подобными отношениями рядоположенности, называется массой или агре-

305
гатом, или, выражаясь более технически, чисто совокупным целым. Во многих целостностях, можно даже сказать во всех целостностях, демонстрирующих любую разновидность единства, некоторые части находятся друг с другом в формальных отношениях, которые Гуссерль называет необходимой зависимостью (иногда, но не всегда, он говорит о необходимой взаимозависимости). Подобные части, например, отдельные случаи оттенков цвета, насыщенности и яркости, характерные для данного цвета, не могут с необходимостью существовать в целостности данного типа, без ассоциированности с их дополнительными частями. Имеется огромное разнообразие подобных побочных отношений зависимости, порождающих огромное многообразие типов целостности, которые неразличимы при стандартном подходе экстенсиональной мереологии.

Следует подчеркнуть, что Гуссерль в своих работах не использует какой-либо формальный аппарат в современном понимании смысла этого слова. Его исследования представляют собой скорее анализ с целью выяснения интуитивных оснований и понятий для разработки систем формальной онтологии. И не удивительно, что первый раздел работы П. Саймонса «Три эссе по формальной онтологии» носит название «Формализация гуссерлевской теории части и целого» [Simons 1982].

Гуссерлевская формальная онтология становится более понятной, если обратиться к идеям его учителя Ф. Брентано.




Каталог: data -> 2011
2011 -> Семинар "Человеческий капитал как междисциплинарная область исследований"
2011 -> Тамара Михайловна Тузова Специфика философской рефлексии
2011 -> Программа дисциплины «Философия» для направления 080100. 62 «Экономика»
2011 -> Программа дисциплины «Социология управления»
2011 -> Программа дисциплины «Основы теории коммуникации»
2011 -> Тезисы международной научно-практической конференции "Реализация гендерной политики: от международного до муниципального уровня"
2011 -> Программа дисциплины «Введение в социологию и история социологии»
2011 -> Николо Макиавелли Государь
2011 -> Экономическая социология
2011 -> Экономическая социология


Поделитесь с Вашими друзьями:
  1   2   3   4   5   6   7   8   9


База данных защищена авторским правом ©znate.ru 2017
обратиться к администрации

    Главная страница