نمودار کمانی

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