Непосредственным результатом революции, произошедшей в логике в конце ХІХ — начале ХХ в., было возникновение теории, получившей со временем название «классическая логика». В ней впервые была реализована идея перенесения в логику тех методов, которые обычно применяются в математике, и прежде всего методов символизации, аксиоматизации и формализации...

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