The dialectic of formalization