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

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

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