1. Если слова имеют некоторое отображение, ориентирующее на действительный мир, то формальное мышление удаляется от такого отображения. Поэтому в формальном мышлении главным становится отношение между объектами. Однако именно отношения между объектами и представляют отношения между полярностями. Например, в «комплексных числах» кроме полярностей (+) и (—) вводятся, так называемые, «мнимые числа». На самом деле «комплексные числа» имеют полярности +, -, (+?) и (—?). Таким образом, «комплексные числа» образуют четырёхполярные отношения.
2. Формализация делает возможным уму присвоить некоторую общность для многих предметных объектов. Например, в полярность «положительное» входит огромное множество обозначений таких как: «добро», «истина», «здоровье», «успех», «любовь», «друзья» и т. д.
3. Формализация вскрывает необходимость установления законов отношения, иначе, мышление не возможно. С другой стороны, законов отношения не может быть бесчисленное множество. Поэтому отнесение предметных объектов мышления к той или иной полярности делает возможным конкретизировать законы отношения между ними так, что сами законы зависят от числа полярностей в локе. Например, в двухполярном мышлении формально (—)*(—) = (+), (+)*(—) = (—), (+)*(+) = (+). Это будет соответствовать тому, что «болезнь злодеев это хорошо», «укрепление врагов это плохо», «торжество истины это хорошо».
4. Формализация позволяет классифицировать виды мышления и сопоставлять их. Например, для непротиворечивых полярных высказываний (—)*(—) = (—), (+)*(—) = (+), (+)*(+) = (—) будет соответственно «уничтожение злодеев это всё же злодеяние», «могущественные враги развивают», «роскошь друзей приведёт их к деградации». В словесных выражениях может оказаться незаметным, что эти высказывания исключают высказывания в примере п.3 и при совмещении двух видов мышления уничтожат обе системы так как (+)? (—), то есть «добро» и «зло» это одно и то же.
5. В итоге, формализация это обособление полярностей от вещественного содержания и установления законов отношения между ними.
6. Формализованные системы легко проверить на непротиворечивость, используя взаимодействие полярностей по законам отношения между ними. По этой причине в формальных системах, то есть видах мышления, нет никакой неопределённости. Следовательно, ложных высказываний не существует; они появляются при попытке совместить два различных вида ума.
