Онтология

Раздел философии онтология

Онтоло́гия (новолат. ontologia от др.-греч. ών род. п. όντος — сущее, то, что существует и λόγος — учение, ) — раздел, изучающий проблемы бытия; о бытии.

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

Основной вопрос онтологии: что существует?

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

Иное понимание онтологии даёт американский философ Уиллард Куайн: в его терминах онтология — это содержание некоторой теории, то есть объекты, которые постулируются данной теорией в качестве существующих.

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

В XX века специально онтологической проблематикой занимались такие как Николай Гартман («новая онтология»), Мартин Хайдеггер («фундаментальная онтология») и другие. Особый интерес в современной вызывает онтологические проблемы сознания.

Онтология в точных х

[править] Типы онтологий

Мета-онтологии — описывают наиболее общие понятия, которые не зависят от предметных областей.

Онтология предметной области — формальное описание предметной области, обычно применяется для того, чтобы уточнить понятия определённые в мета-онтологии (если используется) и/или определить общую терминологическую базу предметной области.

Онтология конкретной задачи — онтология, определяющая общую терминологическую базу задачи, проблемы.

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

[править] Модель онтологии

Формально онтология определяется как O =, где

X — конечное множество понятий предметной области,

R — конечное множество отношений между понятиями,

F — конечное множество функций интерпретации.

Источник