Metafisica, logica, matematica: Leibniz, Boole, Rosmini