Not sure we’re talking about the same thing here. I was replying to your claim that nothing in philosophy (apart from mathematics) can be formalized. The role of logic is not to solve the metaphysical problem of infinite regress.
Subject to all the constraints of formal language theory/linguistics.
It fails to address the symbol-grounding problem.