Конструктивная формализация: четверное полагание и специфицированные модальности

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

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

Полагание в понимании модальности занимает особое место. Полагание для ТВ есть не простое понятийное содержание модальности, а технологически конструктивное. Упрощенная технология двойного полагания такова. Мы предполагаем на основании предыдущего опыта (эмпирического, мыслительного, языкового, рече-текстового, деятельностного, логического) некоторое актуализированное объектно-атрибутивное содержание. Затем полагаем некоторое наново актуализированное объектно-атрибутивное содержание. Затем из некоторой рефлексивной позиции указываем на уровень актуализации положения в отличие от предположения. Принципиальное отличие степени или уровня актуализации от силы истинности, как это было в традиционном понимании модальности, допустимо лишь внутри «языка» ТВ.

То новое, что вносит ТВ в этот процесс — это различение лингвистического уровня полагания и структурного уровня полагания. Лингвистический уровень полагания суть оформление полагания в вербальном языке, где оно достигает пропозиционального выражения. Структурный уровень полагания суть непосредственное выражение полагания на уровне конструкт-семиозиса в структурном нормировании. В ТВ мы изначально «уходим» от лингвистического уровня полагания на структурный уровень полагания, выражая полагание собственно в конструкт-семиозисе «АВ»-моделирования. Структурное полагание модальности — инновация ТВ. Мы конструктивно выражаем модальность «на структуре», через «структурный континуум» посредством «АВ»-моделирования.

С точки зрения структурного нормирования полагание допустимо к пониманию как двойное полагание: континуум-полагание (предположение и положение), а также первое и второе объектно-атрибутивное предполагание как насыщение объектно-атрибутивным содержанием предположения и положения. Таким образом предположение — это полагание первой ав-пары (на двух уровнях — релевантный и референтный трафик). Собственно предположение является также основанием для установления отношения истинности. Положение это полагание второй ва-пары (на двух уровнях — релевантный и референтный трафик). С точки зрения функционально-феноменологического нормирования это континуум-апперцептивное действие сознания, полагающего простые «АВ»-модели как первую ав- и вторую ва- пары ава-модели. Предполагание первое — насыщение объектно-атрибутивным содержанием в процессе предположения, то есть выражение ав-пары ава-модели через объектно-атрибутивное содержание. Предполагание второе — насыщение второй ва-пары ава-модели объектно-атрибутивным содержанием в процессе положения. Это объектно-атрибутивное действие сознания с точки зрения функционально-феноменологического нормирования, полагающего содержание в первой и второй ав- и ва- парах.

В этом смысле «положение» и «полагание» — синонимы в обычной речи относительно лингвистического нормирования, традиционно производимого пропозициональной модальной логикой, но мы отличаем их для того, чтобы технологически различить этапы (предположение и положение, первое и второе предполагание) в структурном нормировании и сохранить общее название технологии — «полагание». Конечно же это вполне может создавать путаницу для понимания. Ведь с точки зрения традиционного подхода к пропозициональной модальной логики, которая не различает лингвистического и структурного нормирования, все используемые понятия требуют двойного прочтения: как лингвистически нормированные и как структурно-нормированные. Однако у нас нет пока иного «языка» для указания на традицию мышления и в то же время ее различения на два уровня — лингвистически и структурный — как лишь различение путем уточнения: лингвистическое полагание и структурное полагание. Здесь и далее мы говорим исключительно о структурном полагании и его конструктивном выражении в конструкт-семиозисе «АВ»-моделирования.

Относительно развитого способа онтологизации модальности в ТВ традиционно описываемое двойное полагание является четверным технологическим полаганием — двойное положение, двойное предполагание. Отсюда последовательность технологических этапов полагания не важна для модальности внутри двойного положения и внутри двойного предполагания как собственно допустимость непоследовательного осуществления шагов технологического процесса апперцепции.

Существует абстрактное предполагание, то есть полагание объекта виртуальной реальности на основании одной аспектно-атрибутивной пары: [X(a₁...)]_iO(a₁...), где X — полагаемый объект.

Конкретное предполагание (полагание объекта виртуальной реальности на основании конечного, но не полного, ряда аспектно-атрибутивных пар: [X(a₁,a₂,a₃...)]_iO(a₁,a₂,a₃...)

Ассоциативное предполагание есть полагание атрибута на основании виртуализованного события в объект и сходности остального (кроме полагаемого атрибута) аспектно-атрибутивного ряда:

[O(a₁,a₂,x₃...)]_iO(a₁,a₂,a₃...)

Модальность это — двойное положение, то есть предположение и положение, где предполагание оказывается оперируемым содержанием модальности.

[O(a₁,a₂,a₃...)]_iO(a₁,a₂,a₃...)_i[O'(a'₁,a'₂,a'₃...)]

Для полагания в данной формуле мы используем двойную интерпретативную сосредоточенную референтость, но для моделирования разных модальностей референтность будет меняться, будет меняться актуализация и атрибутивное содержание. Таким образом модальные отношения представляют собой некие шаблоны отношений в ава-моделях.

Порядок полагания тоже оказывается важным. Изначальная позиция — центральная, позиция виртуальной реальности. Затем производится предположение — актуализация, которая задана ав-парой влево от центра ава-модели. Затем производится положение — актуализация, которая задана ав-парой вправо от центра. Затем происходит предполагание, то есть насыщение всех позиций объектно-атрибутивным содержание в том же порядке.

Обратите внимание, что выражение модальности происходит в обратном от двойного полагания порядке. То есть вторая ав-пара (положение) — позиция, с которой нужно начинать читать ава-модель для выражения модальности, при этом позиция нахождения усмотрения должна всегда быть центральной — местоположении виртуальной реальности. Для выражения модальности важно, что ее порядок обратный порядку двойного предположения.

Нет сомнения в том, что многие из построенных выше бывающих ситуаций специфицированных модальностей на основе ава-моделей являются спорным позиционным знанием. Например, различие представления об обязанности и знания о ней. Мы не исследуем детально соответствующее позиционное знание, нам было важно продемонстрировать реализацию различных специфицированных модальностей средствами ТВ. Если по поводу предложенных нами релевантного и референтного трафика возникнут возражения, то «язык» ТВ позволит реализовать эти возражения адекватно.

Очевидно, существуют специфицированные модальности не только для ава-моделей, но также и для других «АВ»-моделей. Однако далее мы рассмотрим более подробно лишь базовые неспецифицированные модальности.