А как учесть, что в суждении "Все Х есть Y" зашито много других, например:...Контекст, в котором учитываются/просчитываются эти "много других" не является:--коммуникативным контекстом, в котором реализуется аптайм...такой контекст является не контекстом коммуникации, но он является контекстом "обдумывания", контекстом даунтайм.
Надеюсь до меня дошло.В коммуникативном контексте не может быть/не учитываем отрицаний. Нас интересуют суждения/записи без отрицания.Все X есть Y = Некоторые Y есть X
(1) В коммуникативном контексту не учитываем малоупотребительные замороченные описания.(2) В коммуникативном контексте нам нужны интерфейсы, которые подсказывают правильное логическое счисление, но, эти интерфейсы не должны быть чрезмерно сложные. Но, даже интерфейс логической игры ЛК, кажется, слишком сложный, чтобы быть коммуникативным интерфейсом.