"В.Н.Щеглов. Интерпретация некоторых философско-религиозных направлений " - читать интересную книгу автора

В. Н. ЩЕГЛОВ


ИНТЕРПРЕТАЦИЯ НЕКОТОРЫХ ФИЛОСОФСКО-РЕЛИГИОЗНЫХ НАПРАВЛЕНИЙ С ПОМОЩЬЮ
ИНТУИЦИОНИСТСКИХ МОДЕЛЕЙ

2007 г.




При исследовании сложных объектов с помощью интуиционистских моделей
математической логики [1]
и, в частности, алгебраических моделей конструктивной
(интуиционистской) логики (АМКЛ, [2]), обращает на себя внимание следующий
факт. Интуиционистские модели (Бета-Крипке) могут быть истолкованы как
возможные состояния знания некоторого познающего субъекта, как модели
творческого сознания. С помощью самой структуры или способа построения этих
моделей удалось показать достаточно интересные алгоритмические интерпретации
квантовой теории, теории калибровочных полей и общей теории относительности,
квантовой теории калибровочных полей, квантовой теории гравитации, редукции
квантованных когерентны состояний ультраструктур нейронов мозга, особых
состояний сознания, структуры качественных выводов из астрономической модели
Керра, сопоставить структуру библейских заповедей с этапами построения АМКЛ.

Возможно, любую достаточно интересную и сложную область познания можно
интерпретировать с помощью этих достаточно гибких по своему построению
интуиционистских моделей ( в дальнейшем будем писать "моделей").
Формализация этого подхода может по мере накопления опыта и новых данных
постепенно уточняться и специализироваться при изучении отдельных областей
знания. Можно рассматривать эти модели как некоторый "переводчик" терминов,
взятых из специализированных областей знания на язык построения моделей; они
здесь являются как бы некоторым формализованным познающим субъектом.
Познание здесь осуществляется в виде алгебраических моделей интуиционистской
логики (модели Бета-Крипке). Эти модели отображают динамику состояний
("свободно становящиеся последовательности") знания некоторого "познающего"
субъекта (алгоритма вычисления АМКЛ). Приведем краткое описание этого
алгоритма, детальное описание и множество примеров приведено в [2].

В исходном массиве действительных чисел (или чисел k-значной логики)
Х(n+1, m), где n - число переменных (столбцов в Х), выделяется один или
несколько столбцов Y, для которых Y = f(X). Значения Y разбиваются на k
частей (обычно на 2 по медиане), и эти значения кодируются, например, Z = 0,
1, ... Далее каждое состояние, которому задано определенное целевое значение
Z, сравнивается со всей своей окрестностью не целевых состояний, начиная с
ближайших и строятся конъюнкции К малого числа открытых интервалов значений
переменных для этого целевого состояния. Эти К (по всем целевым состояниям)
вычисляются таким образом, чтобы К были бы простыми импликациями (истинными
формулами для Z, например: "если К, то Z = 1). Аналогичные операции
совершаются и в отношении не целевых состояний. Далее вычисляются оценки Г