La logique déontique est la science formelle du devoir-être, comme la simple logique est celle du raisonnement en général.Comme celle-ci, elle a pour principes la réduction au minimum des hypothèses fondamentales, l'emploi universel de l'analyse formelle et le respect de la rigueur. Dans cette démarche, le langage et les intuitions ordinaires, bien qu'indispensables comme sources du savoir, se révèlent trompeurs. Est-il obligatoire que deux et deux fassent quatre ? Est-il obligatoire qu'hier Pierre ait tué Jacques ? De prime abord, ces questions paraissent oiseusesPourtant, l'analyse logique, dans laquelle l'axiomatique se trouve confortée par la sémantique, montre qu'il n'en est rien. Dans la confrontation aux dimensions modales de l'être et du temps, les normes acquièrent un surcroît de signification, ce qui est la preuve, à tout le moins, que notre langage de tous les jours contient beaucoup d'imperfections. En tout cas, il y a un caractère fondamental dans le devoir-être, qui le distingue nettement de modalités anonymes comme celles de l'être ou du temps : c'est le fait qu'il concerne des personnesLa présente é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.