Изменения

На прошедшей [https://www.facebook.com/events/263060364375731/permalink/304651973549903/ «Прикладное системное мышление»] ([[Блог:Максима Цепкова/2019-04-03: Конференция Прикладное системное мышление|мой отчет]]) [http://system-school.ru школы системного менеджмента Анатолия Левенчука] '''Прапион Медведева''' в своем докладе поставила вопрос о создании онтологии для описания онтологий, или, как минимум, онтики для описания онтик. На мою реплику, что такая онтика должна быть рефлексивна, то есть подходить для описания себя самой, мне вернули, что «так не работает», в при подробном обсуждении в перерыве Прапион порекомендовала статью '''Тарского «Семантическая теория истины и основания семантики»''' — она «совсем короткая, и там все это хорошо раскрыто». Впрочем, кратко мы все равно обсудили, основная претензия в том, что самоописываемые языки неизбежно оказываются противоречивыми, простейший пример — парадокс лжеца, возможность в языке утверждения «Данное предложение ложно», а всерьез это обосновано у Геделя. Меня эта противоречивость не смущает, потому что онтики у нас — для описания мира, а мир — противоречив по той самой теореме Геделя.