À la suite d'Emmanuel Kant, il a affirmé contre John Stuart Mill le caractère a priori de la vérité nécessaire, et par ses règles pour la construction des conceptions qu'il a dispensées avec les méthodes inductives de Mill.
Mill J.S. 1836.