جستجوي پيشرفته | کتابخانه مجازی الفبا

شیخ اشراق با بیان تحویل همه قضایای شرطی، همه حملیهای سالبه و همه حملی های جزئیه به كلیه و همه موجهات غیر ضروری به موجبه كلیه ضروریه مدعی منطق اشراقی در حوزه منطق صورت است. او با روش افتراض، تمام ضروب جزئیه را به كلیه و با روش عدول، تمام سالبه ها را به موجبه معدوله و با روش اشراب موجهات در محمول تمام موجهات را به ضروریه بر گرداند. طبق این روش هر شكلی تنها یك ضرب بیشتر نخواهد داشت. شیخ اشراق در روش اشراقی خود سایر اشكال را به شكل اول تحویل نبرد و نیز قیاس های استثنایی را به اقترانی حملی برنگرداند، ولی با این روش به ضمیمه عكس یا عكس نقیض می توان سایر اشكال را به شكل اول و نیز قیاس های استثنایی را به شكل اول برگرداند و در این مقاله این دو مهم به انجام رسید. بر این اساس با اعمال روش اشراقی و تحویل همه قضایا به موجبه كلیه ضروریه (بتاته) و تحویل همه قیاس هاس استثنایی به اقترانی و همه اقترانی به شكل اول و همه ضروب شكل اول به ضرب اول شكل اول، تمام استدلال ها منحصرا به ضرب اول شكل اول بر می گردد. تنها مشكل در روش اشراقی تحویل سالبه به انتفای موضوع در كلیه ها به معدوله است كه البته این اشكال مانع از اعمال این روش در استدلال ها در علوم نمی شود؛ زیرا سالبه های علوم معمولا ناظر به امور موجودند. بنابراین می توان روش اشراقی را در خصوص سالبه های به انتفای محمول جاری دانست.