لوح فشرده نرم افزار کنزالحکمه 2: معجم موضوعی منابع منطق

کنز الحکمه (2) نرم افزاری در زمینه علوم عقلی اسلامی است. این برنامه در برگیرنده دو نوع اطلاعات است: 1)نمایه ها و چکیده های 14منبع مهم منطقی 2) اصطلاحنامه علم منطق.

1) نمایه ها و چکیده های منابع منطقی
بخش اول محتوای این نرم افزار چکیده ها، نمایه ها و کلیدواژه های منابع منطقی است.
چکیده و نمایه هایی که در این نرم افزار آمده است مربوط به کتابهای ذیل است:
1. المنطقیات، ج1، الفارابی، قم، مکتبة آیةالله المرعشی النجفی، 1408ق؛
2. المنطق، ابن زرعة، بیروت، دارالفکر، چاپ اول، 1994م؛
3. التحصیل، بهمنیار بن المرزبان، تهران، موسسه انتشارات و چاپ دانشگاه تهران 1375ش؛
4. معیار العلم فی فن المنطق، ابوحامد غزالی، بیروت، دار و مکتبة الهلال، چاپ اول 1993م؛
5. محک النّظر، ابوحامد غزالی، بیروت، دارالفکر، چاپ اول 1994م؛
6. البصائر النصیریة، سهلان الساوی، تهران، نشر شمس تبریزی، چاپ اول، 1383ش ؛
7. منطق التلویحات، سهروردی، تهران، انتشارات دانشگاه تهران، چاپ اول، 1334ش ؛
8. منطق حکمة الاشراق (مندرج در مجموعه مصنفات شیخ اشراق جلد دوم)، سهروردی، تهران، پژوهشگاه علوم انسانی و مطالعات فرهنگی، چاپ سوم، 1380ش؛
9. اللمحات (مندرج در مجموعه مصنفات شیخ اشراق جلد چهارم)، سهروردی، تهران، پژوهشگاه علوم انسانی و مطالعات فرهنگی، چاپ سوم، 1380ش؛
10. شرح عیون الحکمة، فخر رازی، تهران، موسسة الصادق لطباعة و النشر، چاپ اول، 1373ش؛
11. کشف الأسرار عن غوامض الأفکار (پایان نامه)، افضل الدین خونجی، دانشگاه تهران، 1372-1373ش؛
12. درةالتاج ج1، قطب الدین شیرازی، تهران، انتشارات حکمت،چاپ سوم، 1369ش؛
13. القواعد الجلیة فی شرح الرسالة الشمسیة، علامه حلی، قم، موسسة النشر الاسلامی چاپ اول، 1412ق؛
14. شرح المطالع فی المنطق، قطب رازی، قم، انتشارات کتبی نجفی.
در معرفی این آثار مهم از منطق دانان مسلمان مناسب است که بیافزاییم:
هرچند بنیان گذار این رشته علمی، فیلسوف شهیر یونانی ارسطو است اما، نقش ویژه نوآوریهای منطقدانان مسلمان در رشد و گسترش و تکامل این رشته علمی، امری تردیدناپذیر است. فارابی، ابن سینا، محقق طوسی، قطب الدین شیرازی و قطب الدین رازی و شیخ اشراق از جمله بزرگ ترین منطق دانانی هستند که مراجعه به آثار آنها برای دست یابی به نوآوری های مسلمانان و فهم و تبیین منطق مسلمانان بیش ترین کاربرد را دارد.

2) اصطلاح نامه علم منطق
اصطلاحنامه ای که در این نرم افزار ارائه شده است مربوط به اصطلاحات علم منطق است. این اصطلاحات از حدود 67 عنوان (76 مجلد) منابع منطقی و حدود 57 عنوان و 72 مجلد کتاب فلسفی و کلامی استخراج و همه اصطلاحات و روابط آنها به منابع و تعاریف شان مستند شده است.

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