К программе МЕТАМОДЕЛИРОВАНИЯ

[serj_aleks]

Это deep_econom подумал, а не взять ли за основу программы «Кибернетический манифест», который, правда, после восьмого пункта ему кажется ... «ну, вы поняли ...». Я взялся изложить первые пункты в программном стиле, сделав упор на определении МОДЕЛИ и, конечно, исходя из представлений deep_econom и Турчина. Вот что получилось.

Программа

Comments

[serj_aleks]

Обсуждая, где корзинки с наибольшим числом пазлов, пришли в выводу, что искать пазлы у признанных авторитетов эффективнее, чем по темам. Турчин оказался в списке авторитетов на текущий момент первым. Он просто номер один с большим отрывом от остальных. deep_econom выделил ещё шестерых, трое из которых, как бы на втором плане (я бы добавил, больше апологеты концепта ИНФОРМАЦИЯ, чем МОДЕЛИ). Сознательно не называю. Они проявятся в процессе определения пазлов расширения программы и комментариев, которые могут трансформироваться в проект компиляции "большого текста" (книжного формата страниц на полтыщи!).

Поиск пазлов и их "правильное" складывание (метамодельный переход здесь может быть критерием) - основной метод МЕТАМОДЕЛИРОВАНИЯ! На это уже неявно указано в программе и может быть сформулировано отдельным положением.

[serj_aleks]

Видимо здесь будет скапливаться материал для книжки. Ну и напомнить о существании этого файла.
METAMETRIX
В который раз убеждаюсь как хорош tiddlywiki для структурирования. Должен помочь и для структурирования книжки.
Ещё попробую расщепить на пазлы опусы Курпатова на тему моделирования мышления. Про объекты и операции (интеллектуальные!) это его терминология, надо уточнить на сколько понимание совпадают. Пока deep_econom будет курочить Шрейдера (он об этом намекал).

[serj_aleks]

Стал поднимать, что у нас с теорией концептуализации ... теория категорий, теория типов, теория классификации, прототипов, архетипов есть, вот "теория модусной концептуализации и категоризации" как теории интерпретации ...

Язык - это "мир - лежащий между миром внешних явлений и внутренним миром человека" ... не понимаю, как это возможно ... но пытаюсь. Может это диагональные связи в букве "П" deep_econom? :)

http://tube.sfu-kras.ru/video/1648?quality=medium

[deep_econom]

язык это коды моделей, ну или имена понятий, часть модели,
помните ту картинку с котом?
тоже самое что и код информации

[serj_aleks]

"язык как множество конечных моделей в некоторой сигнатуре, а грамматику - как множество аксиом, описывающих это множество моделей, т.е предложили использовать теоретико-модельный подход для описания синтаксиса."

"тексты, как конечные модели в подходящей сигнатуре (Сигнатура - это множество символов отношений. Модель в данной сигнатуре - это некоторое множество объектов (несущее множество модели), на котором каждому символу сигнатуры сопоставлено некоторое отношение) . Это позволило уточнить понятия языка, знаковой системы и грамматики, используя терминологию теории моделей."

https://sites.google.com/view/metatronix/библиотека/шрейдер

[deep_econom]

язык слово конечно многозначное (как и информация)
когда я говорю про код модели, то я говорю про слова написанные или произнесенные
но конечно язык можно рассматривать и как множество моделей, ту же математику я так называл

себе говорю вслух: надо мне быть аккуратнее со словами ))

[serj_aleks]

"Вот концептуализация математики через "оптику" теории множеств, где главную роль играет понятие -- нет, не множества, как подумал наивный читатель, а -- подмножества.
Альтернативная ей -- функциональная концептуализация, где главную роль играет понятие не подмножества, а (непрерывного) отображения.
Стоит переключиться на правильную "оптику" -- и сразу задачи начинают решаться."
https://vteninn.livejournal.com/45448.html

[serj_aleks]

В предыдущеем комментарии после чтения Шрейдера о классификации и поста deep_econom о метрологии возникли пространные рассуждения о метамодельном переходе. Кстати, картинку взял здесь. Ну и к вопросам по интеллектуальным операциям одновременно.