التنقيح في المنطق: تفاوت میان نسخه‌ها

وی در بخش بیان روش‌های عمده منطق‎نگاری میان مسلمانان، روش‌ای منطق‎نگاری نُه‌بخشی، دوبخشی و تلفیقی را بیان می‌کند. «مدخل، مقولات، عبارت و هفت فصل نخست قیاس (تا پایان اشکال وجودی و قیاس‎های حملی) تا قرن سوم توسط معلمان مسیحی در مدارس آموزش داده می‌شد... هنگامی که مسلمانان خود اداره مدارس و امر آموزش را به دست گرفتند، آموزش منطق شامل همه بخش‌های نه‌گانه شد.

اشراق اول با عنوان «ایساغوجی» علاوه بر کلیات پنج‎گانه، شامل تعریف منطق و دلالت‎شناسی و نسبت‎های چهارگانه است. اشراق دوم در «اقوال شارحه» است. اشراق سوم با تعبیر ارسطویی «باری‌ارمیناس» به بحث از تعریف و اقسام قضیه می‌پردازد. اشراق چهارم «موجهات»، «تناقض» و «عکس» را مورد بحث قرار می‌دهد. اشراق پنجم با عنوان «ترکیب ثانی» به بحث از قیاس می‌پردازد. ارسطو بحث از قیاس را تحت عنوان «تحلیل اوّل» آورده است. [[صدرالدین شیرازی، محمد بن ابراهیم|ملاصدرا]] عنوان «ترکیب ثانی» را از خواجه طوسی متأثر است که تألیف قیاسی را در برابر تألیف قضیه، تألیف یا ترکیب ثانی می‌نامید. اشراق ششم به «قیاس خلف» اختصاص دارد و اشراق هفتم به بیان اقسام سه‌گانه «استدلال» می‌پردازد. اشراق هشتم و نهم به‌ترتیب در «برهان» و «مغالطه» است که بیش‎وکم به روش اشارات نگارش یافته‌اند. التنقيح علاوه بر ساختار منطقی به‌لحاظ تحلیل مسائل منطقی نیز به روش دوبخشی است.<ref>[https://www.noorlib.ir/View/fa/Book/BookView/Image/35059/2/15 ر.ک: همان، صفحات پانزده تا هفده]</ref>.