بازنمایی کمانی قیاس روی نمودار ون: روش جدید

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

Arc Representation of Syllogism on Venn Diagram: A New Method

Abstract: In this article, which is written in the field of Aristotle logic in general and absolute Syllogism in particular, the aim is to present a new method for representing predicative propositions by considering the negative terms on the developed Vann diagram.This method is capable of displaying and inferring all possible results from two premises in all forms with any combination of negative and positive terms. It is also able to infer all the equations of each predicative proposition. This method is easy and decidable and having high expressive power. Conventional diagrammatic methods are either incapable of representing syllogism with negative terms or, if able to work with negative terms, do not have the desired visual representation that is the main purpose of diagrammatic representations. This method uses threevalue valuation of lines and surfaces on a vann diagram, and the representation of each proposition is done by drawing a twopart arc.