كتابخانه يكى از عالمان در اصفهان موجود است1.
تأليفات اصولى محقق عبارتاند از:
كتاب معارج الاصول يكى از كتابهاى معتبر اصولى است كه از آغاز تأليف عالمان و فقيهان، بسيار از آن استفاده كردهاند. اين كتاب به گفته مؤلف نه آنقدر مشروح است كه ملالآور باشد و نه به قدرى مختصر است كه باعث مشتبه شدن مباحث گردد. اين كتاب در ده باب تنظيم شده كه در هر يك مبحثى خاص مطرح شده است.
اين كتاب را چنانكه از اجازه شيخ حسن (صاحب معالم) به واسطه پدرش معلوم مىشود شيخ محمدبن احمدبن صالح قسينى، شاگرد محقق حلّى در حضور شاگردان ديگر محقق، نظير محمدبن علىبن طاووس، جمالالدين يوسف شامى و علىبن وزير محمدبن العلقمى قرائت كرده و محقق آن را برايشان شرح داده است؛ بنابراين، روشن مىشود كه اين كتاب از اولين كتابهايى است كه محقق نوشته است. مصحح كتاب «معارج الاصول» در مقدمه آن آورده كه شرحى بر اين كتاب به نام «نظام الفصول فى شرح نهج الوصول فى علم الاصول» از شيخ فتحاللهبن علوان كلبى موجود است2.
تنها كتابى كه از محقق حلّى در اين زمينه به چشم مىخورد النكهة يا الكهنة فى المنطق است. اين كتاب را شاگرد رجالى محقق، ابنداود از تأليفات استادش دانسته است. برخى آن را الكهانة فى المنطق و برخى كنز المنطق نيز
1. رضا استادى، مقدمه كتاب المسلك فى اصولالدين، ص 18. 2. محمدحسين رضوى، مقدمه كتاب معارج الاصول، ص21.