--Фактически, я пытаюсь привлечь твое внимание к необходимости некоего наглядного интерфейса. --Мгновенно понимать такую последовательность утверждений можно двумя путями: --строить те или иные схемы - (не важно где и как) --стоить образные аналоги - ... --Вот, что выдало мое бессознательное во сне:) Посылка это две двух сторонние фишки, одна из низ средний термин. Подбрасываем и получаем средние термины разного цвета, то другие фишки просто собираем той стороной какой они лежат. Если фишки, средние термины, одного цвета, то вторые фишки берем и переворачиваем. Вот так просто и доступно.
Замечательно. Ты решаешь важную задачу как найти, по сути, мнемонический алгоритм для запоминания "исходного правила".
Ну, а я пытаюсь решить другую дополнительную задачу нахождения нечто вроде "коммуникативного интерфейса" для текущей реализации навыка правильного распознавания и употребления логики счисления предикатов.
Есть прямой аналог. "Исходным правилом" для мета-моделирования являются (в большинстве случаев) являются схемы трансформационной грамматики.
Но, для применения в реальной коммуникации схемы трансформационной грамматики невозможны. Их мог напрямую применять один только Джон Гриндер, который к тому же не оставил нам даже подсказки как натренировать эту его способность [ сей момент рассуждения мы считаем, что указанная способность Джона Гриндера была/есть вполне ценная вещь ].
Так вот, для применения в реальной коммуникации рабочим интерфейсом для выполнения мета-моделирования является линейный СПИСОК В ПОЛТОРА ДЕСЯТКА ПУНКТОВ ! Т.е. вполне обозримая одним взглядом вещь!
--В любом случае, их надо сделать. --Думаю, делаем с тем, что сейчас уже есть, т.е с переводом в формальные схемы и обратно
Уточняем. Мы делаем две взаимо-дополнительные, но разные между собой вещи:
--ты ищешь кэрролловские-"гриндеровские" схемы более емкого и простого прочтения "исходного правила" --а я ищу рабочий коммуникативный интерфейс, для текущей пофразовой реализации навыка счисления предикатов в текущую речь/экспрессию
Уточняем. Мы делаем две взаимо-дополнительные, но разные между собой вещи:
--ты ищешь кэрролловские-"гриндеровские" схемы более емкого и простого прочтения "исходного правила" --а я ищу рабочий коммуникативный интерфейс, для текущей пофразовой реализации навыка счисления предикатов в текущую речь/экспрессию
Хорошо. Продолжу, что делал, для облегчения прочтения/запоминания
Так вот, для применения в реальной коммуникации рабочим интерфейсом для выполнения мета-моделирования является линейный СПИСОК В ПОЛТОРА ДЕСЯТКА ПУНКТОВ ! Т.е. вполне обозримая одним взглядом вещь!
Сейчас, как промежуточный этап, БЕЗ погружения во всякие индексные записи и т.д По стандартной схеме силлогизма получается всего 12 правил как форм мета-модели. Какие это формы КИСПа (если я правильно уловил связь) 1. M(1) - M(1) 2. M(1) - M(1) 3. M(1) - M(2) 4. M(1) - M'(2) 5. M(2) - M'(2) 6. M'(2) - M1 7. M(2) - M0 8. M'(1) - M'0 9. M'(1) - M0 10. M1 - M0 11. M0 - M'0 12. M(1) - M1 ...
в которых выделен принцип сохраняющийся при синхронной смене знака.
Мой браузер никаких замков в ваших записях не видит. У меня в момент размещения выскакивала иконка, на которой написано, что мне запрещены комментарии.