I agree with this. I do not know much about the philosophy of language, so I did not know that this was the consensus on the definitions of words like 'cat'.
I am not sure that there is a possible distinction in this case. It is metaphysically necessary that cats are necessary, but we have not proved it to be synthetic.
Philosophy is notorious for not answering the questions it tackles. Plato posed most of the central questions more than two millennia ago, and philosophers still haven't come to much consensus about them. Or at least, whenever philosophical questions begin to admit of answers, we start calling them scientific questions. (Astronomy, physics, chemistry, biology, and psychology all began as branches of philosophy.)
A common attitude on Less Wrong is "Too slow! Solve the problem and move on." The free will sequence argues that the free will problem has been solved.
I, for one, am bold enough to claim that some philosophical problems have been solved. Here they are: