Formalization plays an important role in semantics. Doing semantics and following the literature requires considerable technical sophistica- tion and acquaintance with quite advanced mathematical techniques and structures. But semantics isn't mathematics.
Israeli linguist.