روش‌های مختلف صورت‌بندی سور شرطی

چکیده

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