Онтология — это наука о бытии и существовании. Она задаёт вопросы о том, что существует, какие категории вещей существуют и что значит существование чего-либо. Слово происходит от греческих слов ontos, означающего бытие, и logos, означающего изучение. Онтология — это раздел метафизики и одна из древнейших областей философии. Парменид задавался вопросом, что есть. Аристотель изучал бытие во всех его смыслах. Средневековые философы различали сущность и существование. Современные онтологи спорят о том, существуют ли абстрактные объекты, такие как числа и утверждения, реальны ли возможные миры и существуют ли фундаментальные частицы или только поля.

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

Онтологические вопросы

• Что существует? Физические объекты, разум, числа, универсалии?
• Что такое вещество? Каковы его свойства?
• Что такое категория? Как мы классифицируем вещи?
• Что такое существование? Что это за свойство, предикат или что-то другое?

Онтология — это не то же самое, что эпистемология. Эпистемология изучает знание. Онтология изучает то, что известно.