Linguists have been working on a formal syntax for natural language for more than a hundred years and still haven't succeeded completely. I'd say formal logic i

Linguists have been working on a formal syntax for natural language for more than a hundred years and still haven't succeeded completely. I'd say formal logic is a language, not the reverse. You have to take away a lot of what we do with language to get it to work as a logical system.