On the Purity of the Art of Logic. The Shorter and Longer Treatises