> Pure logic can only work correctly with reasonable premises. But it can't provide us with those premises. We can only construct, refine, and share those through natural language.

Have you ever looked into formal verification or assisted theorem provers? There's a branch of math called "constructive mathematics" that utilizes them where formerly natural language would have been used, in an attempt to codify them and get productivity gains.