La logique déontique est la science des principes de l'analyse formelle du devoir-être. Le devoir-être concerne des personnes. Cette étude exploite au maximum cette relation des normes aux individus, montrant notamment tout le profit qu'on peut tirer du regroupement de ces derniers en ensembles, au sens mathématique du terme.