Мне тут пришел в голову аргумент за всеобщее обучение программированию.
Человеческое мышление
крайне иррационально. Когда человек общается с человеком, один исправляет, дополняет и усиливает ошибки и когнитивные искажения другого. Формальная система просто не дает вам ошибаться, заблуждаться и быть неточным. Общение с формальной системой способствует «выпрямлению» мышления или, по крайней мере, дает представление о том, как можно было бы мыслить правильно.