Картинки из квадратов \ Презентация \ А теперь все вместе: алгебра \ "Потренируемся на кошках"© \

12.6.1.4. Паттерн "реального" типа
деятельности в базовом фрагменте УСК
порядка 2

 
Начало см. здесь.
"Реальная цепочка" из Базового УСК степени 2 будет записываться с использованием типовых переменных следующим образом:
Интуитивный смысл типов, которые приписываются здесь переменным реальной цепочки, определяется интуитивным смыслом локусных имен из рассмотренного ранее исчисления локализованных цепочек и будет подробно объяснен ниже. В целом же такое приписывание согласуется с философиями "типизации универсума и типизации языка", изложенными, например, у В. И. Агафонова и у Френкеля - Бар-Хиллела.
В духе последних веяний, мы могли бы сказать, что цепочки УСК-4 обозначают некие паттерны. Поскольку я постулирую, что операция "звездочка" в цепочках УСК-4 связана с паттерном действия, то любая цепочка УСК-4 должна обозначать паттерн некоторого типа деятельности.
Конкретно цепочки, входящие в состав Базового УСК степени n будут, как это и было заявлено ранее, естественным образом обозначать паттерны типов деятельности, возможных в рамках "китайской модели мира", представленной как некоторый акциональный универсум.

2. Конкретные деятельности, соответствующие данному паттерну "реального" типа деятельности
Всего их будет четыре штуки. Прежде чем давать строгие формализмы, изобразим эти деятельности на понятных картинках, наподобие той, которая использовалась для демонстрации конкретной деятельности, возможной в рамках "акционального универсума Кузина". Начнем с деятельности, соответствующей доказательству в исчислении локализованных цепочек, которое уже приводилось ранее в качестве примера.
Эллипсы на картинке с деревом выделяют отдельные акции (в данном случае их две) из которых состоит данная деятельность. Напомним, что в нашей экспликации каждая акция:
состоит из шести компонентов:
Базовые интуиции для такого подхода к экспликации понятия "акция" приведены здесь. Уточнение этих интуиций для Исчисления Локализованных Цепочек (LCC) изложено здесь (в этом случае результатом действия субъекта y на объект x является конкатенация yx цепочек y и x).