В основу машинной модальной многозначной пропозициональной логики возьмём аксиологическую логику, разработанную профессором А.А. Ивиным из Москвы. Согласно аксиологической логики определим, что машинный язык позволяет логически описать внешний мир и пространство. Его можно употреблять, как для описания действительности, характеризуемое в терминах или , так также осуществить их оценку выступающую как стандарт, перспектива, план действий. Машинное описание и машинная оценка являются двумя полюсами, между которыми имеется множество переходов. Машинные экспрессивы близки к машинным описаниям...

В комментариях к статье о разрядности и точности машинных вычислений совершенно неожиданно возникла небольшая дискуссия, которая к собственно вычислениям имела не самое прямое отношение. Она была гораздо шире вопросов систем счисления, математической логики, схемотехники. Можно сказать, что она затрагивала и философские вопросы, и мировоззренческие. Прошло уже две недели, была опубликована и другая статья, казалось бы, вопрос остался в прошлом... Почему же я вспомнил о нем? Прошлая неделя выдалась довольно напряженной...