A lógica formal deve muito ao pensamento de Leibniz, um dos grandes entusiastas da idéia de uma linguagem artificial para a apresentação formal das regras do pensamento. O...