I sin store (1837) behandlet han logiske, kunnskapsteoretiske og psykologiske spørsmål og foregrep dermed flere viktige læresetninger i moderne logikk. Blant annet gjorde han et skarpt skille mellom ideens opplevelse og ideens innhold, som finnes uavhengig av opplevelsen.