درآمدی به منطق تکلیف

کمتر از یک قرن است (از سال 1926) که نظامهایی منطقی برای بررسی مفاهیم هنجاری و استنتاجات مربوط به آنها، به وجود آمده است. این نظامها از همان ابتدا با پارادوکس مواجه شدند و همین مواجهه، منطقیون را واداشت دست به تغییراتی در نظامهای ایجاد شده بزنند تا را بر ورود پارادوکسها ببندند. در جریان این تلاشها ابتدا نظام استاندارد و سپس نظام شرطی منطق تکلیف ارائه شد. بحث و بررسی در این زمینه همچنان ادامه دارد و منطقیون درصدند نظامهایی ارائه دهند که هر چه بیشتر و دقیق تر بتوانند مفاهیم هنجاری و استدلالات منطقی مربوط به آنها را بیان کنند.