التنقیح فی المنطق
((التنقیح)) که اثری است منسوب به ملاصدرا نوشته کوتاهی در دانش منطق است که براساس ساختار نهگانه این علم تدوین شده است .کلیات خمس، قاطیغوریاس، قضیه، قیاس و صناعات پنجگانه عناوین بخشهای کتاب را تشکیل میدهد .مصحح در ابتدا، جایگاه تاریخی التنقیح را در پنج قسمت به این شرح بیان داشته است :((روشهای عمده منطق نگاری نزد دانشمندان مسلمان))، ((ساختار التنقیح))، ((تحلیل آرای ملاصدرا در منطق))، ((ویژگیهای نگارش)) و ((شیوه تصحیح التنقیح)) .در پایان کتاب فهرست مفاهیم و اصطلاحات چاپ شده است .گفتنی است این کتاب براساس سه نسخه کتابخانه مجلس شورای اسلامی و یک نسخه کتابخانه دانشکده الهیات دانشگاه تهران تصحیح گردیده است .