The benefit of formal logic is that it is pure syntax.

ECONOMIST: Just what does it mean to prove something?

In terms of formal logic, the problems are the same.

ECONOMIST: Psychopathy

It is to replace, in proofs, standard mathematical reasoning which, in essence, relies on hand-waving arguments (it should be obvious to everyone that B follows from A) with formal logic.

ECONOMIST: Just what does it mean to prove something?

Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.

NEWYORKER: Utopian for Beginners