There was a time when people thought SAT and formal logic is the way to building AI. Now you don't hear anything about it. I wonder what happened?
In the specific context of language there was a famous debate between Chompsky and Norvig that touches on these themes: http://norvig.com/chomsky.html
I believe events of recent years have not been kind to Chompsky's side of this debate. I'm less bullish on large language models turning into AGI than many people here, but I think if we do develop AGI it's a certainty it will be a based on probabilistic models, not logically consistent formalisms alone.
The overheads are huge, and it's very bad at dealing with fuzzy situations.