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

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

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