Без заголовка

Тут я не очень понимаю. Знаки -- это ведь про перцепцию? А мы тут говорим не о знаках, а о понятиях. То есть все проблемы со знаками уже считаются решенными по определению. И говорят о понятиях и категоризациях. Я вначале специально ссылки приводил на литературу, чтобы задать язык, в котором это сейчас обсуждается, а также решаемые этим проблемы. Фишка в том, что работа людей с понятиями устроена не так, как работа машин. Так, машина непосредственно работает с модальной логикой в S2, а как работает человек с модальной логикой в S2 -- неведомо. И наоборот: человек как-то рассуждает в своей S2 с задействованием S1, которое даже отрефлектировать не может -- а компьютеру это повторять не нужно бы, да и непонятно как. А я решаю задачу: вот представление модели какого-нибудь инженерного агрегата инженером "в голове" (и оно же отражается в текстах, таблицах, диаграммах), а вот -- в машине (в PLM или CAD). В голове человека "красный" -- это что? Согласно теории прототипов, это прототиа. А в машине -- "красный" это точно не то, что у человека в голове: это множество (согласно BORO) или атрибут объекта (как по Аристотелю). Про 4D я вообще молчу. Про классы классов, классы и экземпляры -- то же самое (у человека этих различений нет, он действует "прототипно" в данном случае, и думает о "самолёте-классе" как о "самолёте-прототипе", на который в чём-то похожи все остальные самолёты). Как с этим работать? Я уже был свидетелем многочисленных споров, когда клиент не понимал, как это всё в ISO 15926 устроено. Ибо оно устроено СЛИШКОМ ЛОГИЧНО для головы инженера. Математик ещё мог бы к этому привыкнуть (наверное), а вот инженер не мог бы, и не должен привыкать. Поэтому и нужно разобраться, что с этими понятиями не так в компьютере, и что происходит в голове инженера. Вплоть до поставить соответствующие эксперименты. Вплоть до крэш-курса для инженеров, если выяснится, что там какие-то источники инженерных ошибок. А если ошибки вносятся именно несовместимыми с инженерным мышлением компьютерными моделями данных, то нужно менять их.