در این پایان نامه، نخست مقدمات و کلیاتی از مفهوم تصمیم نابرداری ارائه شده است. در وهله بعد، سیستم هایِ منطق زمان ابن سینا و پیشینه کارهایی که در این زمینه ارائه شده است را بیان کرده ام. در وهله بعد از آن تصمیم نابرداری منطق مرتبه اول را اثبات کرده ام.