Во-первых
1) "несмотря на огромную популярность формальных направлений..." Здесь упрятана презумпция "формальные направления пользуются огромной популярностью". Что ж, проверим, так ли это. Если имеется в виду генеративизм, то да, его популярность огромна, с этим было бы трудно спорить. Ну, а остальные направления "формализации в лингвистике" отнюдь не пользуются "огромной популярностью". Значит, чтобы не строить рассуждение на основе ложных презумпций, ограничимся рассуждением о генеративизме.