جستجوي پيشرفته | کتابخانه مجازی الفبا

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

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