They no more "refute" other models of language than numerical methods invalidate or refute symbolic math and exact, closed-form solutions.