Обобщение различных объектов, понятий, структур и сложных систем из реального мира и пространства
Метаразум производит объединение абстрагированных отдельных элементов, частей и признаков различных объектов, понятий, структур и сложных систем из реального мира и пространства, отображённых в субъективной модели реального мира АМИМ в виде графов (машинных трансцендентальных схем по Канту), друг с другом по сходным или существенным признакам объектов, понятий, структур и сложных систем с целью отбрасывания единичных признаков, при сохранении общих.
Конкретизация различных объектов, понятий, структур и сложных систем из реального мира и пространства
Метаразум производит выведение частных проявлений различных объектов, понятий, структур и сложных систем из реального мира и пространства, отображённых в субъективной модели реального мира АМИМ в виде графов (машинных трансцендентальных схем по Канту), что позволяет выявлять конкретные проявления между различными абстрагированными объектами, понятиями, структурами и сложными системами.
Классификация различных объектов, понятий, структур и сложных систем из реального мира и пространства
Метаразум производит отнесение единичного объекта, понятия, структуры и единичной сложной системы из реального мира и пространства, отображённых в субъективной модели реального мира АМИМ в виде графов (машинных трансцендентальных схем по Канту), к некоторому классу в виде символа или значения, систематизацию их, установлению связей между ними.
Распознавание различных объектов, понятий, структур и сложных систем из реального мира и пространства
Анализ современных логических языков для обработки символьной информации при распознавании различных объектов, понятий, структур и сложных систем из реального мира и пространства, а также использование их для реализации интеллектуальных систем показывает, что Лисп остаётся основным языком для реализации экспертных систем, баз данных и знаний, который разрабатывался для американского министерства обороны.
Можно надеяться, что будет разработан логический язык на основе индуктивного метода, аналогии и ЭМКО, который вберёт лучшие черты Лисп, СНОБОЛ, Рефал, Пролог, Плэнер, Плэнер-БЭСМ, Конивер, KRL, FRL, RLL, ART, Ether, SQL и др.
Мышление метаразума
Как известно логика является наукой о мышлении.
Со времён Аристотеля рассматривались различные модальные понятия, которые отражали развитие модальной логики.
Примем машинную логику как модальную многозначную пропозициональную логику, использующую сравнительные модальные понятия.
Сравнительные модальные понятия, которые являются содержательными (трансцендентальными) по Канту и могут быть охарактеризованы