A lógica formal deve muito ao pensamento de Leibniz, um dos grandes entusiastas da ideia de uma linguagem artificial para a apresentação formal das regras do pensamento. O presente volume oferece um panorama das convicções que motivaram o empenho de Leibniz em tal empreitada e das razões que as justificam.