Leibniz Logic and Metaphysics