U3
0

U3

А вообще хорошая статья x)
> Принцип строго разделения типов информации. Любое простое утверждение (то есть то, которое нельзя разложить на отдельные составляющие) относится строго к одному аспекту информации

Тут не соглашусь. С моей точки зрения, есть абсолютно тимно-нейтральные утверждения, а ТИМ зачастую возникает только на каком-то определенном уровне, если рассматривать весь текст в целом, например. То есть, любое предложение состоит из слов, слова из букв, но одного слова (тем более одной буквы) недостаточно, чтобы делать вывод, какой посыл несет это предложение или текст в целом. Текст может быть грустным, веселым, еще каким-нибудь, а само по себе слово «текст» или буква «т», они какие, веселые, грустные? Они никакие, потому что на этом уровне еще нет подобных смыслов. Та же тема и в типировании, отдельное действие/предложение/утверждение может не нести вообще никакой смысловой нагрузки с точки зрения информационного метаболизма или нести крайне нечеткую нагрузку (по ассоциации, слово «грустно» может встречаться и в предложении, общий посыл которого совсем даже не грустный), поэтому часто нужно рассматривать весь текст, всю выборку и всю совокупность действий, чтобы делать выводы. А если разделить все до элементарных блоков и пытаться оценивать с точки зрения информационного метаболизма только их, упуская, что целое всегда больше простой арифметической совокупности его частей, получится грустяшка.
Думаю, «за чувство своего места в мире и за некое внутреннее обоснование это место занимать» еще и настоящее в темпористике отвечает. А воля, ну, косвенно и этот момент затрагивает, конечно, но лишь как один из.