Семантика и описания

Любая онтология, определяющая, что есть в мире, должна быть как-то записана, выражена в каких-то знаках, какой-то терминологии, то есть, представлена как онтологическое описание . В обычной речи часто путают «онтологическое описание» мира и саму онтологию. Про описание (схему нарезки мира на объекты — карту) говорят как про онтологию ( объекты , выделяемые в мире — территорию), опуская слово «описание». Разницу обычно можно понять из контекста, но в жизни очень часто путают вопросы «что означает знак X» и «что такое X». «Что такое насос?» — это спрашивают, что означает слово «насос», или спрашивают, что такое «быть насосом» в реальном мире? Пока нам достаточно научиться различать эти вопросы и помнить, что кроме обсуждения самих понятий, онтологии (ответ на вопрос «что такое X»), бывает обсуждение семантики  — того, как мы связываем знаки/символы/термины с их значением/денотатом и смыслом. Так,

• строчка букв (или произносимые слова) «Королева Великобритании» — это знак;

• конкретная женщина, которая сейчас королева (и, кстати, имеет много других способов ее описать, кроме строчки букв «Королева Великобритании») — это значение/денотат;

• выражение «единственная женщина, которая сейчас королева Великобритании» — смысл строчки букв «Королева Великобритании».

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

Философы много веков составляли очень неформальные описания мира, их книги были метафоричны, многозначны и мутны. Andries van Renssen как-то заметил, что «философы прошлого недорабатывали по части строгости изложения своих философских трудов, задача получения строгого философского знания выпала на нашу долю». В 20 веке к онтологии проявили интерес разработчики программ искусственного интеллекта: их интересовало, как описывать мир настолько однозначно, чтобы даже компьютер мог интерпретировать эти описания. Они и сформулировали новое определение онтологии, чуть-чуть сдвинув акцент на важность онтологического описания: «онтология — это формальное описание/представление разделяемого набора понятий» («An ontology is a formal specification of a shared conceptualization», Tom Gruber ). Эта маленькая путаница привела к тому, что «настоящие онтологи» (которые обсуждают мир) не всегда считают людей, занимающихся компьютерными онтологиями «настоящими», ибо компьютерщики обсуждение вопроса «из чего состоит мир» часто заменяют вопросом «как описывается/специфицируется мир», т.е. обсуждают семантику вместо онтологии.