قیاس های شرطی

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

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