آثار مرتبط با شخصیت ها | کتابخانه مجازی الفبا

این نوشتار حاصل میزگردی، با حضور جناب دکتر لطف‌الله نبوی، حجت‌الاسلام والمسلمین عسکری سلیمانی و چند تن از استادان و محققان مرکز دائرهْْ‌‌المعارف علوم عقلی اسلامی است که در باب نقش منطق‌دانان مسلمان، به ویژه فارابی و ابن‌سینا، در پیشرفت و گسترش علم منطق و همچنین دربارة ادعای رِشِر مبنی بر تقسیم منطق اسلامی به مکتب شرقی و مکتب غربی، به بحث و گفت‌وگو پرداخته‌اند.

گسترش علوم و گوناگونى اطلاعات، بشر را واداشته تا امکانات علمى‌اى فراهم آورد که اطلاعات، سریع و دقیق براى جویندگان به دست آید. یکى از این نوع امکانات دائرة‌المعارف‌نگارى است, و دیگرى اصطلاح‌نامه‌نویسی؛ تا در آن، ساختار و هندسه یک علم و نیز جایگاه یک اصطلاح در ساختار آن علم و روابط آن با اصطلاحات دیگر روشن شود. در این مقاله، اصطلاح‌نامه منطق معرفى مى‌شود و با تأمل در کاستى‌هاى آن پیشنهادهایى ارائه مى‌گردد.

بنابر قاعدة فرعیت، ثبوت محمول برای «موضوع» فرع ثبوت مثبت له (موضوع) است، نه فرع ثبوت محمول ثابت (محمول). بر این قاعده، در مواردی از جمله در حمل ذاتیات بر ذات و حمل وجود بر ماهیت اشکال می‌شود. این اشکال، پاسخ‌های گوناگونی دارد. یکی از پاسخ‌ها این است که قاعده در هلیات بسیطه جاری نمی‌شود؛ زیرا مفاد آن همچون ثبوت محمول برای موضوع (ثبوت شی لش‍ئ) نیست. پاسخ دقیق‌تر از صدرالمتألهین است که بنابر اصالت وجود، ماهیت عارض بر وجود و فرع بر آن است و در واقع، قضیه از باب عکس الحمل است. مفاد دیگر قاعده این است که ثبوت محمول برای موضوع، فرع ثبوت محمول نیست. چه بسا محمول عدمی بوده و برای موضوع، ثابت باشد. از نظر صدرالمتألهین‌ـ پیرو شیخ الرئیس‌ـ تا محمول وجود نداشته باشد، صفت برای موضوع قرار نمی‌گیرد. بنابراین، محمول عرضی گونه‌ای موجود است.

صدرالمتألهین منطق‌دان ناشناخته‌ای است که با وجود تأثیرات قابل توجه‌اش بر علم منطق کمتر کسی وی را در زمینة علم منطق کنار شیخ اشراق و محقق طوسی یا کنار ابن‌سینا و فارابی قرار می‌دهد. شاید این بدان دلیل باشد که شهرت ملا‌صدرا به منزلة حکیم و فیلسوفِ صاحب مکتب بر دیگر ابعاد علمی‌اش سایه افکنده و موجب کم‌رنگ شدن آنها گشته است. به هر صورت این نوشتار بر آن است تا خوانندگان محترم را در ضمن اشاره به برخی آرا و آثار منطقی ملاصدرا با یکی دیگر از ابعاد علمی ناشناختة این شخصیت مشهور آشنا سازد.

حملیة مرددهْْ‌المحمول پس از سده هفتم در میان منطق‌دانان مورد توجه واقع شده است. این قضیه، حملیه‌ای است که تردید در ناحیة محمول آن است. بنابراین، با قضیه منفصله که تردید بین دو قضیه است، تفاوت دارد. این قضیه در کنار حملیه‌های دیگر، می‌تواند در استدلال‌های مباشر و قیاس‌های اقترانی شرکت کند و نتایجی را به بار آورد. همچنان که این حملیه در کنار منفصله‌ها می‌تواند با شرکت در قیاس‌های استثنایی، نتایجی داشته باشد، ولی تا کنون منطق‌دانان به درستی احکام حملیة مرددهْْ‌المحمول را در استدلال‌ها به دلیل تشابهش با منفصله بررسی نکرده‌اند. از سوی دیگر، به سبب تشابه آن با منفصله احتمال رسوخ مغالطه در قیاس‌های استثنایی می‌رود. از این رو، شناسایی درست این دسته از حملیه‌ها برای جلوگیری از مغالطه‌های احتمالی لازم است. آنچه در این مقاله مورد نظر است، بررسی احکام استنتاجی مرددهْْ‌المحمول‌ها در استدلال‌های مباشر و قیاس‌های اقترانی است. اما بررسی احکام استنتاجی مرددهْْ‌المحمول‌ها در قیاس‌های استثنایی به نوشتار دیگری موکول می‌گردد.

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

برهان وجود، نوع برهان برای اثبات وجود خدا، نشان می دهد که مفهوم خدا به گونه ای است که عقلاً باید موجود باشد وگرنه مستلزم تناقض است. در این نوشتار، تقریر آنسلم و دو تقدیر دکارت از برهان وجودی ارائه شده است و از میان اندیشمندان مسلمان تقریر مولی مهدی نراقی و محمد حسین غروی اصفهانی و تقریر بعضی از فضلا ذکر شده است.