نرم‌افزار کتابخانه تخصصی و معجم موضوعی منطق

کتابخانه تخصصی و معجم موضوعی منطق
نام عربی	المعجم الموضوعي للمنطق
مخاطب	طلاب، دانشجویان، اساتید، پژوهشگران علوم و معارف اسلامی
تولید کننده	مرکز تحقیقات کامپیوتری علوم اسلامی
کشور تولید کننده	ایران
زبان واسط کاربری	فارسی عربی انگلیسی
زبان منابع	فارسی، عربی، فرانسوی، انگلیسی
تعداد کتاب‌ها	83 عنوان کتاب عربی:65 فارسی: 25 فرانسوی: 1 انگلیسی:1
سیستم عامل مورد نیاز	ویندوز
شماره شناسنامه نرم افزار	802202-06472
وبگاه رسمی	نور سافت
وبگاه خرید	نور شاپ
اجرای آنلاین	پیشخوان برخط نرم افزارهای نور

نرم‌افزار کتابخانه تخصصی و معجم موضوعی منطق فرهنگ موضوعی 12 عنوان کتاب از مهم‌ترین منابع علم منطق، ارائه متن 120 عنوان کتاب و رساله از آثار منطقی در قسمت کتابخانه تخصصی

ضرورت و اهداف تولید برنامه

یکی از آمال و آرزوهای همه محققان و پژوهشگران علم منطق، دستیابی سریع و آسان به آرا و نظریات منطقی دانشمندان این فن در آثار و کتب آنهاست. این مهم با تولید برنامه حاضر تأمین شده است. ما امروز مفتخریم که توانسته‌ایم بسیاری از آثار مهم علم منطق را در قالب تحلیل موضوعی، خدمت پژوهشگران و اساتید این فن تقدیم نماییم.

قابلیت‌های نرم‌افزار

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

1. تفکیک رساله‌ها و مجموعه مصنفات و قرار دادن نام هر رساله و کتاب به‌صورت جداگانه در قسمت فهرست کتاب‌ها؛
2. مرتب‌سازی لیست کتاب‌ها بر اساس اولویت قرن و وفات و قرار دادن شروح و تعلیقات در کنار کتب متن؛
3. لینک شرح‌ها و تعلیقات و ترجمه‌ها به کتب؛
4. استفاده از قالب جدید کتابخانه نور؛

و...

پیشینه

مرکز تحقیقات کامپیوتری علوم اسلامی از همان سال‌های آغازین فعالیت خود، تحلیل آثار فلسفی و منطقی را در اولویت کاری خود قرار داد؛ لذا برنامه «نور الحكمة 3»، مشتمل بر بسیاری از کتب فلسفی و منطقی را با امکانات ویژه تولید کرد و در اختیار محققان نهاد. کاستی‌های برنامه حاضر

1. عدم تحلیل موضوعی برخی از کتب مهم منطقی (إن‌شاءالله این مهم در آینده‌ نه‌چندان دور محقق خواهد شد)؛
2. خالی بودن جای برخی از کتب منطقی در کتابخانه این مجموعه، به دلیل عدم رضایت مالکین (اعم از نویسنده، محقق و ناشر).

دامنه محتوایی برنامه

الف)-‌ آثار منطقی‌ای که در این نرم‌افزار به‌صورت موضوعی مورد تحلیل قرار گرفته‌‌اند و عبارتند از:

1. الإشارات و التنبيهات؛
2. الشفاء؛
3. شرح المنظومة؛
4. جوهر النضيد؛
5. حكمة الإشراق؛
6. اللمعات المشرقية؛
7. التصور و التصديق؛
8. منطق المشرقيين؛
9. أساس الاقتباس؛
10. التعليقات علی شرح حكمة الإشراق؛
11. شرح حكمة الإشراق لقطب‌الدين الشيرازي؛
12. شرح حكمة الإشراق للشهرزوري.

ب)-‌ آثار منطقی موجود در قسمت کتابخانه نرم‌افزار، حاوی 88 عنوان از مهم‌ترین کتب این فن.

«کلیه حقوق مادى و معنوى این نرم‌افزار، متعلق به مرکز تحقیقات کامپیوترى علوم اسلامى مى‌‏‌باشد».