خلاصه ماشینی:
"مباحث کتاب در 7 فصل ارائه شده است که به ترتیب عبارتند از:سیر منطق در جهان اسلام،ابن سینا و منطق قضایای شرطی،نظریه قیاسهای موجهه منطقیون مسلمان در قرون وسطی،منطق زمان و نظریه قیاس شرطی ابن سینا،نیکولاس رشر و فرمولبندی نظریه موجهات زمانی ابن سینا،تمایز Dere و De dicto در منطق سینوی و تصویر آن در معناشناسی کریپکی،نظریه ضرورت بتانه سهروردی و سیستم Qs5 کریپکی،مؤلف،سه مقاله از رشر را نیز در این کتاب ترجمه نموده است که به ترتیب،سه فصل اول کتاب را تشکیل میدهد.
سه نتیجه اول عبارتند از:(1)اگر وظیفه علوم مختلف،شناخت اوصاف ضروری،ممکن و ممتنع اشیا باشد،این اوصاف بخشی از واقعیت شیء بوده،در انعکاس ذهنی آن به صورت یک حکم،این معرفت باید در جایگاه محمول و یا بخشی از آن صورتبندی شود و در نتیجه جهت حکم،تنها همان جهت ضرورت است،(2)با فرض اینکه جهت موضوع(عقد الوضع)ممکنه باشد(دیدگاه فارابی)،میتوان از ضرورت بتانه در حوزه منطق موجهات جدید،تفسیر و توجیه روشنی،در سیستم QS5 کریپکی،به دست آورد،(3)ضرورت بتانه مربوط به جهت ضرورت و امتناع،در سیستم QS4 و ضرورت بتانه مربوط به جهت امکان فقط در سیستم QS5 قابل تبیین است و از آنجا که سیستم QS5 شامل سیستم QS$ و در برگیرنده آن است،می-توان نتیجه گرفت که ضرورت بتانه برای تمامی جهات در سیستم QS5 برقرار میباشد."