Ars characteristica, logical calculus, and natural languages