![[userpic]](http://localhost:4000/images/none.gif)
Re: Интерфейс КИЛС поддержания логики счисления предик ↑
bavi в посте Metapractice (оригинал в ЖЖ)
---Для КИЛСА на этом все заканчивается.
А как учесть, что в суждении "Все Х есть Y"
зашито много других, например:
-Ни один x не есть не-y
-Некоторые y суть x
-Некоторые y суть не-x
-Некоторые не-x суть не-y
... т.д
каждый из которых можно нарисовать по другому
3 комментария
сначала старые сначала новые
А как учесть, что в суждении "Все Х есть Y" зашито много других, например:...
Контекст, в котором учитываются/просчитываются эти "много других" не является:
--коммуникативным контекстом, в котором реализуется аптайм
...такой контекст является не контекстом коммуникации, но он является контекстом "обдумывания", контекстом даунтайм.
Контекст, в котором учитываются/просчитываются эти "много других" не является:
--коммуникативным контекстом, в котором реализуется аптайм
...такой контекст является не контекстом коммуникации, но он является контекстом "обдумывания", контекстом даунтайм.
Надеюсь до меня дошло.
В коммуникативном контексте не может быть/не учитываем отрицаний. Нас интересуют суждения/записи без отрицания.
Все X есть Y = Некоторые Y есть X
В коммуникативном контексте не может быть/не учитываем отрицаний. Нас интересуют суждения/записи без отрицания.
Все X есть Y = Некоторые Y есть X
(1) В коммуникативном контексту не учитываем малоупотребительные замороченные описания.
(2) В коммуникативном контексте нам нужны интерфейсы, которые подсказывают правильное логическое счисление, но, эти интерфейсы не должны быть чрезмерно сложные. Но, даже интерфейс логической игры ЛК, кажется, слишком сложный, чтобы быть коммуникативным интерфейсом.