روش های مختلف صورت بندی سور شرطی (مقاله علمی وزارت علوم)
درجه علمی: نشریه علمی (وزارت علوم)
آرشیو
چکیده
در مقاله حاضر روش های مختلف صورت بندی سور شرطی در منطق سینوی بررسی شده است. بهره گیری از نمادهای معمول سور در منطق جدید، بررسی سور شرطی به عنوان جهت و استفاده از منطق مرتبه دوم سه شیوه ای که در این مقاله معرفی شده است. مزایا و معایب هر یک از این شیوه ها را به صورت جداگانه معرفی نموده ایم. هر یک از این روش ها به شیوه ای برای بررسی تفسیرهای متفاوت از آراء ابن سینا درباره سور شرطیات و اختلاف های منطق دانان سینوی درباره شرطیات مفید هستند. در مجموع نشان داده ایم که هیچ یک از این روش ها به صورت مطلق بر شیوه های دیگر برتری ندارد و ممکن است هر یک برای بررسی یکی از اختلافات موجود در منطق سینوی درباره شرطیات مفیدتر از بقیه باشند.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.
تبلیغات
