درخت حوزه‌های تخصصی

نگاه مقالة «منطق» در دائرهْْ‌المعارف اسلام به منطق و مراحل آن در جهان اسلام، کاستی‌هایی دارد که این نوشتار در مقام نقد آنهاست: اولاً، نام‌گذاری این علم به «منطق» از سوی مسلمانان برگرفته از آیات قرآن نیست؛ ثانیاً، مخالفت برخی مسلمانان با منطق، در عرب‌گرایی و باورهای دینی مسلمان ریشه ندارد؛ ثالثاً، سیر تحول منطق را در جهان اسلام به دست منطق‌دانان مسلمان، مطرح نمی‌سازد. در پایان، ناقد با بیان سیر اجمالی منطق از عصر ترجمه در جهان اسلام، نواقص مقالة آر.آرنالدز را تکمیل می‌کند.

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

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

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

تفکیک «تصور» و «تصدیق» از تمایزهای اصلی است که متقدمین در منطق و متأخرین در معرفت­شناسی از آن بهره برده­اند، هر دو گروه مقسم این دو را «علم حصولی» می دانند، این تقسیم در «معرفت­شناسی نوصدرایی» برای اقسام معرفت به کار رفته است، اما نمی­توان «تصدیق» را در اصطلاح معرفت­شناسی بنا بر تعریف فلسفه اسلامی «علم­حصولی» دانست. این تحقیق با مرور ادبیات فیلسوفان مسلمان به ویژه نوصدراییان، مدعی است که تفکیک تصور و تصدیقْ هستی­شناختی، و «علم حصولی» به عنوان مقسمْ «هستی علمی» است. اما استعمال «تصدیق» در منطق و معرفت­شناسی مساوق با «قضیه» می­باشد، نه یک «هستی علمی»­ که در عین بساطت خارجی در تحلیل عقلی دو مفهوم «حکایت» و «حکم» از آن انتزاع می­شود. «تصدیق» در منطق به معنای «اذعان به صدق قضیه» و در معرفت­شناسی به معنای «معرفت به تحقق یا عدم تحقق یک امر» است. پیشنهاد می­شود برای امور متناظر با «تصور» و «تصدیق» در معرفت­شناسی از «معرفت تصوری» و «معرفت تصدیقی» استفاده ­شود.

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

دلیل افتراض یکی از پرکاربردترین روش های منطق سنتی است که منطق دانان مسلمان درباره ی ساختار و چیستی آن هم رای نیستند. از یک سوی، سهروردی و فخر رازی آن را گونه ای از قیاس شکل سوم به شمار آورده اند، و از سوی دیگر، خواجه نصیر، نه تنها آن را قیاس شکل سوم نمی داند، بلکه یک سره آن را از قلمرو قیاس بیرون کرده است. نگارنده در این جستار، پس از گزارش دیدگاه این سه منطق دان، به سنجش رای خواجه نصیر پرداخته است.