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.