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

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

various methods of formulating hypothetical quantifier

in the current article, various methods of formulating hypothetical quantifier in avicennian logic have been examined. utilizing conventional symbols of quantifier in modern logic, analyzing hypothetical quantifier as modality, and employing second-order logic are the three approaches introduced in this paper. we have separately introduced the advantages and disadvantages of each of these methods. each approach is useful in examining different interpretations of ibn sina's views on hypothetical quantifier and the disagreements among avicennian logicians regarding hypothetical. overall, we have shown that none of these methods are superior to others and each might be more useful than the rest in examining one of the existing disputes in avicennian logic regarding hypothetical.