Я имел в виду, что формализация- это язык на котором можно объясняться. Метафоричен он или формален со стандартной логикой (вот нечёткая логика применяется в машинном обучении - и как, это ведь тоже формализация. Но уже чуть менее жёсткая) - вторично. Главное, чтобы понимали. Претензия на то, чтобы понимали все - мне кажется безосновательной. Грань между потенциальной возможностью понять и реальной настолько велика в некоторых областях, что странно говорить, скажем, что Ваш биологический язык является формализацией. Да, наверное, потратив несколько лет на изучение всего и вся, я смогу понимать тонкости биологии(а формальность нужна именно ради тонкостей). Но реально этого никогда не произойдёт.