Epicuro: e as bases do epucurismo

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.