به گزارش فرهنگ امروز به نقل از مهر؛ کتاب «خلاصه الأفکار و نقاوه الأسرار» تک‌نگاشت منطقی «اثیرالدین ابهری» به اهتمام «مهدی عظیمی» و با همکاری «هاشم قربانی» تصحیح و از سوی موسسه پژوهشی حکمت و فلسفه ایران روانه بازار نشر شد.
اثیرالدین مفضّل‌بن عمر ابهری، متکلّم، فیلسوف، منطق‌دان، ریاضی‌دان، و ستاره‌شناس پرآوازۀ ایرانی است که در دهۀ ۵۹۰ هجری در ابهر زاده شد و در دهۀ ۶۵۰ در شبستر درگذشت. وی شاگرد ریاضی‌دان بلندپایه، کمال‌الدین موصلی؛ و استاد منطق‌دان برجسته، دبیران کاتبی قزوینی، دانشمند بزرگ، خواجه نصیرالدین طوسی (دست‌کم به اندازۀ تعلیم اشارات)، و تاریخ‌نگار پرآوازه، ابن‌خلّکان بود.
خلاصة الأفکار و نقاوة الأسرار تک‌نگاشت منطقی ابهری است که مروری بر فهرست بخش‌ها و فصل‌های آن در همان آغاز بر ما نمایان می‌سازد که نویسندۀ کتاب نه یک مقلّد صرف، بل مجتهدی تمام‌عیار است که با فحول منطق دورۀ اسلامی، یعنی فارابی، ابن‌سینا، و فخر رازی، پنجه در پنجه درافکنده است. نیز چالش نقادانۀ او با منطق‌دانان معاصرش ـ کسانی چون زین‌الدین کشّی ـ که، بدون ذکر نام، با تعابیری مانند «بعضهم»، «بعض المتأخرین»، و «بعض من تبع الإمام» از آنها یاد می‌کند، نشانگر آن است که بحث‌های منطقی در زمانۀ نگارش این کتاب، یعنی سدۀ هفتم، چه مایه زنده و پویا بوده‌اند.
این اثر به اهتمام مهدی عظیمی، عضو هیئت علمی دانشگاه تهران، و با همکاری هاشم قربانی، عضو هیئت علمی دانشگاه امام خمینی(ره) قزوین تصحیح و در بهار ۱۳۹۷ از سوی مؤسسۀ پژوهشی حکمت و فلسفۀ ایران روانۀ بازار منتشر شد. «مهدی عظیمی» در مقدمۀ تحلیلی مفصّلی که بر متن تصحیح‌شدۀ خلاصة الأفکار نوشته است، منطق ابهری در این کتاب را ذیل ۲۶ سرفصل تحلیل کرده است:
۱. بساطت تصدیق
۲. پارادوکس مجهول مطلق
۳. بداهت تصوّرات
۴. تعریف‌پذیری ماهیات
۵. موضوع منطق: تصورات و تصدیقات
۶. ناکارآمدی دلالت التزامی
۷. وجود: مبدأ تشخص متافیزیکی جوهرها
۸. کشف گزارۀ طبیعی (قضیۀ طبیعیه)
۹. درک شهودی از قاعدۀ معرفی سور وجودی
۱۰. تسویر محمول
۱۱. گزاره‌های حقیقی و خارجی (حقیقه و خارجیه)
۱۲. سامان‌دهی گزاره‌های وجهی (موجهه)
۱۳. نقیض گزارۀ جزئی مرکّب
۱۴. عکس مستوی در گزاره‌های حملی
۱۵. عکس مستوی در گزاره‌های شرطی متصل
۱۶. عکس نقیض در گزاره‌های حملی
۱۷. عکس نقیض مقید
۱۸. عکس نقیض در گزاره‌های شرطی متصل
۱۹. هم‌ارزی میان گزاره‌های شرطی متصل
۲۰. هم‌ارزی میان گزاره‌های شرطی منفصل
۲۱. شروط انتاج در قیاس‌های حملی
۲۲. قیاس‌های وج