Wittgenstein obliterates any hope of formalizing language, yeah.

I think modeling language usefully looks a lot more like psychoanalysis than first order logic.