Re: Интерфейсы аптайм содержат готовые ответы ↑

bavi 19 декабря 2013, 16:28 в посте Metapractice (оригинал в ЖЖ)

Аптайм не запрещает обдумывания, но оно требует реализации обдумывания во "внешнем" контексте, а не в погружении во внутреннее обдумывание.

На некоторое время забыл эту тему и вот после прочтения этой мысли, пришло на ум вот, что:

- задача что-то сделать с минусом/переворачиваем знака (что есть даунтайм), но мне кажется он присутствует уже и ничего переворачивать не надо, только прописать/найти новую закономерность.

О чем я говорю. Например, у нас есть условие:
Все Х есть M
Все M есть Y
Ответ здесь уже записан XY

Далее:
Все Х есть M'
Все M есть Y
Ответ здесь X'Y. Получается он уже присутствует в самой записи, когда мы убираем М, то остается в верхней строке X', а в нижней просто Y

(Здесь есть еще разборка с кванторами, но это потом)

Как-то так. Эта мысль пришла сразу как прочитал ответ. Записал. Не проверял на большом массиве условий. Вопрос заключается, точно ли я уловил условия создания интерфейса?

Вторая идея. Можно внешние рассуждения/переворачивания вести через вопросы по ходу коммуникации.