En "Nuevas experiencias" (Libro 4), Leibniz hizo un análisis deductivo de la lógica tradicional, mostrando que las figuras 2 y 3 del silogismo pueden obtenerse como consecuencia del modo "Barbara" usando la ley de la contradicción, y la 4ta figura.