--Фактически, я пытаюсь привлечь твое внимание к необходимости некоего наглядного интерфейса.--Мгновенно понимать такую последовательность утверждений можно двумя путями:--строить те или иные схемы - (не важно где и как)--стоить образные аналоги - ...--Вот, что выдало мое бессознательное во сне:) Посылка это две двух сторонние фишки, одна из низ средний термин. Подбрасываем и получаем средние термины разного цвета, то другие фишки просто собираем той стороной какой они лежат. Если фишки, средние термины, одного цвета, то вторые фишки берем и переворачиваем. Вот так просто и доступно.Замечательно. Ты решаешь важную задачу как найти, по сути, мнемонический алгоритм для запоминания "исходного правила".Ну, а я пытаюсь решить другую дополнительную задачу нахождения нечто вроде "коммуникативного интерфейса" для текущей реализации навыка правильного распознавания и употребления логики счисления предикатов.Есть прямой аналог. "Исходным правилом" для мета-моделирования являются (в большинстве случаев) являются схемы трансформационной грамматики.Но, для применения в реальной коммуникации схемы трансформационной грамматики невозможны. Их мог напрямую применять один только Джон Гриндер, который к тому же не оставил нам даже подсказки как натренировать эту его способность [ сей момент рассуждения мы считаем, что указанная способность Джона Гриндера была/есть вполне ценная вещь ].Так вот, для применения в реальной коммуникации рабочим интерфейсом для выполнения мета-моделирования является линейный СПИСОК В ПОЛТОРА ДЕСЯТКА ПУНКТОВ ! Т.е. вполне обозримая одним взглядом вещь!--В любом случае, их надо сделать.--Думаю, делаем с тем, что сейчас уже есть, т.е с переводом в формальные схемы и обратноУточняем. Мы делаем две взаимо-дополнительные, но разные между собой вещи:--ты ищешь кэрролловские-"гриндеровские" схемы более емкого и простого прочтения "исходного правила"--а я ищу рабочий коммуникативный интерфейс, для текущей пофразовой реализации навыка счисления предикатов в текущую речь/экспрессию
Уточняем. Мы делаем две взаимо-дополнительные, но разные между собой вещи:--ты ищешь кэрролловские-"гриндеровские" схемы более емкого и простого прочтения "исходного правила"--а я ищу рабочий коммуникативный интерфейс, для текущей пофразовой реализации навыка счисления предикатов в текущую речь/экспрессиюХорошо. Продолжу, что делал, для облегчения прочтения/запоминания
Ладно, но ты указывай мне какие слайды в первую очередь ты хотел бы увидеть в моей эээ системе подачи. Как работать с отрицаниями, например:Все Х есть M' (как это будет отражено на слайде?)ИлиНи один M' не есть XНи один M' не есть X'Или, как изобразить на слайде этот силлогизм:П1 - Все m суть x'.П2 - Ни одно m не есть y.В - Ни один Х' не есть Y'
Так вот, для применения в реальной коммуникации рабочим интерфейсом для выполнения мета-моделирования является линейный СПИСОК В ПОЛТОРА ДЕСЯТКА ПУНКТОВ ! Т.е. вполне обозримая одним взглядом вещь!Сейчас, как промежуточный этап, БЕЗ погружения во всякие индексные записи и т.дПо стандартной схеме силлогизмаполучается всего 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) - M17. M(2) - M08. M'(1) - M'09. M'(1) - M010. M1 - M011. M0 - M'012. M(1) - M1...в которых выделен принцип сохраняющийся при синхронной смене знака.
Мой браузер никаких замков в ваших записях не видит. У меня в момент размещения выскакивала иконка, на которой написано, что мне запрещены комментарии.
Хм. Лист блокировок чист.Я тут в качестве эксперимента купил платный на 2 месяцаСоздал тестовую статью. Оставьте там комментарий.http://bavi.livejournal.com/226827.htmlЯ не буду ее трогать, посмотрю, что с ней станет и вечером еще раз попрошу Вас оставить там комментарий, для теста.А, что во всех записях блокировка комментариев стоит?Я здесь:http://bavi.livejournal.com/224055.html?view=1749047#t1749047оставил под Вашей записью комментарий.Можете на него ответить?