"Da Kant a Leibniz" è il primo volume dell'opera di Francesco Barone "Logica formale e logica trascendentale" che è stata un punto di riferimento per gli studiosi di Logica e più in generale di Filosofia della scienza. I campi specifici dell'opera sono molteplici: da quello della logica formale o simbolica nella sua stretta parentela con la ricerca matematica, a quello della ricerca filosofica in genere e dei suoi specifici rapporti con la ricerca scientifica.