کشف‌الأسرار عن غوامض الأفکار

کتاب حاضر اثر منطقی افضل‌الدین خونَجی است که برای نخستین بار چاپ می‌شود. خونجی در قرن ششم هجری می‌زیست و مهم‌ترین اثر وی کشف‌الأسرار عن غوامض الأفکار است. خالد الرویهب، استاد دانشگاه هاروارد، که تصحیح کشف‌الأسرار را برعهده داشته در مقدمه‌ای مفصل به انگلیسی به زندگی، آثار و نوآوری‌های منطقی خونَجی اشاره کرده است. افزون بر این، مصحح، به نوآوری‌های مهم خونَجی در چند بخش اشاره کرده است: موضوع منطق؛ مقدّم‌های محال و نظریه ارسطو؛ قیاسات شرطی محض با تنها یک حدّ مشترک. همچنین، تأثیر آموزه‌های منطقی خونجی در کشف‌الأسرار بر آثار منطقی بعدی نظیر شمسیة، مطالع‌الأنوار و تهذیب المنطق اشاره شده است. فصل‌های این کتاب عبارت است از: فی المقدّمات/ فی التعریفات/ فی القضایا/ فی التناقض/ فی العکس المستوی/ فی عکس النقیض/ فی القضایا الشرطیة/ فی القیاس/ فی المختلطات/ فی القیاسات الشرطیة الاقترانیة. در این اثر، خونَجی به برخی از آثار مهم نظیر الشفاء، الإشارات و التنبیهات، الحکمة المشرقیة؛ المباحث المشرقیة، الملخص؛ التحصیل؛ بیان الحق بضمان الصدق؛ و المعتبر فی الحکمة اشاره کرده است. نیز خونَجی به دو منطق‌دان، افضل‌الدین بامیانی و شرف‌الدین مراغی، اشاره می‌کند که اطلاع چندانی از آنها تاکنون به‌‌دست نیامده است. در پایان برای دسترسی آسان‌تر به مندرجات کتاب فهرست اعلام و کتاب‌ها قرار گرفته است.