Так вот, для применения в реальной коммуникации рабочим интерфейсом для выполнения мета-моделирования является линейный СПИСОК В ПОЛТОРА ДЕСЯТКА ПУНКТОВ ! Т.е. вполне обозримая одним взглядом вещь!

---

Сейчас, как промежуточный этап, БЕЗ погружения во всякие индексные записи и т.д

---

По стандартной схеме силлогизма

---

получается всего 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

---

...

---

в которых выделен принцип сохраняющийся при синхронной смене знака.

Это рисунок для классического силлогизма:

---

Все X eсть M

---

Все М есть Y

---

Для этих X и Y есть еще пары:

---

1.

---

Все X eсть M'

---

Все М есть Y

---

Вывод: Некоторые Х' есть Y

---

2.

---

Все X eсть M'

---

Все М' есть Y

---

Вывод: Все Х есть Y

---

3.

---

Все X eсть M

---

Все М' есть Y

---

Вывод: Некоторые Х' есть Y

---

Как видим есть парное совпадение ответов,

---

но

---

исходные данные отличаются

---

и, наверное, будут отличаться презентации.

Джон трудолюбив.

---

Ни один трудолюбивый человек не несчастен

---

Какой вывод мы можем сделать из этих простых посылок?

---

1. трудолюбив = трудолюбив

---

2. 1 трудолюбив крайнее понятие в посылке с квантором - Все

---

3. Нет квантора "Некоторые" в посылках

---

4. Вывод = Квантор(Все) + обратный термин второй посылки = Джон счастлив

третий тип записей, который я называю "коммуникативным интерфейсом" для реализации навыков логики счисления предикатов в текущей коммуникации (типа КИЛС).

---

Т.е на этом интерфейсе находятся не условия, а уже ОТВЕТ.

---

И сложность создавать, нанося на него условия, и по окончанию этого процесса ОТВЕТ получается "сам собой". Так?

А чем индексная запись удобней расширенных (на три переменных) диаграмм Кэррола?

---

Хм.

---

- Индексная запись очень удобна для решения соритов.

---

- Удобна для мгновенного/не делая записи решения силлогизма (на диаграммы необходимо время, даже если строить в пространстве перед собой)

---

- Строя диаграммы мы все равно обращаемся/делаем эту формальную запись в голове, т.е переворачиваем знак.

---

Например: Все X есть М

---

Ход создания диаграммы:

---

- два черных кружка на XM'

---

- красный кружок на XM

---

- Сейчас с 3-правилами можно делать вывод "не делая даже эту запись". Что я имею ввиду?

---

1. Смотрим совпадающие термины (средние)

---

2. Смотрим Посылки ( есть ли начинающаяся с Некторые...)

---

3. Берем оставшиеся посылки и формируем ответ - выставляя квантор и знак. Все.

---

Ты так и не объяснил тупым обывателем устройство гениального шаблона Кэрролла.

У меня с рефреймингом снова заковыки.

---

Во-первых, с сигналами стала чехарда твориться - иногда прямо чистые непроизвольные всю процедуру идут, например, подергивание мышц, а иногда просто нет. Жду-жду, какие-то очень мелкие есть, но ничего не повторяется по запросу. Иногда просто пропадают на середине, как будто тумблером вырубили. Вообще была полоса, наверно рефреймингов 5-6 вообще ничего не получалось. Потом попробовал с сигналами покачивания тела, в процессе вылез сигнал от возражающей части, и после этого рефрейминга снова прогресс появился.

---

Во-вторых, стало колбасить во время генерации ТЧ новых вариантов. В прямом смысле - тело все подергивается, внутри тоже как будто напряжения/расслабления, как будто что-то перестраивается, часто появляется ощущение вибрации во всем теле, как будто-то тебя кто-то трясет, причем, ощущение довольно приятное.

---

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

Ладно, но ты указывай мне какие слайды в первую очередь ты хотел бы увидеть в моей эээ системе подачи.

---

Как работать с отрицаниями, например:

---

Все Х есть M' (как это будет отражено на слайде?)

---

Или

---

Ни один M' не есть X

---

Ни один M' не есть X'

---

Или, как изобразить на слайде этот силлогизм:

---

П1 - Все m суть x'.

---

П2 - Ни одно m не есть y.

---

В - Ни один Х' не есть Y'