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.
Description:
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.