Leopardi tra Leibniz e Locke