8 июля 2011 · Комментарий

Re: 2

Анатолий Левенчук · Оригинал в ЖЖ ↗ · Ссылка на запись

В современной философской логике границы между логикой и онтологией (метафизикой) существенно размыты. Ежели брать BORO, то содержание книжки философско-логическое (обсуждение тамошних "парадигм"), но затем я применяю освоенное содержание этой книжки для уже онтологического моделирования, т.е. описания онтологии нужного мне куска мира. Я думаю, что вас так цепляет проблема "объективности" против "субъективности" в силу того, что из неё вылезает проблема "семантики" (объективизированных "значений") против "прагматики" (субъективизированных "смыслов"). В философской логике рассмотрение прагматики всегда деятельностно, но вот при попытках абстрагироваться от той деятельности, в которой идёт рассмотрение, на сцену выходит семантика. Книжка BORO, а также вся текущая философско-логическая традиция онтологической работы для информационных систем (в том числе ISO 15926) -- это, конечно, про семантику. У меня в планах постепенный дрейф к занятиям в том числе формальной прагматикой. Но это когда-нибудь.