алгоритмическая интерпретация

Возвращаясь к вышеизложенному, можно заметить, что с конструктивной точки зрения на реализуемость интуиционистская логика предикатов и ее семантика (понимание) всегда необходимо неполна (в нашем случае это семантика интерпретаций итогов всех действий с наборами вполне определенных множеств x(i,j)). Творчество это шаг за шагом выход за пределы очередных гипотез (моделей) и исходных языковых средств отображения действительности. Уточним здесь понятие конструктивных операций. Пусть наши модели будут продолжать оставаться конструктивными также в и случае их потенциально возможной реализации в будущем. Возможно, что изменяющийся во времени в каких-то пределах объект исследования, реализовавший себя в уже известных точках-состояниях х внутри "логических ячеек" К, может существовать и во всех иных близких его точках, непрерывно с течением времени переходя между всеми уже известными точками-состояниями (в "ячейке" К). Введем далее понятие релятивизированной реализуемости [3].

Согласно алгоритму построения АМКЛ числа x(i, j) в строках сравнения (в процессе рекурсий в каждом определенном столбце) упорядочены относительно локального времени очередной задаваемой целевой строки. Сравнения элементов этой строки начинаются с ближайшей ее временной окрестности нецелевых строк, что позволяет значительно сократить весь этот процесс сравнений, поскольку самые близкие состояния исследуемого объекта сходны; медленно развивающиеся помехи (например, некоторые скрытые переменные), возможно, еще не успели оказать заметного влияния на состояния объекта. Ранее для краткости мы говорили, что работаем с некоторыми редкими, точечными множествами, связь между отдельными этими точками специально не оговаривалась. Теперь же уточним семантику вычисленных таким образом АМКЛ. Будем считать, что выводы К истинны также и для всех новых объектов, соответствующие значения переменных которых удовлетворяют К − эти К будут истинны также и для всех их новых многомерных "точек", которые могут находиться между старыми из редкого множества (Х). То же и для концов открытых многомерных целевых интервалов dx, т.е. для точек, вплотную приближающихся к ближайшим точкам-состояниям для нецелевых значений у. Иными словами, здесь вводится более детализированная семантика квантора всеобщности: "формулы К истинны для всего потенциально возможного множества "точек-состояний" исследуемого объекта, находящихся внутри открытой ячейки-импликации К".

Однако выполнение вышеприведенных операций реализуемости относительно каждой целевой строки из Х приводит здесь к некоторым временным ограничениям на такую интерпретацию квантора всеобщности. Действительно, все строки в массиве Х упорядочены в реальном времени функционирования исследуемого объекта (или субъекта); лишь первое сопоставление целевой строки с ближайшей по времени строкой сравнения имеет четкий смысл − эти состояния объекта, возможно, близки, если сам объект мало эволюционирует, например, если скрытые переменные также мало изменяются (дальнейшие сопоставления лишь уточняют итоговую формулу К). Можно сказать, что природа вообще как бы немного варьирует, "флюктуирует" значения бесконечного множества своих переменных х. При сохранении старых столбцов переменных и при регистрации новых строк в Х со временем возможно увеличение оценок Г для некоторых К не только за счет продолжения функционирования стационарных объектов, но также за счет реализации или как бы "возрождения" в новом времени нестационарных объектов. Частный их признак − отсутствие прежнего "стационарного" К некоторое время при регистрации новых строк, дополняющих массив Х и затем через некоторое время вновь его появление. Однако такие "возрожденные" К теперь имеют совсем иные контексты в том числе, возможно, и для неизвестных, скрытых переменных.

В вышеприведенном смысле эти формализованные новые "возрожденные образы" К теперь имеют вполне приемлемую семантику. Они правильно отображают, например, психологию чтения интересных авторов, когда читатель на какое-то время как бы реализуется, воплощается в любимого героя читаемого произведения (например, М), однако у такого читателя (в частности, здесь интересны письма Е. Булгаковой после смерти мужа) существует теперь новый контекст переменных, обусловленный иной индивидуальностью читателя и новым временем его существования. Другой интересный пример в этом отношении это воспоминания автора книги "Возвращение отца" (см. б-ки в [1]), где описывается как автор жил в семье отчима и как после окончания университета случайно ознакомился с несколькими страницами личных записей отца, сделанных в 1939 году и вложенных в книгу "Былое и думы" Герцена; узнал в Красном Кресте, что отец погиб в концлагере севернее Дрездена в 1942 году. Далее автор в воспоминаниях и дневниках описывает постепенный по мере появления новой информации с 1955 года процесс узнавания ("реинкарнации", реализации) образа отца в своем сознании и проявление его во всей своей жизни...

Можно предложить еще несколько интересных внешних аналогий (для проявления интуиции читателей!) как для пояснения функции АМКЛ, так и для вышеописанного явления художественной реализации. Так, логические модели можно представить себе как некоторую сеть с ячейками К, с помощью которой можно вылавливать истину из океана неопределенности Х. Как целые образования дизъюнкции целевых и нецелевых К можно представить как гаметы родителей, имеющие каждая свой гаплоидный набор хромосом К, а АМКЛ можно представить как результат слияния этих гамет. Процесс чтения также похож на слияние гамет (автора и читателей) − в их сознании остаются некоторые фрагменты или целые импликации К, происходящие от интересного автора (конечно, с новым контекстом). Автор как бы возрождается, реализуется в этих своих духовных детях. Так Елена Булгакова двадцать с лишним лет редактировала и искала пути издания М − в итоге она реализовала, "родила" М, это духовное дитё рано погибшего М. Булгакова.

И еще несколько слов о контексте в этих моделях. Нам известна лишь ничтожная часть переменных исследуемого объекта, который зависит, вообще говоря, от динамики всего мира, известного и неизвестного. Значения его переменных и есть в общем смысле контекст, который частично известен в моделях (это замкнутые интервалы для всех переменных кроме тех, которые уже вошли в формулы К), но большинство их неизвестно. Изменение старого контекста при использовании моделей в новых условиях и в новом времени обычно приводит к различному пониманию (семантике) получаемых новых результатов − у разных читателей возникающий образ автора может интерпретироваться в некоторых деталях по-разному.