Abstract

In this article, we will concentrate on the two true norm definitions that have existed throughout the history of the Deontic Logic: that offered by Professor Kalinowski and that proposed by the semantics of possible worlds. The former is based on Tarski’s definition of the true proposition, but it has the drawback of depending on a concrete, philosophical theory concerning the nature of norms. The latter, widely accepted nowadays, presents difficulties which we will analyse, using as a reference, K. Solt’s critique. Despite its limitations, it offers the indisputable advantage of being independant of any concrete, philosophical option, and indicates, in our opinion, the correct way of proceeding