مرور درختی موضوعات | کتابخانه مجازی الفبا

یکی از مباحث مهم پیرامون منطق ارسطویی، طرح این مسأله است که آیا ارسطو نظریّات منطقی خویش را با تکیه بر مبانی نظری خاصّی بنا نهاده است، و به عبارت دیگر منطق ارسطویی علمی تأسیسی بوده و تنها در قالب متافیزیک ارسطویی می تواند کاربرد داشته باشد و اگر فلسفه‌ای با متافیزیک ارسطو هم راستا نباشد، این منطق نمی‌تواند پاسخگوی نیازهایش باشد، و یا اینکه تعلیمی بوده و صرفاً به عنوان علمی ابزاری، هر گونه قواعدی را که برای مصون ماندن اندیشه از خطا مورد نیاز است، در اختیار متفکّران قرار می‌دهد؟ هرگونه پاسخی به این سوال می‌تواند جهت‌گیری و نگاهی خاص به مباحث منطقی را در پی داشته باشد. اکثریّت محقّقین منطق بر این امر اذعان دارند که منطق ارسطو متأثّر از مبانی متافیزیکی وی می‌باشد و مقولات دهگانه حدّ واسط منطق و متافیزیک وی هستند. همین امر علّت فقدان بسیاری از مباحث، همانند قضایا و قیاسهای شرطی، قضایایی که ساختار موضوع محمولی ندارند و موجهات زمانی در این منطق گشته است. هر چند داشتن مبانی متافیزیکی، منطق ارسطویی را برای مدت طولانی یکّه تاز عرصه مطالعات منطقی نمود ولیکن افرادی همچون ابن‌سینا که ابتدا با پذیرش این منطق به شرح و تفسیر آراء مرتبط با آن اقدام نمودند، با ناتمام یافتن آن در بررسی بسیاری از اشکال تفکر، چاره امر را در ایجاد حد فاصل میان این منطق و مبانی متافیزیکی آن دیدند، هر چند بعد از ابن‌سینا، پیروانش در جهان اسلام نتوانستند به نحو شایسته‌ای سنت وی را ادامه دهند. ما در این تحقیق با طرح برخی مسائل متافیزیکی همچون نظریّه‌ی مقولات، نظریّه‌ی کلّی‌طبیعی و نظریّه‌ی تعریف که می‌تواند جهت‌گیری مباحث منطقی را معیّن کند، آثار این نظریّات را در آراء منطقی ارسطو و پیروانش، به‌ویژه در جهان اسلام بررسی کرده و با ارائه شواهدی از متون منطق اسلامی، علّت طرح برخی از مباحث ناسازگار با نظام متافیزیک ارسطویی در این متون را بیان می‌کنیم.

سهروردی بر این باور است که در میان محصوره ها، سالبه ها، نیز، مانند موجبه ها، بر وجود موضوع دلالت دارند و از این رو، می توان سالبه های محصوره را به موجبه ها برگرداند و تعداد قیاس ها و قواعد منطقی را کاهش داد. این نظریه را «ایجاب بتی» می نامیم. این نظریه (برخلاف نظریه «ضرورت بتاته» که ممکنه ها را به ضروریه برمی گرداند) از استحکام کافی برخوردار نیست؛ زیرا نه دلایل اقامه شده بر آن قانع کننده است نه پیامدهای آن پذیرفتنی. از سخنان سهروردی چهار دلیل برای نظریه یادشده استنباط می شود: 1. «در سالبه ها، عقدالوضع ایجابی است و بنا به قاعده فرعیه، بر وجود موضوع دلالت دارد»؛ این دلیل تنها در صورت عطفی بودن رابطه عقدالوضع و عقدالحمل پذیرفتنی است و به قضایای کلیه که رابطه عقدین در آنها شرطی است، تعمیم پذیر نیست. 2. «سلب جزء قضیه است و اجزای قضیه را می توان جزء محمول قرار داد». این دلیل، نیز، به دلیل کذب، کبرای آن پذیرفتنی نیست. 3. «سلب ضروری همان ایجاب امتناع است» و 4. «سلب و ایجاب در ممکن مساوی هستند»، این دو دلیل نیز به خلط «سلب جهت» و «جهت سلب» دچار هستند. این از نادرستی ادله؛ اما، از پیامدهای نادرست نظریه «ایجاب بتی»، نیز، می توان به ناسازگاری آن با برخی از قوانین مسلم منطقی، مانند قانون تناقض میان محصورات، اشاره کرد.

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