Otherwise for me it all looks like words juggling continuing for many centuries. They really should implement a programming language for philosophy and outsource the hard parts to Ukraine.
They haven't made a ton of progress (I mean that as a statement of fact, not disrespect), and tend to tackle much more primitive, foundational problems than what the Continental philosophers like to deal in ("what is the meaning of everything" and all that).
Turns out it's a pretty hard problem to even pin down exactly what a word means, or what a name is, much less what the meaning of everything is. The trick is, those questions are the axioms. And so the act of asserting them is a philosophical act in and of themselves. The rest is just moving stones around.
> They haven't made a ton of progress
But they progress is what should be provable and repeatable, like the real science requires? So probably, this kind of progress is the only real one in the field?
But when you're trying ask big questions about the nature of truth itself, a proof doesn't get you very far! You're trying to get at the thing that has to be assumed as a prior or axiom in order for the proof machinery to do what it does. Given our current understanding of the universe, a proof in any formal system can never tell you "why" the thing that it proved was true. Just how it got there.