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

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