منطق‌پژوهی

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

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