I have had good experiences sharpening my ideas by striving to formalize them, into propositional or predicate logic, into running code, or (more recently) into bayesian networks.

Of course, formalization as a technique for improving arguments may not be useful for everybody.