logica simbolica è un tentativo di formalizzare il pensiero . Questa impresa è iniziato con Aristotele , ma assunse il suo sapore moderno con Leibniz che immaginare un tempo in cui le persone che erano in disaccordo potevano posare e calcolare la risposta a ogni proposizione . Le versioni moderne della logica confrontano sempre di […]