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, dedicou parte expressiva de seus escritos à árdua tarefa de elaborar um sistema simbólico apropriado. Esse volume oferece um panorama das convicções que motivam seu empenho em tal empreitada, bem como das razões que as justificam.