La Logique déductive

À partir de 1951, on a commencé à parler de la logique déontique, à la suite d'une étude de G. H. von Wright. Vingt ans plus tard, Georges Kalinowski, dans « La logique des normes », a étudié ce nouveau champ de la pensée, et retracé l'histoire de la logique des normes. Dans le présent livre, il montre comment les racines de la logique déontique et de la logique des normes - qu'il convient de distinguer - se trouvent dans la logique déductive, ce qui permet la compréhension, même de celle-ci, dans ses développements et ses virtualités. Modèle de la structure de toute science, la logique déductive permet l'étude du système des normes juridiques, dès lors que la spécificité de celui-ci est respectée. Dans la ligne de l'École de Varsovie, le nouvel ouvrage de Georges Kalinowski montre comment certaines thèses du calcul propositionnel, que l'auteur expose selon la méthode axiomatique et selon la déduction naturelle, ainsi que des thèses du calcul des prédicats constituent les fondements logiques de la logique des normes. La logique déductive utilise un langage-objet, mais sa description nécessite le recours à un métalangage. L'ouvrage en totalité intéresse fortement tous ceux qui ont affaire aux normes, d'abord les théoriciens du droit et de la morale.